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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM452acf9ed3adc2d2cfe293dad01c0934
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31244
Optimality of the best value was proved NO
Number of terms in the objective function 180
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 6442450938
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 6442450938
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.08
Number of variables280
Total number of constraints56
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)45
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint130

Trace number 7284

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 10:29:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6574 boxname=wulflinc29 idbench=714 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 6574
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        828544 kB
Buffers:         40356 kB
Cached:         134452 kB
SwapCached:        768 kB
Active:          50112 kB
Inactive:       127220 kB
HighTotal:      131008 kB
HighFree:        28420 kB
LowTotal:       903652 kB
LowFree:        800124 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            23176 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 10:50:16 (client local time) WITH STATUS 143 IN 1225.92 SECONDS
stats: 6574 0 1225.92 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/wulflinc29/normalized-mps-v2-20-10-markshare1_1.opb
c reading problem ... done. Time 0.768 ms.
c #vars     280
c #constraints  17
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1131464 		Current CPU time: 2.99 ms
c CURRENT OPTIMUM=              962560 		Current CPU time: 12.56 ms
c starts		: 5
c conflicts		: 476
c decisions		: 7554
c propagations		: 20778
c inspects		: 1865643
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 476
c root simplifications	: 469
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 7006
c speed (decisions/second)	: 6.262471678357333
c non guided choices	4926
c random choices	0
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 s01_bit1 -s01_bit2 -s01_bit3 -s01_bit4 s01_bit5 s01_bit6 s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 -s11_bit1 s11_bit2 s11_bit3 s11_bit4 -s11_bit5 s11_bit6 -s11_bit7 s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 s21_bit0 s21_bit1 s21_bit2 s21_bit3 s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 s31_bit0 -s31_bit1 -s31_bit2 s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 s41_bit0 -s41_bit1 s41_bit2 -s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -x0_bit_10 -x0_bit_9 -x0_bit_8 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 -x0_bit0 x1_bit0 x2_bit0 -x3_bit0 x4_bit0 x5_bit0 -x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 x17_bit0 -x18_bit0 x19_bit0 -x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 x24_bit0 x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 -x30_bit0 x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 x36_bit0 x37_bit0 -x38_bit0 x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit_10 -x45_bit_9 -x45_bit_8 -x45_bit_7 -x45_bit_6 -x45_bit_5 -x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 -x46_bit_10 -x46_bit_9 -x46_bit_8 -x46_bit_7 -x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 -x47_bit_10 -x47_bit_9 -x47_bit_8 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -x48_bit0 -x49_bit_10 -x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 
c objective function=962560
c Total CPU time (ms) : 1218.806

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/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1857816789 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 39 3 38 16 0 23 0
[pid=8576] 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/8576
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=8577
New thread pid=8578
New thread pid=8579
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=8580
New thread pid=8581
New thread pid=8582
New thread pid=8583
New thread pid=8584
New thread pid=8585
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/wulflinc29/normalized-mps-v2-20-10-markshare1_1.opb
New thread pid=8586
One traced child (pid=8586) exited with status: 0
New thread pid=8587

[startup+10.0024 s]
Raw data (loadavg): 1.09 1.02 1.00 2/66 8587
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18171 3 1 0 671 47 0 0 25 0 11 0 1857816789 861519872 20529 4294967295 134512640 134569956 3221224320 3221214544 1131364944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210332 20529 13129 16 0 210316 0
[pid=8576] vsize: 841328
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (Kb) 841328
One traced child (pid=8587) exited with status: 0
New thread pid=8588

[startup+20.0032 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18186 3 1 0 1638 49 0 0 23 0 11 0 1857816789 861274112 20698 4294967295 134512640 134569956 3221224320 3221214544 1131364735 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 20698 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 16.87
Current children cumulated vsize (Kb) 841088

[startup+30.004 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18197 3 1 0 2606 49 0 0 25 0 11 0 1857816789 861274112 20838 4294967295 134512640 134569956 3221224320 3221214544 1131363936 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 20838 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 26.55
Current children cumulated vsize (Kb) 841088

[startup+40.0048 s]
Raw data (loadavg): 1.05 1.02 1.00 3/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18207 3 1 0 3564 50 0 0 25 0 11 0 1857816789 861274112 20946 4294967295 134512640 134569956 3221224320 3221214632 1131416260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 20946 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 36.14
Current children cumulated vsize (Kb) 841088

[startup+50.0056 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18220 3 1 0 4535 50 0 0 25 0 11 0 1857816789 861274112 21189 4294967295 134512640 134569956 3221224320 3221214632 1131416429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21189 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 45.85
Current children cumulated vsize (Kb) 841088

[startup+60.0064 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18230 3 1 0 5513 50 0 0 18 0 11 0 1857816789 861274112 21275 4294967295 134512640 134569956 3221224320 3221214632 1131416957 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21275 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 55.63
Current children cumulated vsize (Kb) 841088

[startup+70.0071 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18240 3 1 0 6495 50 0 0 25 0 11 0 1857816789 861274112 21332 4294967295 134512640 134569956 3221224320 3221214628 1131358714 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21332 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 65.45
Current children cumulated vsize (Kb) 841088

[startup+80.0079 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18250 3 1 0 7477 51 0 0 25 0 11 0 1857816789 861274112 21373 4294967295 134512640 134569956 3221224320 3221214544 1131363780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21373 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 75.28
Current children cumulated vsize (Kb) 841088

[startup+90.0087 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18260 3 1 0 8459 52 0 0 25 0 11 0 1857816789 861274112 21413 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21413 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 85.11
Current children cumulated vsize (Kb) 841088

[startup+100.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18270 3 1 0 9442 52 0 0 25 0 11 0 1857816789 861274112 21465 4294967295 134512640 134569956 3221224320 3221214632 1131414312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21465 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 94.94
Current children cumulated vsize (Kb) 841088

[startup+110.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18280 3 1 0 10427 53 0 0 22 0 11 0 1857816789 861274112 21510 4294967295 134512640 134569956 3221224320 3221214544 1131363379 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21510 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 104.8
Current children cumulated vsize (Kb) 841088

[startup+120.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18290 3 1 0 11412 54 0 0 25 0 11 0 1857816789 861274112 21541 4294967295 134512640 134569956 3221224320 3221214544 1131363315 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21541 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 114.66
Current children cumulated vsize (Kb) 841088

[startup+130.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18301 3 1 0 12397 55 0 0 25 0 11 0 1857816789 861274112 21568 4294967295 134512640 134569956 3221224320 3221214632 1131416764 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21568 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 124.52
Current children cumulated vsize (Kb) 841088

[startup+140.012 s]
Raw data (loadavg): 1.01 1.01 1.00 3/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18311 3 1 0 13384 56 0 0 25 0 11 0 1857816789 861274112 21591 4294967295 134512640 134569956 3221224320 3221214624 1131344754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21591 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 134.4
Current children cumulated vsize (Kb) 841088

[startup+150.012 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18321 3 1 0 14371 57 0 0 25 0 11 0 1857816789 861274112 21611 4294967295 134512640 134569956 3221224320 3221214536 1131358007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21611 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 144.28
Current children cumulated vsize (Kb) 841088

[startup+160.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18331 3 1 0 15358 57 0 0 25 0 11 0 1857816789 861274112 21635 4294967295 134512640 134569956 3221224320 3221214632 1131416656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21635 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 154.15
Current children cumulated vsize (Kb) 841088

[startup+170.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18342 3 1 0 16346 58 0 0 25 0 11 0 1857816789 861274112 21656 4294967295 134512640 134569956 3221224320 3221214544 1131364932 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21656 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 164.04
Current children cumulated vsize (Kb) 841088

[startup+180.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18352 3 1 0 17334 58 0 0 25 0 11 0 1857816789 861274112 21676 4294967295 134512640 134569956 3221224320 3221214536 1131358035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21676 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 173.92
Current children cumulated vsize (Kb) 841088

[startup+190.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) S 8575 8576 19818 0 -1 0 18362 3 1 0 18322 59 0 0 25 0 11 0 1857816789 861274112 21693 4294967295 134512640 134569956 3221224320 3221213376 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21693 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 183.81
Current children cumulated vsize (Kb) 841088

[startup+200.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18373 3 1 0 19309 59 0 0 25 0 11 0 1857816789 861274112 21713 4294967295 134512640 134569956 3221224320 3221214544 1131363132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21713 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 193.68
Current children cumulated vsize (Kb) 841088

[startup+210.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18383 3 1 0 20296 60 0 0 25 0 11 0 1857816789 861274112 21733 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21733 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (Kb) 841088

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18393 3 1 0 21282 60 0 0 25 0 11 0 1857816789 861274112 21753 4294967295 134512640 134569956 3221224320 3221214632 1131414312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21753 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 213.42
Current children cumulated vsize (Kb) 841088

[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18403 3 1 0 22267 61 0 0 25 0 11 0 1857816789 861274112 21771 4294967295 134512640 134569956 3221224320 3221214536 1131358004 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21771 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 223.28
Current children cumulated vsize (Kb) 841088

[startup+240.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18413 3 1 0 23252 61 0 0 25 0 11 0 1857816789 861274112 21812 4294967295 134512640 134569956 3221224320 3221214544 1131363906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21812 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 233.13
Current children cumulated vsize (Kb) 841088

[startup+250.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18423 3 1 0 24237 62 0 0 25 0 11 0 1857816789 861274112 21839 4294967295 134512640 134569956 3221224320 3221214728 1131395171 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21839 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 242.99
Current children cumulated vsize (Kb) 841088

[startup+260.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18434 3 1 0 25221 62 0 0 17 0 11 0 1857816789 861274112 21865 4294967295 134512640 134569956 3221224320 3221214544 1131363065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21865 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 252.83
Current children cumulated vsize (Kb) 841088

[startup+270.021 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18444 3 1 0 26208 63 0 0 18 0 11 0 1857816789 861274112 21898 4294967295 134512640 134569956 3221224320 3221214536 1131358051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21898 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 262.71
Current children cumulated vsize (Kb) 841088

[startup+280.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18454 3 1 0 27196 63 0 0 25 0 11 0 1857816789 861274112 21920 4294967295 134512640 134569956 3221224320 3221214544 1131363307 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21920 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 272.59
Current children cumulated vsize (Kb) 841088

[startup+290.024 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18464 3 1 0 28184 64 0 0 25 0 11 0 1857816789 861274112 21934 4294967295 134512640 134569956 3221224320 3221214544 1131363236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21934 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (Kb) 841088

[startup+300.023 s]
Raw data (loadavg): 1.12 1.03 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18474 3 1 0 29172 65 0 0 25 0 11 0 1857816789 861274112 21953 4294967295 134512640 134569956 3221224320 3221214544 1131363151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 21953 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 292.37
Current children cumulated vsize (Kb) 841088

[startup+310.024 s]
Raw data (loadavg): 1.10 1.03 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18485 3 1 0 30160 65 0 0 25 0 11 0 1857816789 861274112 21967 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21967 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 302.25
Current children cumulated vsize (Kb) 841088

[startup+320.025 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18495 3 1 0 31149 66 0 0 25 0 11 0 1857816789 861274112 21980 4294967295 134512640 134569956 3221224320 3221214544 1131363164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21980 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 312.15
Current children cumulated vsize (Kb) 841088

[startup+330.026 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18505 3 1 0 32137 66 0 0 25 0 11 0 1857816789 861274112 21995 4294967295 134512640 134569956 3221224320 3221214536 1131358007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 21995 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 322.03
Current children cumulated vsize (Kb) 841088

[startup+340.026 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18515 3 1 0 33126 66 0 0 25 0 11 0 1857816789 861274112 22008 4294967295 134512640 134569956 3221224320 3221214544 1131362981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22008 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 331.92
Current children cumulated vsize (Kb) 841088

[startup+350.027 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18525 3 1 0 34115 66 0 0 25 0 11 0 1857816789 861274112 22021 4294967295 134512640 134569956 3221224320 3221214544 1131363707 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22021 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 341.81
Current children cumulated vsize (Kb) 841088

[startup+360.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18536 3 1 0 35102 67 0 0 25 0 11 0 1857816789 861274112 22035 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22035 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 351.69
Current children cumulated vsize (Kb) 841088

[startup+370.028 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18546 3 1 0 36091 67 0 0 25 0 11 0 1857816789 861274112 22048 4294967295 134512640 134569956 3221224320 3221214544 1131363900 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22048 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 361.58
Current children cumulated vsize (Kb) 841088

[startup+380.029 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18556 3 1 0 37079 68 0 0 25 0 11 0 1857816789 861274112 22059 4294967295 134512640 134569956 3221224320 3221214536 1131358133 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22059 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 371.47
Current children cumulated vsize (Kb) 841088

[startup+390.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18566 3 1 0 38069 68 0 0 25 0 11 0 1857816789 861274112 22072 4294967295 134512640 134569956 3221224320 3221214632 1131416747 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22072 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 381.37
Current children cumulated vsize (Kb) 841088

[startup+400.03 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18577 3 1 0 39056 69 0 0 25 0 11 0 1857816789 861274112 22086 4294967295 134512640 134569956 3221224320 3221214584 1131366290 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22086 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 391.25
Current children cumulated vsize (Kb) 841088

[startup+410.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18587 3 1 0 40045 69 0 0 25 0 11 0 1857816789 861274112 22099 4294967295 134512640 134569956 3221224320 3221214632 1131416764 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22099 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 401.14
Current children cumulated vsize (Kb) 841088

[startup+420.032 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18597 3 1 0 41033 69 0 0 25 0 11 0 1857816789 861274112 22108 4294967295 134512640 134569956 3221224320 3221214544 1131363205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22108 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 411.02
Current children cumulated vsize (Kb) 841088

[startup+430.033 s]
Raw data (loadavg): 1.09 1.03 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18607 3 1 0 42022 70 0 0 25 0 11 0 1857816789 861274112 22119 4294967295 134512640 134569956 3221224320 3221214544 1131364718 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22119 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 420.92
Current children cumulated vsize (Kb) 841088

[startup+440.033 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18617 3 1 0 43011 70 0 0 25 0 11 0 1857816789 861274112 22132 4294967295 134512640 134569956 3221224320 3221214632 1131414312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22132 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 430.81
Current children cumulated vsize (Kb) 841088

[startup+450.033 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18628 3 1 0 43998 70 0 0 25 0 11 0 1857816789 861274112 22142 4294967295 134512640 134569956 3221224320 3221214584 1131366297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22142 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 440.68
Current children cumulated vsize (Kb) 841088

[startup+460.034 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18638 3 1 0 44986 71 0 0 25 0 11 0 1857816789 861274112 22155 4294967295 134512640 134569956 3221224320 3221214544 1131363164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22155 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 450.57
Current children cumulated vsize (Kb) 841088

[startup+470.035 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18648 3 1 0 45975 71 0 0 25 0 11 0 1857816789 861274112 22166 4294967295 134512640 134569956 3221224320 3221214632 1131412175 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22166 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 460.46
Current children cumulated vsize (Kb) 841088

[startup+480.035 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18658 3 1 0 46963 72 0 0 25 0 11 0 1857816789 861274112 22175 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22175 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 470.35
Current children cumulated vsize (Kb) 841088

[startup+490.036 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18669 3 1 0 47950 73 0 0 25 0 11 0 1857816789 861274112 22186 4294967295 134512640 134569956 3221224320 3221214632 1131414609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22186 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 480.23
Current children cumulated vsize (Kb) 841088

[startup+500.037 s]
Raw data (loadavg): 1.17 1.06 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18679 3 1 0 48939 73 0 0 18 0 11 0 1857816789 861274112 22199 4294967295 134512640 134569956 3221224320 3221214624 1131344746 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22199 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 490.12
Current children cumulated vsize (Kb) 841088

[startup+510.037 s]
Raw data (loadavg): 1.15 1.06 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18689 3 1 0 49927 73 0 0 25 0 11 0 1857816789 861274112 22209 4294967295 134512640 134569956 3221224320 3221214544 1131363205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22209 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 841088

[startup+520.038 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18699 3 1 0 50916 74 0 0 21 0 11 0 1857816789 861274112 22220 4294967295 134512640 134569956 3221224320 3221214624 1131344754 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22220 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 509.9
Current children cumulated vsize (Kb) 841088

[startup+530.038 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18709 3 1 0 51904 74 0 0 25 0 11 0 1857816789 861274112 22229 4294967295 134512640 134569956 3221224320 3221214632 1131414536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22229 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (Kb) 841088

[startup+540.039 s]
Raw data (loadavg): 1.09 1.05 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18720 3 1 0 52891 74 0 0 25 0 11 0 1857816789 861274112 22240 4294967295 134512640 134569956 3221224320 3221214544 1131364371 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22240 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 529.65
Current children cumulated vsize (Kb) 841088

[startup+550.04 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18730 3 1 0 53879 75 0 0 25 0 11 0 1857816789 861274112 22249 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22249 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 539.54
Current children cumulated vsize (Kb) 841088

[startup+560.04 s]
Raw data (loadavg): 1.06 1.05 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18740 3 1 0 54867 76 0 0 25 0 11 0 1857816789 861274112 22260 4294967295 134512640 134569956 3221224320 3221214632 1131414517 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22260 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 549.43
Current children cumulated vsize (Kb) 841088

[startup+570.041 s]
Raw data (loadavg): 1.05 1.04 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18750 3 1 0 55857 76 0 0 25 0 11 0 1857816789 861274112 22269 4294967295 134512640 134569956 3221224320 3221214536 1131358027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22269 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 559.33
Current children cumulated vsize (Kb) 841088

[startup+580.041 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18760 3 1 0 56845 76 0 0 25 0 11 0 1857816789 861274112 22280 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22280 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 569.21
Current children cumulated vsize (Kb) 841088

[startup+590.042 s]
Raw data (loadavg): 1.04 1.04 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18771 3 1 0 57832 76 0 0 25 0 11 0 1857816789 861274112 22289 4294967295 134512640 134569956 3221224320 3221214628 1131358714 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22289 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 579.08
Current children cumulated vsize (Kb) 841088

[startup+600.043 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18781 3 1 0 58821 77 0 0 19 0 11 0 1857816789 861274112 22300 4294967295 134512640 134569956 3221224320 3221214672 1131376173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22300 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (Kb) 841088

[startup+610.044 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18791 3 1 0 59809 78 0 0 25 0 11 0 1857816789 861274112 22309 4294967295 134512640 134569956 3221224320 3221214544 1131363303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22309 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 598.87
Current children cumulated vsize (Kb) 841088

[startup+620.044 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18801 3 1 0 60798 78 0 0 24 0 11 0 1857816789 861274112 22316 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22316 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 608.76
Current children cumulated vsize (Kb) 841088

[startup+630.044 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18812 3 1 0 61786 78 0 0 25 0 11 0 1857816789 861274112 22327 4294967295 134512640 134569956 3221224320 3221214544 1131363197 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22327 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 618.64
Current children cumulated vsize (Kb) 841088

[startup+640.046 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18822 3 1 0 62775 79 0 0 25 0 11 0 1857816789 861274112 22336 4294967295 134512640 134569956 3221224320 3221214544 1131363803 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22336 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 628.54
Current children cumulated vsize (Kb) 841088

[startup+650.047 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18832 3 1 0 63763 79 0 0 25 0 11 0 1857816789 861274112 22347 4294967295 134512640 134569956 3221224320 3221214544 1131363900 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22347 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 638.42
Current children cumulated vsize (Kb) 841088

[startup+660.047 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18842 3 1 0 64751 80 0 0 25 0 11 0 1857816789 861274112 22356 4294967295 134512640 134569956 3221224320 3221214584 1131367260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22356 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 648.31
Current children cumulated vsize (Kb) 841088

[startup+670.048 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18853 3 1 0 65739 80 0 0 25 0 11 0 1857816789 861274112 22367 4294967295 134512640 134569956 3221224320 3221214632 1131416260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22367 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 658.19
Current children cumulated vsize (Kb) 841088

[startup+680.049 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18863 3 1 0 66728 81 0 0 18 0 11 0 1857816789 861274112 22374 4294967295 134512640 134569956 3221224320 3221214544 1131364733 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22374 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 668.09
Current children cumulated vsize (Kb) 841088

[startup+690.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18873 3 1 0 67716 82 0 0 20 0 11 0 1857816789 861274112 22383 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22383 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 677.98
Current children cumulated vsize (Kb) 841088

[startup+700.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18883 3 1 0 68705 82 0 0 25 0 11 0 1857816789 861274112 22390 4294967295 134512640 134569956 3221224320 3221214536 1131358115 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22390 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 687.87
Current children cumulated vsize (Kb) 841088

[startup+710.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18893 3 1 0 69694 82 0 0 25 0 11 0 1857816789 861274112 22400 4294967295 134512640 134569956 3221224320 3221214632 1131415374 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22400 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 697.76
Current children cumulated vsize (Kb) 841088

[startup+720.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18904 3 1 0 70680 84 0 0 25 0 11 0 1857816789 861274112 22410 4294967295 134512640 134569956 3221224320 3221214536 1131358007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22410 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 707.64
Current children cumulated vsize (Kb) 841088

[startup+730.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18914 3 1 0 71667 85 0 0 19 0 11 0 1857816789 861274112 22416 4294967295 134512640 134569956 3221224320 3221214584 1131367260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22416 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 717.52
Current children cumulated vsize (Kb) 841088

[startup+740.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18924 3 1 0 72654 86 0 0 21 0 11 0 1857816789 861274112 22427 4294967295 134512640 134569956 3221224320 3221214544 1131363759 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22427 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 727.4
Current children cumulated vsize (Kb) 841088

[startup+750.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18934 3 1 0 73642 86 0 0 25 0 11 0 1857816789 861274112 22434 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22434 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 737.28
Current children cumulated vsize (Kb) 841088

[startup+760.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18945 3 1 0 74629 87 0 0 17 0 11 0 1857816789 861274112 22443 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22443 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 747.16
Current children cumulated vsize (Kb) 841088

[startup+770.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18955 3 1 0 75618 88 0 0 25 0 11 0 1857816789 861274112 22454 4294967295 134512640 134569956 3221224320 3221214544 1131363197 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22454 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 757.06
Current children cumulated vsize (Kb) 841088

[startup+780.057 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18965 3 1 0 76606 89 0 0 25 0 11 0 1857816789 861274112 22461 4294967295 134512640 134569956 3221224320 3221214624 1131344761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22461 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 766.95
Current children cumulated vsize (Kb) 841088

[startup+790.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18975 3 1 0 77594 89 0 0 22 0 11 0 1857816789 861274112 22470 4294967295 134512640 134569956 3221224320 3221214632 1131416739 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22470 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 776.83
Current children cumulated vsize (Kb) 841088

[startup+800.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18985 3 1 0 78579 90 0 0 25 0 11 0 1857816789 861274112 22482 4294967295 134512640 134569956 3221224320 3221214544 1131363752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22482 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 786.69
Current children cumulated vsize (Kb) 841088

[startup+810.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 18996 3 1 0 79563 90 0 0 17 0 11 0 1857816789 861274112 22495 4294967295 134512640 134569956 3221224320 3221214784 1131384153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22495 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 796.53
Current children cumulated vsize (Kb) 841088

[startup+820.061 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19006 3 1 0 80547 91 0 0 25 0 11 0 1857816789 861274112 22521 4294967295 134512640 134569956 3221224320 3221214632 1131413489 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22521 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 806.38
Current children cumulated vsize (Kb) 841088

[startup+830.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19016 3 1 0 81532 91 0 0 25 0 11 0 1857816789 861274112 22536 4294967295 134512640 134569956 3221224320 3221214544 1131363900 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22536 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 816.23
Current children cumulated vsize (Kb) 841088

[startup+840.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19026 3 1 0 82517 91 0 0 25 0 11 0 1857816789 861274112 22569 4294967295 134512640 134569956 3221224320 3221214632 1131414599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22569 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 826.08
Current children cumulated vsize (Kb) 841088

[startup+850.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19036 3 1 0 83503 91 0 0 25 0 11 0 1857816789 861274112 22592 4294967295 134512640 134569956 3221224320 3221214544 1131362987 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22592 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 835.94
Current children cumulated vsize (Kb) 841088

[startup+860.064 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19047 3 1 0 84487 92 0 0 24 0 11 0 1857816789 861274112 22619 4294967295 134512640 134569956 3221224320 3221214632 1131412462 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22619 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 845.79
Current children cumulated vsize (Kb) 841088

[startup+870.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19057 3 1 0 85472 93 0 0 25 0 11 0 1857816789 861274112 22630 4294967295 134512640 134569956 3221224320 3221214632 1131412384 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22630 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 855.65
Current children cumulated vsize (Kb) 841088

[startup+880.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19067 3 1 0 86458 93 0 0 25 0 11 0 1857816789 861274112 22644 4294967295 134512640 134569956 3221224320 3221214544 1131363132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22644 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 865.51
Current children cumulated vsize (Kb) 841088

[startup+890.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19077 3 1 0 87444 94 0 0 25 0 11 0 1857816789 861274112 22665 4294967295 134512640 134569956 3221224320 3221214632 1131414296 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22665 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 875.38
Current children cumulated vsize (Kb) 841088

[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19087 3 1 0 88430 95 0 0 25 0 11 0 1857816789 861274112 22691 4294967295 134512640 134569956 3221224320 3221214544 1131363295 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22691 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 885.25
Current children cumulated vsize (Kb) 841088

[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19098 3 1 0 89416 95 0 0 24 0 11 0 1857816789 861274112 22703 4294967295 134512640 134569956 3221224320 3221214544 1131363138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22703 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 895.11
Current children cumulated vsize (Kb) 841088

[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19108 3 1 0 90404 96 0 0 18 0 11 0 1857816789 861274112 22718 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22718 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 905
Current children cumulated vsize (Kb) 841088

[startup+930.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19118 3 1 0 91392 96 0 0 25 0 11 0 1857816789 861274112 22730 4294967295 134512640 134569956 3221224320 3221214792 1131560903 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22730 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 914.88
Current children cumulated vsize (Kb) 841088

[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19128 3 1 0 92380 97 0 0 25 0 11 0 1857816789 861274112 22742 4294967295 134512640 134569956 3221224320 3221214624 1131344732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22742 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 924.77
Current children cumulated vsize (Kb) 841088

[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19138 3 1 0 93368 98 0 0 25 0 11 0 1857816789 861274112 22749 4294967295 134512640 134569956 3221224320 3221214584 1131366278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22749 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 934.66
Current children cumulated vsize (Kb) 841088

[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19149 3 1 0 94355 98 0 0 25 0 11 0 1857816789 861274112 22756 4294967295 134512640 134569956 3221224320 3221214632 1131416260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22756 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 944.53
Current children cumulated vsize (Kb) 841088

[startup+970.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19159 3 1 0 95343 99 0 0 25 0 11 0 1857816789 861274112 22766 4294967295 134512640 134569956 3221224320 3221214544 1131363859 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22766 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 954.42
Current children cumulated vsize (Kb) 841088

[startup+980.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19169 3 1 0 96330 99 0 0 25 0 11 0 1857816789 861274112 22772 4294967295 134512640 134569956 3221224320 3221214544 1131362975 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22772 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 964.29
Current children cumulated vsize (Kb) 841088

[startup+990.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19179 3 1 0 97318 99 0 0 25 0 11 0 1857816789 861274112 22779 4294967295 134512640 134569956 3221224320 3221214544 1131363132 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22779 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 974.17
Current children cumulated vsize (Kb) 841088

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19190 3 1 0 98305 100 0 0 25 0 11 0 1857816789 861274112 22786 4294967295 134512640 134569956 3221224320 3221214504 1131552597 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22786 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 984.05
Current children cumulated vsize (Kb) 841088

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19200 3 1 0 99293 100 0 0 18 0 11 0 1857816789 861274112 22796 4294967295 134512640 134569956 3221224320 3221214536 1131358007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22796 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 993.93
Current children cumulated vsize (Kb) 841088

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19210 3 1 0 100281 101 0 0 25 0 11 0 1857816789 861274112 22803 4294967295 134512640 134569956 3221224320 3221214632 1131414312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22803 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1003.82
Current children cumulated vsize (Kb) 841088

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19220 3 1 0 101269 101 0 0 25 0 11 0 1857816789 861274112 22810 4294967295 134512640 134569956 3221224320 3221214536 1131358127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22810 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1013.7
Current children cumulated vsize (Kb) 841088

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19230 3 1 0 102257 101 0 0 25 0 11 0 1857816789 861274112 22817 4294967295 134512640 134569956 3221224320 3221214632 1131412418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22817 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1023.58
Current children cumulated vsize (Kb) 841088

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19241 3 1 0 103243 102 0 0 17 0 11 0 1857816789 861274112 22823 4294967295 134512640 134569956 3221224320 3221214632 1131413836 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22823 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1033.45
Current children cumulated vsize (Kb) 841088

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19251 3 1 0 104231 102 0 0 25 0 11 0 1857816789 861274112 22830 4294967295 134512640 134569956 3221224320 3221214584 1131366266 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22830 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1043.33
Current children cumulated vsize (Kb) 841088

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19261 3 1 0 105219 103 0 0 21 0 11 0 1857816789 861274112 22837 4294967295 134512640 134569956 3221224320 3221214544 1131362981 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22837 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1053.22
Current children cumulated vsize (Kb) 841088

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19271 3 1 0 106206 103 0 0 25 0 11 0 1857816789 861274112 22843 4294967295 134512640 134569956 3221224320 3221214632 1131412175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22843 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1063.09
Current children cumulated vsize (Kb) 841088

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19282 3 1 0 107193 104 0 0 25 0 11 0 1857816789 861274112 22853 4294967295 134512640 134569956 3221224320 3221214544 1131362981 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22853 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1072.97
Current children cumulated vsize (Kb) 841088

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19292 3 1 0 108181 105 0 0 25 0 11 0 1857816789 861274112 22859 4294967295 134512640 134569956 3221224320 3221214632 1131414312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22859 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1082.86
Current children cumulated vsize (Kb) 841088

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19302 3 1 0 109168 105 0 0 25 0 11 0 1857816789 861274112 22866 4294967295 134512640 134569956 3221224320 3221214544 1131364898 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22866 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1092.73
Current children cumulated vsize (Kb) 841088

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19312 3 1 0 110156 106 0 0 25 0 11 0 1857816789 861274112 22873 4294967295 134512640 134569956 3221224320 3221214544 1131363759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22873 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1102.62
Current children cumulated vsize (Kb) 841088

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19322 3 1 0 111144 106 0 0 25 0 11 0 1857816789 861274112 22880 4294967295 134512640 134569956 3221224320 3221214632 1131416260 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22880 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1112.5
Current children cumulated vsize (Kb) 841088

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19333 3 1 0 112131 107 0 0 25 0 11 0 1857816789 861274112 22886 4294967295 134512640 134569956 3221224320 3221214544 1131363138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22886 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (Kb) 841088

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19343 3 1 0 113119 107 0 0 25 0 11 0 1857816789 861274112 22893 4294967295 134512640 134569956 3221224320 3221214624 1131344761 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22893 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1132.26
Current children cumulated vsize (Kb) 841088

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19353 3 1 0 114106 108 0 0 20 0 11 0 1857816789 861274112 22900 4294967295 134512640 134569956 3221224320 3221214536 1131358007 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22900 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1142.14
Current children cumulated vsize (Kb) 841088

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19363 3 1 0 115095 108 0 0 25 0 11 0 1857816789 861274112 22906 4294967295 134512640 134569956 3221224320 3221214628 1131362944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22906 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1152.03
Current children cumulated vsize (Kb) 841088

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19374 3 1 0 116082 108 0 0 25 0 11 0 1857816789 861274112 22913 4294967295 134512640 134569956 3221224320 3221214544 1131363205 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22913 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1161.9
Current children cumulated vsize (Kb) 841088

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19384 3 1 0 117070 108 0 0 25 0 11 0 1857816789 861274112 22920 4294967295 134512640 134569956 3221224320 3221214784 1131384153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22920 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1171.78
Current children cumulated vsize (Kb) 841088

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19394 3 1 0 118057 108 0 0 25 0 11 0 1857816789 861274112 22926 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22926 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (Kb) 841088

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19404 3 1 0 119044 108 0 0 25 0 11 0 1857816789 861274112 22933 4294967295 134512640 134569956 3221224320 3221214536 1131358127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/8576/statm): 210272 22933 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1191.52
Current children cumulated vsize (Kb) 841088

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19414 3 1 0 120032 109 0 0 25 0 11 0 1857816789 861274112 22940 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22940 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1201.41
Current children cumulated vsize (Kb) 841088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 8588
Raw data (/proc/8576/stat): 8576 (java) R 8575 8576 19818 0 -1 0 19414 3 1 0 120032 109 0 0 25 0 11 0 1857816789 861274112 22940 4294967295 134512640 134569956 3221224320 3221214544 1131363124 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/8576/statm): 210272 22940 13129 16 0 210256 0
[pid=8576] vsize: 841088
Current children cumulated CPU time (s) 1201.41
Current children cumulated vsize (Kb) 841088

Sending SIGTERM to -8576
Sleeping 2 seconds
New thread pid=8590
New thread pid=8591
One traced child (pid=8591) exited with status: 0
One traced child (pid=8585) exited with status: 0
One traced child (pid=8580) exited with status: 0
One traced child (pid=8577) exited with status: 143
One traced child (pid=8590) exited with status: 143
One traced child (pid=8579) exited with status: 143
One traced child (pid=8582) exited with status: 143
One traced child (pid=8584) exited with status: 143
One traced child (pid=8588) exited with status: 143
One traced child (pid=8583) exited with status: 143
One traced child (pid=8578) exited with status: 143
One traced child (pid=8581) exited with status: 143
One traced child (pid=8576) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.18
CPU time (s): 1225.92
CPU user time (s): 1223.83
CPU system time (s): 2.09968
CPU usage (%): 100.471
Max. virtual memory (cumulated for all children) (Kb): 841328

Verifier Data

Verifier:	OK	962560