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/MIPLIB/miplib/normalized-mps-v2-20-10-flugpl.opb
MD5SUM7b40a76c609224f38c1798eb54355221
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14745600
Optimality of the best value was proved YES
Number of terms in the objective function 265
Biggest coefficient in the objective function 48318382080
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 103103023008
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 80530636800
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 162146381673
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark27.5118
Number of variables265
Total number of constraints29
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 constraints29
Minimum length of a constraint5
Maximum length of a constraint65

Trace number 4151

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-19 05:02:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6372 boxname=wulflinc20 idbench=512 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7b40a76c609224f38c1798eb54355221  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-flugpl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-flugpl.opb
IDLAUNCH: 6372
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        885704 kB
Buffers:         36732 kB
Cached:          83544 kB
SwapCached:        832 kB
Active:          71200 kB
Inactive:        51720 kB
HighTotal:      131008 kB
HighFree:        44156 kB
LowTotal:       903652 kB
LowFree:        841548 kB
SwapTotal:     2097892 kB
SwapFree:      2096604 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5732 kB
Slab:            20396 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 05:22:50 (client local time) WITH STATUS 143 IN 1216.19 SECONDS
stats: 6372 0 1216.19 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/wulflinc20/normalized-mps-v2-20-10-flugpl.opb
c reading problem ... done. Time 0.59 ms.
c #vars     265
c #constraints  35
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            17905662 		Current CPU time: 8.10 ms
c CURRENT OPTIMUM=            17557503 		Current CPU time: 9.32 ms
c CURRENT OPTIMUM=            16623615 		Current CPU time: 10.19 ms
c CURRENT OPTIMUM=            15112192 		Current CPU time: 16.52 ms
c CURRENT OPTIMUM=            14882816 		Current CPU time: 17.26 ms
c starts		: 11
c conflicts		: 1081
c decisions		: 15491
c propagations		: 29951
c inspects		: 1363937
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1081
c root simplifications	: 458
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 15429
c speed (decisions/second)	: 12.893099295673254
c non guided choices	1581
c random choices	0
s SATISFIABLE
v -STM1_bit_10 -STM1_bit_9 -STM1_bit_8 -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -STM1_bit13 -STM1_bit14 -STM1_bit15 -STM1_bit16 -STM1_bit17 -STM1_bit18 -STM1_bit19 -ANM1_bit0 ANM1_bit1 ANM1_bit2 -ANM1_bit3 -ANM1_bit4 -UE1_bit_10 -UE1_bit_9 -UE1_bit_8 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 -UE1_bit3 -UE1_bit4 -UE1_bit5 -UE1_bit6 -UE1_bit7 -UE1_bit8 -UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 -UE1_bit13 -UE1_bit14 -UE1_bit15 -UE1_bit16 -UE1_bit17 -UE1_bit18 -UE1_bit19 STM2_bit0 STM2_bit1 -STM2_bit2 -STM2_bit3 -STM2_bit4 -ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_10 -UE2_bit_9 -UE2_bit_8 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 UE2_bit3 UE2_bit4 -UE2_bit5 UE2_bit6 -UE2_bit7 -UE2_bit8 UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 -UE2_bit13 -UE2_bit14 -UE2_bit15 -UE2_bit16 -UE2_bit17 -UE2_bit18 -UE2_bit19 STM3_bit0 STM3_bit1 -STM3_bit2 -STM3_bit3 -STM3_bit4 -ANM3_bit0 -ANM3_bit1 -ANM3_bit2 -ANM3_bit3 ANM3_bit4 -UE3_bit_10 -UE3_bit_9 -UE3_bit_8 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 UE3_bit3 UE3_bit4 -UE3_bit5 UE3_bit6 -UE3_bit7 -UE3_bit8 UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 -UE3_bit13 -UE3_bit14 -UE3_bit15 -UE3_bit16 -UE3_bit17 -UE3_bit18 -UE3_bit19 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_10 -UE4_bit_9 -UE4_bit_8 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 UE4_bit3 -UE4_bit4 -UE4_bit5 UE4_bit6 UE4_bit7 -UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 -UE4_bit13 -UE4_bit14 -UE4_bit15 -UE4_bit16 -UE4_bit17 -UE4_bit18 -UE4_bit19 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 ANM5_bit0 ANM5_bit1 -ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_10 -UE5_bit_9 -UE5_bit_8 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 -UE5_bit13 -UE5_bit14 -UE5_bit15 -UE5_bit16 -UE5_bit17 -UE5_bit18 -UE5_bit19 STM6_bit0 -STM6_bit1 -STM6_bit2 -STM6_bit3 STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_10 -UE6_bit_9 -UE6_bit_8 -UE6_bit_7 -UE6_bit_6 -UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 -UE6_bit1 -UE6_bit2 -UE6_bit3 -UE6_bit4 -UE6_bit5 -UE6_bit6 -UE6_bit7 -UE6_bit8 -UE6_bit9 UE6_bit10 -UE6_bit11 -UE6_bit12 -UE6_bit13 -UE6_bit14 -UE6_bit15 -UE6_bit16 -UE6_bit17 -UE6_bit18 -UE6_bit19 
c objective function=14882816
c Total CPU time (ms) : 1218.849

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/20922/stat): 20922 (java) T 20921 20922 2660 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1847221224 159744 9 4294967295 134512640 134569956 3221224464 3221223824 1073813229 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/20922/statm): 39 9 38 16 0 23 0
[pid=20922] 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/20922
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=20923
New thread pid=20924
New thread pid=20925
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=20926
New thread pid=20927
New thread pid=20928
New thread pid=20929
New thread pid=20930
New thread pid=20931
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/wulflinc20/normalized-mps-v2-20-10-flugpl.opb
New thread pid=20932
One traced child (pid=20932) exited with status: 0
New thread pid=20933

[startup+10.0019 s]
Raw data (loadavg): 0.94 0.98 0.99 3/66 20933
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18199 4 2 0 722 55 0 0 22 0 11 0 1847221224 859930624 20037 4294967295 134512640 134569956 3221224336 3221214712 1131331136 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 209944 20037 13129 16 0 209928 0
[pid=20922] vsize: 839776
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (Kb) 839776
One traced child (pid=20933) exited with status: 0
New thread pid=20934
One traced child (pid=20934) exited with status: 0
New thread pid=20935
One traced child (pid=20935) exited with status: 0
New thread pid=20936
One traced child (pid=20936) exited with status: 0
New thread pid=20937

[startup+20.0026 s]
Raw data (loadavg): 1.03 1.00 1.00 3/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18212 4 2 0 1671 55 0 0 21 0 11 0 1847221224 869052416 22466 4294967295 134512640 134569956 3221224336 3221214624 1131346804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 212171 22466 13129 16 0 212155 0
[pid=20922] vsize: 848684
Current children cumulated CPU time (s) 17.26
Current children cumulated vsize (Kb) 848684

[startup+30.0033 s]
Raw data (loadavg): 1.02 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18222 4 2 0 2636 56 0 0 21 0 11 0 1847221224 861069312 20986 4294967295 134512640 134569956 3221224336 3221214632 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 20986 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 26.92
Current children cumulated vsize (Kb) 840888

[startup+40.0051 s]
Raw data (loadavg): 1.02 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18231 4 2 0 3591 57 0 0 25 0 11 0 1847221224 861069312 21038 4294967295 134512640 134569956 3221224336 3221214632 1131364625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 21038 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 36.48
Current children cumulated vsize (Kb) 840888

[startup+50.0058 s]
Raw data (loadavg): 1.02 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18240 4 2 0 4543 57 0 0 19 0 11 0 1847221224 861069312 21293 4294967295 134512640 134569956 3221224336 3221214716 1131363008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21293 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 46
Current children cumulated vsize (Kb) 840888

[startup+60.0065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18249 4 2 0 5513 57 0 0 25 0 11 0 1847221224 861069312 21485 4294967295 134512640 134569956 3221224336 3221214712 1131331182 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 21485 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 55.7
Current children cumulated vsize (Kb) 840888

[startup+70.0072 s]
Raw data (loadavg): 1.09 1.02 1.01 1/66 20937
Raw data (/proc/20922/stat): 20922 (java) T 20921 20922 2660 0 -1 0 18260 4 2 0 6490 58 0 0 25 0 11 0 1847221224 861069312 21564 4294967295 134512640 134569956 3221224336 3221213784 1073943903 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21564 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 65.48
Current children cumulated vsize (Kb) 840888

[startup+80.008 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18270 4 2 0 7470 58 0 0 25 0 11 0 1847221224 861069312 21642 4294967295 134512640 134569956 3221224336 3221214216 1131447914 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 21642 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 75.28
Current children cumulated vsize (Kb) 840888

[startup+90.0087 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18279 4 2 0 8453 59 0 0 25 0 11 0 1847221224 861069312 21684 4294967295 134512640 134569956 3221224336 3221214760 1131352874 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21684 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 85.12
Current children cumulated vsize (Kb) 840888

[startup+100.009 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18289 4 2 0 9434 59 0 0 19 0 11 0 1847221224 861069312 21727 4294967295 134512640 134569956 3221224336 3221214632 1131364498 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21727 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 94.93
Current children cumulated vsize (Kb) 840888

[startup+110.009 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18298 4 2 0 10417 60 0 0 24 0 11 0 1847221224 861069312 21765 4294967295 134512640 134569956 3221224336 3221214760 1131353061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 21765 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 104.77
Current children cumulated vsize (Kb) 840888

[startup+120.01 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18308 4 2 0 11398 60 0 0 25 0 11 0 1847221224 861069312 21804 4294967295 134512640 134569956 3221224336 3221214712 1131331136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21804 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 114.58
Current children cumulated vsize (Kb) 840888

[startup+130.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18317 4 2 0 12383 61 0 0 24 0 11 0 1847221224 861069312 21862 4294967295 134512640 134569956 3221224336 3221214624 1131347464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21862 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 124.44
Current children cumulated vsize (Kb) 840888

[startup+140.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18327 4 2 0 13368 61 0 0 25 0 11 0 1847221224 861069312 21893 4294967295 134512640 134569956 3221224336 3221214672 1131369820 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21893 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 134.29
Current children cumulated vsize (Kb) 840888

[startup+150.012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) S 20921 20922 2660 0 -1 0 18336 4 2 0 14355 62 0 0 16 0 11 0 1847221224 861069312 21918 4294967295 134512640 134569956 3221224336 3221213464 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21918 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 144.17
Current children cumulated vsize (Kb) 840888

[startup+160.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18346 4 2 0 15341 62 0 0 22 0 11 0 1847221224 861069312 21943 4294967295 134512640 134569956 3221224336 3221214712 1131345391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21943 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 154.03
Current children cumulated vsize (Kb) 840888

[startup+170.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18356 4 2 0 16327 63 0 0 25 0 11 0 1847221224 861069312 21968 4294967295 134512640 134569956 3221224336 3221214632 1131363349 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 21968 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 163.9
Current children cumulated vsize (Kb) 840888

[startup+180.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18365 4 2 0 17315 63 0 0 23 0 11 0 1847221224 861069312 21989 4294967295 134512640 134569956 3221224336 3221214632 1131364411 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 21989 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 173.78
Current children cumulated vsize (Kb) 840888

[startup+190.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18375 4 2 0 18303 63 0 0 25 0 11 0 1847221224 861069312 22009 4294967295 134512640 134569956 3221224336 3221214760 1131352901 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22009 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 183.66
Current children cumulated vsize (Kb) 840888

[startup+200.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18385 4 2 0 19290 63 0 0 24 0 11 0 1847221224 861069312 22034 4294967295 134512640 134569956 3221224336 3221214632 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22034 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 193.53
Current children cumulated vsize (Kb) 840888

[startup+210.016 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18394 4 2 0 20279 64 0 0 22 0 11 0 1847221224 861069312 22051 4294967295 134512640 134569956 3221224336 3221214632 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22051 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 203.43
Current children cumulated vsize (Kb) 840888

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18404 4 2 0 21266 64 0 0 19 0 11 0 1847221224 861069312 22073 4294967295 134512640 134569956 3221224336 3221214720 1131342888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22073 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 213.3
Current children cumulated vsize (Kb) 840888

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18413 4 2 0 22254 65 0 0 25 0 11 0 1847221224 861069312 22090 4294967295 134512640 134569956 3221224336 3221214760 1131352741 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22090 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 223.19
Current children cumulated vsize (Kb) 840888

[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18423 4 2 0 23242 65 0 0 25 0 11 0 1847221224 861069312 22111 4294967295 134512640 134569956 3221224336 3221214720 1131342888 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22111 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 233.07
Current children cumulated vsize (Kb) 840888

[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18433 4 2 0 24229 65 0 0 25 0 11 0 1847221224 861069312 22128 4294967295 134512640 134569956 3221224336 3221214632 1131364622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22128 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 242.94
Current children cumulated vsize (Kb) 840888

[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18442 4 2 0 25217 66 0 0 24 0 11 0 1847221224 861069312 22145 4294967295 134512640 134569956 3221224336 3221214624 1131346815 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22145 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 252.83
Current children cumulated vsize (Kb) 840888

[startup+270.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18452 4 2 0 26204 66 0 0 25 0 11 0 1847221224 861069312 22168 4294967295 134512640 134569956 3221224336 3221214208 1131453783 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22168 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 262.7
Current children cumulated vsize (Kb) 840888

[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18462 4 2 0 27191 66 0 0 25 0 11 0 1847221224 861069312 22188 4294967295 134512640 134569956 3221224336 3221214720 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22188 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 272.57
Current children cumulated vsize (Kb) 840888

[startup+290.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18471 4 2 0 28179 67 0 0 23 0 11 0 1847221224 861069312 22202 4294967295 134512640 134569956 3221224336 3221214712 1131331136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22202 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 282.46
Current children cumulated vsize (Kb) 840888

[startup+300.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18481 4 2 0 29164 68 0 0 25 0 11 0 1847221224 861069312 22228 4294967295 134512640 134569956 3221224336 3221214216 1131448437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22228 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 292.32
Current children cumulated vsize (Kb) 840888

[startup+310.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18491 4 2 0 30146 68 0 0 24 0 11 0 1847221224 861069312 22252 4294967295 134512640 134569956 3221224336 3221214712 1131345358 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22252 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 302.14
Current children cumulated vsize (Kb) 840888

[startup+320.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18500 4 2 0 31130 68 0 0 25 0 11 0 1847221224 861069312 22276 4294967295 134512640 134569956 3221224336 3221214416 1131452564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22276 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 311.98
Current children cumulated vsize (Kb) 840888

[startup+330.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18510 4 2 0 32113 69 0 0 25 0 11 0 1847221224 861069312 22292 4294967295 134512640 134569956 3221224336 3221214712 1131345391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22292 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 321.82
Current children cumulated vsize (Kb) 840888

[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18520 4 2 0 33100 69 0 0 25 0 11 0 1847221224 861069312 22366 4294967295 134512640 134569956 3221224336 3221214720 1131342828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22366 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 331.69
Current children cumulated vsize (Kb) 840888

[startup+350.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18529 4 2 0 34089 69 0 0 23 0 11 0 1847221224 861069312 22381 4294967295 134512640 134569956 3221224336 3221214632 1131363353 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22381 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 341.58
Current children cumulated vsize (Kb) 840888

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18539 4 2 0 35076 70 0 0 25 0 11 0 1847221224 861069312 22398 4294967295 134512640 134569956 3221224336 3221214632 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22398 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 351.46
Current children cumulated vsize (Kb) 840888

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18549 4 2 0 36065 71 0 0 16 0 11 0 1847221224 861069312 22410 4294967295 134512640 134569956 3221224336 3221214632 1131363039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22410 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 361.36
Current children cumulated vsize (Kb) 840888

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18558 4 2 0 37055 71 0 0 25 0 11 0 1847221224 861069312 22422 4294967295 134512640 134569956 3221224336 3221214624 1131346939 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22422 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 371.26
Current children cumulated vsize (Kb) 840888

[startup+390.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18568 4 2 0 38044 71 0 0 25 0 11 0 1847221224 861069312 22439 4294967295 134512640 134569956 3221224336 3221214632 1131364512 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22439 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 381.15
Current children cumulated vsize (Kb) 840888

[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18578 4 2 0 39032 72 0 0 25 0 11 0 1847221224 861069312 22451 4294967295 134512640 134569956 3221224336 3221214720 1131342811 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22451 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 391.04
Current children cumulated vsize (Kb) 840888

[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18587 4 2 0 40021 72 0 0 25 0 11 0 1847221224 861069312 22464 4294967295 134512640 134569956 3221224336 3221214712 1131331268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22464 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (Kb) 840888

[startup+420.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18597 4 2 0 41010 73 0 0 25 0 11 0 1847221224 861069312 22476 4294967295 134512640 134569956 3221224336 3221214712 1131331153 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22476 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 410.83
Current children cumulated vsize (Kb) 840888

[startup+430.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18607 4 2 0 41998 73 0 0 25 0 11 0 1847221224 861069312 22493 4294967295 134512640 134569956 3221224336 3221214632 1131364587 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22493 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 420.71
Current children cumulated vsize (Kb) 840888

[startup+440.031 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18616 4 2 0 42987 73 0 0 23 0 11 0 1847221224 861069312 22501 4294967295 134512640 134569956 3221224336 3221214716 1131368800 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22501 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 430.6
Current children cumulated vsize (Kb) 840888

[startup+450.032 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18626 4 2 0 43976 74 0 0 20 0 11 0 1847221224 861069312 22518 4294967295 134512640 134569956 3221224336 3221214632 1131364771 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22518 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 440.5
Current children cumulated vsize (Kb) 840888

[startup+460.033 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18636 4 2 0 44964 74 0 0 25 0 11 0 1847221224 861069312 22547 4294967295 134512640 134569956 3221224336 3221214632 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22547 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 450.38
Current children cumulated vsize (Kb) 840888

[startup+470.033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18645 4 2 0 45954 75 0 0 23 0 11 0 1847221224 861069312 22555 4294967295 134512640 134569956 3221224336 3221214632 1131364584 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22555 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 460.29
Current children cumulated vsize (Kb) 840888

[startup+480.034 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18655 4 2 0 46942 75 0 0 25 0 11 0 1847221224 861069312 22568 4294967295 134512640 134569956 3221224336 3221214544 1131364031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22568 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 470.17
Current children cumulated vsize (Kb) 840888

[startup+490.035 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18667 4 2 0 47931 76 0 0 25 0 11 0 1847221224 861069312 22580 4294967295 134512640 134569956 3221224336 3221214216 1131452588 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22580 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 840888

[startup+500.036 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18676 4 2 0 48920 76 0 0 24 0 11 0 1847221224 861069312 22593 4294967295 134512640 134569956 3221224336 3221214632 1131342804 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22593 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 489.96
Current children cumulated vsize (Kb) 840888

[startup+510.036 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18686 4 2 0 49909 77 0 0 25 0 11 0 1847221224 861069312 22605 4294967295 134512640 134569956 3221224336 3221214544 1131363349 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22605 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 499.86
Current children cumulated vsize (Kb) 840888

[startup+520.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18696 4 2 0 50897 77 0 0 25 0 11 0 1847221224 861069312 22618 4294967295 134512640 134569956 3221224336 3221214672 1131353687 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22618 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 509.74
Current children cumulated vsize (Kb) 840888

[startup+530.037 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18705 4 2 0 51887 78 0 0 25 0 11 0 1847221224 861069312 22626 4294967295 134512640 134569956 3221224336 3221214632 1131342748 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22626 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 519.65
Current children cumulated vsize (Kb) 840888

[startup+540.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18715 4 2 0 52875 78 0 0 25 0 11 0 1847221224 861069312 22638 4294967295 134512640 134569956 3221224336 3221214544 1131363247 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22638 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 529.53
Current children cumulated vsize (Kb) 840888

[startup+550.039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18725 4 2 0 53865 78 0 0 25 0 11 0 1847221224 861069312 22651 4294967295 134512640 134569956 3221224336 3221214544 1131363349 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22651 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 539.43
Current children cumulated vsize (Kb) 840888

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) S 20921 20922 2660 0 -1 0 18734 4 2 0 54853 79 0 0 16 0 11 0 1847221224 861069312 22663 4294967295 134512640 134569956 3221224336 3221213376 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22663 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 549.32
Current children cumulated vsize (Kb) 840888

[startup+570.041 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18744 4 2 0 55843 79 0 0 25 0 11 0 1847221224 861069312 22671 4294967295 134512640 134569956 3221224336 3221214680 1131489307 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22671 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 559.22
Current children cumulated vsize (Kb) 840888

[startup+580.041 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18754 4 2 0 56831 80 0 0 25 0 11 0 1847221224 861069312 22685 4294967295 134512640 134569956 3221224336 3221214672 1131353222 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22685 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 569.11
Current children cumulated vsize (Kb) 840888

[startup+590.042 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18764 4 2 0 57820 80 0 0 24 0 11 0 1847221224 861069312 22693 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22693 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 579
Current children cumulated vsize (Kb) 840888

[startup+600.043 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18773 4 2 0 58810 80 0 0 25 0 11 0 1847221224 861069312 22706 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22706 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 588.9
Current children cumulated vsize (Kb) 840888

[startup+610.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18783 4 2 0 59798 80 0 0 25 0 11 0 1847221224 861069312 22714 4294967295 134512640 134569956 3221224336 3221214640 1131331329 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22714 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 598.78
Current children cumulated vsize (Kb) 840888

[startup+620.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18793 4 2 0 60786 81 0 0 25 0 11 0 1847221224 861069312 22726 4294967295 134512640 134569956 3221224336 3221214628 1131363008 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22726 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 608.67
Current children cumulated vsize (Kb) 840888

[startup+630.045 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18802 4 2 0 61777 81 0 0 25 0 11 0 1847221224 861069312 22735 4294967295 134512640 134569956 3221224336 3221214544 1131364607 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22735 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 618.58
Current children cumulated vsize (Kb) 840888

[startup+640.047 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18812 4 2 0 62765 82 0 0 25 0 11 0 1847221224 861069312 22747 4294967295 134512640 134569956 3221224336 3221214632 1131342772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22747 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 628.47
Current children cumulated vsize (Kb) 840888

[startup+650.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18822 4 2 0 63753 83 0 0 25 0 11 0 1847221224 861069312 22755 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22755 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 638.36
Current children cumulated vsize (Kb) 840888

[startup+660.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18832 4 2 0 64741 83 0 0 17 0 11 0 1847221224 861069312 22768 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22768 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (Kb) 840888

[startup+670.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18841 4 2 0 65730 84 0 0 25 0 11 0 1847221224 861069312 22776 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22776 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 658.14
Current children cumulated vsize (Kb) 840888

[startup+680.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18851 4 2 0 66719 84 0 0 25 0 11 0 1847221224 861069312 22788 4294967295 134512640 134569956 3221224336 3221214544 1131363317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22788 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 668.03
Current children cumulated vsize (Kb) 840888

[startup+690.051 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18861 4 2 0 67707 84 0 0 18 0 11 0 1847221224 861069312 22797 4294967295 134512640 134569956 3221224336 3221214536 1131346823 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22797 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 677.91
Current children cumulated vsize (Kb) 840888

[startup+700.052 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18871 4 2 0 68696 85 0 0 25 0 11 0 1847221224 861069312 22805 4294967295 134512640 134569956 3221224336 3221214544 1131363769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22805 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 687.81
Current children cumulated vsize (Kb) 840888

[startup+710.053 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18880 4 2 0 69686 85 0 0 25 0 11 0 1847221224 861069312 22817 4294967295 134512640 134569956 3221224336 3221214632 1131342703 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22817 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 697.71
Current children cumulated vsize (Kb) 840888

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18890 4 2 0 70675 85 0 0 25 0 11 0 1847221224 861069312 22826 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22826 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 707.6
Current children cumulated vsize (Kb) 840888

[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18900 4 2 0 71664 85 0 0 25 0 11 0 1847221224 861069312 22834 4294967295 134512640 134569956 3221224336 3221214632 1131342869 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22834 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 717.49
Current children cumulated vsize (Kb) 840888

[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18910 4 2 0 72652 85 0 0 17 0 11 0 1847221224 861069312 22846 4294967295 134512640 134569956 3221224336 3221214672 1131353126 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22846 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 727.37
Current children cumulated vsize (Kb) 840888

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18919 4 2 0 73642 86 0 0 25 0 11 0 1847221224 861069312 22855 4294967295 134512640 134569956 3221224336 3221214544 1131363089 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22855 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 737.28
Current children cumulated vsize (Kb) 840888

[startup+760.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18929 4 2 0 74631 86 0 0 25 0 11 0 1847221224 861069312 22863 4294967295 134512640 134569956 3221224336 3221214632 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22863 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 747.17
Current children cumulated vsize (Kb) 840888

[startup+770.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18939 4 2 0 75620 87 0 0 18 0 11 0 1847221224 861069312 22871 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22871 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 757.07
Current children cumulated vsize (Kb) 840888

[startup+780.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18949 4 2 0 76608 88 0 0 25 0 11 0 1847221224 861069312 22884 4294967295 134512640 134569956 3221224336 3221214672 1131353154 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22884 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 766.96
Current children cumulated vsize (Kb) 840888

[startup+790.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18958 4 2 0 77598 88 0 0 25 0 11 0 1847221224 861069312 22892 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22892 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 776.86
Current children cumulated vsize (Kb) 840888

[startup+800.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18968 4 2 0 78587 88 0 0 25 0 11 0 1847221224 861069312 22901 4294967295 134512640 134569956 3221224336 3221214544 1131363071 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22901 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 786.75
Current children cumulated vsize (Kb) 840888

[startup+810.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18978 4 2 0 79574 88 0 0 19 0 11 0 1847221224 861069312 22909 4294967295 134512640 134569956 3221224336 3221214536 1131347522 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22909 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 796.62
Current children cumulated vsize (Kb) 840888

[startup+820.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18988 4 2 0 80562 89 0 0 25 0 11 0 1847221224 861069312 22922 4294967295 134512640 134569956 3221224336 3221214544 1131363094 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22922 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 806.51
Current children cumulated vsize (Kb) 840888

[startup+830.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 18997 4 2 0 81552 90 0 0 25 0 11 0 1847221224 861069312 22930 4294967295 134512640 134569956 3221224336 3221214544 1131364627 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22930 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 816.42
Current children cumulated vsize (Kb) 840888

[startup+840.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19007 4 2 0 82541 90 0 0 25 0 11 0 1847221224 861069312 22938 4294967295 134512640 134569956 3221224336 3221214712 1131367065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22938 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 826.31
Current children cumulated vsize (Kb) 840888

[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19017 4 2 0 83529 90 0 0 18 0 11 0 1847221224 861069312 22947 4294967295 134512640 134569956 3221224336 3221214624 1131331136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22947 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 836.19
Current children cumulated vsize (Kb) 840888

[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19027 4 2 0 84518 90 0 0 17 0 11 0 1847221224 861069312 22955 4294967295 134512640 134569956 3221224336 3221214632 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22955 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 846.08
Current children cumulated vsize (Kb) 840888

[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19036 4 2 0 85507 91 0 0 25 0 11 0 1847221224 861069312 22964 4294967295 134512640 134569956 3221224336 3221214632 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22964 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 855.98
Current children cumulated vsize (Kb) 840888

[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19046 4 2 0 86496 91 0 0 25 0 11 0 1847221224 861069312 22972 4294967295 134512640 134569956 3221224336 3221214712 1131367065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22972 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 865.87
Current children cumulated vsize (Kb) 840888

[startup+890.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19056 4 2 0 87485 91 0 0 25 0 11 0 1847221224 861069312 22980 4294967295 134512640 134569956 3221224336 3221214672 1131352741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22980 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 875.76
Current children cumulated vsize (Kb) 840888

[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19066 4 2 0 88473 91 0 0 17 0 11 0 1847221224 861069312 22990 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 22990 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 885.64
Current children cumulated vsize (Kb) 840888

[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19075 4 2 0 89463 92 0 0 25 0 11 0 1847221224 861069312 22999 4294967295 134512640 134569956 3221224336 3221214624 1131331272 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 22999 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 895.55
Current children cumulated vsize (Kb) 840888

[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19085 4 2 0 90452 92 0 0 25 0 11 0 1847221224 861069312 23008 4294967295 134512640 134569956 3221224336 3221214544 1131363361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23008 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 905.44
Current children cumulated vsize (Kb) 840888

[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19095 4 2 0 91440 93 0 0 25 0 11 0 1847221224 861069312 23017 4294967295 134512640 134569956 3221224336 3221214536 1131346835 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23017 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 915.33
Current children cumulated vsize (Kb) 840888

[startup+940.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19105 4 2 0 92429 93 0 0 25 0 11 0 1847221224 861069312 23029 4294967295 134512640 134569956 3221224336 3221214628 1131345410 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23029 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 925.22
Current children cumulated vsize (Kb) 840888

[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19114 4 2 0 93419 93 0 0 25 0 11 0 1847221224 861069312 23034 4294967295 134512640 134569956 3221224336 3221214536 1131347507 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23034 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 935.12
Current children cumulated vsize (Kb) 840888

[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19124 4 2 0 94407 93 0 0 25 0 11 0 1847221224 861069312 23042 4294967295 134512640 134569956 3221224336 3221214624 1131331179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23042 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 945
Current children cumulated vsize (Kb) 840888

[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19134 4 2 0 95395 94 0 0 18 0 11 0 1847221224 861069312 23051 4294967295 134512640 134569956 3221224336 3221214632 1131342883 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23051 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 954.89
Current children cumulated vsize (Kb) 840888

[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19144 4 2 0 96384 94 0 0 25 0 11 0 1847221224 861069312 23060 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23060 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 964.78
Current children cumulated vsize (Kb) 840888

[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19153 4 2 0 97373 95 0 0 23 0 11 0 1847221224 861069312 23070 4294967295 134512640 134569956 3221224336 3221214544 1131363089 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23070 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 974.68
Current children cumulated vsize (Kb) 840888

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19163 4 2 0 98361 95 0 0 25 0 11 0 1847221224 861069312 23079 4294967295 134512640 134569956 3221224336 3221214632 1131342502 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23079 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 984.56
Current children cumulated vsize (Kb) 840888

[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19173 4 2 0 99348 95 0 0 25 0 11 0 1847221224 861069312 23088 4294967295 134512640 134569956 3221224336 3221214624 1131345394 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23088 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 994.43
Current children cumulated vsize (Kb) 840888

[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19183 4 2 0 100335 96 0 0 25 0 11 0 1847221224 861069312 23100 4294967295 134512640 134569956 3221224336 3221214544 1131363187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23100 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1004.31
Current children cumulated vsize (Kb) 840888

[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19192 4 2 0 101323 96 0 0 25 0 11 0 1847221224 861069312 23112 4294967295 134512640 134569956 3221224336 3221214544 1131363039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23112 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1014.19
Current children cumulated vsize (Kb) 840888

[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19202 4 2 0 102310 96 0 0 25 0 11 0 1847221224 861069312 23122 4294967295 134512640 134569956 3221224336 3221214632 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23122 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1024.06
Current children cumulated vsize (Kb) 840888

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19212 4 2 0 103297 97 0 0 25 0 11 0 1847221224 861069312 23144 4294967295 134512640 134569956 3221224336 3221214632 1131342502 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23144 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1033.94
Current children cumulated vsize (Kb) 840888

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19221 4 2 0 104285 97 0 0 25 0 11 0 1847221224 861069312 23156 4294967295 134512640 134569956 3221224336 3221214544 1131363123 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23156 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1043.82
Current children cumulated vsize (Kb) 840888

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19231 4 2 0 105272 97 0 0 25 0 11 0 1847221224 861069312 23166 4294967295 134512640 134569956 3221224336 3221214544 1131364587 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23166 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1053.69
Current children cumulated vsize (Kb) 840888

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19241 4 2 0 106259 98 0 0 25 0 11 0 1847221224 861069312 23187 4294967295 134512640 134569956 3221224336 3221214672 1131352901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23187 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1063.57
Current children cumulated vsize (Kb) 840888

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19251 4 2 0 107244 99 0 0 18 0 11 0 1847221224 861069312 23195 4294967295 134512640 134569956 3221224336 3221214632 1131342821 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23195 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1073.43
Current children cumulated vsize (Kb) 840888

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19260 4 2 0 108224 100 0 0 24 0 11 0 1847221224 861069312 23206 4294967295 134512640 134569956 3221224336 3221214544 1131364015 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23206 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1083.24
Current children cumulated vsize (Kb) 840888

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19270 4 2 0 109202 100 0 0 25 0 11 0 1847221224 861069312 23225 4294967295 134512640 134569956 3221224336 3221214544 1131363867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23225 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1093.02
Current children cumulated vsize (Kb) 840888

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19280 4 2 0 110179 101 0 0 25 0 11 0 1847221224 861069312 23240 4294967295 134512640 134569956 3221224336 3221214536 1131346815 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23240 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1102.8
Current children cumulated vsize (Kb) 840888

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19289 4 2 0 111163 101 0 0 25 0 11 0 1847221224 861069312 23358 4294967295 134512640 134569956 3221224336 3221214592 1131381679 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23358 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1112.64
Current children cumulated vsize (Kb) 840888

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19299 4 2 0 112151 102 0 0 25 0 11 0 1847221224 861069312 23366 4294967295 134512640 134569956 3221224336 3221214632 1131342888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23366 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1122.53
Current children cumulated vsize (Kb) 840888

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19309 4 2 0 113138 103 0 0 25 0 11 0 1847221224 861069312 23375 4294967295 134512640 134569956 3221224336 3221214624 1131331136 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23375 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1132.41
Current children cumulated vsize (Kb) 840888

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19319 4 2 0 114126 103 0 0 17 0 11 0 1847221224 861069312 23389 4294967295 134512640 134569956 3221224336 3221214544 1131364617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23389 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1142.29
Current children cumulated vsize (Kb) 840888

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19328 4 2 0 115116 104 0 0 25 0 11 0 1847221224 861069312 23397 4294967295 134512640 134569956 3221224336 3221214536 1131347507 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23397 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1152.2
Current children cumulated vsize (Kb) 840888

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19338 4 2 0 116103 104 0 0 25 0 11 0 1847221224 861069312 23405 4294967295 134512640 134569956 3221224336 3221214544 1131364523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23405 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1162.07
Current children cumulated vsize (Kb) 840888

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19348 4 2 0 117092 104 0 0 25 0 11 0 1847221224 861069312 23410 4294967295 134512640 134569956 3221224336 3221214544 1131363280 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23410 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1171.96
Current children cumulated vsize (Kb) 840888

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19358 4 2 0 118080 105 0 0 25 0 11 0 1847221224 861069312 23418 4294967295 134512640 134569956 3221224336 3221214624 1131331153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23418 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (Kb) 840888

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19367 4 2 0 119069 105 0 0 24 0 11 0 1847221224 861069312 23426 4294967295 134512640 134569956 3221224336 3221214544 1131363173 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20922/statm): 210222 23426 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1191.74
Current children cumulated vsize (Kb) 840888

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19377 4 2 0 120058 106 0 0 25 0 11 0 1847221224 861069312 23434 4294967295 134512640 134569956 3221224336 3221213992 1085806732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23434 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1201.64
Current children cumulated vsize (Kb) 840888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20937
Raw data (/proc/20922/stat): 20922 (java) R 20921 20922 2660 0 -1 0 19377 4 2 0 120058 106 0 0 25 0 11 0 1847221224 861069312 23434 4294967295 134512640 134569956 3221224336 3221213992 1085806732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20922/statm): 210222 23434 13129 16 0 210206 0
[pid=20922] vsize: 840888
Current children cumulated CPU time (s) 1201.64
Current children cumulated vsize (Kb) 840888

Sending SIGTERM to -20922
Sleeping 2 seconds
New thread pid=20939
New thread pid=20940
One traced child (pid=20940) exited with status: 0
One traced child (pid=20931) exited with status: 0
One traced child (pid=20926) exited with status: 0
One traced child (pid=20923) exited with status: 143
One traced child (pid=20924) exited with status: 143
One traced child (pid=20930) exited with status: 143
One traced child (pid=20929) exited with status: 143
One traced child (pid=20928) exited with status: 143
One traced child (pid=20925) exited with status: 143
One traced child (pid=20927) exited with status: 143
One traced child (pid=20937) exited with status: 143
One traced child (pid=20939) exited with status: 143
One traced child (pid=20922) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.19
CPU time (s): 1216.19
CPU user time (s): 1214.34
CPU system time (s): 1.84972
CPU usage (%): 99.6721
Max. virtual memory (cumulated for all children) (Kb): 848684

Verifier Data

Verifier:	OK	14882816