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/miplib3/normalized-mps-v2-20-10-mod008.opb
MD5SUM581d778a36086562107993896110e0a2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 361
Optimality of the best value was proved NO
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.06
Number of variables319
Total number of constraints325
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)319
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint231

Trace number 4854

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        816164 kB
Buffers:         37828 kB
Cached:         153500 kB
SwapCached:        228 kB
Active:          72172 kB
Inactive:       122084 kB
HighTotal:      131008 kB
HighFree:        29120 kB
LowTotal:       903652 kB
LowFree:        787044 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18612 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 20:50:52 (client local time) WITH STATUS 143 IN 1258.8 SECONDS
stats: 6535 0 1258.8 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/wulflinc10/normalized-mps-v2-20-10-mod008.opb
c reading problem ... done. Time 0.854 ms.
c #vars     319
c #constraints  6
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 696 		Current CPU time: 1.17 ms
c CURRENT OPTIMUM=                 609 		Current CPU time: 8.90 ms
c CURRENT OPTIMUM=                 585 		Current CPU time: 31.59 ms
c CURRENT OPTIMUM=                 535 		Current CPU time: 57.03 ms
c CURRENT OPTIMUM=                 514 		Current CPU time: 60.40 ms
c CURRENT OPTIMUM=                 506 		Current CPU time: 63.77 ms
c CURRENT OPTIMUM=                 503 		Current CPU time: 92.64 ms
c CURRENT OPTIMUM=                 496 		Current CPU time: 127.64 ms
c CURRENT OPTIMUM=                 492 		Current CPU time: 169.77 ms
c CURRENT OPTIMUM=                 478 		Current CPU time: 255.23 ms
c CURRENT OPTIMUM=                 455 		Current CPU time: 322.15 ms
c CURRENT OPTIMUM=                 419 		Current CPU time: 331.06 ms
c CURRENT OPTIMUM=                 414 		Current CPU time: 358.30 ms
c CURRENT OPTIMUM=                 385 		Current CPU time: 570.96 ms
c CURRENT OPTIMUM=                 378 		Current CPU time: 644.30 ms
c CURRENT OPTIMUM=                 369 		Current CPU time: 800.65 ms
c CURRENT OPTIMUM=                 368 		Current CPU time: 979.53 ms
c starts		: 31
c conflicts		: 1810
c decisions		: 15944
c propagations		: 31177
c inspects		: 811407
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1809
c root simplifications	: 31
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 15348
c speed (decisions/second)	: 59.209744503862154
c non guided choices	5269
c random choices	0
s SATISFIABLE
v -C2_0x2e__bit0 C3_0x2e__bit0 -C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 C70_0x2e__bit0 -C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 -C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 C123_0x2e__bit0 -C124_0x2e__bit0 -C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 -C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 -C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 -C312_0x2e__bit0 -C313_0x2e__bit0 -C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 -C318_0x2e__bit0 -C319_0x2e__bit0 -C320_0x2e__bit0 
c objective function=368
c Total CPU time (ms) : 1248.966

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/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1794596162 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 39 3 38 16 0 23 0
[pid=9597] 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/9597
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=9598
New thread pid=9599
New thread pid=9600
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=9601
New thread pid=9602
New thread pid=9603
New thread pid=9604
New thread pid=9605
New thread pid=9606
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/wulflinc10/normalized-mps-v2-20-10-mod008.opb
New thread pid=9607
One traced child (pid=9607) exited with status: 0
New thread pid=9608

[startup+10.0023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9608
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18194 3 1 0 759 48 0 0 18 0 11 0 1794596162 860725248 19813 4294967295 134512640 134569956 3221224336 3221214308 1131082926 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 210138 19813 13129 16 0 210122 0
[pid=9597] vsize: 840552
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (Kb) 840552
One traced child (pid=9608) exited with status: 0
New thread pid=9609

[startup+20.0029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9609
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18201 3 1 0 1720 49 0 0 25 0 11 0 1794596162 866652160 21932 4294967295 134512640 134569956 3221224336 3221214504 1131414960 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211585 21932 13129 16 0 211569 0
[pid=9597] vsize: 846340
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (Kb) 846340

[startup+30.0054 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9609
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18207 3 1 0 2682 49 0 0 25 0 11 0 1794596162 866652160 22346 4294967295 134512640 134569956 3221224336 3221214568 1131394232 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211585 22346 13129 16 0 211569 0
[pid=9597] vsize: 846340
Current children cumulated CPU time (s) 27.31
Current children cumulated vsize (Kb) 846340
One traced child (pid=9609) exited with status: 0
New thread pid=9610

[startup+40.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9610
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18214 3 1 0 3624 50 0 0 25 0 11 0 1794596162 866652160 23045 4294967295 134512640 134569956 3221224336 3221214584 1131390540 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211585 23045 13129 16 0 211569 0
[pid=9597] vsize: 846340
Current children cumulated CPU time (s) 36.74
Current children cumulated vsize (Kb) 846340

[startup+50.0065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9610
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18219 3 1 0 4576 51 0 0 22 0 11 0 1794596162 866652160 23136 4294967295 134512640 134569956 3221224336 3221214568 1131367028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211585 23136 13129 16 0 211569 0
[pid=9597] vsize: 846340
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (Kb) 846340
One traced child (pid=9610) exited with status: 0
New thread pid=9611

[startup+60.0071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9611
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18224 3 1 0 5526 51 0 0 23 0 11 0 1794596162 866652160 23294 4294967295 134512640 134569956 3221224336 3221214632 1131367175 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211585 23294 13129 16 0 211569 0
[pid=9597] vsize: 846340
Current children cumulated CPU time (s) 55.77
Current children cumulated vsize (Kb) 846340
One traced child (pid=9611) exited with status: 0
New thread pid=9612
New thread pid=9613
One traced child (pid=9612) exited with status: 0

[startup+70.0077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9613
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18234 3 1 0 6463 52 0 0 17 0 11 0 1794596162 867180544 23547 4294967295 134512640 134569956 3221224336 3221214512 1131397368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 23547 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 65.15
Current children cumulated vsize (Kb) 846856

[startup+80.0092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9613
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18239 3 1 0 7412 52 0 0 25 0 11 0 1794596162 867180544 23732 4294967295 134512640 134569956 3221224336 3221214632 1131366971 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 23732 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 74.64
Current children cumulated vsize (Kb) 846856

[startup+90.0098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9613
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18245 3 1 0 8350 52 0 0 25 0 11 0 1794596162 867180544 23965 4294967295 134512640 134569956 3221224336 3221214252 1131611748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 23965 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 84.02
Current children cumulated vsize (Kb) 846856
One traced child (pid=9613) exited with status: 0
New thread pid=9614

[startup+100.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9614
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18251 6 1 0 9287 53 0 0 25 0 11 0 1794596162 867180544 24182 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 24182 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 93.4
Current children cumulated vsize (Kb) 846856

[startup+110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9614
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18257 6 1 0 10235 53 0 0 25 0 11 0 1794596162 867180544 24328 4294967295 134512640 134569956 3221224336 3221214232 1080338882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 24328 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 102.88
Current children cumulated vsize (Kb) 846856

[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9614
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18263 6 1 0 11175 53 0 0 25 0 11 0 1794596162 867180544 24502 4294967295 134512640 134569956 3221224336 3221214712 1131358845 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 24502 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 112.28
Current children cumulated vsize (Kb) 846856
One traced child (pid=9614) exited with status: 0
New thread pid=9615

[startup+130.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9615
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18270 6 1 0 12113 54 0 0 19 0 11 0 1794596162 867180544 24670 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 24670 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 121.67
Current children cumulated vsize (Kb) 846856

[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9615
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18276 6 1 0 13054 54 0 0 19 0 11 0 1794596162 867180544 24811 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 24811 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 131.08
Current children cumulated vsize (Kb) 846856

[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9615
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18282 6 1 0 13996 55 0 0 25 0 11 0 1794596162 867180544 25025 4294967295 134512640 134569956 3221224336 3221214496 1131397328 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 25025 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 140.51
Current children cumulated vsize (Kb) 846856

[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9615
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18288 6 1 0 14935 55 0 0 25 0 11 0 1794596162 867180544 25211 4294967295 134512640 134569956 3221224336 3221214512 1131541351 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 25211 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 149.9
Current children cumulated vsize (Kb) 846856

[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9615
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18295 6 1 0 15878 55 0 0 25 0 11 0 1794596162 867180544 25388 4294967295 134512640 134569956 3221224336 3221214600 1131411253 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 25388 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 159.33
Current children cumulated vsize (Kb) 846856
One traced child (pid=9615) exited with status: 0
New thread pid=9616

[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18301 6 1 0 16827 55 0 0 21 0 11 0 1794596162 867180544 25554 4294967295 134512640 134569956 3221224336 3221214800 1131364633 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 25554 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 168.82
Current children cumulated vsize (Kb) 846856

[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18307 6 1 0 17772 56 0 0 19 0 11 0 1794596162 867180544 25668 4294967295 134512640 134569956 3221224336 3221214576 1131395243 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 25668 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 178.28
Current children cumulated vsize (Kb) 846856

[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18312 6 1 0 18716 57 0 0 17 0 11 0 1794596162 867180544 25816 4294967295 134512640 134569956 3221224336 3221213200 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 25816 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 846856

[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18318 6 1 0 19671 57 0 0 23 0 11 0 1794596162 867180544 26045 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 26045 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 197.28
Current children cumulated vsize (Kb) 846856

[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18322 6 1 0 20637 57 0 0 25 0 11 0 1794596162 867180544 26143 4294967295 134512640 134569956 3221224336 3221214696 1131403106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 26143 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 206.94
Current children cumulated vsize (Kb) 846856

[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18328 6 1 0 21582 57 0 0 25 0 11 0 1794596162 867180544 26199 4294967295 134512640 134569956 3221224336 3221214604 1131395113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 26199 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 216.39
Current children cumulated vsize (Kb) 846856

[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18333 6 1 0 22539 57 0 0 25 0 11 0 1794596162 867180544 26344 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 26344 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 225.96
Current children cumulated vsize (Kb) 846856

[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9616
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18340 6 1 0 23492 58 0 0 25 0 11 0 1794596162 867180544 26556 4294967295 134512640 134569956 3221224336 3221214636 1131362515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 26556 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 235.5
Current children cumulated vsize (Kb) 846856
One traced child (pid=9616) exited with status: 0
New thread pid=9617

[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18344 6 1 0 24470 58 0 0 25 0 11 0 1794596162 867180544 26664 4294967295 134512640 134569956 3221224336 3221214820 1131364595 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 26664 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 245.28
Current children cumulated vsize (Kb) 846856

[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18351 6 1 0 25435 58 0 0 25 0 11 0 1794596162 867180544 26824 4294967295 134512640 134569956 3221224336 3221214608 1131392451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 26824 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 254.93
Current children cumulated vsize (Kb) 846856

[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18357 6 1 0 26405 58 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221214572 1131395278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 264.63
Current children cumulated vsize (Kb) 846856

[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18363 6 1 0 27373 59 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221214496 1131397148 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 274.32
Current children cumulated vsize (Kb) 846856

[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18369 6 1 0 28337 60 0 0 25 0 11 0 1794596162 867180544 27017 4294967295 134512640 134569956 3221224336 3221213136 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27017 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 283.97
Current children cumulated vsize (Kb) 846856

[startup+310.017 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18374 6 1 0 29297 60 0 0 25 0 11 0 1794596162 867180544 27019 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27019 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 293.57
Current children cumulated vsize (Kb) 846856

[startup+320.018 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 9617
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18379 6 1 0 30263 60 0 0 25 0 11 0 1794596162 867180544 27146 4294967295 134512640 134569956 3221224336 3221214584 1131390488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27146 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 303.23
Current children cumulated vsize (Kb) 846856
One traced child (pid=9617) exited with status: 0
New thread pid=9618

[startup+330.018 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 9618
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18385 6 1 0 31227 61 0 0 25 0 11 0 1794596162 867180544 27315 4294967295 134512640 134569956 3221224336 3221214632 1131367011 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27315 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 312.88
Current children cumulated vsize (Kb) 846856
One traced child (pid=9618) exited with status: 0
New thread pid=9619

[startup+340.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 9619
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18390 6 1 0 32199 61 0 0 20 0 11 0 1794596162 867180544 27434 4294967295 134512640 134569956 3221224336 3221214604 1131390432 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27434 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 322.6
Current children cumulated vsize (Kb) 846856

[startup+350.019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 9619
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18395 6 1 0 33172 61 0 0 25 0 11 0 1794596162 867180544 27547 4294967295 134512640 134569956 3221224336 3221214632 1131367028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27547 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 332.33
Current children cumulated vsize (Kb) 846856
One traced child (pid=9619) exited with status: 0
New thread pid=9620

[startup+360.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18400 6 1 0 34144 61 0 0 19 0 11 0 1794596162 867180544 27623 4294967295 134512640 134569956 3221224336 3221214208 1131650831 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27623 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (Kb) 846856

[startup+370.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18404 6 1 0 35117 62 0 0 25 0 11 0 1794596162 867180544 27623 4294967295 134512640 134569956 3221224336 3221214496 1131397689 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27623 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 351.79
Current children cumulated vsize (Kb) 846856

[startup+380.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18409 6 1 0 36075 62 0 0 25 0 11 0 1794596162 867180544 27658 4294967295 134512640 134569956 3221224336 3221214504 1131414728 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27658 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 361.37
Current children cumulated vsize (Kb) 846856

[startup+390.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18413 6 1 0 37039 62 0 0 25 0 11 0 1794596162 867180544 27714 4294967295 134512640 134569956 3221224336 3221214576 1131395177 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27714 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 371.01
Current children cumulated vsize (Kb) 846856

[startup+400.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18418 6 1 0 37992 62 0 0 25 0 11 0 1794596162 867180544 27786 4294967295 134512640 134569956 3221224336 3221214504 1131397389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 27786 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 380.54
Current children cumulated vsize (Kb) 846856

[startup+410.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18424 6 1 0 38953 62 0 0 25 0 11 0 1794596162 867180544 27868 4294967295 134512640 134569956 3221224336 3221214416 1131415307 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27868 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 390.15
Current children cumulated vsize (Kb) 846856

[startup+420.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18429 6 1 0 39906 62 0 0 25 0 11 0 1794596162 867180544 27994 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 27994 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 399.68
Current children cumulated vsize (Kb) 846856

[startup+430.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18435 6 1 0 40855 63 0 0 25 0 11 0 1794596162 867180544 28182 4294967295 134512640 134569956 3221224336 3221214488 1131395225 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28182 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 409.18
Current children cumulated vsize (Kb) 846856

[startup+440.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18443 6 1 0 41808 63 0 0 25 0 11 0 1794596162 867180544 28421 4294967295 134512640 134569956 3221224336 3221213008 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 28421 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 418.71
Current children cumulated vsize (Kb) 846856

[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18448 6 1 0 42785 64 0 0 25 0 11 0 1794596162 867180544 28580 4294967295 134512640 134569956 3221224336 3221214452 1131057164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 28580 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 428.49
Current children cumulated vsize (Kb) 846856

[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18453 6 1 0 43769 64 0 0 24 0 11 0 1794596162 867180544 28694 4294967295 134512640 134569956 3221224336 3221214476 1131364576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28694 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 438.33
Current children cumulated vsize (Kb) 846856

[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18458 6 1 0 44755 65 0 0 25 0 11 0 1794596162 867180544 28787 4294967295 134512640 134569956 3221224336 3221214472 1131581033 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 28787 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 448.2
Current children cumulated vsize (Kb) 846856

[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18463 6 1 0 45741 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214716 1131358700 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 458.06
Current children cumulated vsize (Kb) 846856

[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18468 6 1 0 46723 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214416 1131414635 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 467.88
Current children cumulated vsize (Kb) 846856

[startup+500.026 s]
Raw data (loadavg): 1.07 1.02 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18474 6 1 0 47696 65 0 0 25 0 11 0 1794596162 867180544 28841 4294967295 134512640 134569956 3221224336 3221214312 1131610449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 28841 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 477.61
Current children cumulated vsize (Kb) 846856

[startup+510.026 s]
Raw data (loadavg): 1.06 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18479 6 1 0 48672 65 0 0 25 0 11 0 1794596162 867180544 28850 4294967295 134512640 134569956 3221224336 3221214416 1131415269 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 28850 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 487.37
Current children cumulated vsize (Kb) 846856

[startup+520.027 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18486 6 1 0 49635 65 0 0 16 0 11 0 1794596162 867180544 28894 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28894 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 497
Current children cumulated vsize (Kb) 846856

[startup+530.029 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18491 6 1 0 50610 66 0 0 18 0 11 0 1794596162 867180544 28982 4294967295 134512640 134569956 3221224336 3221214592 1131367063 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 28982 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 506.76
Current children cumulated vsize (Kb) 846856

[startup+540.028 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18496 6 1 0 51586 66 0 0 25 0 11 0 1794596162 867180544 29075 4294967295 134512640 134569956 3221224336 3221214576 1131388188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29075 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 516.52
Current children cumulated vsize (Kb) 846856

[startup+550.028 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18501 6 1 0 52562 66 0 0 25 0 11 0 1794596162 867180544 29172 4294967295 134512640 134569956 3221224336 3221214488 1131395180 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29172 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 526.28
Current children cumulated vsize (Kb) 846856

[startup+560.029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18506 6 1 0 53541 67 0 0 25 0 11 0 1794596162 867180544 29206 4294967295 134512640 134569956 3221224336 3221214452 1131057236 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29206 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 536.08
Current children cumulated vsize (Kb) 846856

[startup+570.029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 9620
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18513 6 1 0 54512 67 0 0 18 0 11 0 1794596162 867180544 29262 4294967295 134512640 134569956 3221224336 3221214408 1131397368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29262 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 545.79
Current children cumulated vsize (Kb) 846856
One traced child (pid=9620) exited with status: 0
New thread pid=9621

[startup+580.029 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18518 6 1 0 55487 67 0 0 21 0 11 0 1794596162 867180544 29296 4294967295 134512640 134569956 3221224336 3221214592 1131367255 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29296 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 555.54
Current children cumulated vsize (Kb) 846856

[startup+590.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18523 6 1 0 56459 68 0 0 25 0 11 0 1794596162 867180544 29350 4294967295 134512640 134569956 3221224336 3221214384 1131554531 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29350 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 565.27
Current children cumulated vsize (Kb) 846856

[startup+600.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18528 6 1 0 57429 68 0 0 25 0 11 0 1794596162 867180544 29415 4294967295 134512640 134569956 3221224336 3221214416 1131417053 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29415 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 574.97
Current children cumulated vsize (Kb) 846856

[startup+610.03 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18532 6 1 0 58402 69 0 0 25 0 11 0 1794596162 867180544 29485 4294967295 134512640 134569956 3221224336 3221214592 1131367233 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29485 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 584.71
Current children cumulated vsize (Kb) 846856

[startup+620.031 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18537 6 1 0 59367 69 0 0 25 0 11 0 1794596162 867180544 29524 4294967295 134512640 134569956 3221224336 3221214512 1131411201 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29524 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 594.36
Current children cumulated vsize (Kb) 846856

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18542 6 1 0 60333 70 0 0 24 0 11 0 1794596162 867180544 29602 4294967295 134512640 134569956 3221224336 3221214408 1131397368 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29602 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 604.03
Current children cumulated vsize (Kb) 846856

[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9621
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18547 6 1 0 61296 71 0 0 21 0 11 0 1794596162 867180544 29669 4294967295 134512640 134569956 3221224336 3221214512 1131411111 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29669 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 613.67
Current children cumulated vsize (Kb) 846856
One traced child (pid=9621) exited with status: 0
New thread pid=9622

[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18551 6 1 0 62265 71 0 1 25 0 11 0 1794596162 867180544 29753 4294967295 134512640 134569956 3221224336 3221214592 1131367469 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 29753 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 623.37
Current children cumulated vsize (Kb) 846856

[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18556 6 1 0 63230 72 0 1 25 0 11 0 1794596162 867180544 29880 4294967295 134512640 134569956 3221224336 3221214480 1131367140 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 29880 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 633.03
Current children cumulated vsize (Kb) 846856

[startup+670.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18561 6 1 0 64199 72 0 1 25 0 11 0 1794596162 867180544 30037 4294967295 134512640 134569956 3221224336 3221214496 1131390472 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30037 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 642.72
Current children cumulated vsize (Kb) 846856

[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18566 6 1 0 65170 72 0 1 25 0 11 0 1794596162 867180544 30114 4294967295 134512640 134569956 3221224336 3221214456 1131364624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 30114 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 652.43
Current children cumulated vsize (Kb) 846856

[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18571 6 1 0 66144 72 0 1 25 0 11 0 1794596162 867180544 30195 4294967295 134512640 134569956 3221224336 3221214496 1131390503 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30195 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 662.17
Current children cumulated vsize (Kb) 846856

[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18577 6 1 0 67108 73 0 1 25 0 11 0 1794596162 867180544 30307 4294967295 134512640 134569956 3221224336 3221214408 1131397389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30307 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 671.82
Current children cumulated vsize (Kb) 846856

[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18583 6 1 0 68074 73 0 1 23 0 11 0 1794596162 867180544 30418 4294967295 134512640 134569956 3221224336 3221214416 1131414960 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 30418 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 681.48
Current children cumulated vsize (Kb) 846856

[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18588 6 1 0 69043 73 0 1 25 0 11 0 1794596162 867180544 30475 4294967295 134512640 134569956 3221224336 3221214592 1131367032 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30475 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 691.17
Current children cumulated vsize (Kb) 846856

[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18593 6 1 0 70010 74 0 1 25 0 11 0 1794596162 867180544 30555 4294967295 134512640 134569956 3221224336 3221214520 1131392608 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30555 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 700.85
Current children cumulated vsize (Kb) 846856

[startup+740.038 s]
Raw data (loadavg): 1.15 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18598 6 1 0 70976 74 0 1 25 0 11 0 1794596162 867180544 30595 4294967295 134512640 134569956 3221224336 3221214672 1131358720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 30595 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 710.51
Current children cumulated vsize (Kb) 846856

[startup+750.038 s]
Raw data (loadavg): 1.12 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18605 6 1 0 71930 75 0 1 25 0 11 0 1794596162 867180544 30719 4294967295 134512640 134569956 3221224336 3221214384 1131553167 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 30719 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 720.06
Current children cumulated vsize (Kb) 846856

[startup+760.039 s]
Raw data (loadavg): 1.10 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18612 6 1 0 72894 75 0 1 17 0 11 0 1794596162 867180544 30890 4294967295 134512640 134569956 3221224336 3221214408 1131397577 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 30890 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 729.7
Current children cumulated vsize (Kb) 846856

[startup+770.039 s]
Raw data (loadavg): 1.09 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18617 6 1 0 73874 75 0 1 18 0 11 0 1794596162 867180544 31007 4294967295 134512640 134569956 3221224336 3221214504 1131397023 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31007 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 739.5
Current children cumulated vsize (Kb) 846856

[startup+780.04 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18624 6 1 0 74852 75 0 1 25 0 11 0 1794596162 867180544 31097 4294967295 134512640 134569956 3221224336 3221214360 1131655496 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31097 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 749.28
Current children cumulated vsize (Kb) 846856

[startup+790.04 s]
Raw data (loadavg): 1.06 1.03 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18630 6 1 0 75825 76 0 1 25 0 11 0 1794596162 867180544 31172 4294967295 134512640 134569956 3221224336 3221214496 1131397194 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31172 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 759.02
Current children cumulated vsize (Kb) 846856

[startup+800.041 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 9622
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18636 6 1 0 76798 76 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214496 1131397389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 768.75
Current children cumulated vsize (Kb) 846856
One traced child (pid=9622) exited with status: 0
New thread pid=9623

[startup+810.041 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18640 6 1 0 77779 76 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214552 1131495573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 778.56
Current children cumulated vsize (Kb) 846856

[startup+820.042 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18646 6 1 0 78747 77 0 1 25 0 11 0 1794596162 867180544 31218 4294967295 134512640 134569956 3221224336 3221214284 1078904858 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31218 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 788.25
Current children cumulated vsize (Kb) 846856

[startup+830.043 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18652 6 1 0 79718 77 0 1 25 0 11 0 1794596162 867180544 31269 4294967295 134512640 134569956 3221224336 3221214500 1131621054 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31269 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 797.96
Current children cumulated vsize (Kb) 846856

[startup+840.043 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18656 6 1 0 80693 77 0 1 25 0 11 0 1794596162 867180544 31386 4294967295 134512640 134569956 3221224336 3221214608 1131392451 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31386 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 807.71
Current children cumulated vsize (Kb) 846856

[startup+850.044 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) S 9596 9597 22582 0 -1 0 18662 6 1 0 81659 77 0 1 25 0 11 0 1794596162 867180544 31475 4294967295 134512640 134569956 3221224336 3221213320 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31475 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 817.37
Current children cumulated vsize (Kb) 846856

[startup+860.044 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18666 6 1 0 82630 77 0 1 25 0 11 0 1794596162 867180544 31543 4294967295 134512640 134569956 3221224336 3221214504 1131397559 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31543 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 827.08
Current children cumulated vsize (Kb) 846856

[startup+870.045 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18672 6 1 0 83587 78 0 1 25 0 11 0 1794596162 867180544 31590 4294967295 134512640 134569956 3221224336 3221214672 1131358720 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31590 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 836.66
Current children cumulated vsize (Kb) 846856

[startup+880.045 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18678 6 1 0 84541 78 0 1 25 0 11 0 1794596162 867180544 31660 4294967295 134512640 134569956 3221224336 3221214504 1131415366 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31660 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 846.2
Current children cumulated vsize (Kb) 846856

[startup+890.046 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18683 6 1 0 85505 78 0 1 25 0 11 0 1794596162 867180544 31735 4294967295 134512640 134569956 3221224336 3221214504 1131397518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 31735 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 855.84
Current children cumulated vsize (Kb) 846856

[startup+900.045 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18689 6 1 0 86466 78 0 1 25 0 11 0 1794596162 867180544 31905 4294967295 134512640 134569956 3221224336 3221214536 1131398017 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 31905 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 865.45
Current children cumulated vsize (Kb) 846856

[startup+910.047 s]
Raw data (loadavg): 1.08 1.03 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18693 6 1 0 87442 79 0 1 25 0 11 0 1794596162 867180544 32068 4294967295 134512640 134569956 3221224336 3221214616 1131390520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32068 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 875.22
Current children cumulated vsize (Kb) 846856

[startup+920.048 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18698 6 1 0 88414 79 0 1 25 0 11 0 1794596162 867180544 32178 4294967295 134512640 134569956 3221224336 3221214504 1131397405 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32178 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 884.94
Current children cumulated vsize (Kb) 846856

[startup+930.048 s]
Raw data (loadavg): 1.06 1.03 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18703 6 1 0 89387 79 0 1 25 0 11 0 1794596162 867180544 32315 4294967295 134512640 134569956 3221224336 3221214576 1131395177 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 32315 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 894.67
Current children cumulated vsize (Kb) 846856

[startup+940.049 s]
Raw data (loadavg): 1.05 1.03 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18709 6 1 0 90359 80 0 1 25 0 11 0 1794596162 867180544 32364 4294967295 134512640 134569956 3221224336 3221214504 1131385582 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 32364 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 904.4
Current children cumulated vsize (Kb) 846856

[startup+950.048 s]
Raw data (loadavg): 1.04 1.03 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18715 6 1 0 91329 80 0 1 25 0 11 0 1794596162 867180544 32378 4294967295 134512640 134569956 3221224336 3221214572 1131395268 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 32378 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 914.1
Current children cumulated vsize (Kb) 846856

[startup+960.049 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18721 6 1 0 92302 80 0 1 20 0 11 0 1794596162 867180544 32462 4294967295 134512640 134569956 3221224336 3221214504 1131397338 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 32462 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 923.83
Current children cumulated vsize (Kb) 846856

[startup+970.049 s]
Raw data (loadavg): 1.03 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18727 6 1 0 93277 80 0 1 25 0 11 0 1794596162 867180544 32573 4294967295 134512640 134569956 3221224336 3221214504 1131415280 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32573 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 933.58
Current children cumulated vsize (Kb) 846856

[startup+980.051 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9623
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18733 6 1 0 94256 81 0 1 25 0 11 0 1794596162 867180544 32662 4294967295 134512640 134569956 3221224336 3221214504 1131417046 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32662 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 943.38
Current children cumulated vsize (Kb) 846856
One traced child (pid=9623) exited with status: 0
New thread pid=9624

[startup+990.052 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18738 6 1 0 95238 81 0 1 25 0 11 0 1794596162 867180544 32709 4294967295 134512640 134569956 3221224336 3221214704 1131439394 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32709 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 953.2
Current children cumulated vsize (Kb) 846856

[startup+1000.05 s]
Raw data (loadavg): 1.02 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18743 6 1 0 96219 81 0 1 25 0 11 0 1794596162 867180544 32743 4294967295 134512640 134569956 3221224336 3221214472 1131554486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32743 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 963.01
Current children cumulated vsize (Kb) 846856

[startup+1010.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18749 6 1 0 97193 81 0 1 25 0 11 0 1794596162 867180544 32743 4294967295 134512640 134569956 3221224336 3221214592 1131367623 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32743 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 972.75
Current children cumulated vsize (Kb) 846856

[startup+1020.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18754 6 1 0 98167 82 0 1 25 0 11 0 1794596162 867180544 32772 4294967295 134512640 134569956 3221224336 3221214496 1131397292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32772 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 982.5
Current children cumulated vsize (Kb) 846856

[startup+1030.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18760 6 1 0 99134 82 0 1 24 0 11 0 1794596162 867180544 32844 4294967295 134512640 134569956 3221224336 3221214672 1131358763 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32844 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 992.17
Current children cumulated vsize (Kb) 846856

[startup+1040.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18764 6 1 0 100110 82 0 1 25 0 11 0 1794596162 867180544 32867 4294967295 134512640 134569956 3221224336 3221214504 1131415377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32867 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (Kb) 846856

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18768 6 1 0 101083 83 0 1 25 0 11 0 1794596162 867180544 32889 4294967295 134512640 134569956 3221224336 3221214584 1131390592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 32889 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1011.67
Current children cumulated vsize (Kb) 846856

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.02 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18774 6 1 0 102046 83 0 1 25 0 11 0 1794596162 867180544 33017 4294967295 134512640 134569956 3221224336 3221214504 1131414635 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33017 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1021.3
Current children cumulated vsize (Kb) 846856

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18778 6 1 0 103022 83 0 1 25 0 11 0 1794596162 867180544 33076 4294967295 134512640 134569956 3221224336 3221214504 1131397368 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33076 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1031.06
Current children cumulated vsize (Kb) 846856

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18782 6 1 0 103997 83 0 1 25 0 11 0 1794596162 867180544 33138 4294967295 134512640 134569956 3221224336 3221214540 1131057189 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33138 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1040.81
Current children cumulated vsize (Kb) 846856

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18788 6 1 0 104963 83 0 1 16 0 11 0 1794596162 867180544 33225 4294967295 134512640 134569956 3221224336 3221214496 1131397673 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33225 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1050.47
Current children cumulated vsize (Kb) 846856

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18793 6 1 0 105936 84 0 1 25 0 11 0 1794596162 867180544 33323 4294967295 134512640 134569956 3221224336 3221214544 1131364616 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33323 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1060.21
Current children cumulated vsize (Kb) 846856

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18797 6 1 0 106916 84 0 1 25 0 11 0 1794596162 867180544 33441 4294967295 134512640 134569956 3221224336 3221214584 1131397389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33441 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 846856

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18802 6 1 0 107892 84 0 1 25 0 11 0 1794596162 867180544 33480 4294967295 134512640 134569956 3221224336 3221214232 1080339190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33480 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1079.77
Current children cumulated vsize (Kb) 846856

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18807 6 1 0 108868 84 0 1 25 0 11 0 1794596162 867180544 33550 4294967295 134512640 134569956 3221224336 3221214496 1131397628 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33550 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1089.53
Current children cumulated vsize (Kb) 846856

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18812 6 1 0 109847 84 0 1 25 0 11 0 1794596162 867180544 33648 4294967295 134512640 134569956 3221224336 3221214604 1131395104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33648 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1099.32
Current children cumulated vsize (Kb) 846856

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18816 6 1 0 110830 85 0 1 25 0 11 0 1794596162 867180544 33678 4294967295 134512640 134569956 3221224336 3221214716 1131363101 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33678 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1109.16
Current children cumulated vsize (Kb) 846856

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.01 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18821 6 1 0 111809 85 0 1 16 0 11 0 1794596162 867180544 33702 4294967295 134512640 134569956 3221224336 3221214564 1131364576 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33702 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1118.95
Current children cumulated vsize (Kb) 846856

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18825 6 1 0 112792 86 0 1 25 0 11 0 1794596162 867180544 33737 4294967295 134512640 134569956 3221224336 3221214376 1131367287 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33737 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1128.79
Current children cumulated vsize (Kb) 846856

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18831 6 1 0 113769 86 0 1 24 0 11 0 1794596162 867180544 33830 4294967295 134512640 134569956 3221224336 3221214576 1131395272 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33830 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1138.56
Current children cumulated vsize (Kb) 846856

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18836 6 1 0 114751 87 0 1 25 0 11 0 1794596162 867180544 33888 4294967295 134512640 134569956 3221224336 3221214584 1131390457 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33888 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1148.39
Current children cumulated vsize (Kb) 846856

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18842 6 1 0 115730 87 0 1 25 0 11 0 1794596162 867180544 33939 4294967295 134512640 134569956 3221224336 3221214496 1131397303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 33939 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1158.18
Current children cumulated vsize (Kb) 846856

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18846 6 1 0 116715 87 0 1 25 0 11 0 1794596162 867180544 33968 4294967295 134512640 134569956 3221224336 3221214496 1131657923 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 33968 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1168.03
Current children cumulated vsize (Kb) 846856

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18851 6 1 0 117695 88 0 1 25 0 11 0 1794596162 867180544 34049 4294967295 134512640 134569956 3221224336 3221214608 1131392483 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 34049 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1177.84
Current children cumulated vsize (Kb) 846856

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18857 6 1 0 118670 88 0 1 16 0 11 0 1794596162 867180544 34116 4294967295 134512640 134569956 3221224336 3221214352 1131750830 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 34116 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1187.59
Current children cumulated vsize (Kb) 846856

[startup+1240.06 s]
Raw data (loadavg): 1.08 1.02 0.96 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18863 6 1 0 119646 89 0 1 25 0 11 0 1794596162 867180544 34125 4294967295 134512640 134569956 3221224336 3221214584 1131370188 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/9597/statm): 211714 34125 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1197.36
Current children cumulated vsize (Kb) 846856

[startup+1250.06 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18868 6 1 0 120627 89 0 1 25 0 11 0 1794596162 867180544 34154 4294967295 134512640 134569956 3221224336 3221214408 1131763702 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 34154 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1207.17
Current children cumulated vsize (Kb) 846856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.06 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 9624
Raw data (/proc/9597/stat): 9597 (java) R 9596 9597 22582 0 -1 0 18868 6 1 0 120627 89 0 1 25 0 11 0 1794596162 867180544 34154 4294967295 134512640 134569956 3221224336 3221214552 1131495995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/9597/statm): 211714 34154 13129 16 0 211698 0
[pid=9597] vsize: 846856
Current children cumulated CPU time (s) 1207.17
Current children cumulated vsize (Kb) 846856

Sending SIGTERM to -9597
Sleeping 2 seconds
New thread pid=9626
New thread pid=9627
One traced child (pid=9627) exited with status: 0
One traced child (pid=9606) exited with status: 0
One traced child (pid=9601) exited with status: 0
One traced child (pid=9598) exited with status: 143
One traced child (pid=9599) exited with status: 143
One traced child (pid=9600) exited with status: 143
One traced child (pid=9602) exited with status: 143
One traced child (pid=9605) exited with status: 143
One traced child (pid=9603) exited with status: 143
One traced child (pid=9624) exited with status: 143
One traced child (pid=9626) exited with status: 143
One traced child (pid=9604) exited with status: 143
One traced child (pid=9597) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1250.35
CPU time (s): 1258.8
CPU user time (s): 1256.99
CPU system time (s): 1.80472
CPU usage (%): 100.676
Max. virtual memory (cumulated for all children) (Kb): 846856

Verifier Data

Verifier:	OK	368