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-misc07.opb
MD5SUMb95827c7e083aae37933a3b226b8189b
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076618240
Optimality of the best value was proved NO
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3287948287
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.12
Number of variables290
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 constraint263

Trace number 4827

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-19 20:09:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6504 boxname=wulflinc11 idbench=644 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b95827c7e083aae37933a3b226b8189b  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 6504
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        869532 kB
Buffers:         36220 kB
Cached:         101428 kB
SwapCached:        732 kB
Active:          64400 kB
Inactive:        75864 kB
HighTotal:      131008 kB
HighFree:        27944 kB
LowTotal:       903652 kB
LowFree:        841588 kB
SwapTotal:     2097136 kB
SwapFree:      2095856 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5716 kB
Slab:            19296 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 20:30:00 (client local time) WITH STATUS 143 IN 1225.01 SECONDS
stats: 6504 0 1225.01 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/wulflinc11/normalized-mps-v2-20-10-misc07.opb
c reading problem ... done. Time 2.217 ms.
c #vars     290
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=          1077944320 		Current CPU time: 82.12 ms
c CURRENT OPTIMUM=          1077857280 		Current CPU time: 244.60 ms
c CURRENT OPTIMUM=          1077708800 		Current CPU time: 376.80 ms
c CURRENT OPTIMUM=          1077401600 		Current CPU time: 557.15 ms
c starts		: 11
c conflicts		: 881
c decisions		: 4848
c propagations		: 22031
c inspects		: 1551396
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 881
c root simplifications	: 19
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 3831
c speed (decisions/second)	: 7.21765825102801
c non guided choices	415
c random choices	0
s SATISFIABLE
v -COL260_bit_10 -COL260_bit_9 -COL260_bit_8 -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 -COL260_bit14 -COL260_bit15 -COL260_bit16 -COL260_bit17 -COL260_bit18 -COL260_bit19 COL260_bit20 -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=1077401600
c Total CPU time (ms) : 1228.855

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/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1794432720 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 39 3 38 16 0 23 0
[pid=28269] 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/28269
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=28270
New thread pid=28271
New thread pid=28272
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=28273
New thread pid=28274
New thread pid=28275
New thread pid=28276
New thread pid=28277
New thread pid=28278
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/wulflinc11/normalized-mps-v2-20-10-misc07.opb
New thread pid=28279

[startup+10.003 s]
Raw data (loadavg): 1.16 1.03 0.95 3/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18156 0 1 0 619 46 0 0 25 0 11 0 1794432720 863793152 20942 4294967295 134512640 134569956 3221224336 3221214644 1131404563 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210887 20942 13129 16 0 210871 0
[pid=28269] vsize: 843548
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (Kb) 843548

[startup+20.0038 s]
Raw data (loadavg): 1.14 1.03 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18170 0 1 0 1552 47 0 0 19 0 11 0 1794432720 863760384 21789 4294967295 134512640 134569956 3221224336 3221214560 1131460844 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 21789 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (Kb) 843516

[startup+30.0046 s]
Raw data (loadavg): 1.12 1.03 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18180 0 1 0 2481 48 0 0 25 0 11 0 1794432720 863760384 21979 4294967295 134512640 134569956 3221224336 3221214504 1131422127 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 21979 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (Kb) 843516

[startup+40.0053 s]
Raw data (loadavg): 1.10 1.03 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18194 0 1 0 3402 48 0 0 24 0 11 0 1794432720 863760384 22618 4294967295 134512640 134569956 3221224336 3221214520 1131422036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 22618 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 34.5
Current children cumulated vsize (Kb) 843516

[startup+50.0061 s]
Raw data (loadavg): 1.08 1.03 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18204 0 1 0 4331 48 0 0 17 0 11 0 1794432720 863760384 22796 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 22796 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 43.79
Current children cumulated vsize (Kb) 843516

[startup+60.0069 s]
Raw data (loadavg): 1.07 1.03 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18212 0 1 0 5275 49 0 0 25 0 11 0 1794432720 863760384 22977 4294967295 134512640 134569956 3221224336 3221214616 1131538560 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 22977 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 53.24
Current children cumulated vsize (Kb) 843516

[startup+70.0077 s]
Raw data (loadavg): 1.06 1.02 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18222 0 1 0 6204 49 0 0 22 0 11 0 1794432720 863760384 23170 4294967295 134512640 134569956 3221224336 3221214648 1131474277 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23170 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 62.53
Current children cumulated vsize (Kb) 843516

[startup+80.0085 s]
Raw data (loadavg): 1.05 1.02 0.95 2/66 28279
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18233 0 1 0 7148 51 0 0 22 0 11 0 1794432720 863760384 23391 4294967295 134512640 134569956 3221224336 3221214560 1131460470 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23391 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 71.99
Current children cumulated vsize (Kb) 843516
One traced child (pid=28279) exited with status: 0
New thread pid=28280

[startup+90.0093 s]
Raw data (loadavg): 1.04 1.02 0.95 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18291 4 1 0 8112 51 0 0 17 0 11 0 1794432720 863760384 23756 4294967295 134512640 134569956 3221224336 3221214560 1131460454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 23756 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 81.63
Current children cumulated vsize (Kb) 843516

[startup+100.01 s]
Raw data (loadavg): 1.11 1.04 0.96 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18302 4 1 0 9098 52 0 0 17 0 11 0 1794432720 863760384 23784 4294967295 134512640 134569956 3221224336 3221214560 1131460485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 23784 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 91.5
Current children cumulated vsize (Kb) 843516

[startup+110.012 s]
Raw data (loadavg): 1.10 1.04 0.96 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18313 4 1 0 10087 52 0 0 19 0 11 0 1794432720 863760384 23800 4294967295 134512640 134569956 3221224336 3221214648 1131472079 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 23800 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (Kb) 843516

[startup+120.013 s]
Raw data (loadavg): 1.08 1.03 0.96 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18324 4 1 0 11076 52 0 0 22 0 11 0 1794432720 863760384 23819 4294967295 134512640 134569956 3221224336 3221214560 1131460573 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23819 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 111.28
Current children cumulated vsize (Kb) 843516

[startup+130.012 s]
Raw data (loadavg): 1.07 1.03 0.96 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18335 4 1 0 12060 53 0 0 17 0 11 0 1794432720 863760384 23830 4294967295 134512640 134569956 3221224336 3221214648 1131474292 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 23830 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 121.13
Current children cumulated vsize (Kb) 843516

[startup+140.013 s]
Raw data (loadavg): 1.20 1.06 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18345 4 1 0 13038 53 0 0 21 0 11 0 1794432720 863760384 23838 4294967295 134512640 134569956 3221224336 3221214560 1131460021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 23838 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 130.91
Current children cumulated vsize (Kb) 843516

[startup+150.014 s]
Raw data (loadavg): 1.17 1.06 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18356 4 1 0 14013 54 0 0 25 0 11 0 1794432720 863760384 23873 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23873 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (Kb) 843516

[startup+160.016 s]
Raw data (loadavg): 1.15 1.06 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18367 4 1 0 14993 54 0 0 25 0 11 0 1794432720 863760384 23952 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23952 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 150.47
Current children cumulated vsize (Kb) 843516

[startup+170.017 s]
Raw data (loadavg): 1.12 1.06 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18379 4 1 0 15976 55 0 0 25 0 11 0 1794432720 863760384 23998 4294967295 134512640 134569956 3221224336 3221214560 1131460066 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 23998 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 160.31
Current children cumulated vsize (Kb) 843516

[startup+180.017 s]
Raw data (loadavg): 1.10 1.05 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18390 4 1 0 16961 55 0 0 24 0 11 0 1794432720 863760384 24027 4294967295 134512640 134569956 3221224336 3221214560 1131460520 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24027 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 170.16
Current children cumulated vsize (Kb) 843516

[startup+190.019 s]
Raw data (loadavg): 1.09 1.05 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18401 4 1 0 17945 56 0 0 25 0 11 0 1794432720 863760384 24036 4294967295 134512640 134569956 3221224336 3221214560 1131460007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24036 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 843516

[startup+200.02 s]
Raw data (loadavg): 1.07 1.05 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18411 4 1 0 18928 57 0 0 25 0 11 0 1794432720 863760384 24056 4294967295 134512640 134569956 3221224336 3221214648 1131474359 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24056 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 189.85
Current children cumulated vsize (Kb) 843516

[startup+210.021 s]
Raw data (loadavg): 1.06 1.05 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18422 4 1 0 19911 57 0 0 25 0 11 0 1794432720 863760384 24100 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24100 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 199.68
Current children cumulated vsize (Kb) 843516

[startup+220.022 s]
Raw data (loadavg): 1.05 1.05 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18433 4 1 0 20895 57 0 0 25 0 11 0 1794432720 863760384 24118 4294967295 134512640 134569956 3221224336 3221214560 1131460078 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24118 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 209.52
Current children cumulated vsize (Kb) 843516

[startup+230.022 s]
Raw data (loadavg): 1.04 1.04 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18445 4 1 0 21879 58 0 0 25 0 11 0 1794432720 863760384 24156 4294967295 134512640 134569956 3221224336 3221214472 1131374342 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24156 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 219.37
Current children cumulated vsize (Kb) 843516

[startup+240.023 s]
Raw data (loadavg): 1.04 1.04 0.97 2/66 28280
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18456 4 1 0 22864 58 0 0 25 0 11 0 1794432720 863760384 24167 4294967295 134512640 134569956 3221224336 3221214560 1131460917 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24167 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 229.22
Current children cumulated vsize (Kb) 843516
One traced child (pid=28280) exited with status: 0
New thread pid=28281

[startup+250.024 s]
Raw data (loadavg): 1.03 1.04 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18467 4 1 0 23846 58 0 0 25 0 11 0 1794432720 863760384 24189 4294967295 134512640 134569956 3221224336 3221214560 1131460373 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24189 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 239.04
Current children cumulated vsize (Kb) 843516

[startup+260.025 s]
Raw data (loadavg): 1.02 1.04 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18477 4 1 0 24832 58 0 0 25 0 11 0 1794432720 863760384 24220 4294967295 134512640 134569956 3221224336 3221214648 1131474698 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24220 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 248.9
Current children cumulated vsize (Kb) 843516

[startup+270.026 s]
Raw data (loadavg): 1.02 1.04 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18487 4 1 0 25818 59 0 0 24 0 11 0 1794432720 863760384 24248 4294967295 134512640 134569956 3221224336 3221214560 1131460589 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24248 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 258.77
Current children cumulated vsize (Kb) 843516

[startup+280.026 s]
Raw data (loadavg): 1.02 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18497 4 1 0 26803 60 0 0 25 0 11 0 1794432720 863760384 24266 4294967295 134512640 134569956 3221224336 3221214560 1131460993 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24266 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 268.63
Current children cumulated vsize (Kb) 843516

[startup+290.028 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18507 4 1 0 27788 60 0 0 25 0 11 0 1794432720 863760384 24278 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24278 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 278.48
Current children cumulated vsize (Kb) 843516

[startup+300.029 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18519 4 1 0 28772 60 0 0 17 0 11 0 1794432720 863760384 24307 4294967295 134512640 134569956 3221224336 3221214560 1131460078 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24307 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 288.32
Current children cumulated vsize (Kb) 843516

[startup+310.031 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18530 4 1 0 29757 61 0 0 24 0 11 0 1794432720 863760384 24335 4294967295 134512640 134569956 3221224336 3221214560 1131461039 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24335 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 298.18
Current children cumulated vsize (Kb) 843516

[startup+320.032 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18540 4 1 0 30742 61 0 0 25 0 11 0 1794432720 863760384 24342 4294967295 134512640 134569956 3221224336 3221214520 1131422031 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24342 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 308.03
Current children cumulated vsize (Kb) 843516

[startup+330.032 s]
Raw data (loadavg): 1.01 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18550 4 1 0 31722 61 0 0 25 0 11 0 1794432720 863760384 24359 4294967295 134512640 134569956 3221224336 3221214560 1131460209 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24359 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 317.83
Current children cumulated vsize (Kb) 843516

[startup+340.033 s]
Raw data (loadavg): 1.00 1.03 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18560 4 1 0 32696 62 0 0 25 0 11 0 1794432720 863760384 24388 4294967295 134512640 134569956 3221224336 3221214584 1131422835 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24388 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 327.58
Current children cumulated vsize (Kb) 843516

[startup+350.034 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18570 4 1 0 33667 62 0 0 25 0 11 0 1794432720 863760384 24425 4294967295 134512640 134569956 3221224336 3221214560 1131460070 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24425 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 337.29
Current children cumulated vsize (Kb) 843516

[startup+360.036 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18580 4 1 0 34636 63 0 0 18 0 11 0 1794432720 863760384 24493 4294967295 134512640 134569956 3221224336 3221214520 1131422127 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24493 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 346.99
Current children cumulated vsize (Kb) 843516

[startup+370.036 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28281
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18590 4 1 0 35606 63 0 0 25 0 11 0 1794432720 863760384 24584 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24584 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 356.69
Current children cumulated vsize (Kb) 843516
One traced child (pid=28281) exited with status: 0
New thread pid=28282

[startup+380.037 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18601 4 1 0 36582 64 0 0 25 0 11 0 1794432720 863760384 24655 4294967295 134512640 134569956 3221224336 3221214472 1131374373 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24655 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 366.46
Current children cumulated vsize (Kb) 843516

[startup+390.038 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18612 4 1 0 37566 64 0 0 25 0 11 0 1794432720 863760384 24746 4294967295 134512640 134569956 3221224336 3221214560 1131460373 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24746 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 376.3
Current children cumulated vsize (Kb) 843516

[startup+400.039 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18623 4 1 0 38552 64 0 0 16 0 11 0 1794432720 863760384 24748 4294967295 134512640 134569956 3221224336 3221214560 1131460983 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24748 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 386.16
Current children cumulated vsize (Kb) 843516

[startup+410.041 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18633 4 1 0 39538 65 0 0 22 0 11 0 1794432720 863760384 24760 4294967295 134512640 134569956 3221224336 3221214560 1131460085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24760 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 396.03
Current children cumulated vsize (Kb) 843516

[startup+420.041 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18644 4 1 0 40520 65 0 0 25 0 11 0 1794432720 863760384 24764 4294967295 134512640 134569956 3221224336 3221214648 1131474331 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24764 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 405.85
Current children cumulated vsize (Kb) 843516

[startup+430.042 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18655 4 1 0 41502 66 0 0 25 0 11 0 1794432720 863760384 24804 4294967295 134512640 134569956 3221224336 3221214560 1131460589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24804 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 415.68
Current children cumulated vsize (Kb) 843516

[startup+440.043 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18666 4 1 0 42483 66 0 0 25 0 11 0 1794432720 863760384 24822 4294967295 134512640 134569956 3221224336 3221214560 1131460907 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24822 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 425.49
Current children cumulated vsize (Kb) 843516

[startup+450.044 s]
Raw data (loadavg): 1.00 1.02 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18677 4 1 0 43463 67 0 0 25 0 11 0 1794432720 863760384 24851 4294967295 134512640 134569956 3221224336 3221214520 1131422088 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24851 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 435.3
Current children cumulated vsize (Kb) 843516

[startup+460.044 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18687 4 1 0 44443 68 0 0 25 0 11 0 1794432720 863760384 24873 4294967295 134512640 134569956 3221224336 3221214560 1131460085 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24873 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 445.11
Current children cumulated vsize (Kb) 843516

[startup+470.045 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18698 4 1 0 45426 68 0 0 25 0 11 0 1794432720 863760384 24918 4294967295 134512640 134569956 3221224336 3221214560 1131460460 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24918 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 454.94
Current children cumulated vsize (Kb) 843516

[startup+480.046 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18710 4 1 0 46409 69 0 0 17 0 11 0 1794432720 863760384 24956 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 24956 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 464.78
Current children cumulated vsize (Kb) 843516

[startup+490.047 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18721 4 1 0 47394 70 0 0 24 0 11 0 1794432720 863760384 24965 4294967295 134512640 134569956 3221224336 3221214824 1131686743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24965 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 474.64
Current children cumulated vsize (Kb) 843516

[startup+500.048 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18731 4 1 0 48380 70 0 0 25 0 11 0 1794432720 863760384 24969 4294967295 134512640 134569956 3221224336 3221214560 1131460021 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24969 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 484.5
Current children cumulated vsize (Kb) 843516

[startup+510.049 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18742 4 1 0 49364 70 0 0 25 0 11 0 1794432720 863760384 24986 4294967295 134512640 134569956 3221224336 3221214648 1131472358 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 24986 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 494.34
Current children cumulated vsize (Kb) 843516

[startup+520.05 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18753 4 1 0 50345 72 0 0 23 0 11 0 1794432720 863760384 25013 4294967295 134512640 134569956 3221224336 3221214556 1131375396 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25013 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 504.17
Current children cumulated vsize (Kb) 843516

[startup+530.051 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18764 4 1 0 51326 72 0 0 25 0 11 0 1794432720 863760384 25040 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25040 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 513.98
Current children cumulated vsize (Kb) 843516

[startup+540.052 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18775 4 1 0 52305 72 0 0 21 0 11 0 1794432720 863760384 25058 4294967295 134512640 134569956 3221224336 3221214560 1131460844 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25058 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 523.77
Current children cumulated vsize (Kb) 843516

[startup+550.053 s]
Raw data (loadavg): 1.00 1.01 0.97 2/66 28282
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18786 4 1 0 53285 73 0 0 25 0 11 0 1794432720 863760384 25094 4294967295 134512640 134569956 3221224336 3221214472 1131374330 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25094 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 533.58
Current children cumulated vsize (Kb) 843516
One traced child (pid=28282) exited with status: 0
New thread pid=28283

[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18797 4 1 0 54265 74 0 0 17 0 11 0 1794432720 863760384 25122 4294967295 134512640 134569956 3221224336 3221214648 1131472377 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25122 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 543.39
Current children cumulated vsize (Kb) 843516

[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18807 4 1 0 55250 74 0 0 25 0 11 0 1794432720 863760384 25164 4294967295 134512640 134569956 3221224336 3221214560 1131459995 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25164 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 553.24
Current children cumulated vsize (Kb) 843516

[startup+580.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18818 4 1 0 56233 74 0 0 25 0 11 0 1794432720 863760384 25181 4294967295 134512640 134569956 3221224336 3221214592 1131468649 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25181 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (Kb) 843516

[startup+590.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18829 4 1 0 57214 74 0 0 24 0 11 0 1794432720 863760384 25205 4294967295 134512640 134569956 3221224336 3221214560 1131460270 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25205 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 572.88
Current children cumulated vsize (Kb) 843516

[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18839 4 1 0 58195 75 0 0 23 0 11 0 1794432720 863760384 25206 4294967295 134512640 134569956 3221224336 3221214560 1131459999 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25206 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 582.7
Current children cumulated vsize (Kb) 843516

[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18850 4 1 0 59172 76 0 0 25 0 11 0 1794432720 863760384 25247 4294967295 134512640 134569956 3221224336 3221214648 1131474777 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25247 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 592.48
Current children cumulated vsize (Kb) 843516

[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18861 4 1 0 60149 77 0 0 25 0 11 0 1794432720 863760384 25282 4294967295 134512640 134569956 3221224336 3221214560 1131459999 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25282 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 602.26
Current children cumulated vsize (Kb) 843516

[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18872 4 1 0 61128 77 0 0 25 0 11 0 1794432720 863760384 25319 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25319 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 612.05
Current children cumulated vsize (Kb) 843516

[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18883 4 1 0 62108 78 0 0 20 0 11 0 1794432720 863760384 25358 4294967295 134512640 134569956 3221224336 3221214560 1131460104 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25358 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 621.86
Current children cumulated vsize (Kb) 843516

[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18894 4 1 0 63090 78 0 0 18 0 11 0 1794432720 863760384 25374 4294967295 134512640 134569956 3221224336 3221214560 1131460619 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25374 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 631.68
Current children cumulated vsize (Kb) 843516

[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18904 4 1 0 64072 78 0 0 25 0 11 0 1794432720 863760384 25406 4294967295 134512640 134569956 3221224336 3221214644 1131459987 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25406 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 641.5
Current children cumulated vsize (Kb) 843516

[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18915 4 1 0 65054 78 0 0 25 0 11 0 1794432720 863760384 25427 4294967295 134512640 134569956 3221224336 3221214560 1131460542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25427 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 651.32
Current children cumulated vsize (Kb) 843516

[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18926 4 1 0 66034 79 0 0 18 0 11 0 1794432720 863760384 25452 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25452 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 661.13
Current children cumulated vsize (Kb) 843516

[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18937 4 1 0 67015 79 0 0 25 0 11 0 1794432720 863760384 25480 4294967295 134512640 134569956 3221224336 3221214560 1131460516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25480 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 670.94
Current children cumulated vsize (Kb) 843516

[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18947 4 1 0 67997 80 0 0 23 0 11 0 1794432720 863760384 25507 4294967295 134512640 134569956 3221224336 3221214544 1131422010 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25507 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 680.77
Current children cumulated vsize (Kb) 843516

[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18958 4 1 0 68978 80 0 0 25 0 11 0 1794432720 863760384 25535 4294967295 134512640 134569956 3221224336 3221214560 1131460901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25535 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 690.58
Current children cumulated vsize (Kb) 843516

[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18969 4 1 0 69959 81 0 0 25 0 11 0 1794432720 863760384 25560 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25560 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 700.4
Current children cumulated vsize (Kb) 843516

[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18979 4 1 0 70942 81 0 0 25 0 11 0 1794432720 863760384 25583 4294967295 134512640 134569956 3221224336 3221214472 1131374369 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25583 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 710.23
Current children cumulated vsize (Kb) 843516

[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 18990 4 1 0 71923 81 0 0 21 0 11 0 1794432720 863760384 25604 4294967295 134512640 134569956 3221224336 3221214648 1131473464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25604 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 720.04
Current children cumulated vsize (Kb) 843516

[startup+750.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19001 4 1 0 72903 81 0 0 25 0 11 0 1794432720 863760384 25626 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25626 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 729.84
Current children cumulated vsize (Kb) 843516

[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19011 4 1 0 73886 82 0 0 25 0 11 0 1794432720 863760384 25659 4294967295 134512640 134569956 3221224336 3221214648 1131474759 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25659 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 739.68
Current children cumulated vsize (Kb) 843516

[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19022 4 1 0 74869 82 0 0 18 0 11 0 1794432720 863760384 25684 4294967295 134512640 134569956 3221224336 3221214644 1131459980 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25684 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 749.51
Current children cumulated vsize (Kb) 843516

[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19033 4 1 0 75853 82 0 0 18 0 11 0 1794432720 863760384 25708 4294967295 134512640 134569956 3221224336 3221214560 1131460201 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25708 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 759.35
Current children cumulated vsize (Kb) 843516

[startup+790.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19044 4 1 0 76840 83 0 0 25 0 11 0 1794432720 863760384 25722 4294967295 134512640 134569956 3221224336 3221214560 1131460520 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25722 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 769.23
Current children cumulated vsize (Kb) 843516

[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19055 4 1 0 77826 83 0 0 25 0 11 0 1794432720 863760384 25728 4294967295 134512640 134569956 3221224336 3221214560 1131460359 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25728 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 779.09
Current children cumulated vsize (Kb) 843516

[startup+810.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19066 4 1 0 78810 83 0 0 25 0 11 0 1794432720 863760384 25744 4294967295 134512640 134569956 3221224336 3221214560 1131460970 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25744 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 788.93
Current children cumulated vsize (Kb) 843516

[startup+820.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19077 4 1 0 79794 84 0 0 18 0 11 0 1794432720 863760384 25754 4294967295 134512640 134569956 3221224336 3221214560 1131460593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25754 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 798.78
Current children cumulated vsize (Kb) 843516

[startup+830.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19088 4 1 0 80777 84 0 0 24 0 11 0 1794432720 863760384 25766 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25766 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 808.61
Current children cumulated vsize (Kb) 843516

[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19099 4 1 0 81760 85 0 0 25 0 11 0 1794432720 863760384 25782 4294967295 134512640 134569956 3221224336 3221214648 1131474745 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25782 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 818.45
Current children cumulated vsize (Kb) 843516

[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 0.97 3/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19109 4 1 0 82746 85 0 0 25 0 11 0 1794432720 863760384 25805 4294967295 134512640 134569956 3221224336 3221214560 1131460557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25805 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 828.31
Current children cumulated vsize (Kb) 843516

[startup+860.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19120 4 1 0 83729 86 0 0 22 0 11 0 1794432720 863760384 25822 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25822 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 838.15
Current children cumulated vsize (Kb) 843516

[startup+870.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19131 4 1 0 84714 87 0 0 23 0 11 0 1794432720 863760384 25831 4294967295 134512640 134569956 3221224336 3221214648 1131474733 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25831 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 848.01
Current children cumulated vsize (Kb) 843516

[startup+880.083 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19142 4 1 0 85698 87 0 0 20 0 11 0 1794432720 863760384 25844 4294967295 134512640 134569956 3221224336 3221214648 1131473468 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25844 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 857.85
Current children cumulated vsize (Kb) 843516

[startup+890.084 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19153 4 1 0 86681 88 0 0 25 0 11 0 1794432720 863760384 25854 4294967295 134512640 134569956 3221224336 3221214472 1131374317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25854 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 867.69
Current children cumulated vsize (Kb) 843516

[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19164 4 1 0 87664 88 0 0 25 0 11 0 1794432720 863760384 25866 4294967295 134512640 134569956 3221224336 3221214560 1131460844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25866 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 877.52
Current children cumulated vsize (Kb) 843516

[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19175 4 1 0 88647 89 0 0 21 0 11 0 1794432720 863760384 25881 4294967295 134512640 134569956 3221224336 3221214560 1131460676 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25881 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 887.36
Current children cumulated vsize (Kb) 843516

[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19186 4 1 0 89629 89 0 0 25 0 11 0 1794432720 863760384 25897 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25897 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 897.18
Current children cumulated vsize (Kb) 843516

[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19197 4 1 0 90611 90 0 0 25 0 11 0 1794432720 863760384 25911 4294967295 134512640 134569956 3221224336 3221214560 1131460476 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25911 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 907.01
Current children cumulated vsize (Kb) 843516

[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19208 4 1 0 91594 91 0 0 21 0 11 0 1794432720 863760384 25931 4294967295 134512640 134569956 3221224336 3221214560 1131460609 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25931 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 916.85
Current children cumulated vsize (Kb) 843516

[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19219 4 1 0 92578 91 0 0 25 0 11 0 1794432720 863760384 25943 4294967295 134512640 134569956 3221224336 3221214560 1131460567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25943 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 926.69
Current children cumulated vsize (Kb) 843516

[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19230 4 1 0 93561 92 0 0 25 0 11 0 1794432720 863760384 25952 4294967295 134512640 134569956 3221224336 3221214560 1131460589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25952 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 936.53
Current children cumulated vsize (Kb) 843516

[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19241 4 1 0 94546 92 0 0 19 0 11 0 1794432720 863760384 25969 4294967295 134512640 134569956 3221224336 3221214648 1131472303 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 25969 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 946.38
Current children cumulated vsize (Kb) 843516

[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19252 4 1 0 95530 93 0 0 25 0 11 0 1794432720 863760384 25977 4294967295 134512640 134569956 3221224336 3221214644 1131459987 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25977 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 956.23
Current children cumulated vsize (Kb) 843516

[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19263 4 1 0 96513 93 0 0 24 0 11 0 1794432720 863760384 25992 4294967295 134512640 134569956 3221224336 3221214560 1131460676 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 25992 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 966.06
Current children cumulated vsize (Kb) 843516

[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19274 4 1 0 97496 94 0 0 25 0 11 0 1794432720 863760384 26005 4294967295 134512640 134569956 3221224336 3221214560 1131460639 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26005 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 975.9
Current children cumulated vsize (Kb) 843516

[startup+1010.1 s]
Raw data (loadavg): 1.08 1.02 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19285 4 1 0 98480 94 0 0 25 0 11 0 1794432720 863760384 26024 4294967295 134512640 134569956 3221224336 3221214560 1131460021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26024 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 985.74
Current children cumulated vsize (Kb) 843516

[startup+1020.1 s]
Raw data (loadavg): 1.07 1.02 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19296 4 1 0 99463 95 0 0 25 0 11 0 1794432720 863760384 26037 4294967295 134512640 134569956 3221224336 3221214648 1131473592 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26037 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 995.58
Current children cumulated vsize (Kb) 843516

[startup+1030.1 s]
Raw data (loadavg): 1.06 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19307 4 1 0 100447 96 0 0 25 0 11 0 1794432720 863760384 26054 4294967295 134512640 134569956 3221224336 3221214648 1131472032 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26054 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1005.43
Current children cumulated vsize (Kb) 843516

[startup+1040.1 s]
Raw data (loadavg): 1.05 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19317 4 1 0 101431 96 0 0 23 0 11 0 1794432720 863760384 26059 4294967295 134512640 134569956 3221224336 3221214648 1131474727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26059 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1015.27
Current children cumulated vsize (Kb) 843516

[startup+1050.1 s]
Raw data (loadavg): 1.04 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19328 4 1 0 102414 96 0 0 25 0 11 0 1794432720 863760384 26075 4294967295 134512640 134569956 3221224336 3221214560 1131460619 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26075 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1025.1
Current children cumulated vsize (Kb) 843516

[startup+1060.1 s]
Raw data (loadavg): 1.03 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19339 4 1 0 103396 97 0 0 24 0 11 0 1794432720 863760384 26088 4294967295 134512640 134569956 3221224336 3221214560 1131460021 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26088 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1034.93
Current children cumulated vsize (Kb) 843516

[startup+1070.1 s]
Raw data (loadavg): 1.03 1.01 0.97 1/66 28283
Raw data (/proc/28269/stat): 28269 (java) S 28268 28269 9854 0 -1 0 19351 4 1 0 104377 98 0 0 25 0 11 0 1794432720 863760384 26102 4294967295 134512640 134569956 3221224336 3221213200 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26102 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1044.75
Current children cumulated vsize (Kb) 843516

[startup+1080.1 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19361 4 1 0 105360 99 0 0 25 0 11 0 1794432720 863760384 26121 4294967295 134512640 134569956 3221224336 3221214560 1131460339 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26121 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1054.59
Current children cumulated vsize (Kb) 843516

[startup+1090.1 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19372 4 1 0 106342 99 0 0 25 0 11 0 1794432720 863760384 26136 4294967295 134512640 134569956 3221224336 3221214560 1131460003 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26136 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1064.41
Current children cumulated vsize (Kb) 843516

[startup+1100.1 s]
Raw data (loadavg): 1.02 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19383 4 1 0 107325 100 0 0 25 0 11 0 1794432720 863760384 26148 4294967295 134512640 134569956 3221224336 3221214560 1131460425 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26148 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1074.25
Current children cumulated vsize (Kb) 843516

[startup+1110.11 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19393 4 1 0 108308 101 0 0 25 0 11 0 1794432720 863760384 26166 4294967295 134512640 134569956 3221224336 3221214560 1131460356 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26166 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1084.09
Current children cumulated vsize (Kb) 843516

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.01 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19404 4 1 0 109291 101 0 0 25 0 11 0 1794432720 863760384 26179 4294967295 134512640 134569956 3221224336 3221214648 1131474748 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26179 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1093.92
Current children cumulated vsize (Kb) 843516

[startup+1130.11 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19415 4 1 0 110274 102 0 0 17 0 11 0 1794432720 863760384 26203 4294967295 134512640 134569956 3221224336 3221214560 1131459999 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26203 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1103.76
Current children cumulated vsize (Kb) 843516

[startup+1140.11 s]
Raw data (loadavg): 1.01 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19426 4 1 0 111259 103 0 0 18 0 11 0 1794432720 863760384 26206 4294967295 134512640 134569956 3221224336 3221214560 1131460593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26206 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1113.62
Current children cumulated vsize (Kb) 843516

[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19437 4 1 0 112243 103 0 0 19 0 11 0 1794432720 863760384 26219 4294967295 134512640 134569956 3221224336 3221214560 1131460375 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26219 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1123.46
Current children cumulated vsize (Kb) 843516

[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19448 4 1 0 113224 104 0 0 24 0 11 0 1794432720 863760384 26225 4294967295 134512640 134569956 3221224336 3221214560 1131460970 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26225 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1133.28
Current children cumulated vsize (Kb) 843516

[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19459 4 1 0 114202 104 0 0 17 0 11 0 1794432720 863760384 26233 4294967295 134512640 134569956 3221224336 3221214648 1131473464 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26233 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1143.06
Current children cumulated vsize (Kb) 843516

[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19469 4 1 0 115182 105 0 0 22 0 11 0 1794432720 863760384 26257 4294967295 134512640 134569956 3221224336 3221214560 1131460518 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26257 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1152.87
Current children cumulated vsize (Kb) 843516

[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19481 4 1 0 116160 106 0 0 23 0 11 0 1794432720 863760384 26301 4294967295 134512640 134569956 3221224336 3221214472 1131374361 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26301 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1162.66
Current children cumulated vsize (Kb) 843516

[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19492 4 1 0 117141 106 0 0 17 0 11 0 1794432720 863760384 26330 4294967295 134512640 134569956 3221224336 3221214528 1131216239 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26330 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1172.47
Current children cumulated vsize (Kb) 843516

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19502 4 1 0 118124 106 0 0 25 0 11 0 1794432720 863760384 26345 4294967295 134512640 134569956 3221224336 3221214560 1131460960 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26345 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (Kb) 843516

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19514 4 1 0 119104 107 0 0 17 0 11 0 1794432720 863760384 26354 4294967295 134512640 134569956 3221224336 3221214560 1131460371 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/28269/statm): 210879 26354 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1192.11
Current children cumulated vsize (Kb) 843516

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19524 4 1 0 120086 107 0 0 25 0 11 0 1794432720 863760384 26378 4294967295 134512640 134569956 3221224336 3221214648 1131473468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26378 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 843516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/66 28283
Raw data (/proc/28269/stat): 28269 (java) R 28268 28269 9854 0 -1 0 19524 4 1 0 120086 107 0 0 25 0 11 0 1794432720 863760384 26378 4294967295 134512640 134569956 3221224336 3221214560 1131460375 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/28269/statm): 210879 26378 13129 16 0 210863 0
[pid=28269] vsize: 843516
Current children cumulated CPU time (s) 1201.93
Current children cumulated vsize (Kb) 843516

Sending SIGTERM to -28269
Sleeping 2 seconds
New thread pid=28285
New thread pid=28286
One traced child (pid=28286) exited with status: 0
One traced child (pid=28278) exited with status: 0
One traced child (pid=28273) exited with status: 0
One traced child (pid=28270) exited with status: 143
One traced child (pid=28271) exited with status: 143
One traced child (pid=28272) exited with status: 143
One traced child (pid=28277) exited with status: 143
One traced child (pid=28276) exited with status: 143
One traced child (pid=28274) exited with status: 143
One traced child (pid=28275) exited with status: 143
One traced child (pid=28283) exited with status: 143
One traced child (pid=28285) exited with status: 143
One traced child (pid=28269) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1230.25
CPU time (s): 1225.01
CPU user time (s): 1223.08
CPU system time (s): 1.93371
CPU usage (%): 99.5737
Max. virtual memory (cumulated for all children) (Kb): 843548

Verifier Data

Verifier:	OK	1077401600