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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM2da614f2ff412c1e07d8c65342ffb362
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 25888
Biggest coefficient in the objective function 340787200
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 293013913600
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 340787200
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 293013913600
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables71968
Total number of constraints4192
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)288
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint1
Maximum length of a constraint960

Trace number 8964

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-23 10:10:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6992 boxname=wulflinc28 idbench=1132 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2da614f2ff412c1e07d8c65342ffb362  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-B2C1S1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-B2C1S1.opb
IDLAUNCH: 6992
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        946312 kB
Buffers:          9016 kB
Cached:          62180 kB
SwapCached:          0 kB
Active:          43680 kB
Inactive:        30360 kB
HighTotal:      131008 kB
HighFree:        64652 kB
LowTotal:       903652 kB
LowFree:        881660 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6956 kB
Slab:             8756 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 10:31:08 (client local time) WITH STATUS 143 IN 1269.95 SECONDS
stats: 6992 7 1269.95 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/wulflinc28/normalized-mps-v2-13-7-B2C1S1.opb
c reading problem ... done. Time 13.256 ms.
c #vars     71968
c #constraints  5184
c starts		: 9
c conflicts		: 6880
c decisions		: 37729
c propagations		: 218470
c inspects		: 5287390
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 6880
c root simplifications	: 34
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 1440
c speed (decisions/second)	: 30.298090358639964
c non guided choices	37637
c random choices	0
s UNKNOWN
c Total CPU time (ms) : 1258.653

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/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 19322086 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 39 3 38 16 0 23 0
[pid=4245] 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/4245
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=4246
New thread pid=4247
New thread pid=4248
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=4249
New thread pid=4250
New thread pid=4251
New thread pid=4252
New thread pid=4253
New thread pid=4254
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/wulflinc28/normalized-mps-v2-13-7-B2C1S1.opb

[startup+10.0018 s]
Raw data (loadavg): 1.18 1.05 0.76 2/64 4254
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18084 0 1 0 630 52 0 0 25 0 10 0 19322086 857767936 24964 4294967295 134512640 134569956 3221224336 3221214728 1131333416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209416 24964 13129 16 0 209400 0
[pid=4245] vsize: 837664
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (Kb) 837664
New thread pid=4255

[startup+20.0025 s]
Raw data (loadavg): 1.23 1.06 0.76 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18121 0 1 0 1434 55 0 0 19 0 11 0 19322086 857133056 34224 4294967295 134512640 134569956 3221224336 3221214680 1131623636 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209261 34224 13129 16 0 209245 0
[pid=4245] vsize: 837044
Current children cumulated CPU time (s) 14.89
Current children cumulated vsize (Kb) 837044

[startup+30.0021 s]
Raw data (loadavg): 1.19 1.06 0.77 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18142 0 1 0 2404 56 0 0 25 0 11 0 19322086 857128960 34240 4294967295 134512640 134569956 3221224336 3221214592 1131451469 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209260 34240 13129 16 0 209244 0
[pid=4245] vsize: 837040
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (Kb) 837040

[startup+40.0038 s]
Raw data (loadavg): 1.16 1.06 0.77 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) S 4244 4245 4005 0 -1 0 18153 0 1 0 3376 56 0 0 25 0 11 0 19322086 857128960 34241 4294967295 134512640 134569956 3221224336 3221213248 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209260 34241 13129 16 0 209244 0
[pid=4245] vsize: 837040
Current children cumulated CPU time (s) 34.32
Current children cumulated vsize (Kb) 837040

[startup+50.0045 s]
Raw data (loadavg): 1.30 1.09 0.78 4/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18164 0 1 0 4292 56 0 0 25 0 11 0 19322086 864452608 35837 4294967295 134512640 134569956 3221224336 3221214500 1131355411 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 211048 35837 13129 16 0 211032 0
[pid=4245] vsize: 844192
Current children cumulated CPU time (s) 43.48
Current children cumulated vsize (Kb) 844192

[startup+60.0041 s]
Raw data (loadavg): 1.25 1.09 0.78 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18172 0 1 0 5239 56 0 0 25 0 11 0 19322086 858820608 34786 4294967295 134512640 134569956 3221224336 3221214576 1131452215 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209673 34786 13129 16 0 209657 0
[pid=4245] vsize: 838692
Current children cumulated CPU time (s) 52.95
Current children cumulated vsize (Kb) 838692

[startup+70.0048 s]
Raw data (loadavg): 1.21 1.08 0.78 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18181 0 1 0 6182 57 0 0 25 0 11 0 19322086 857772032 34474 4294967295 134512640 134569956 3221224336 3221214504 1131659426 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 34474 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 62.39
Current children cumulated vsize (Kb) 837668

[startup+80.0055 s]
Raw data (loadavg): 1.18 1.08 0.79 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18188 0 1 0 7128 57 0 0 22 0 11 0 19322086 857772032 34509 4294967295 134512640 134569956 3221224336 3221214664 1131623325 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 34509 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 71.85
Current children cumulated vsize (Kb) 837668

[startup+90.0061 s]
Raw data (loadavg): 1.15 1.08 0.79 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18196 0 1 0 8061 57 0 0 25 0 11 0 19322086 857772032 34569 4294967295 134512640 134569956 3221224336 3221214504 1131659407 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 34569 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 81.18
Current children cumulated vsize (Kb) 837668

[startup+100.006 s]
Raw data (loadavg): 1.13 1.07 0.79 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18204 0 1 0 8981 57 0 0 21 0 11 0 19322086 857772032 34827 4294967295 134512640 134569956 3221224336 3221214500 1131636512 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 34827 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 90.38
Current children cumulated vsize (Kb) 837668

[startup+110.007 s]
Raw data (loadavg): 1.11 1.07 0.79 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18212 0 1 0 9901 57 0 0 15 0 11 0 19322086 857772032 35076 4294967295 134512640 134569956 3221224336 3221214400 1131451728 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 35076 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 99.58
Current children cumulated vsize (Kb) 837668

[startup+120.007 s]
Raw data (loadavg): 1.09 1.07 0.79 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18219 0 1 0 10830 57 0 0 25 0 11 0 19322086 857772032 35223 4294967295 134512640 134569956 3221224336 3221214424 1131670697 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 35223 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 108.87
Current children cumulated vsize (Kb) 837668

[startup+130.007 s]
Raw data (loadavg): 1.08 1.06 0.80 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18228 0 1 0 11748 58 0 0 24 0 11 0 19322086 857772032 35450 4294967295 134512640 134569956 3221224336 3221214576 1131452131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 35450 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 118.06
Current children cumulated vsize (Kb) 837668

[startup+140.007 s]
Raw data (loadavg): 1.06 1.06 0.80 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18236 0 1 0 12665 58 0 0 16 0 11 0 19322086 857772032 35684 4294967295 134512640 134569956 3221224336 3221214736 1131605396 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 35684 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 127.23
Current children cumulated vsize (Kb) 837668

[startup+150.008 s]
Raw data (loadavg): 1.05 1.06 0.80 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18244 0 1 0 13587 58 0 0 17 0 11 0 19322086 857772032 35988 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 35988 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 136.45
Current children cumulated vsize (Kb) 837668

[startup+160.008 s]
Raw data (loadavg): 1.05 1.06 0.80 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18251 0 1 0 14524 58 0 0 16 0 11 0 19322086 857772032 36133 4294967295 134512640 134569956 3221224336 3221214576 1131451543 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 36133 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 145.82
Current children cumulated vsize (Kb) 837668

[startup+170.008 s]
Raw data (loadavg): 1.04 1.05 0.80 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18261 0 1 0 15449 58 0 0 16 0 11 0 19322086 857772032 36379 4294967295 134512640 134569956 3221224336 3221214664 1131623768 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 36379 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 155.07
Current children cumulated vsize (Kb) 837668

[startup+180.009 s]
Raw data (loadavg): 1.03 1.05 0.81 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18269 0 1 0 16388 59 0 0 16 0 11 0 19322086 857772032 36582 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 36582 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 164.47
Current children cumulated vsize (Kb) 837668

[startup+190.01 s]
Raw data (loadavg): 1.03 1.05 0.81 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18278 0 1 0 17321 59 0 0 16 0 11 0 19322086 857772032 36822 4294967295 134512640 134569956 3221224336 3221214648 1131398344 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 36822 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 173.8
Current children cumulated vsize (Kb) 837668

[startup+200.009 s]
Raw data (loadavg): 1.02 1.05 0.81 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18286 0 1 0 18261 59 0 0 17 0 11 0 19322086 857772032 36942 4294967295 134512640 134569956 3221224336 3221214576 1131451577 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 36942 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 183.2
Current children cumulated vsize (Kb) 837668

[startup+210.009 s]
Raw data (loadavg): 1.02 1.05 0.81 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18295 0 1 0 19187 59 0 0 16 0 11 0 19322086 857772032 37092 4294967295 134512640 134569956 3221224336 3221214576 1131452265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 37092 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 192.46
Current children cumulated vsize (Kb) 837668

[startup+220.01 s]
Raw data (loadavg): 1.02 1.04 0.81 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18304 0 1 0 20113 59 0 0 16 0 11 0 19322086 857772032 37295 4294967295 134512640 134569956 3221224336 3221214672 1131617784 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 37295 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 201.72
Current children cumulated vsize (Kb) 837668

[startup+230.01 s]
Raw data (loadavg): 1.09 1.06 0.82 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18312 0 1 0 21049 59 0 0 16 0 11 0 19322086 857772032 37462 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 37462 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 211.08
Current children cumulated vsize (Kb) 837668

[startup+240.011 s]
Raw data (loadavg): 1.07 1.06 0.82 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18320 0 1 0 21993 59 0 0 16 0 11 0 19322086 857772032 37645 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 37645 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (Kb) 837668

[startup+250.012 s]
Raw data (loadavg): 1.06 1.05 0.82 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18328 0 1 0 22943 59 0 0 17 0 11 0 19322086 857772032 37814 4294967295 134512640 134569956 3221224336 3221214504 1131670726 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 37814 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (Kb) 837668

[startup+260.012 s]
Raw data (loadavg): 1.05 1.05 0.82 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18336 0 1 0 23899 59 0 0 17 0 11 0 19322086 857772032 37968 4294967295 134512640 134569956 3221224336 3221214584 1131660142 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 37968 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 239.58
Current children cumulated vsize (Kb) 837668

[startup+270.012 s]
Raw data (loadavg): 1.04 1.05 0.82 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18345 0 1 0 24853 59 0 0 17 0 11 0 19322086 857772032 38078 4294967295 134512640 134569956 3221224336 3221214496 1131434274 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38078 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 249.12
Current children cumulated vsize (Kb) 837668

[startup+280.012 s]
Raw data (loadavg): 1.04 1.05 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18353 0 1 0 25810 59 0 0 17 0 11 0 19322086 857772032 38166 4294967295 134512640 134569956 3221224336 3221214736 1131606564 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38166 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 258.69
Current children cumulated vsize (Kb) 837668

[startup+290.014 s]
Raw data (loadavg): 1.03 1.05 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18362 0 1 0 26760 60 0 0 16 0 11 0 19322086 857772032 38276 4294967295 134512640 134569956 3221224336 3221214736 1131605637 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38276 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 268.2
Current children cumulated vsize (Kb) 837668

[startup+300.014 s]
Raw data (loadavg): 1.02 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18370 0 1 0 27715 60 0 0 17 0 11 0 19322086 857772032 38380 4294967295 134512640 134569956 3221224336 3221214576 1131451499 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38380 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 277.75
Current children cumulated vsize (Kb) 837668

[startup+310.014 s]
Raw data (loadavg): 1.02 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18379 0 1 0 28664 60 0 0 17 0 11 0 19322086 857772032 38481 4294967295 134512640 134569956 3221224336 3221214736 1131605331 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 38481 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 287.24
Current children cumulated vsize (Kb) 837668

[startup+320.015 s]
Raw data (loadavg): 1.02 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18388 0 1 0 29611 60 0 0 16 0 11 0 19322086 857772032 38605 4294967295 134512640 134569956 3221224336 3221214664 1131623705 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38605 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 296.71
Current children cumulated vsize (Kb) 837668

[startup+330.014 s]
Raw data (loadavg): 1.01 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18397 0 1 0 30556 60 0 0 16 0 11 0 19322086 857772032 38717 4294967295 134512640 134569956 3221224336 3221214736 1131605769 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38717 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 306.16
Current children cumulated vsize (Kb) 837668

[startup+340.015 s]
Raw data (loadavg): 1.01 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18405 0 1 0 31504 60 0 0 17 0 11 0 19322086 857772032 38829 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38829 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 315.64
Current children cumulated vsize (Kb) 837668

[startup+350.015 s]
Raw data (loadavg): 1.01 1.04 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18414 0 1 0 32441 60 0 0 16 0 11 0 19322086 857772032 38958 4294967295 134512640 134569956 3221224336 3221214688 1131417098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 38958 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 325.01
Current children cumulated vsize (Kb) 837668

[startup+360.015 s]
Raw data (loadavg): 1.01 1.03 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18423 0 1 0 33377 60 0 0 16 0 11 0 19322086 857772032 39094 4294967295 134512640 134569956 3221224336 3221214688 1131417255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 39094 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 334.37
Current children cumulated vsize (Kb) 837668

[startup+370.016 s]
Raw data (loadavg): 1.01 1.03 0.83 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18431 0 1 0 34318 60 0 0 16 0 11 0 19322086 857772032 39225 4294967295 134512640 134569956 3221224336 3221214736 1131605477 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 39225 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 343.78
Current children cumulated vsize (Kb) 837668

[startup+380.016 s]
Raw data (loadavg): 1.00 1.03 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18438 0 1 0 35269 61 0 0 16 0 11 0 19322086 857772032 39336 4294967295 134512640 134569956 3221224336 3221214664 1131623333 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 39336 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 353.3
Current children cumulated vsize (Kb) 837668

[startup+390.016 s]
Raw data (loadavg): 1.00 1.03 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18446 0 1 0 36218 61 0 0 17 0 11 0 19322086 857772032 39494 4294967295 134512640 134569956 3221224336 3221214576 1131452359 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 39494 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 362.79
Current children cumulated vsize (Kb) 837668

[startup+400.017 s]
Raw data (loadavg): 1.00 1.03 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18455 0 1 0 37168 61 0 0 17 0 11 0 19322086 857772032 39654 4294967295 134512640 134569956 3221224336 3221214576 1131451625 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 39654 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 372.29
Current children cumulated vsize (Kb) 837668

[startup+410.018 s]
Raw data (loadavg): 1.00 1.03 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18464 0 1 0 38123 61 0 0 16 0 11 0 19322086 857772032 39766 4294967295 134512640 134569956 3221224336 3221214576 1131451532 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 39766 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 381.84
Current children cumulated vsize (Kb) 837668

[startup+420.018 s]
Raw data (loadavg): 1.00 1.03 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18473 0 1 0 39079 61 0 0 16 0 11 0 19322086 857772032 39844 4294967295 134512640 134569956 3221224336 3221214496 1131434312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 39844 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 391.4
Current children cumulated vsize (Kb) 837668

[startup+430.018 s]
Raw data (loadavg): 1.00 1.02 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) S 4244 4245 4005 0 -1 0 18481 0 1 0 40038 61 0 0 17 0 11 0 19322086 857772032 39929 4294967295 134512640 134569956 3221224336 3221213408 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 39929 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 400.99
Current children cumulated vsize (Kb) 837668

[startup+440.019 s]
Raw data (loadavg): 1.00 1.02 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18491 0 1 0 40994 61 0 0 16 0 11 0 19322086 857772032 40026 4294967295 134512640 134569956 3221224336 3221214576 1131451795 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40026 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 410.55
Current children cumulated vsize (Kb) 837668

[startup+450.019 s]
Raw data (loadavg): 1.00 1.02 0.84 3/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18500 0 1 0 41954 61 0 0 16 0 11 0 19322086 857772032 40110 4294967295 134512640 134569956 3221224336 3221214688 1131417134 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40110 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 420.15
Current children cumulated vsize (Kb) 837668

[startup+460.02 s]
Raw data (loadavg): 1.00 1.02 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18509 0 1 0 42913 61 0 0 17 0 11 0 19322086 857772032 40201 4294967295 134512640 134569956 3221224336 3221214576 1131451628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40201 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 429.74
Current children cumulated vsize (Kb) 837668

[startup+470.021 s]
Raw data (loadavg): 1.00 1.02 0.84 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18518 0 1 0 43874 61 0 0 17 0 11 0 19322086 857772032 40274 4294967295 134512640 134569956 3221224336 3221214576 1131451853 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40274 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 439.35
Current children cumulated vsize (Kb) 837668

[startup+480.02 s]
Raw data (loadavg): 1.00 1.02 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18527 0 1 0 44834 61 0 0 17 0 11 0 19322086 857772032 40339 4294967295 134512640 134569956 3221224336 3221213828 1077123651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40339 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 448.95
Current children cumulated vsize (Kb) 837668

[startup+490.021 s]
Raw data (loadavg): 1.00 1.02 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18536 0 1 0 45795 61 0 0 17 0 11 0 19322086 857772032 40431 4294967295 134512640 134569956 3221224336 3221214576 1131451699 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 40431 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 458.56
Current children cumulated vsize (Kb) 837668

[startup+500.022 s]
Raw data (loadavg): 1.00 1.02 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18545 0 1 0 46756 62 0 0 17 0 11 0 19322086 857772032 40506 4294967295 134512640 134569956 3221224336 3221214688 1131417191 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 40506 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 468.18
Current children cumulated vsize (Kb) 837668

[startup+510.021 s]
Raw data (loadavg): 1.00 1.02 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18554 0 1 0 47718 62 0 0 17 0 11 0 19322086 857772032 40577 4294967295 134512640 134569956 3221224336 3221214496 1131539594 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40577 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 477.8
Current children cumulated vsize (Kb) 837668

[startup+520.022 s]
Raw data (loadavg): 1.00 1.02 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18563 0 1 0 48679 62 0 0 17 0 11 0 19322086 857772032 40649 4294967295 134512640 134569956 3221224336 3221214820 1131057275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40649 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 487.41
Current children cumulated vsize (Kb) 837668

[startup+530.023 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18572 0 1 0 49641 62 0 0 17 0 11 0 19322086 857772032 40721 4294967295 134512640 134569956 3221224336 3221214664 1131623802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40721 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 497.03
Current children cumulated vsize (Kb) 837668

[startup+540.023 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18581 0 1 0 50603 62 0 0 17 0 11 0 19322086 857772032 40783 4294967295 134512640 134569956 3221224336 3221214688 1131417109 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 40783 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 506.65
Current children cumulated vsize (Kb) 837668

[startup+550.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18591 0 1 0 51561 62 0 0 16 0 11 0 19322086 857772032 40858 4294967295 134512640 134569956 3221224336 3221214664 1131624120 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 40858 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 516.23
Current children cumulated vsize (Kb) 837668

[startup+560.025 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18600 0 1 0 52524 62 0 0 16 0 11 0 19322086 857772032 40921 4294967295 134512640 134569956 3221224336 3221214688 1131417098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40921 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 525.86
Current children cumulated vsize (Kb) 837668

[startup+570.025 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18608 0 1 0 53488 63 0 0 16 0 11 0 19322086 857772032 40983 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 40983 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 535.51
Current children cumulated vsize (Kb) 837668

[startup+580.025 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18617 0 1 0 54450 63 0 0 18 0 11 0 19322086 857772032 41046 4294967295 134512640 134569956 3221224336 3221214576 1131451537 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41046 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 545.13
Current children cumulated vsize (Kb) 837668

[startup+590.027 s]
Raw data (loadavg): 1.00 1.01 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18626 0 1 0 55411 63 0 0 17 0 11 0 19322086 857772032 41106 4294967295 134512640 134569956 3221224336 3221214576 1131451628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41106 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 554.74
Current children cumulated vsize (Kb) 837668

[startup+600.027 s]
Raw data (loadavg): 1.00 1.01 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18635 0 1 0 56372 63 0 0 17 0 11 0 19322086 857772032 41175 4294967295 134512640 134569956 3221224336 3221214580 1131591372 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41175 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 564.35
Current children cumulated vsize (Kb) 837668

[startup+610.027 s]
Raw data (loadavg): 1.00 1.01 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) S 4244 4245 4005 0 -1 0 18644 0 1 0 57331 63 0 0 17 0 11 0 19322086 857772032 41226 4294967295 134512640 134569956 3221224336 3221213280 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41226 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 573.94
Current children cumulated vsize (Kb) 837668

[startup+620.028 s]
Raw data (loadavg): 1.00 1.01 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18654 0 1 0 58286 63 0 0 16 0 11 0 19322086 857772032 41307 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41307 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 583.49
Current children cumulated vsize (Kb) 837668

[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18663 0 1 0 59247 63 0 0 16 0 11 0 19322086 857772032 41378 4294967295 134512640 134569956 3221224336 3221214488 1131434186 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41378 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 593.1
Current children cumulated vsize (Kb) 837668

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18672 0 1 0 60209 63 0 0 16 0 11 0 19322086 857772032 41441 4294967295 134512640 134569956 3221224336 3221214664 1131623652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41441 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 602.72
Current children cumulated vsize (Kb) 837668

[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18681 0 1 0 61169 63 0 0 16 0 11 0 19322086 857772032 41500 4294967295 134512640 134569956 3221224336 3221214664 1131623393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41500 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 612.32
Current children cumulated vsize (Kb) 837668

[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18690 0 1 0 62126 63 0 0 17 0 11 0 19322086 857772032 41559 4294967295 134512640 134569956 3221224336 3221214660 1131451456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41559 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 621.89
Current children cumulated vsize (Kb) 837668

[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18699 0 1 0 63085 64 0 0 16 0 11 0 19322086 857772032 41627 4294967295 134512640 134569956 3221224336 3221214688 1131417273 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41627 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 631.49
Current children cumulated vsize (Kb) 837668

[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18708 0 1 0 64045 64 0 0 17 0 11 0 19322086 857772032 41706 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41706 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 641.09
Current children cumulated vsize (Kb) 837668

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18717 0 1 0 65009 64 0 0 17 0 11 0 19322086 857772032 41781 4294967295 134512640 134569956 3221224336 3221214688 1131417191 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41781 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 650.73
Current children cumulated vsize (Kb) 837668

[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18726 0 1 0 65975 64 0 0 18 0 11 0 19322086 857772032 41837 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41837 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 660.39
Current children cumulated vsize (Kb) 837668

[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18736 0 1 0 66936 64 0 0 18 0 11 0 19322086 857772032 41892 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 41892 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 837668

[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18745 0 1 0 67902 64 0 0 16 0 11 0 19322086 857772032 41942 4294967295 134512640 134569956 3221224336 3221214716 1131355408 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41942 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 679.66
Current children cumulated vsize (Kb) 837668

[startup+730.034 s]
Raw data (loadavg): 1.08 1.02 0.87 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18754 0 1 0 68867 65 0 0 18 0 11 0 19322086 857772032 41997 4294967295 134512640 134569956 3221224336 3221214664 1131623715 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 41997 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 689.32
Current children cumulated vsize (Kb) 837668

[startup+740.035 s]
Raw data (loadavg): 1.07 1.02 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18763 0 1 0 69832 65 0 0 17 0 11 0 19322086 857772032 42048 4294967295 134512640 134569956 3221224336 3221214576 1131451628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42048 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 698.97
Current children cumulated vsize (Kb) 837668

[startup+750.035 s]
Raw data (loadavg): 1.06 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18772 0 1 0 70798 65 0 0 17 0 11 0 19322086 857772032 42104 4294967295 134512640 134569956 3221224336 3221214576 1131452359 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42104 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 708.63
Current children cumulated vsize (Kb) 837668

[startup+760.036 s]
Raw data (loadavg): 1.05 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18781 0 1 0 71764 66 0 0 18 0 11 0 19322086 857772032 42151 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42151 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 718.3
Current children cumulated vsize (Kb) 837668

[startup+770.037 s]
Raw data (loadavg): 1.04 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18791 0 1 0 72725 66 0 0 17 0 11 0 19322086 857772032 42213 4294967295 134512640 134569956 3221224336 3221214664 1131623740 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42213 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 727.91
Current children cumulated vsize (Kb) 837668

[startup+780.036 s]
Raw data (loadavg): 1.03 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18800 0 1 0 73689 66 0 0 16 0 11 0 19322086 857772032 42261 4294967295 134512640 134569956 3221224336 3221214664 1131623526 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42261 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 737.55
Current children cumulated vsize (Kb) 837668

[startup+790.037 s]
Raw data (loadavg): 1.03 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18809 0 1 0 74654 66 0 0 17 0 11 0 19322086 857772032 42312 4294967295 134512640 134569956 3221224336 3221214576 1131451869 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42312 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 747.2
Current children cumulated vsize (Kb) 837668

[startup+800.038 s]
Raw data (loadavg): 1.02 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18818 0 1 0 75620 66 0 0 17 0 11 0 19322086 857772032 42366 4294967295 134512640 134569956 3221224336 3221214688 1131417105 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42366 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 756.86
Current children cumulated vsize (Kb) 837668

[startup+810.037 s]
Raw data (loadavg): 1.02 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18827 0 1 0 76585 67 0 0 17 0 11 0 19322086 857772032 42418 4294967295 134512640 134569956 3221224336 3221214576 1131451811 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42418 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 766.52
Current children cumulated vsize (Kb) 837668

[startup+820.038 s]
Raw data (loadavg): 1.02 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18837 0 1 0 77545 67 0 0 16 0 11 0 19322086 857772032 42469 4294967295 134512640 134569956 3221224336 3221214576 1131451628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42469 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 776.12
Current children cumulated vsize (Kb) 837668

[startup+830.039 s]
Raw data (loadavg): 1.01 1.01 0.88 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18846 0 1 0 78507 67 0 0 16 0 11 0 19322086 857772032 42515 4294967295 134512640 134569956 3221224336 3221214664 1131623652 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42515 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 785.74
Current children cumulated vsize (Kb) 837668

[startup+840.039 s]
Raw data (loadavg): 1.01 1.01 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18855 0 1 0 79468 67 0 0 17 0 11 0 19322086 857772032 42558 4294967295 134512640 134569956 3221224336 3221214496 1131434229 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42558 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 795.35
Current children cumulated vsize (Kb) 837668

[startup+850.04 s]
Raw data (loadavg): 1.01 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18864 0 1 0 80429 67 0 0 17 0 11 0 19322086 857772032 42634 4294967295 134512640 134569956 3221224336 3221214592 1131653399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42634 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 804.96
Current children cumulated vsize (Kb) 837668

[startup+860.04 s]
Raw data (loadavg): 1.01 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18874 0 1 0 81386 67 0 0 16 0 11 0 19322086 857772032 42705 4294967295 134512640 134569956 3221224336 3221214736 1131605637 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42705 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 814.53
Current children cumulated vsize (Kb) 837668

[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18883 0 1 0 82346 67 0 0 17 0 11 0 19322086 857772032 42770 4294967295 134512640 134569956 3221224336 3221214588 1131539411 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42770 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 824.13
Current children cumulated vsize (Kb) 837668

[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18892 0 1 0 83305 67 0 0 17 0 11 0 19322086 857772032 42835 4294967295 134512640 134569956 3221224336 3221214424 1131556951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42835 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 833.72
Current children cumulated vsize (Kb) 837668

[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18902 0 1 0 84259 68 0 0 16 0 11 0 19322086 857772032 42917 4294967295 134512640 134569956 3221224336 3221214688 1131417088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 42917 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 843.27
Current children cumulated vsize (Kb) 837668

[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18911 0 1 0 85217 68 0 0 17 0 11 0 19322086 857772032 42989 4294967295 134512640 134569956 3221224336 3221214688 1131417098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 42989 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 852.85
Current children cumulated vsize (Kb) 837668

[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18920 0 1 0 86176 68 0 0 17 0 11 0 19322086 857772032 43082 4294967295 134512640 134569956 3221224336 3221214036 1080069774 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43082 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 862.44
Current children cumulated vsize (Kb) 837668

[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18930 0 1 0 87134 68 0 0 16 0 11 0 19322086 857772032 43160 4294967295 134512640 134569956 3221224336 3221214664 1131623652 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 43160 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 872.02
Current children cumulated vsize (Kb) 837668

[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18940 0 1 0 88100 68 0 0 17 0 11 0 19322086 857772032 43223 4294967295 134512640 134569956 3221224336 3221214712 1131585444 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43223 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (Kb) 837668

[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18948 0 1 0 89067 68 0 0 16 0 11 0 19322086 857772032 43288 4294967295 134512640 134569956 3221224336 3221214576 1131451628 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 43288 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 891.35
Current children cumulated vsize (Kb) 837668

[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18955 0 1 0 90037 68 0 0 17 0 11 0 19322086 857772032 43346 4294967295 134512640 134569956 3221224336 3221214712 1131585453 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43346 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 901.05
Current children cumulated vsize (Kb) 837668

[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18962 0 1 0 91008 69 0 0 18 0 11 0 19322086 857772032 43405 4294967295 134512640 134569956 3221224336 3221214664 1131623540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43405 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 910.77
Current children cumulated vsize (Kb) 837668

[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18970 0 1 0 91971 69 0 0 18 0 11 0 19322086 857772032 43467 4294967295 134512640 134569956 3221224336 3221214576 1131451656 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43467 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 920.4
Current children cumulated vsize (Kb) 837668

[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18977 0 1 0 92938 69 0 0 16 0 11 0 19322086 857772032 43520 4294967295 134512640 134569956 3221224336 3221214316 1131798208 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43520 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 930.07
Current children cumulated vsize (Kb) 837668

[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18984 0 1 0 93904 69 0 0 16 0 11 0 19322086 857772032 43574 4294967295 134512640 134569956 3221224336 3221214744 1131640020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43574 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 939.73
Current children cumulated vsize (Kb) 837668

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18991 0 1 0 94869 69 0 0 17 0 11 0 19322086 857772032 43629 4294967295 134512640 134569956 3221224336 3221214488 1131434229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 43629 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 949.38
Current children cumulated vsize (Kb) 837668

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 18998 0 1 0 95833 69 0 0 17 0 11 0 19322086 857772032 43709 4294967295 134512640 134569956 3221224336 3221214576 1131451656 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43709 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 959.02
Current children cumulated vsize (Kb) 837668

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19005 0 1 0 96799 69 0 0 17 0 11 0 19322086 857772032 43768 4294967295 134512640 134569956 3221224336 3221214688 1131417131 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 43768 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 968.68
Current children cumulated vsize (Kb) 837668

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19012 0 1 0 97766 69 0 0 17 0 11 0 19322086 857772032 43834 4294967295 134512640 134569956 3221224336 3221214448 1131798460 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 43834 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 978.35
Current children cumulated vsize (Kb) 837668

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19019 0 1 0 98735 69 0 0 18 0 11 0 19322086 857772032 43909 4294967295 134512640 134569956 3221224336 3221214584 1131659852 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43909 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 988.04
Current children cumulated vsize (Kb) 837668

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19027 0 1 0 99700 70 0 0 17 0 11 0 19322086 857772032 43991 4294967295 134512640 134569956 3221224336 3221214688 1131417098 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 43991 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 997.7
Current children cumulated vsize (Kb) 837668

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19034 0 1 0 100670 70 0 0 16 0 11 0 19322086 857772032 44049 4294967295 134512640 134569956 3221224336 3221214664 1131623560 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44049 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1007.4
Current children cumulated vsize (Kb) 837668

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19041 0 1 0 101640 70 0 0 17 0 11 0 19322086 857772032 44106 4294967295 134512640 134569956 3221224336 3221214112 1131798439 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44106 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1017.1
Current children cumulated vsize (Kb) 837668

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19048 0 1 0 102609 70 0 0 17 0 11 0 19322086 857772032 44160 4294967295 134512640 134569956 3221224336 3221214664 1131623542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44160 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1026.79
Current children cumulated vsize (Kb) 837668

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19055 0 1 0 103578 70 0 0 17 0 11 0 19322086 857772032 44219 4294967295 134512640 134569956 3221224336 3221214576 1131452980 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44219 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1036.48
Current children cumulated vsize (Kb) 837668

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19062 0 1 0 104547 71 0 0 17 0 11 0 19322086 857772032 44272 4294967295 134512640 134569956 3221224336 3221214736 1131605813 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44272 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1046.18
Current children cumulated vsize (Kb) 837668

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19069 0 1 0 105515 71 0 0 17 0 11 0 19322086 857772032 44325 4294967295 134512640 134569956 3221224336 3221214696 1131829580 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44325 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1055.86
Current children cumulated vsize (Kb) 837668

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19076 0 1 0 106485 71 0 0 17 0 11 0 19322086 857772032 44398 4294967295 134512640 134569956 3221224336 3221214696 1131829929 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44398 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1065.56
Current children cumulated vsize (Kb) 837668

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19083 0 1 0 107455 71 0 0 17 0 11 0 19322086 857772032 44454 4294967295 134512640 134569956 3221224336 3221214116 1085759248 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44454 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1075.26
Current children cumulated vsize (Kb) 837668

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19090 0 1 0 108425 71 0 0 17 0 11 0 19322086 857772032 44507 4294967295 134512640 134569956 3221224336 3221214232 1131805054 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44507 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1084.96
Current children cumulated vsize (Kb) 837668

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19097 0 1 0 109395 71 0 0 17 0 11 0 19322086 857772032 44561 4294967295 134512640 134569956 3221224336 3221214448 1131798250 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44561 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1094.66
Current children cumulated vsize (Kb) 837668

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19104 0 1 0 110364 71 0 0 18 0 11 0 19322086 857772032 44613 4294967295 134512640 134569956 3221224336 3221214664 1131623672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44613 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1104.35
Current children cumulated vsize (Kb) 837668

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19111 0 1 0 111333 71 0 0 17 0 11 0 19322086 857772032 44673 4294967295 134512640 134569956 3221224336 3221214556 1131057152 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44673 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1114.04
Current children cumulated vsize (Kb) 837668

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19118 0 1 0 112302 71 0 0 17 0 11 0 19322086 857772032 44726 4294967295 134512640 134569956 3221224336 3221214688 1131417136 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44726 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1123.73
Current children cumulated vsize (Kb) 837668

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19125 0 1 0 113266 72 0 0 17 0 11 0 19322086 857772032 44780 4294967295 134512640 134569956 3221224336 3221214664 1131623796 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44780 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1133.38
Current children cumulated vsize (Kb) 837668

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19132 0 1 0 114231 72 0 0 17 0 11 0 19322086 857772032 44841 4294967295 134512640 134569956 3221224336 3221214232 1131805065 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44841 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1143.03
Current children cumulated vsize (Kb) 837668

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19139 0 1 0 115194 72 0 0 16 0 11 0 19322086 857772032 44895 4294967295 134512640 134569956 3221224336 3221214200 1085806272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 44895 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1152.66
Current children cumulated vsize (Kb) 837668

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) S 4244 4245 4005 0 -1 0 19145 0 1 0 116160 72 0 0 16 0 11 0 19322086 857772032 44940 4294967295 134512640 134569956 3221224336 3221213408 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 44940 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1162.32
Current children cumulated vsize (Kb) 837668

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19152 0 1 0 117127 72 0 0 17 0 11 0 19322086 857772032 45025 4294967295 134512640 134569956 3221224336 3221214504 1131671604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/4245/statm): 209417 45025 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1171.99
Current children cumulated vsize (Kb) 837668

[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19159 0 1 0 118094 72 0 0 17 0 11 0 19322086 857772032 45084 4294967295 134512640 134569956 3221224336 3221213920 1131823665 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 45084 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (Kb) 837668

[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19166 0 1 0 119062 72 0 0 17 0 11 0 19322086 857772032 45154 4294967295 134512640 134569956 3221224336 3221213912 1131823952 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 45154 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1191.34
Current children cumulated vsize (Kb) 837668

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19173 0 1 0 120031 72 0 0 16 0 11 0 19322086 857772032 45207 4294967295 134512640 134569956 3221224336 3221214576 1131452854 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 45207 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1201.03
Current children cumulated vsize (Kb) 837668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 4255
Raw data (/proc/4245/stat): 4245 (java) R 4244 4245 4005 0 -1 0 19173 0 1 0 120031 72 0 0 16 0 11 0 19322086 857772032 45207 4294967295 134512640 134569956 3221224336 3221214576 1131452854 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/4245/statm): 209417 45207 13129 16 0 209401 0
[pid=4245] vsize: 837668
Current children cumulated CPU time (s) 1201.03
Current children cumulated vsize (Kb) 837668

Sending SIGTERM to -4245
Sleeping 2 seconds
New thread pid=4257
New thread pid=4258
One traced child (pid=4258) exited with status: 0
One traced child (pid=4254) exited with status: 0
One traced child (pid=4249) exited with status: 0
One traced child (pid=4246) exited with status: 143
One traced child (pid=4248) exited with status: 143
One traced child (pid=4247) exited with status: 143
One traced child (pid=4250) exited with status: 143
One traced child (pid=4253) exited with status: 143
One traced child (pid=4252) exited with status: 143
One traced child (pid=4251) exited with status: 143
One traced child (pid=4255) exited with status: 143
One traced child (pid=4257) exited with status: 143
One traced child (pid=4245) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.18
CPU time (s): 1269.95
CPU user time (s): 1267.91
CPU system time (s): 2.03769
CPU usage (%): 100.775
Max. virtual memory (cumulated for all children) (Kb): 844192

Verifier Data

ERROR: no interpretation found !