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/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM9cc94d1db4d494288ef67a8d5ad5d77e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.02
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 8738

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        613424 kB
Buffers:         41512 kB
Cached:         348040 kB
SwapCached:        768 kB
Active:         245592 kB
Inactive:       146544 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        613172 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23456 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 18:29:33 (client local time) WITH STATUS 143 IN 1234.3 SECONDS
stats: 6767 0 1234.3 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-misc07.opb
c reading problem ... done. Time 2.167 ms.
c #vars     280
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1759488 		Current CPU time: 16.32 ms
c CURRENT OPTIMUM=             1572608 		Current CPU time: 121.34 ms
c CURRENT OPTIMUM=             1548288 		Current CPU time: 179.90 ms
c CURRENT OPTIMUM=             1545728 		Current CPU time: 416.99 ms
c CURRENT OPTIMUM=             1516288 		Current CPU time: 473.75 ms
c CURRENT OPTIMUM=             1515008 		Current CPU time: 529.70 ms
c CURRENT OPTIMUM=             1510528 		Current CPU time: 756.20 ms
c CURRENT OPTIMUM=             1501568 		Current CPU time: 846.54 ms
c CURRENT OPTIMUM=             1476608 		Current CPU time: 932.46 ms
c starts		: 18
c conflicts		: 1384
c decisions		: 7646
c propagations		: 31470
c inspects		: 2020873
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 2
c learnt clauses	: 1384
c root simplifications	: 29
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 6729
c speed (decisions/second)	: 24.95463387250486
c non guided choices	824
c random choices	0
s SATISFIABLE
v -COL260_bit_7 -COL260_bit_6 -COL260_bit_5 -COL260_bit_4 -COL260_bit_3 -COL260_bit_2 -COL260_bit_1 -COL260_bit0 -COL260_bit1 -COL260_bit2 -COL260_bit3 COL260_bit4 -COL260_bit5 -COL260_bit6 -COL260_bit7 COL260_bit8 -COL260_bit9 COL260_bit10 COL260_bit11 -COL260_bit12 COL260_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 -COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 -COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 -COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 -COL148_bit0 -COL149_bit0 -COL150_bit0 -COL151_bit0 -COL152_bit0 -COL153_bit0 -COL154_bit0 -COL155_bit0 -COL156_bit0 COL157_bit0 -COL158_bit0 -COL159_bit0 -COL160_bit0 -COL161_bit0 -COL162_bit0 -COL163_bit0 -COL164_bit0 -COL165_bit0 -COL166_bit0 COL167_bit0 -COL168_bit0 -COL169_bit0 -COL170_bit0 -COL171_bit0 -COL172_bit0 -COL173_bit0 -COL174_bit0 -COL175_bit0 -COL176_bit0 -COL177_bit0 -COL178_bit0 -COL179_bit0 -COL180_bit0 -COL181_bit0 -COL182_bit0 -COL183_bit0 -COL184_bit0 -COL185_bit0 -COL186_bit0 -COL187_bit0 -COL188_bit0 -COL189_bit0 -COL190_bit0 -COL191_bit0 COL192_bit0 -COL193_bit0 -COL194_bit0 -COL195_bit0 -COL196_bit0 -COL197_bit0 -COL198_bit0 -COL199_bit0 -COL200_bit0 -COL201_bit0 -COL202_bit0 -COL203_bit0 -COL204_bit0 COL205_bit0 -COL206_bit0 -COL207_bit0 -COL208_bit0 COL209_bit0 -COL210_bit0 -COL211_bit0 -COL212_bit0 -COL213_bit0 -COL214_bit0 -COL215_bit0 -COL216_bit0 -COL217_bit0 -COL218_bit0 -COL219_bit0 -COL220_bit0 -COL221_bit0 -COL222_bit0 -COL223_bit0 -COL224_bit0 -COL225_bit0 -COL226_bit0 -COL227_bit0 -COL228_bit0 -COL229_bit0 -COL230_bit0 -COL231_bit0 -COL232_bit0 -COL233_bit0 -COL234_bit0 -COL235_bit0 -COL236_bit0 -COL237_bit0 -COL238_bit0 -COL239_bit0 -COL240_bit0 -COL241_bit0 -COL242_bit0 -COL243_bit0 COL244_bit0 -COL245_bit0 COL246_bit0 -COL247_bit0 COL248_bit0 -COL249_bit0 COL250_bit0 -COL251_bit0 COL252_bit0 -COL253_bit0 COL254_bit0 -COL255_bit0 COL256_bit0 -COL257_bit0 COL258_bit0 -COL259_bit0 
c objective function=1476608
c Total CPU time (ms) : 1238.868

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/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1860570769 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 39 3 38 16 0 23 0
[pid=14720] 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/14720
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=14721
New thread pid=14722
New thread pid=14723
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=14724
New thread pid=14725
New thread pid=14726
New thread pid=14727
New thread pid=14728
New thread pid=14729
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-misc07.opb
New thread pid=14730

[startup+10.0031 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 14730
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18150 0 1 0 626 43 0 0 25 0 11 0 1860570769 863084544 21066 4294967295 134512640 134569956 3221224336 3221214708 1131388144 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210714 21066 13129 16 0 210698 0
[pid=14720] vsize: 842856
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (Kb) 842856
One traced child (pid=14730) exited with status: 0
New thread pid=14731

[startup+20.0039 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18208 4 1 0 1500 44 0 0 25 0 11 0 1860570769 862560256 21968 4294967295 134512640 134569956 3221224336 3221214464 1131378950 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210586 21968 13129 16 0 210570 0
[pid=14720] vsize: 842344
Current children cumulated CPU time (s) 15.44
Current children cumulated vsize (Kb) 842344

[startup+30.0047 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18222 4 1 0 2421 44 0 0 21 0 11 0 1860570769 860467200 21804 4294967295 134512640 134569956 3221224336 3221214568 1131604006 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 21804 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (Kb) 840300

[startup+40.0055 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18230 4 1 0 3346 45 0 0 22 0 11 0 1860570769 860467200 22354 4294967295 134512640 134569956 3221224336 3221214472 1131421526 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 22354 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 33.91
Current children cumulated vsize (Kb) 840300

[startup+50.0073 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18240 4 1 0 4272 45 0 0 19 0 11 0 1860570769 860467200 22474 4294967295 134512640 134569956 3221224336 3221214648 1131475752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 22474 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (Kb) 840300

[startup+60.008 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18248 4 1 0 5225 45 0 0 23 0 11 0 1860570769 860467200 22750 4294967295 134512640 134569956 3221224336 3221214552 1131461856 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 22750 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 52.7
Current children cumulated vsize (Kb) 840300

[startup+70.0078 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18256 4 1 0 6183 46 0 0 25 0 11 0 1860570769 860467200 22868 4294967295 134512640 134569956 3221224336 3221214480 1131421320 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 22868 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 62.29
Current children cumulated vsize (Kb) 840300

[startup+80.0096 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18264 4 1 0 7140 46 0 0 17 0 11 0 1860570769 860467200 23043 4294967295 134512640 134569956 3221224336 3221214472 1131421651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23043 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 71.86
Current children cumulated vsize (Kb) 840300

[startup+90.0093 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18271 4 1 0 8105 46 0 0 20 0 11 0 1860570769 860467200 23086 4294967295 134512640 134569956 3221224336 3221214552 1131461810 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23086 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 81.51
Current children cumulated vsize (Kb) 840300

[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18279 4 1 0 9068 47 0 0 25 0 11 0 1860570769 860467200 23192 4294967295 134512640 134569956 3221224336 3221214592 1131697409 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 23192 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 91.15
Current children cumulated vsize (Kb) 840300

[startup+110.011 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18286 4 1 0 10034 47 0 0 20 0 11 0 1860570769 860467200 23308 4294967295 134512640 134569956 3221224336 3221214480 1131421192 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23308 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 100.81
Current children cumulated vsize (Kb) 840300

[startup+120.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 14731
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18295 4 1 0 10993 47 0 0 24 0 11 0 1860570769 860467200 23449 4294967295 134512640 134569956 3221224336 3221214568 1131603430 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23449 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 110.4
Current children cumulated vsize (Kb) 840300
One traced child (pid=14731) exited with status: 0
New thread pid=14732

[startup+130.012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18303 4 1 0 11963 48 0 0 22 0 11 0 1860570769 860467200 23545 4294967295 134512640 134569956 3221224336 3221214648 1131476544 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23545 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 120.11
Current children cumulated vsize (Kb) 840300

[startup+140.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) S 14719 14720 19818 0 -1 0 18313 4 1 0 12925 48 0 0 25 0 11 0 1860570769 860467200 23673 4294967295 134512640 134569956 3221224336 3221213296 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 23673 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 129.73
Current children cumulated vsize (Kb) 840300

[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18323 4 1 0 13897 49 0 0 25 0 11 0 1860570769 860467200 23781 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 23781 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 139.46
Current children cumulated vsize (Kb) 840300

[startup+160.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18334 4 1 0 14864 49 0 0 24 0 11 0 1860570769 860467200 23842 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 23842 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 149.13
Current children cumulated vsize (Kb) 840300

[startup+170.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18344 4 1 0 15837 50 0 0 25 0 11 0 1860570769 860467200 23924 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 23924 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 158.87
Current children cumulated vsize (Kb) 840300

[startup+180.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14732
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18354 4 1 0 16808 51 0 0 25 0 11 0 1860570769 860467200 23995 4294967295 134512640 134569956 3221224336 3221214648 1131474383 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 23995 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 168.59
Current children cumulated vsize (Kb) 840300
One traced child (pid=14732) exited with status: 0
New thread pid=14733

[startup+190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18364 4 1 0 17782 52 0 0 24 0 11 0 1860570769 860467200 24043 4294967295 134512640 134569956 3221224336 3221214648 1131474615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24043 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (Kb) 840300

[startup+200.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18373 4 1 0 18749 52 0 0 25 0 11 0 1860570769 860467200 24095 4294967295 134512640 134569956 3221224336 3221214472 1131421359 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24095 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 188.01
Current children cumulated vsize (Kb) 840300

[startup+210.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18382 4 1 0 19715 53 0 0 17 0 11 0 1860570769 860467200 24151 4294967295 134512640 134569956 3221224336 3221214552 1131461960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24151 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 197.68
Current children cumulated vsize (Kb) 840300

[startup+220.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18391 4 1 0 20681 53 0 0 25 0 11 0 1860570769 860467200 24211 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24211 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 207.34
Current children cumulated vsize (Kb) 840300

[startup+230.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18401 4 1 0 21645 54 0 0 25 0 11 0 1860570769 860467200 24332 4294967295 134512640 134569956 3221224336 3221214480 1131422113 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24332 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 216.99
Current children cumulated vsize (Kb) 840300

[startup+240.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18410 4 1 0 22617 54 0 0 25 0 11 0 1860570769 860467200 24410 4294967295 134512640 134569956 3221224336 3221214552 1131462741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24410 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 226.71
Current children cumulated vsize (Kb) 840300

[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18420 4 1 0 23584 55 0 0 25 0 11 0 1860570769 860467200 24477 4294967295 134512640 134569956 3221224336 3221214552 1131461951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24477 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 236.39
Current children cumulated vsize (Kb) 840300

[startup+260.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18430 4 1 0 24553 55 0 0 25 0 11 0 1860570769 860467200 24545 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24545 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 246.08
Current children cumulated vsize (Kb) 840300

[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18441 4 1 0 25527 56 0 0 25 0 11 0 1860570769 860467200 24657 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24657 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (Kb) 840300

[startup+280.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18451 4 1 0 26504 57 0 0 25 0 11 0 1860570769 860467200 24699 4294967295 134512640 134569956 3221224336 3221214552 1131462405 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24699 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 265.61
Current children cumulated vsize (Kb) 840300

[startup+290.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18461 4 1 0 27479 57 0 0 25 0 11 0 1860570769 860467200 24740 4294967295 134512640 134569956 3221224336 3221214552 1131461810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24740 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 275.36
Current children cumulated vsize (Kb) 840300

[startup+300.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18471 4 1 0 28445 57 0 0 18 0 11 0 1860570769 860467200 24761 4294967295 134512640 134569956 3221224336 3221214552 1131462813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24761 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 285.02
Current children cumulated vsize (Kb) 840300

[startup+310.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18480 4 1 0 29409 58 0 0 25 0 11 0 1860570769 860467200 24836 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 24836 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 294.67
Current children cumulated vsize (Kb) 840300

[startup+320.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18490 4 1 0 30364 58 0 0 24 0 11 0 1860570769 860467200 24901 4294967295 134512640 134569956 3221224336 3221214560 1131388176 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24901 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 304.22
Current children cumulated vsize (Kb) 840300

[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18498 4 1 0 31321 59 0 0 18 0 11 0 1860570769 860467200 24985 4294967295 134512640 134569956 3221224336 3221214552 1131462209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 24985 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 313.8
Current children cumulated vsize (Kb) 840300

[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18509 4 1 0 32267 59 0 0 24 0 11 0 1860570769 860467200 25113 4294967295 134512640 134569956 3221224336 3221214548 1131380007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25113 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 323.26
Current children cumulated vsize (Kb) 840300

[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18519 4 1 0 33225 60 0 0 25 0 11 0 1860570769 860467200 25250 4294967295 134512640 134569956 3221224336 3221214584 1131603308 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25250 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 332.85
Current children cumulated vsize (Kb) 840300

[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18527 4 1 0 34194 60 0 0 25 0 11 0 1860570769 860467200 25409 4294967295 134512640 134569956 3221224336 3221214488 1131421651 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25409 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 342.54
Current children cumulated vsize (Kb) 840300

[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18537 4 1 0 35156 61 0 0 18 0 11 0 1860570769 860467200 25441 4294967295 134512640 134569956 3221224336 3221214496 1131421250 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25441 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 352.17
Current children cumulated vsize (Kb) 840300

[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18546 4 1 0 36120 61 0 0 25 0 11 0 1860570769 860467200 25484 4294967295 134512640 134569956 3221224336 3221214552 1131462371 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25484 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 361.81
Current children cumulated vsize (Kb) 840300

[startup+390.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18556 4 1 0 37082 61 0 0 16 0 11 0 1860570769 860467200 25650 4294967295 134512640 134569956 3221224336 3221214552 1131461785 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 25650 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 371.43
Current children cumulated vsize (Kb) 840300

[startup+400.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18565 4 1 0 38057 62 0 0 25 0 11 0 1860570769 860467200 25729 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 25729 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 381.19
Current children cumulated vsize (Kb) 840300

[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14733
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18574 4 1 0 39029 62 0 0 25 0 11 0 1860570769 860467200 25802 4294967295 134512640 134569956 3221224336 3221214552 1131461810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 25802 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 390.91
Current children cumulated vsize (Kb) 840300
One traced child (pid=14733) exited with status: 0
New thread pid=14734

[startup+420.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14734
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18582 4 1 0 40004 63 0 0 25 0 11 0 1860570769 860467200 25845 4294967295 134512640 134569956 3221224336 3221214552 1131463051 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 25845 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (Kb) 840300

[startup+430.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14734
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18592 4 1 0 40970 63 0 0 25 0 11 0 1860570769 860467200 25892 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 25892 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 410.33
Current children cumulated vsize (Kb) 840300

[startup+440.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14734
Raw data (/proc/14720/stat): 14720 (java) S 14719 14720 19818 0 -1 0 18601 4 1 0 41940 64 0 0 25 0 11 0 1860570769 860467200 25964 4294967295 134512640 134569956 3221224336 3221213296 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 25964 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 420.04
Current children cumulated vsize (Kb) 840300

[startup+450.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14734
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18612 4 1 0 42911 64 0 0 25 0 11 0 1860570769 860467200 26083 4294967295 134512640 134569956 3221224336 3221214552 1131462819 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26083 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 429.75
Current children cumulated vsize (Kb) 840300

[startup+460.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14734
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18623 4 1 0 43886 65 0 0 23 0 11 0 1860570769 860467200 26123 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26123 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 439.51
Current children cumulated vsize (Kb) 840300

[startup+470.044 s]
Raw data (loadavg): 1.00 1.00 0.93 3/66 14734
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18635 4 1 0 44862 66 0 0 25 0 11 0 1860570769 860467200 26176 4294967295 134512640 134569956 3221224336 3221213424 1073952732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26176 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 449.28
Current children cumulated vsize (Kb) 840300
One traced child (pid=14734) exited with status: 0
New thread pid=14735

[startup+480.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18644 4 1 0 45846 66 0 0 25 0 11 0 1860570769 860467200 26221 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26221 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 459.12
Current children cumulated vsize (Kb) 840300

[startup+490.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18653 4 1 0 46831 66 0 0 22 0 11 0 1860570769 860467200 26236 4294967295 134512640 134569956 3221224336 3221214552 1131461802 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26236 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 468.97
Current children cumulated vsize (Kb) 840300

[startup+500.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18664 4 1 0 47812 67 0 0 25 0 11 0 1860570769 860467200 26253 4294967295 134512640 134569956 3221224336 3221214552 1131462681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26253 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 478.79
Current children cumulated vsize (Kb) 840300

[startup+510.048 s]
Raw data (loadavg): 1.00 1.00 0.93 3/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18675 4 1 0 48792 67 0 0 25 0 11 0 1860570769 860467200 26265 4294967295 134512640 134569956 3221224336 3221214648 1131475832 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26265 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 488.59
Current children cumulated vsize (Kb) 840300

[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18686 4 1 0 49771 68 0 0 25 0 11 0 1860570769 860467200 26302 4294967295 134512640 134569956 3221224336 3221214464 1131378933 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26302 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 498.39
Current children cumulated vsize (Kb) 840300

[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14735
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18697 4 1 0 50751 69 0 0 25 0 11 0 1860570769 860467200 26326 4294967295 134512640 134569956 3221224336 3221214552 1131462340 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26326 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 508.2
Current children cumulated vsize (Kb) 840300
One traced child (pid=14735) exited with status: 0
New thread pid=14736

[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18706 4 1 0 51735 69 0 0 25 0 11 0 1860570769 860467200 26349 4294967295 134512640 134569956 3221224336 3221214552 1131462309 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26349 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 518.04
Current children cumulated vsize (Kb) 840300

[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18714 4 1 0 52719 70 0 0 25 0 11 0 1860570769 860467200 26364 4294967295 134512640 134569956 3221224336 3221214648 1131476643 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26364 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 527.89
Current children cumulated vsize (Kb) 840300

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18725 4 1 0 53696 70 0 0 24 0 11 0 1860570769 860467200 26387 4294967295 134512640 134569956 3221224336 3221214648 1131476653 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26387 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 537.66
Current children cumulated vsize (Kb) 840300

[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18735 4 1 0 54673 70 0 0 25 0 11 0 1860570769 860467200 26402 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26402 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 547.43
Current children cumulated vsize (Kb) 840300

[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18746 4 1 0 55651 71 0 0 25 0 11 0 1860570769 860467200 26467 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26467 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 557.22
Current children cumulated vsize (Kb) 840300

[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18757 4 1 0 56627 71 0 0 24 0 11 0 1860570769 860467200 26493 4294967295 134512640 134569956 3221224336 3221214552 1131462459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26493 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 566.98
Current children cumulated vsize (Kb) 840300

[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18767 4 1 0 57607 72 0 0 25 0 11 0 1860570769 860467200 26521 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26521 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (Kb) 840300

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18778 4 1 0 58584 72 0 0 25 0 11 0 1860570769 860467200 26550 4294967295 134512640 134569956 3221224336 3221214464 1131378938 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26550 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 586.56
Current children cumulated vsize (Kb) 840300

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18789 4 1 0 59562 73 0 0 25 0 11 0 1860570769 860467200 26593 4294967295 134512640 134569956 3221224336 3221214552 1131462129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26593 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 596.35
Current children cumulated vsize (Kb) 840300

[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18800 4 1 0 60542 73 0 0 25 0 11 0 1860570769 860467200 26625 4294967295 134512640 134569956 3221224336 3221214552 1131462459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26625 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 606.15
Current children cumulated vsize (Kb) 840300

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18811 4 1 0 61522 73 0 0 25 0 11 0 1860570769 860467200 26641 4294967295 134512640 134569956 3221224336 3221214648 1131474681 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26641 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 615.95
Current children cumulated vsize (Kb) 840300

[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18823 4 1 0 62500 74 0 0 25 0 11 0 1860570769 860467200 26663 4294967295 134512640 134569956 3221224336 3221214648 1131475786 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26663 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 625.74
Current children cumulated vsize (Kb) 840300

[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18834 4 1 0 63478 74 0 0 25 0 11 0 1860570769 860467200 26694 4294967295 134512640 134569956 3221224336 3221214464 1131378944 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26694 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 635.52
Current children cumulated vsize (Kb) 840300

[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18845 4 1 0 64458 75 0 0 24 0 11 0 1860570769 860467200 26715 4294967295 134512640 134569956 3221224336 3221214552 1131461872 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26715 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 645.33
Current children cumulated vsize (Kb) 840300

[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18856 4 1 0 65437 75 0 0 24 0 11 0 1860570769 860467200 26743 4294967295 134512640 134569956 3221224336 3221214552 1131462813 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26743 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 655.12
Current children cumulated vsize (Kb) 840300

[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18867 4 1 0 66417 76 0 0 25 0 11 0 1860570769 860467200 26764 4294967295 134512640 134569956 3221224336 3221214552 1131462209 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26764 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 664.93
Current children cumulated vsize (Kb) 840300

[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18878 4 1 0 67396 76 0 0 25 0 11 0 1860570769 860467200 26778 4294967295 134512640 134569956 3221224336 3221214648 1131474265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26778 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 674.72
Current children cumulated vsize (Kb) 840300

[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18889 4 1 0 68375 77 0 0 25 0 11 0 1860570769 860467200 26810 4294967295 134512640 134569956 3221224336 3221214648 1131477371 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26810 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 684.52
Current children cumulated vsize (Kb) 840300

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18900 4 1 0 69353 77 0 0 21 0 11 0 1860570769 860467200 26835 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26835 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 694.3
Current children cumulated vsize (Kb) 840300

[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18911 4 1 0 70332 77 0 0 21 0 11 0 1860570769 860467200 26859 4294967295 134512640 134569956 3221224336 3221214552 1131461895 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26859 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 704.09
Current children cumulated vsize (Kb) 840300

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18922 4 1 0 71309 77 0 0 25 0 11 0 1860570769 860467200 26890 4294967295 134512640 134569956 3221224336 3221214648 1131474615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26890 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 713.86
Current children cumulated vsize (Kb) 840300

[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14736
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18933 4 1 0 72288 78 0 0 25 0 11 0 1860570769 860467200 26915 4294967295 134512640 134569956 3221224336 3221214552 1131461864 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26915 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 723.66
Current children cumulated vsize (Kb) 840300
One traced child (pid=14736) exited with status: 0
New thread pid=14737

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18943 4 1 0 73269 78 0 0 25 0 11 0 1860570769 860467200 26945 4294967295 134512640 134569956 3221224336 3221214552 1131462278 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26945 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 733.47
Current children cumulated vsize (Kb) 840300

[startup+770.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18952 4 1 0 74252 79 0 0 25 0 11 0 1860570769 860467200 26973 4294967295 134512640 134569956 3221224336 3221214552 1131461879 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26973 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 743.31
Current children cumulated vsize (Kb) 840300

[startup+780.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18961 4 1 0 75233 80 0 0 19 0 11 0 1860570769 860467200 26982 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 26982 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 753.13
Current children cumulated vsize (Kb) 840300

[startup+790.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18970 4 1 0 76211 81 0 0 25 0 11 0 1860570769 860467200 26995 4294967295 134512640 134569956 3221224336 3221214552 1131462151 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 26995 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 762.92
Current children cumulated vsize (Kb) 840300

[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18980 4 1 0 77187 81 0 0 23 0 11 0 1860570769 860467200 27016 4294967295 134512640 134569956 3221224336 3221214552 1131461793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27016 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 772.68
Current children cumulated vsize (Kb) 840300

[startup+810.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 18990 4 1 0 78163 82 0 0 25 0 11 0 1860570769 860467200 27066 4294967295 134512640 134569956 3221224336 3221214552 1131462190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27066 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 782.45
Current children cumulated vsize (Kb) 840300

[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19002 4 1 0 79139 82 0 0 24 0 11 0 1860570769 860467200 27154 4294967295 134512640 134569956 3221224336 3221214520 1131216239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27154 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 792.21
Current children cumulated vsize (Kb) 840300

[startup+830.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19012 4 1 0 80120 83 0 0 25 0 11 0 1860570769 860467200 27173 4294967295 134512640 134569956 3221224336 3221214648 1131477371 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27173 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 802.03
Current children cumulated vsize (Kb) 840300

[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14737
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19023 4 1 0 81099 83 0 0 25 0 11 0 1860570769 860467200 27197 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27197 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 811.82
Current children cumulated vsize (Kb) 840300
One traced child (pid=14737) exited with status: 0
New thread pid=14738

[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19034 4 1 0 82078 84 0 0 25 0 11 0 1860570769 860467200 27207 4294967295 134512640 134569956 3221224336 3221214448 1131744962 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27207 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 821.62
Current children cumulated vsize (Kb) 840300

[startup+860.081 s]
Raw data (loadavg): 1.15 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19043 4 1 0 83061 85 0 0 25 0 11 0 1860570769 860467200 27224 4294967295 134512640 134569956 3221224336 3221214488 1131421558 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27224 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 831.46
Current children cumulated vsize (Kb) 840300

[startup+870.081 s]
Raw data (loadavg): 1.12 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19052 4 1 0 84041 85 0 0 25 0 11 0 1860570769 860467200 27249 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27249 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 841.26
Current children cumulated vsize (Kb) 840300

[startup+880.082 s]
Raw data (loadavg): 1.10 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19060 4 1 0 85021 86 0 0 25 0 11 0 1860570769 860467200 27261 4294967295 134512640 134569956 3221224336 3221214648 1131474696 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27261 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 851.07
Current children cumulated vsize (Kb) 840300

[startup+890.083 s]
Raw data (loadavg): 1.09 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19070 4 1 0 85995 86 0 0 25 0 11 0 1860570769 860467200 27278 4294967295 134512640 134569956 3221224336 3221214552 1131461785 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27278 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 860.81
Current children cumulated vsize (Kb) 840300

[startup+900.083 s]
Raw data (loadavg): 1.07 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19080 4 1 0 86968 87 0 0 25 0 11 0 1860570769 860467200 27345 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27345 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 870.55
Current children cumulated vsize (Kb) 840300

[startup+910.083 s]
Raw data (loadavg): 1.06 1.03 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19090 4 1 0 87944 87 0 0 18 0 11 0 1860570769 860467200 27388 4294967295 134512640 134569956 3221224336 3221214584 1131603574 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27388 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 880.31
Current children cumulated vsize (Kb) 840300

[startup+920.084 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19099 4 1 0 88922 88 0 0 25 0 11 0 1860570769 860467200 27421 4294967295 134512640 134569956 3221224336 3221214648 1131476772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27421 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 890.1
Current children cumulated vsize (Kb) 840300

[startup+930.085 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 14738
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19110 4 1 0 89898 88 0 0 22 0 11 0 1860570769 860467200 27458 4294967295 134512640 134569956 3221224336 3221214552 1131461789 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27458 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 899.86
Current children cumulated vsize (Kb) 840300
One traced child (pid=14738) exited with status: 0
New thread pid=14739

[startup+940.086 s]
Raw data (loadavg): 1.04 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19120 4 1 0 90876 88 0 0 17 0 11 0 1860570769 860467200 27493 4294967295 134512640 134569956 3221224336 3221214552 1131462417 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27493 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 909.64
Current children cumulated vsize (Kb) 840300

[startup+950.087 s]
Raw data (loadavg): 1.03 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19128 4 1 0 91857 89 0 0 25 0 11 0 1860570769 860467200 27511 4294967295 134512640 134569956 3221224336 3221214648 1131474399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27511 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 919.46
Current children cumulated vsize (Kb) 840300

[startup+960.087 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19138 4 1 0 92828 90 0 0 24 0 11 0 1860570769 860467200 27531 4294967295 134512640 134569956 3221224336 3221214552 1131461810 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27531 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 929.18
Current children cumulated vsize (Kb) 840300

[startup+970.088 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19146 4 1 0 93804 90 0 0 25 0 11 0 1860570769 860467200 27548 4294967295 134512640 134569956 3221224336 3221214488 1131421582 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 27548 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 938.94
Current children cumulated vsize (Kb) 840300

[startup+980.09 s]
Raw data (loadavg): 1.02 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19154 4 1 0 94778 90 0 0 25 0 11 0 1860570769 860467200 27584 4294967295 134512640 134569956 3221224336 3221214488 1131421406 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27584 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 948.68
Current children cumulated vsize (Kb) 840300

[startup+990.102 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19163 4 1 0 95746 90 0 0 22 0 11 0 1860570769 860467200 27660 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27660 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 958.36
Current children cumulated vsize (Kb) 840300

[startup+1000.1 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19172 4 1 0 96717 91 0 0 25 0 11 0 1860570769 860467200 27722 4294967295 134512640 134569956 3221224336 3221214648 1131474706 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27722 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 968.08
Current children cumulated vsize (Kb) 840300

[startup+1010.1 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19182 4 1 0 97690 91 0 0 25 0 11 0 1860570769 860467200 27799 4294967295 134512640 134569956 3221224336 3221214552 1131462278 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27799 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 977.81
Current children cumulated vsize (Kb) 840300

[startup+1020.1 s]
Raw data (loadavg): 1.01 1.02 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19193 4 1 0 98662 91 0 0 25 0 11 0 1860570769 860467200 27940 4294967295 134512640 134569956 3221224336 3221214232 1131744943 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27940 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 987.53
Current children cumulated vsize (Kb) 840300

[startup+1030.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19203 4 1 0 99641 92 0 0 25 0 11 0 1860570769 860467200 27948 4294967295 134512640 134569956 3221224336 3221214824 1131651076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27948 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 997.33
Current children cumulated vsize (Kb) 840300

[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19214 4 1 0 100617 92 0 0 23 0 11 0 1860570769 860467200 27971 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27971 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1007.09
Current children cumulated vsize (Kb) 840300

[startup+1050.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19224 4 1 0 101596 92 0 0 25 0 11 0 1860570769 860467200 27996 4294967295 134512640 134569956 3221224336 3221214552 1131461793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 27996 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1016.88
Current children cumulated vsize (Kb) 840300

[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19235 4 1 0 102572 93 0 0 24 0 11 0 1860570769 860467200 28029 4294967295 134512640 134569956 3221224336 3221214552 1131462113 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28029 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1026.65
Current children cumulated vsize (Kb) 840300

[startup+1070.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19245 4 1 0 103551 93 0 0 25 0 11 0 1860570769 860467200 28047 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28047 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1036.44
Current children cumulated vsize (Kb) 840300

[startup+1080.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) S 14719 14720 19818 0 -1 0 19256 4 1 0 104527 94 0 0 25 0 11 0 1860570769 860467200 28072 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28072 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1046.21
Current children cumulated vsize (Kb) 840300

[startup+1090.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19267 4 1 0 105502 94 0 0 17 0 11 0 1860570769 860467200 28096 4294967295 134512640 134569956 3221224336 3221214584 1131603941 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28096 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1055.96
Current children cumulated vsize (Kb) 840300

[startup+1100.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19277 4 1 0 106479 95 0 0 25 0 11 0 1860570769 860467200 28122 4294967295 134512640 134569956 3221224336 3221214648 1131474622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28122 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1065.74
Current children cumulated vsize (Kb) 840300

[startup+1110.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19287 4 1 0 107459 96 0 0 25 0 11 0 1860570769 860467200 28150 4294967295 134512640 134569956 3221224336 3221214552 1131461995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28150 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1075.55
Current children cumulated vsize (Kb) 840300

[startup+1120.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19298 4 1 0 108438 97 0 0 25 0 11 0 1860570769 860467200 28163 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28163 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1085.35
Current children cumulated vsize (Kb) 840300

[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19309 4 1 0 109418 97 0 0 25 0 11 0 1860570769 860467200 28192 4294967295 134512640 134569956 3221224336 3221214552 1131462881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28192 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1095.15
Current children cumulated vsize (Kb) 840300

[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19320 4 1 0 110396 98 0 0 25 0 11 0 1860570769 860467200 28199 4294967295 134512640 134569956 3221224336 3221214648 1131476523 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28199 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1104.94
Current children cumulated vsize (Kb) 840300

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19331 4 1 0 111374 98 0 0 25 0 11 0 1860570769 860467200 28215 4294967295 134512640 134569956 3221224336 3221214552 1131462249 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28215 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1114.72
Current children cumulated vsize (Kb) 840300

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19342 4 1 0 112351 98 0 0 25 0 11 0 1860570769 860467200 28234 4294967295 134512640 134569956 3221224336 3221214648 1131476599 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28234 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1124.49
Current children cumulated vsize (Kb) 840300

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19352 4 1 0 113330 98 0 0 25 0 11 0 1860570769 860467200 28260 4294967295 134512640 134569956 3221224336 3221214552 1131461991 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28260 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1134.28
Current children cumulated vsize (Kb) 840300

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19363 4 1 0 114305 99 0 0 25 0 11 0 1860570769 860467200 28282 4294967295 134512640 134569956 3221224336 3221214648 1131478649 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28282 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1144.04
Current children cumulated vsize (Kb) 840300

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19374 4 1 0 115281 99 0 0 25 0 11 0 1860570769 860467200 28304 4294967295 134512640 134569956 3221224336 3221214552 1131461793 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28304 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1153.8
Current children cumulated vsize (Kb) 840300

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) S 14719 14720 19818 0 -1 0 19385 4 1 0 116256 100 0 0 25 0 11 0 1860570769 860467200 28337 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28337 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1163.56
Current children cumulated vsize (Kb) 840300

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19395 4 1 0 117234 100 0 0 25 0 11 0 1860570769 860467200 28368 4294967295 134512640 134569956 3221224336 3221214552 1131462209 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28368 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1173.34
Current children cumulated vsize (Kb) 840300

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19406 4 1 0 118210 101 0 0 25 0 11 0 1860570769 860467200 28388 4294967295 134512640 134569956 3221224336 3221214648 1131475786 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28388 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1183.11
Current children cumulated vsize (Kb) 840300

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19417 4 1 0 119186 101 0 0 24 0 11 0 1860570769 860467200 28414 4294967295 134512640 134569956 3221224336 3221214552 1131461810 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14720/statm): 210075 28414 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1192.87
Current children cumulated vsize (Kb) 840300

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19427 4 1 0 120165 101 0 0 25 0 11 0 1860570769 860467200 28436 4294967295 134512640 134569956 3221224336 3221214648 1131474677 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28436 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1202.66
Current children cumulated vsize (Kb) 840300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 14739
Raw data (/proc/14720/stat): 14720 (java) R 14719 14720 19818 0 -1 0 19427 4 1 0 120165 101 0 0 25 0 11 0 1860570769 860467200 28436 4294967295 134512640 134569956 3221224336 3221214552 1131462834 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14720/statm): 210075 28436 13129 16 0 210059 0
[pid=14720] vsize: 840300
Current children cumulated CPU time (s) 1202.66
Current children cumulated vsize (Kb) 840300

Sending SIGTERM to -14720
Sleeping 2 seconds
New thread pid=14741
New thread pid=14742
One traced child (pid=14742) exited with status: 0
One traced child (pid=14729) exited with status: 0
One traced child (pid=14721) exited with status: 143
One traced child (pid=14722) exited with status: 143
One traced child (pid=14725) exited with status: 143
One traced child (pid=14726) exited with status: 143
One traced child (pid=14728) exited with status: 143
One traced child (pid=14727) exited with status: 143
One traced child (pid=14723) exited with status: 143
One traced child (pid=14739) exited with status: 143
One traced child (pid=14724) exited with status: 143
One traced child (pid=14741) exited with status: 143
One traced child (pid=14720) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.23
CPU time (s): 1234.3
CPU user time (s): 1232.36
CPU system time (s): 1.9367
CPU usage (%): 99.5218
Max. virtual memory (cumulated for all children) (Kb): 842856

Verifier Data

Verifier:	OK	1476608