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/miplib2003/normalized-mps-v2-20-10-misc07.opb
MD5SUMb8ad25b48a93aa2545086c9eaeaee0ef
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 4224

Launcher Data

LAUNCH ON wulflinc2 THE 2005-09-19 05:43:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6436 boxname=wulflinc2 idbench=576 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b8ad25b48a93aa2545086c9eaeaee0ef  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 6436
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        906264 kB
Buffers:         35632 kB
Cached:          68592 kB
SwapCached:       1040 kB
Active:          62772 kB
Inactive:        44072 kB
HighTotal:      131008 kB
HighFree:        58996 kB
LowTotal:       903652 kB
LowFree:        847268 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            15796 kB
Committed_AS:    72360 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 06:04:23 (client local time) WITH STATUS 143 IN 1250.43 SECONDS
stats: 6436 0 1250.43 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/wulflinc2/normalized-mps-v2-20-10-misc07.opb
c reading problem ... done. Time 2.895 ms.
c #vars     290
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=          1078302720 		Current CPU time: 14.25 ms
c CURRENT OPTIMUM=          1078072320 		Current CPU time: 30.46 ms
c CURRENT OPTIMUM=          1077934080 		Current CPU time: 153.02 ms
c CURRENT OPTIMUM=          1077893120 		Current CPU time: 233.07 ms
c CURRENT OPTIMUM=          1077642240 		Current CPU time: 322.70 ms
c CURRENT OPTIMUM=          1077550080 		Current CPU time: 375.94 ms
c CURRENT OPTIMUM=          1077411840 		Current CPU time: 472.94 ms
c CURRENT OPTIMUM=          1077166080 		Current CPU time: 513.95 ms
c CURRENT OPTIMUM=          1077007360 		Current CPU time: 977.45 ms
c starts		: 17
c conflicts		: 1313
c decisions		: 7812
c propagations		: 35906
c inspects		: 1999366
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1313
c root simplifications	: 37
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 6288
c speed (decisions/second)	: 29.890836461310652
c non guided choices	825
c random choices	0
s SATISFIABLE
v -x260_bit_10 -x260_bit_9 -x260_bit_8 -x260_bit_7 -x260_bit_6 -x260_bit_5 -x260_bit_4 -x260_bit_3 -x260_bit_2 -x260_bit_1 x260_bit0 -x260_bit1 x260_bit2 -x260_bit3 x260_bit4 x260_bit5 x260_bit6 -x260_bit7 -x260_bit8 -x260_bit9 x260_bit10 x260_bit11 -x260_bit12 -x260_bit13 -x260_bit14 -x260_bit15 -x260_bit16 -x260_bit17 -x260_bit18 -x260_bit19 x260_bit20 -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 -x245_bit0 x246_bit0 -x247_bit0 x248_bit0 -x249_bit0 x250_bit0 -x251_bit0 x252_bit0 -x253_bit0 x254_bit0 -x255_bit0 x256_bit0 -x257_bit0 x258_bit0 -x259_bit0 
c objective function=1077007360
c Total CPU time (ms) : 1238.818

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/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789253244 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 39 3 38 16 0 23 0
[pid=20362] 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/20362
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=20363
New thread pid=20364
New thread pid=20365
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=20366
New thread pid=20367
New thread pid=20368
New thread pid=20369
New thread pid=20370
New thread pid=20371
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/wulflinc2/normalized-mps-v2-20-10-misc07.opb
New thread pid=20372

[startup+10.0027 s]
Raw data (loadavg): 1.37 1.09 1.03 4/66 20372
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18166 0 1 0 613 50 0 0 25 0 11 0 1789253244 866742272 22030 4294967295 134512640 134569956 3221224336 3221214528 1131463009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211607 22030 13129 16 0 211591 0
[pid=20362] vsize: 846428
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (Kb) 846428
One traced child (pid=20372) exited with status: 0
New thread pid=20373

[startup+20.0033 s]
Raw data (loadavg): 1.47 1.12 1.04 2/66 20373
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18227 5 1 0 1534 51 0 0 25 0 11 0 1789253244 865660928 22526 4294967295 134512640 134569956 3221224336 3221214640 1131476562 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 22526 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 15.85
Current children cumulated vsize (Kb) 845372

[startup+30.004 s]
Raw data (loadavg): 1.40 1.12 1.04 2/66 20373
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18234 5 1 0 2462 52 0 0 25 0 11 0 1789253244 865660928 23228 4294967295 134512640 134569956 3221224336 3221214552 1131463308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 23228 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (Kb) 845372
One traced child (pid=20373) exited with status: 0
New thread pid=20374

[startup+40.0047 s]
Raw data (loadavg): 1.33 1.11 1.04 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18243 5 1 0 3399 53 0 0 25 0 11 0 1789253244 865660928 23232 4294967295 134512640 134569956 3221224336 3221214536 1131529616 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 23232 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 34.52
Current children cumulated vsize (Kb) 845372

[startup+50.0044 s]
Raw data (loadavg): 1.28 1.11 1.04 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18250 5 1 0 4329 53 0 0 25 0 11 0 1789253244 865660928 23418 4294967295 134512640 134569956 3221224336 3221214512 1131357741 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 23418 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 43.82
Current children cumulated vsize (Kb) 845372

[startup+60.0051 s]
Raw data (loadavg): 1.24 1.11 1.04 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) S 20361 20362 6872 0 -1 0 18258 5 1 0 5250 54 0 0 16 0 11 0 1789253244 865660928 23583 4294967295 134512640 134569956 3221224336 3221213296 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 23583 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 53.04
Current children cumulated vsize (Kb) 845372

[startup+70.0078 s]
Raw data (loadavg): 1.20 1.10 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18268 5 1 0 6171 54 0 0 25 0 11 0 1789253244 865660928 23985 4294967295 134512640 134569956 3221224336 3221214640 1131476678 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 23985 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 62.25
Current children cumulated vsize (Kb) 845372

[startup+80.0085 s]
Raw data (loadavg): 1.17 1.10 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18278 5 1 0 7120 55 0 0 25 0 11 0 1789253244 865660928 24264 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24264 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 71.75
Current children cumulated vsize (Kb) 845372

[startup+90.0092 s]
Raw data (loadavg): 1.14 1.09 1.03 1/66 20374
Raw data (/proc/20362/stat): 20362 (java) T 20361 20362 6872 0 -1 0 18288 5 1 0 8094 55 0 0 25 0 11 0 1789253244 865660928 24491 4294967295 134512640 134569956 3221224336 3221213600 1073952732 0 4 1 23758 3222434794 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24491 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 81.49
Current children cumulated vsize (Kb) 845372

[startup+100.009 s]
Raw data (loadavg): 1.12 1.09 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18297 5 1 0 9075 56 0 0 23 0 11 0 1789253244 865660928 24522 4294967295 134512640 134569956 3221224336 3221214552 1131463510 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24522 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 91.31
Current children cumulated vsize (Kb) 845372

[startup+110.01 s]
Raw data (loadavg): 1.10 1.09 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18306 5 1 0 10048 57 0 0 25 0 11 0 1789253244 865660928 24547 4294967295 134512640 134569956 3221224336 3221214640 1131475536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 24547 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (Kb) 845372

[startup+120.01 s]
Raw data (loadavg): 1.09 1.08 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18315 5 1 0 11011 57 0 0 20 0 11 0 1789253244 865660928 24580 4294967295 134512640 134569956 3221224336 3221214432 1131447426 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24580 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 110.68
Current children cumulated vsize (Kb) 845372

[startup+130.011 s]
Raw data (loadavg): 1.07 1.08 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18323 5 1 0 11967 57 0 0 17 0 11 0 1789253244 865660928 24607 4294967295 134512640 134569956 3221224336 3221214640 1131475536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 24607 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 120.24
Current children cumulated vsize (Kb) 845372

[startup+140.012 s]
Raw data (loadavg): 1.06 1.08 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18330 5 1 0 12926 58 0 0 25 0 11 0 1789253244 865660928 24733 4294967295 134512640 134569956 3221224336 3221214552 1131463153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24733 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 845372

[startup+150.012 s]
Raw data (loadavg): 1.05 1.07 1.03 2/66 20374
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18340 5 1 0 13877 58 0 0 25 0 11 0 1789253244 865660928 24892 4294967295 134512640 134569956 3221224336 3221214552 1131463308 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 24892 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 139.35
Current children cumulated vsize (Kb) 845372
One traced child (pid=20374) exited with status: 0
New thread pid=20375

[startup+160.013 s]
Raw data (loadavg): 1.04 1.07 1.03 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18349 5 1 0 14842 59 0 0 25 0 11 0 1789253244 865660928 25026 4294967295 134512640 134569956 3221224336 3221214640 1131476668 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25026 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 149.01
Current children cumulated vsize (Kb) 845372

[startup+170.013 s]
Raw data (loadavg): 1.04 1.07 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18360 5 1 0 15815 59 0 0 24 0 11 0 1789253244 865660928 25200 4294967295 134512640 134569956 3221224336 3221214640 1131477391 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25200 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 158.74
Current children cumulated vsize (Kb) 845372

[startup+180.015 s]
Raw data (loadavg): 1.03 1.07 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18370 5 1 0 16798 60 0 0 25 0 11 0 1789253244 865660928 25224 4294967295 134512640 134569956 3221224336 3221214552 1131463589 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25224 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (Kb) 845372

[startup+190.015 s]
Raw data (loadavg): 1.02 1.06 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18381 5 1 0 17781 60 0 0 24 0 11 0 1789253244 865660928 25261 4294967295 134512640 134569956 3221224336 3221214640 1131477882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25261 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 178.41
Current children cumulated vsize (Kb) 845372

[startup+200.015 s]
Raw data (loadavg): 1.02 1.06 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18391 5 1 0 18764 61 0 0 19 0 11 0 1789253244 865660928 25283 4294967295 134512640 134569956 3221224336 3221214552 1131463061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25283 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 188.25
Current children cumulated vsize (Kb) 845372

[startup+210.016 s]
Raw data (loadavg): 1.02 1.06 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18401 5 1 0 19751 61 0 0 25 0 11 0 1789253244 865660928 25309 4294967295 134512640 134569956 3221224336 3221214640 1131477511 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25309 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 198.12
Current children cumulated vsize (Kb) 845372

[startup+220.016 s]
Raw data (loadavg): 1.01 1.06 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18412 5 1 0 20735 61 0 0 17 0 11 0 1789253244 865660928 25322 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25322 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 207.96
Current children cumulated vsize (Kb) 845372

[startup+230.017 s]
Raw data (loadavg): 1.01 1.05 1.02 2/66 20375
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18422 5 1 0 21721 61 0 0 25 0 11 0 1789253244 865660928 25349 4294967295 134512640 134569956 3221224336 3221214432 1131446654 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25349 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 217.82
Current children cumulated vsize (Kb) 845372
One traced child (pid=20375) exited with status: 0
New thread pid=20376

[startup+240.018 s]
Raw data (loadavg): 1.01 1.05 1.02 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18432 5 1 0 22702 62 0 0 25 0 11 0 1789253244 865660928 25361 4294967295 134512640 134569956 3221224336 3221214640 1131478881 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25361 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 227.64
Current children cumulated vsize (Kb) 845372

[startup+250.018 s]
Raw data (loadavg): 1.01 1.05 1.02 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18443 5 1 0 23681 62 0 0 24 0 11 0 1789253244 865660928 25384 4294967295 134512640 134569956 3221224336 3221214552 1131463374 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25384 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 237.43
Current children cumulated vsize (Kb) 845372

[startup+260.019 s]
Raw data (loadavg): 1.01 1.05 1.02 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18453 5 1 0 24659 63 0 0 25 0 11 0 1789253244 865660928 25420 4294967295 134512640 134569956 3221224336 3221214552 1131463282 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25420 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 247.22
Current children cumulated vsize (Kb) 845372

[startup+270.02 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18463 5 1 0 25635 63 0 0 25 0 11 0 1789253244 865660928 25442 4294967295 134512640 134569956 3221224336 3221214640 1131475471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25442 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 256.98
Current children cumulated vsize (Kb) 845372

[startup+280.021 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18473 5 1 0 26606 64 0 0 25 0 11 0 1789253244 865660928 25494 4294967295 134512640 134569956 3221224336 3221214552 1131463387 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25494 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 266.7
Current children cumulated vsize (Kb) 845372

[startup+290.021 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) S 20361 20362 6872 0 -1 0 18482 5 1 0 27579 64 0 0 25 0 11 0 1789253244 865660928 25540 4294967295 134512640 134569956 3221224336 3221213256 1073943035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25540 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 276.43
Current children cumulated vsize (Kb) 845372

[startup+300.022 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18492 5 1 0 28556 64 0 0 25 0 11 0 1789253244 865660928 25595 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25595 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 286.2
Current children cumulated vsize (Kb) 845372

[startup+310.023 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18502 5 1 0 29535 65 0 0 25 0 11 0 1789253244 865660928 25654 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25654 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 296
Current children cumulated vsize (Kb) 845372

[startup+320.023 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 20376
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18513 5 1 0 30517 65 0 0 25 0 11 0 1789253244 865660928 25712 4294967295 134512640 134569956 3221224336 3221214640 1131476449 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25712 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 305.82
Current children cumulated vsize (Kb) 845372
One traced child (pid=20376) exited with status: 0
New thread pid=20377

[startup+330.024 s]
Raw data (loadavg): 1.00 1.03 1.01 2/66 20377
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18523 5 1 0 31502 66 0 0 25 0 11 0 1789253244 865660928 25721 4294967295 134512640 134569956 3221224336 3221214552 1131463061 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25721 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 315.68
Current children cumulated vsize (Kb) 845372

[startup+340.025 s]
Raw data (loadavg): 1.00 1.03 1.01 2/66 20377
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18533 5 1 0 32485 67 0 0 25 0 11 0 1789253244 865660928 25732 4294967295 134512640 134569956 3221224336 3221214552 1131463919 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25732 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 325.52
Current children cumulated vsize (Kb) 845372

[startup+350.025 s]
Raw data (loadavg): 1.00 1.03 1.01 2/66 20377
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18543 5 1 0 33469 67 0 0 25 0 11 0 1789253244 865660928 25771 4294967295 134512640 134569956 3221224336 3221214640 1131479057 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25771 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 335.36
Current children cumulated vsize (Kb) 845372

[startup+360.026 s]
Raw data (loadavg): 1.07 1.04 1.01 2/66 20377
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18554 5 1 0 34453 68 0 0 24 0 11 0 1789253244 865660928 25777 4294967295 134512640 134569956 3221224336 3221214552 1131463944 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25777 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 345.21
Current children cumulated vsize (Kb) 845372

[startup+370.027 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 20377
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18564 5 1 0 35437 69 0 0 20 0 11 0 1789253244 865660928 25796 4294967295 134512640 134569956 3221224336 3221214528 1131516704 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25796 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 355.06
Current children cumulated vsize (Kb) 845372
One traced child (pid=20377) exited with status: 0
New thread pid=20378

[startup+380.028 s]
Raw data (loadavg): 1.05 1.04 1.01 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18574 5 1 0 36419 69 0 0 23 0 11 0 1789253244 865660928 25803 4294967295 134512640 134569956 3221224336 3221214552 1131463005 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25803 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 364.88
Current children cumulated vsize (Kb) 845372

[startup+390.028 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18584 5 1 0 37403 69 0 0 20 0 11 0 1789253244 865660928 25834 4294967295 134512640 134569956 3221224336 3221214552 1131463169 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25834 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 374.72
Current children cumulated vsize (Kb) 845372

[startup+400.029 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18595 5 1 0 38385 70 0 0 16 0 11 0 1789253244 865660928 25856 4294967295 134512640 134569956 3221224336 3221214640 1131476532 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25856 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 384.55
Current children cumulated vsize (Kb) 845372

[startup+410.03 s]
Raw data (loadavg): 1.03 1.04 1.01 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18605 5 1 0 39367 70 0 0 25 0 11 0 1789253244 865660928 25882 4294967295 134512640 134569956 3221224336 3221214640 1131476604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 25882 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 394.37
Current children cumulated vsize (Kb) 845372

[startup+420.03 s]
Raw data (loadavg): 1.02 1.03 1.01 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18615 5 1 0 40346 70 0 0 25 0 11 0 1789253244 865660928 25898 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25898 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 404.16
Current children cumulated vsize (Kb) 845372

[startup+430.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18626 5 1 0 41322 70 0 0 25 0 11 0 1789253244 865660928 25930 4294967295 134512640 134569956 3221224336 3221214640 1131477518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25930 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 413.92
Current children cumulated vsize (Kb) 845372

[startup+440.033 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18636 5 1 0 42301 70 0 0 25 0 11 0 1789253244 865660928 25966 4294967295 134512640 134569956 3221224336 3221214640 1131475471 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 25966 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 423.71
Current children cumulated vsize (Kb) 845372

[startup+450.034 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18646 5 1 0 43279 71 0 0 21 0 11 0 1789253244 865660928 26000 4294967295 134512640 134569956 3221224336 3221214552 1131463387 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26000 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 433.5
Current children cumulated vsize (Kb) 845372

[startup+460.035 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18656 5 1 0 44259 71 0 0 23 0 11 0 1789253244 865660928 26034 4294967295 134512640 134569956 3221224336 3221214552 1131463582 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26034 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (Kb) 845372

[startup+470.035 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 20378
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18667 5 1 0 45238 72 0 0 25 0 11 0 1789253244 865660928 26069 4294967295 134512640 134569956 3221224336 3221214552 1131463020 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26069 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 453.1
Current children cumulated vsize (Kb) 845372
One traced child (pid=20378) exited with status: 0
New thread pid=20379

[startup+480.036 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 20379
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18677 5 1 0 46219 72 0 0 21 0 11 0 1789253244 865660928 26100 4294967295 134512640 134569956 3221224336 3221214640 1131475536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26100 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 462.91
Current children cumulated vsize (Kb) 845372

[startup+490.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 20379
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18687 5 1 0 47203 73 0 0 16 0 11 0 1789253244 865660928 26127 4294967295 134512640 134569956 3221224336 3221214552 1131463387 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26127 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 472.76
Current children cumulated vsize (Kb) 845372

[startup+500.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20379
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18697 5 1 0 48187 73 0 0 18 0 11 0 1789253244 865660928 26145 4294967295 134512640 134569956 3221224336 3221214552 1131463009 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26145 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 482.6
Current children cumulated vsize (Kb) 845372

[startup+510.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20379
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18707 5 1 0 49172 73 0 0 22 0 11 0 1789253244 865660928 26162 4294967295 134512640 134569956 3221224336 3221214640 1131478038 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26162 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 492.45
Current children cumulated vsize (Kb) 845372
One traced child (pid=20379) exited with status: 0
New thread pid=20380

[startup+520.038 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18717 5 1 0 50156 73 0 0 22 0 11 0 1789253244 865660928 26178 4294967295 134512640 134569956 3221224336 3221214552 1131463387 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26178 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 502.29
Current children cumulated vsize (Kb) 845372

[startup+530.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18727 5 1 0 51140 73 0 0 25 0 11 0 1789253244 865660928 26199 4294967295 134512640 134569956 3221224336 3221214640 1131477882 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26199 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 512.13
Current children cumulated vsize (Kb) 845372

[startup+540.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18737 5 1 0 52124 74 0 0 21 0 11 0 1789253244 865660928 26214 4294967295 134512640 134569956 3221224336 3221214552 1131464010 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26214 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (Kb) 845372

[startup+550.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18748 5 1 0 53108 74 0 0 25 0 11 0 1789253244 865660928 26232 4294967295 134512640 134569956 3221224336 3221214640 1131475536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26232 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 531.82
Current children cumulated vsize (Kb) 845372

[startup+560.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18758 5 1 0 54093 75 0 0 22 0 11 0 1789253244 865660928 26244 4294967295 134512640 134569956 3221224336 3221214552 1131463198 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26244 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 541.68
Current children cumulated vsize (Kb) 845372

[startup+570.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18769 5 1 0 55077 75 0 0 24 0 11 0 1789253244 865660928 26258 4294967295 134512640 134569956 3221224336 3221214640 1131476604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26258 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 551.52
Current children cumulated vsize (Kb) 845372

[startup+580.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18779 5 1 0 56061 75 0 0 18 0 11 0 1789253244 865660928 26273 4294967295 134512640 134569956 3221224336 3221214552 1131463099 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26273 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 561.36
Current children cumulated vsize (Kb) 845372

[startup+590.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18789 5 1 0 57045 75 0 0 23 0 11 0 1789253244 865660928 26280 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26280 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 571.2
Current children cumulated vsize (Kb) 845372

[startup+600.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18800 5 1 0 58026 76 0 0 25 0 11 0 1789253244 865660928 26311 4294967295 134512640 134569956 3221224336 3221214552 1131463582 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26311 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 581.02
Current children cumulated vsize (Kb) 845372

[startup+610.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18810 5 1 0 59010 76 0 0 21 0 11 0 1789253244 865660928 26327 4294967295 134512640 134569956 3221224336 3221214552 1131463513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26327 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 590.86
Current children cumulated vsize (Kb) 845372

[startup+620.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18821 5 1 0 59992 76 0 0 17 0 11 0 1789253244 865660928 26344 4294967295 134512640 134569956 3221224336 3221214552 1131463670 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26344 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 600.68
Current children cumulated vsize (Kb) 845372

[startup+630.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18831 5 1 0 60975 77 0 0 25 0 11 0 1789253244 865660928 26364 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26364 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 610.52
Current children cumulated vsize (Kb) 845372

[startup+640.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18841 5 1 0 61959 77 0 0 25 0 11 0 1789253244 865660928 26384 4294967295 134512640 134569956 3221224336 3221214640 1131477761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26384 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 620.36
Current children cumulated vsize (Kb) 845372

[startup+650.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18851 5 1 0 62941 77 0 0 24 0 11 0 1789253244 865660928 26408 4294967295 134512640 134569956 3221224336 3221214552 1131463476 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26408 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 630.18
Current children cumulated vsize (Kb) 845372

[startup+660.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18861 5 1 0 63923 78 0 0 25 0 11 0 1789253244 865660928 26422 4294967295 134512640 134569956 3221224336 3221214640 1131475536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26422 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 845372

[startup+670.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18872 5 1 0 64905 78 0 0 18 0 11 0 1789253244 865660928 26446 4294967295 134512640 134569956 3221224336 3221214552 1131463992 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26446 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 649.83
Current children cumulated vsize (Kb) 845372

[startup+680.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18882 5 1 0 65886 79 0 0 22 0 11 0 1789253244 865660928 26472 4294967295 134512640 134569956 3221224336 3221214552 1131463454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26472 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 659.65
Current children cumulated vsize (Kb) 845372

[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18893 5 1 0 66861 79 0 0 24 0 11 0 1789253244 865660928 26478 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26478 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 669.4
Current children cumulated vsize (Kb) 845372

[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18903 5 1 0 67834 80 0 0 25 0 11 0 1789253244 865660928 26513 4294967295 134512640 134569956 3221224336 3221214552 1131463486 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26513 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 679.14
Current children cumulated vsize (Kb) 845372

[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18914 5 1 0 68807 80 0 0 24 0 11 0 1789253244 865660928 26555 4294967295 134512640 134569956 3221224336 3221214552 1131463559 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26555 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 688.87
Current children cumulated vsize (Kb) 845372

[startup+720.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18924 5 1 0 69783 81 0 0 25 0 11 0 1789253244 865660928 26607 4294967295 134512640 134569956 3221224336 3221214640 1131477882 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26607 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 698.64
Current children cumulated vsize (Kb) 845372

[startup+730.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18934 5 1 0 70757 81 0 0 23 0 11 0 1789253244 865660928 26644 4294967295 134512640 134569956 3221224336 3221214640 1131477451 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26644 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 708.38
Current children cumulated vsize (Kb) 845372

[startup+740.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18945 5 1 0 71728 82 0 0 24 0 11 0 1789253244 865660928 26689 4294967295 134512640 134569956 3221224336 3221214640 1131476622 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26689 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 718.1
Current children cumulated vsize (Kb) 845372

[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18955 5 1 0 72700 82 0 0 25 0 11 0 1789253244 865660928 26736 4294967295 134512640 134569956 3221224336 3221214552 1131463418 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26736 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 727.82
Current children cumulated vsize (Kb) 845372

[startup+760.059 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18965 5 1 0 73674 82 0 0 25 0 11 0 1789253244 865660928 26784 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26784 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 737.56
Current children cumulated vsize (Kb) 845372

[startup+770.059 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18976 5 1 0 74647 83 0 0 25 0 11 0 1789253244 865660928 26832 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26832 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 747.3
Current children cumulated vsize (Kb) 845372

[startup+780.061 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18986 5 1 0 75622 83 0 0 18 0 11 0 1789253244 865660928 26886 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26886 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 757.05
Current children cumulated vsize (Kb) 845372

[startup+790.061 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 18996 5 1 0 76599 83 0 0 25 0 11 0 1789253244 865660928 26916 4294967295 134512640 134569956 3221224336 3221214640 1131475471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26916 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 766.82
Current children cumulated vsize (Kb) 845372

[startup+800.062 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19006 5 1 0 77575 84 0 0 25 0 11 0 1789253244 865660928 26950 4294967295 134512640 134569956 3221224336 3221214384 1131711905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 26950 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 776.59
Current children cumulated vsize (Kb) 845372

[startup+810.064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19017 5 1 0 78548 84 0 0 25 0 11 0 1789253244 865660928 26995 4294967295 134512640 134569956 3221224336 3221214432 1131446486 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 26995 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 786.32
Current children cumulated vsize (Kb) 845372

[startup+820.065 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19027 5 1 0 79524 85 0 0 25 0 11 0 1789253244 865660928 27044 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27044 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 796.09
Current children cumulated vsize (Kb) 845372

[startup+830.065 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19037 5 1 0 80499 85 0 0 21 0 11 0 1789253244 865660928 27077 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27077 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 805.84
Current children cumulated vsize (Kb) 845372

[startup+840.066 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19047 5 1 0 81476 85 0 0 23 0 11 0 1789253244 865660928 27115 4294967295 134512640 134569956 3221224336 3221214640 1131477891 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27115 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 815.61
Current children cumulated vsize (Kb) 845372

[startup+850.067 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19058 5 1 0 82452 86 0 0 19 0 11 0 1789253244 865660928 27162 4294967295 134512640 134569956 3221224336 3221214640 1131476592 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27162 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 825.38
Current children cumulated vsize (Kb) 845372

[startup+860.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19068 5 1 0 83432 86 0 0 23 0 11 0 1789253244 865660928 27192 4294967295 134512640 134569956 3221224336 3221214640 1131476604 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27192 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 835.18
Current children cumulated vsize (Kb) 845372

[startup+870.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19079 5 1 0 84410 87 0 0 25 0 11 0 1789253244 865660928 27230 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27230 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 844.97
Current children cumulated vsize (Kb) 845372

[startup+880.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) S 20361 20362 6872 0 -1 0 19090 5 1 0 85386 87 0 0 25 0 11 0 1789253244 865660928 27239 4294967295 134512640 134569956 3221224336 3221213192 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27239 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 854.73
Current children cumulated vsize (Kb) 845372

[startup+890.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19100 5 1 0 86363 88 0 0 19 0 11 0 1789253244 865660928 27280 4294967295 134512640 134569956 3221224336 3221214640 1131477485 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27280 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 864.51
Current children cumulated vsize (Kb) 845372

[startup+900.071 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19110 5 1 0 87341 88 0 0 24 0 11 0 1789253244 865660928 27320 4294967295 134512640 134569956 3221224336 3221214640 1131477361 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27320 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 874.29
Current children cumulated vsize (Kb) 845372

[startup+910.072 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19121 5 1 0 88317 89 0 0 25 0 11 0 1789253244 865660928 27347 4294967295 134512640 134569956 3221224336 3221214552 1131463889 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27347 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 884.06
Current children cumulated vsize (Kb) 845372

[startup+920.073 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19131 5 1 0 89293 89 0 0 25 0 11 0 1789253244 865660928 27387 4294967295 134512640 134569956 3221224336 3221214552 1131463364 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27387 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 893.82
Current children cumulated vsize (Kb) 845372

[startup+930.073 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) S 20361 20362 6872 0 -1 0 19141 5 1 0 90270 90 0 0 16 0 11 0 1789253244 865660928 27415 4294967295 134512640 134569956 3221224336 3221213296 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27415 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 903.6
Current children cumulated vsize (Kb) 845372

[startup+940.074 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19152 5 1 0 91248 90 0 0 25 0 11 0 1789253244 865660928 27455 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27455 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 913.38
Current children cumulated vsize (Kb) 845372

[startup+950.075 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19162 5 1 0 92225 91 0 0 25 0 11 0 1789253244 865660928 27481 4294967295 134512640 134569956 3221224336 3221214552 1131463009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27481 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 923.16
Current children cumulated vsize (Kb) 845372

[startup+960.075 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19173 5 1 0 93201 92 0 0 17 0 11 0 1789253244 865660928 27523 4294967295 134512640 134569956 3221224336 3221214552 1131463020 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27523 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 932.93
Current children cumulated vsize (Kb) 845372

[startup+970.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20380
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19183 5 1 0 94177 92 0 0 25 0 11 0 1789253244 865660928 27548 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27548 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 942.69
Current children cumulated vsize (Kb) 845372
One traced child (pid=20380) exited with status: 0
New thread pid=20381

[startup+980.077 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19193 5 1 0 95155 93 0 0 21 0 11 0 1789253244 865660928 27590 4294967295 134512640 134569956 3221224336 3221214464 1131370925 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27590 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 952.48
Current children cumulated vsize (Kb) 845372

[startup+990.077 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19203 5 1 0 96136 93 0 0 20 0 11 0 1789253244 865660928 27599 4294967295 134512640 134569956 3221224336 3221214552 1131463292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27599 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 962.29
Current children cumulated vsize (Kb) 845372

[startup+1000.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19213 5 1 0 97115 93 0 0 25 0 11 0 1789253244 865660928 27637 4294967295 134512640 134569956 3221224336 3221214640 1131477511 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27637 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 972.08
Current children cumulated vsize (Kb) 845372

[startup+1010.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19224 5 1 0 98091 94 0 0 17 0 11 0 1789253244 865660928 27661 4294967295 134512640 134569956 3221224336 3221214552 1131463809 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27661 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 981.85
Current children cumulated vsize (Kb) 845372

[startup+1020.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19234 5 1 0 99066 95 0 0 25 0 11 0 1789253244 865660928 27673 4294967295 134512640 134569956 3221224336 3221214552 1131463009 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27673 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 991.61
Current children cumulated vsize (Kb) 845372

[startup+1030.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19244 5 1 0 100041 95 0 0 25 0 11 0 1789253244 865660928 27711 4294967295 134512640 134569956 3221224336 3221214640 1131475475 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27711 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1001.36
Current children cumulated vsize (Kb) 845372

[startup+1040.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19253 5 1 0 101017 96 0 0 25 0 11 0 1789253244 865660928 27745 4294967295 134512640 134569956 3221224336 3221214176 1131697200 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27745 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1011.13
Current children cumulated vsize (Kb) 845372

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19263 5 1 0 101992 96 0 0 25 0 11 0 1789253244 865660928 27774 4294967295 134512640 134569956 3221224336 3221214552 1131463593 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27774 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1020.88
Current children cumulated vsize (Kb) 845372

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19273 5 1 0 102968 97 0 0 22 0 11 0 1789253244 865660928 27817 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27817 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1030.65
Current children cumulated vsize (Kb) 845372

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19284 5 1 0 103945 98 0 0 24 0 11 0 1789253244 865660928 27849 4294967295 134512640 134569956 3221224336 3221214552 1131463236 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27849 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1040.43
Current children cumulated vsize (Kb) 845372

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19293 5 1 0 104927 98 0 0 24 0 11 0 1789253244 865660928 27858 4294967295 134512640 134569956 3221224336 3221214640 1131476426 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27858 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1050.25
Current children cumulated vsize (Kb) 845372

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19303 5 1 0 105907 99 0 0 25 0 11 0 1789253244 865660928 27881 4294967295 134512640 134569956 3221224336 3221214552 1131463680 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27881 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1060.06
Current children cumulated vsize (Kb) 845372

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19314 5 1 0 106887 99 0 0 20 0 11 0 1789253244 865660928 27901 4294967295 134512640 134569956 3221224336 3221214640 1131476608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27901 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1069.86
Current children cumulated vsize (Kb) 845372

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19324 5 1 0 107867 100 0 0 25 0 11 0 1789253244 865660928 27914 4294967295 134512640 134569956 3221224336 3221214636 1131462988 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27914 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1079.67
Current children cumulated vsize (Kb) 845372

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19335 5 1 0 108846 100 0 0 19 0 11 0 1789253244 865660928 27923 4294967295 134512640 134569956 3221224336 3221214552 1131464051 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27923 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1089.46
Current children cumulated vsize (Kb) 845372

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) S 20361 20362 6872 0 -1 0 19346 5 1 0 109826 101 0 0 25 0 11 0 1789253244 865660928 27944 4294967295 134512640 134569956 3221224336 3221213152 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27944 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1099.27
Current children cumulated vsize (Kb) 845372

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19356 5 1 0 110806 101 0 0 25 0 11 0 1789253244 865660928 27967 4294967295 134512640 134569956 3221224336 3221214552 1131463891 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 27967 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1109.07
Current children cumulated vsize (Kb) 845372

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19367 5 1 0 111784 101 0 0 23 0 11 0 1789253244 865660928 27985 4294967295 134512640 134569956 3221224336 3221214552 1131463488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 27985 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1118.85
Current children cumulated vsize (Kb) 845372

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19377 5 1 0 112765 102 0 0 25 0 11 0 1789253244 865660928 28000 4294967295 134512640 134569956 3221224336 3221214640 1131475471 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28000 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 845372

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19388 5 1 0 113742 103 0 0 25 0 11 0 1789253244 865660928 28016 4294967295 134512640 134569956 3221224336 3221214640 1131477424 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 28016 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1138.45
Current children cumulated vsize (Kb) 845372

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19398 5 1 0 114721 103 0 0 21 0 11 0 1789253244 865660928 28052 4294967295 134512640 134569956 3221224336 3221214552 1131463929 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28052 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1148.24
Current children cumulated vsize (Kb) 845372

[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 1.00 3/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19409 5 1 0 115697 103 0 0 17 0 11 0 1789253244 865660928 28059 4294967295 134512640 134569956 3221224336 3221214640 1131478622 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28059 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1158
Current children cumulated vsize (Kb) 845372

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19419 5 1 0 116674 103 0 0 21 0 11 0 1789253244 865660928 28091 4294967295 134512640 134569956 3221224336 3221214640 1131475547 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28091 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1167.77
Current children cumulated vsize (Kb) 845372

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19429 5 1 0 117652 104 0 0 24 0 11 0 1789253244 865660928 28117 4294967295 134512640 134569956 3221224336 3221214552 1131463317 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 28117 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1177.56
Current children cumulated vsize (Kb) 845372

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19440 5 1 0 118628 104 0 0 25 0 11 0 1789253244 865660928 28148 4294967295 134512640 134569956 3221224336 3221214440 1131569807 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/20362/statm): 211343 28148 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1187.32
Current children cumulated vsize (Kb) 845372

[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19451 5 1 0 119606 104 0 0 25 0 11 0 1789253244 865660928 28175 4294967295 134512640 134569956 3221224336 3221214640 1131476604 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28175 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1197.1
Current children cumulated vsize (Kb) 845372

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19461 5 1 0 120585 105 0 0 25 0 11 0 1789253244 865660928 28197 4294967295 134512640 134569956 3221224336 3221214552 1131463437 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28197 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1206.9
Current children cumulated vsize (Kb) 845372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 20381
Raw data (/proc/20362/stat): 20362 (java) R 20361 20362 6872 0 -1 0 19461 5 1 0 120585 105 0 0 25 0 11 0 1789253244 865660928 28197 4294967295 134512640 134569956 3221224336 3221214552 1131463593 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/20362/statm): 211343 28197 13129 16 0 211327 0
[pid=20362] vsize: 845372
Current children cumulated CPU time (s) 1206.9
Current children cumulated vsize (Kb) 845372

Sending SIGTERM to -20362
Sleeping 2 seconds
New thread pid=20383
New thread pid=20384
One traced child (pid=20384) exited with status: 0
One traced child (pid=20371) exited with status: 0
One traced child (pid=20366) exited with status: 0
One traced child (pid=20363) exited with status: 143
One traced child (pid=20364) exited with status: 143
One traced child (pid=20383) exited with status: 143
One traced child (pid=20367) exited with status: 143
One traced child (pid=20369) exited with status: 143
One traced child (pid=20370) exited with status: 143
One traced child (pid=20365) exited with status: 143
One traced child (pid=20368) exited with status: 143
One traced child (pid=20381) exited with status: 143
One traced child (pid=20362) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.23
CPU time (s): 1250.43
CPU user time (s): 1248.21
CPU system time (s): 2.21466
CPU usage (%): 100.822
Max. virtual memory (cumulated for all children) (Kb): 846428

Verifier Data

Verifier:	OK	1077007360