Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

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

Trace number 8789

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837516 kB
Buffers:         35024 kB
Cached:         132152 kB
SwapCached:        784 kB
Active:          90744 kB
Inactive:        79128 kB
HighTotal:      131008 kB
HighFree:        10640 kB
LowTotal:       903652 kB
LowFree:        826876 kB
SwapTotal:     2097892 kB
SwapFree:      2096640 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5792 kB
Slab:            21644 kB
Committed_AS:    64308 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 19:04:19 (client local time) WITH STATUS 143 IN 1234.77 SECONDS
stats: 6820 0 1234.77 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/wulflinc30/normalized-mps-v2-13-7-misc07.opb
c reading problem ... done. Time 2.606 ms.
c #vars     280
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1567488 		Current CPU time: 15.27 ms
c CURRENT OPTIMUM=             1560448 		Current CPU time: 47.14 ms
c starts		: 10
c conflicts		: 1654
c decisions		: 4651
c propagations		: 22454
c inspects		: 1420966
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1653
c root simplifications	: 14
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 3375
c speed (decisions/second)	: 3.902913045010632
c non guided choices	203
c random choices	0
s SATISFIABLE
v -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 -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=1560448
c Total CPU time (ms) : 1238.829

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/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1860777412 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 39 3 38 16 0 23 0
[pid=14046] 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/14046
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=14047
New thread pid=14048
New thread pid=14049
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=14050
New thread pid=14051
New thread pid=14052
New thread pid=14053
New thread pid=14054
New thread pid=14055
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/wulflinc30/normalized-mps-v2-13-7-misc07.opb
New thread pid=14056

[startup+10.0025 s]
Raw data (loadavg): 1.37 1.10 1.03 4/66 14056
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 17281 0 1 0 616 46 0 0 25 0 11 0 1860777412 868106240 20874 4294967295 134512640 134569956 3221224336 3221214496 1131070086 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211940 20874 13129 16 0 211924 0
[pid=14046] vsize: 847760
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (Kb) 847760
One traced child (pid=14056) exited with status: 0
New thread pid=14057

[startup+20.0033 s]
Raw data (loadavg): 1.46 1.13 1.04 3/66 14057
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18245 4 1 0 1527 48 0 0 19 0 11 0 1860777412 865841152 22715 4294967295 134512640 134569956 3221224336 3221214560 1131468415 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211387 22715 13129 16 0 211371 0
[pid=14046] vsize: 845548
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (Kb) 845548

[startup+30.0041 s]
Raw data (loadavg): 1.39 1.13 1.04 2/66 14057
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18254 4 1 0 2443 49 0 0 16 0 11 0 1860777412 866684928 23216 4294967295 134512640 134569956 3221224336 3221214648 1131483721 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 23216 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (Kb) 846372

[startup+40.0049 s]
Raw data (loadavg): 1.33 1.12 1.04 3/66 14057
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18262 4 1 0 3370 49 0 0 24 0 11 0 1860777412 866684928 23765 4294967295 134512640 134569956 3221224336 3221214560 1131467771 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 23765 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 34.19
Current children cumulated vsize (Kb) 846372
One traced child (pid=14057) exited with status: 0
New thread pid=14058

[startup+50.0067 s]
Raw data (loadavg): 1.28 1.12 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18272 4 1 0 4309 49 0 0 25 0 11 0 1860777412 866684928 23768 4294967295 134512640 134569956 3221224336 3221214728 1131509106 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 23768 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 43.58
Current children cumulated vsize (Kb) 846372

[startup+60.0065 s]
Raw data (loadavg): 1.23 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18280 4 1 0 5248 49 0 0 23 0 11 0 1860777412 866684928 24099 4294967295 134512640 134569956 3221224336 3221214560 1131467927 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 24099 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 52.97
Current children cumulated vsize (Kb) 846372

[startup+70.0073 s]
Raw data (loadavg): 1.20 1.11 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18290 4 1 0 6182 49 0 0 16 0 11 0 1860777412 866684928 24206 4294967295 134512640 134569956 3221224336 3221214556 1131385696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 24206 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 62.31
Current children cumulated vsize (Kb) 846372

[startup+80.0081 s]
Raw data (loadavg): 1.17 1.10 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18300 4 1 0 7123 49 0 0 20 0 11 0 1860777412 866684928 24403 4294967295 134512640 134569956 3221224336 3221214512 1131667597 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 24403 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 71.72
Current children cumulated vsize (Kb) 846372

[startup+90.0079 s]
Raw data (loadavg): 1.14 1.10 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18310 4 1 0 8066 49 0 0 24 0 11 0 1860777412 866684928 24623 4294967295 134512640 134569956 3221224336 3221214504 1131445454 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 24623 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 81.15
Current children cumulated vsize (Kb) 846372

[startup+100.009 s]
Raw data (loadavg): 1.27 1.13 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18320 4 1 0 9015 50 0 0 25 0 11 0 1860777412 866684928 24781 4294967295 134512640 134569956 3221224336 3221214600 1131445542 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 24781 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 90.65
Current children cumulated vsize (Kb) 846372

[startup+110.01 s]
Raw data (loadavg): 1.22 1.12 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18329 4 1 0 9964 50 0 0 18 0 11 0 1860777412 866684928 24886 4294967295 134512640 134569956 3221224336 3221214648 1131483721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 24886 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 100.14
Current children cumulated vsize (Kb) 846372

[startup+120.009 s]
Raw data (loadavg): 1.19 1.12 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18338 4 1 0 10914 50 0 0 25 0 11 0 1860777412 866684928 25059 4294967295 134512640 134569956 3221224336 3221214504 1131445497 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25059 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 109.64
Current children cumulated vsize (Kb) 846372

[startup+130.01 s]
Raw data (loadavg): 1.16 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18348 4 1 0 11863 51 0 0 25 0 11 0 1860777412 866684928 25189 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25189 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 119.14
Current children cumulated vsize (Kb) 846372

[startup+140.011 s]
Raw data (loadavg): 1.13 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) S 14045 14046 5245 0 -1 0 18357 4 1 0 12823 51 0 0 16 0 11 0 1860777412 866684928 25353 4294967295 134512640 134569956 3221224336 3221213304 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25353 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 128.74
Current children cumulated vsize (Kb) 846372

[startup+150.012 s]
Raw data (loadavg): 1.11 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18366 4 1 0 13799 51 0 0 25 0 11 0 1860777412 866684928 25480 4294967295 134512640 134569956 3221224336 3221214472 1131385717 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25480 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 138.5
Current children cumulated vsize (Kb) 846372

[startup+160.012 s]
Raw data (loadavg): 1.10 1.10 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18375 4 1 0 14779 52 0 0 25 0 11 0 1860777412 866684928 25559 4294967295 134512640 134569956 3221224336 3221214504 1131445391 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25559 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 148.31
Current children cumulated vsize (Kb) 846372

[startup+170.012 s]
Raw data (loadavg): 1.08 1.10 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18383 4 1 0 15764 52 0 0 25 0 11 0 1860777412 866684928 25590 4294967295 134512640 134569956 3221224336 3221214600 1131519951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25590 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 158.16
Current children cumulated vsize (Kb) 846372

[startup+180.013 s]
Raw data (loadavg): 1.15 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18392 4 1 0 16747 53 0 0 25 0 11 0 1860777412 866684928 25629 4294967295 134512640 134569956 3221224336 3221214560 1131467750 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25629 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 168
Current children cumulated vsize (Kb) 846372

[startup+190.014 s]
Raw data (loadavg): 1.12 1.11 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18401 4 1 0 17730 53 0 0 25 0 11 0 1860777412 866684928 25667 4294967295 134512640 134569956 3221224336 3221214560 1131467798 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25667 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 177.83
Current children cumulated vsize (Kb) 846372

[startup+200.016 s]
Raw data (loadavg): 1.10 1.10 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18410 4 1 0 18712 54 0 0 24 0 11 0 1860777412 866684928 25704 4294967295 134512640 134569956 3221224336 3221214560 1131468023 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25704 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 187.66
Current children cumulated vsize (Kb) 846372

[startup+210.016 s]
Raw data (loadavg): 1.09 1.10 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18418 4 1 0 19697 54 0 0 25 0 11 0 1860777412 866684928 25737 4294967295 134512640 134569956 3221224336 3221214560 1131467507 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25737 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 197.51
Current children cumulated vsize (Kb) 846372

[startup+220.017 s]
Raw data (loadavg): 1.07 1.10 1.04 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18427 4 1 0 20679 55 0 0 25 0 11 0 1860777412 866684928 25776 4294967295 134512640 134569956 3221224336 3221214600 1131520024 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25776 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 207.34
Current children cumulated vsize (Kb) 846372

[startup+230.018 s]
Raw data (loadavg): 1.06 1.09 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18436 4 1 0 21662 55 0 0 17 0 11 0 1860777412 866684928 25814 4294967295 134512640 134569956 3221224336 3221214512 1131667709 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25814 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 217.17
Current children cumulated vsize (Kb) 846372

[startup+240.019 s]
Raw data (loadavg): 1.05 1.09 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18444 4 1 0 22647 56 0 0 21 0 11 0 1860777412 866684928 25852 4294967295 134512640 134569956 3221224336 3221214600 1131519909 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 25852 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 227.03
Current children cumulated vsize (Kb) 846372

[startup+250.021 s]
Raw data (loadavg): 1.04 1.08 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18453 4 1 0 23629 56 0 0 25 0 11 0 1860777412 866684928 25890 4294967295 134512640 134569956 3221224336 3221214560 1131467937 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25890 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 236.85
Current children cumulated vsize (Kb) 846372

[startup+260.021 s]
Raw data (loadavg): 1.04 1.08 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18462 4 1 0 24613 56 0 0 17 0 11 0 1860777412 866684928 25930 4294967295 134512640 134569956 3221224336 3221214648 1131482566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25930 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 246.69
Current children cumulated vsize (Kb) 846372

[startup+270.022 s]
Raw data (loadavg): 1.03 1.08 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18470 4 1 0 25597 56 0 0 23 0 11 0 1860777412 866684928 25964 4294967295 134512640 134569956 3221224336 3221214512 1131668650 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 25964 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 256.53
Current children cumulated vsize (Kb) 846372

[startup+280.023 s]
Raw data (loadavg): 1.02 1.08 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18479 4 1 0 26578 57 0 0 25 0 11 0 1860777412 866684928 26003 4294967295 134512640 134569956 3221224336 3221214648 1131482602 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26003 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 266.35
Current children cumulated vsize (Kb) 846372

[startup+290.023 s]
Raw data (loadavg): 1.02 1.07 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18488 4 1 0 27561 57 0 0 16 0 11 0 1860777412 866684928 26040 4294967295 134512640 134569956 3221224336 3221214532 1131831027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26040 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 276.18
Current children cumulated vsize (Kb) 846372

[startup+300.024 s]
Raw data (loadavg): 1.02 1.07 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18496 4 1 0 28544 58 0 0 23 0 11 0 1860777412 866684928 26078 4294967295 134512640 134569956 3221224336 3221214456 1131837318 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26078 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 286.02
Current children cumulated vsize (Kb) 846372

[startup+310.024 s]
Raw data (loadavg): 1.01 1.07 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18505 4 1 0 29526 58 0 0 25 0 11 0 1860777412 866684928 26117 4294967295 134512640 134569956 3221224336 3221214648 1131482566 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26117 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 295.84
Current children cumulated vsize (Kb) 846372

[startup+320.024 s]
Raw data (loadavg): 1.01 1.06 1.03 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18514 4 1 0 30509 58 0 0 17 0 11 0 1860777412 866684928 26157 4294967295 134512640 134569956 3221224336 3221214648 1131483721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26157 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 305.67
Current children cumulated vsize (Kb) 846372

[startup+330.025 s]
Raw data (loadavg): 1.01 1.06 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18522 4 1 0 31492 58 0 0 25 0 11 0 1860777412 866684928 26191 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26191 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 315.5
Current children cumulated vsize (Kb) 846372

[startup+340.026 s]
Raw data (loadavg): 1.01 1.06 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18531 4 1 0 32474 58 0 0 25 0 11 0 1860777412 866684928 26232 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26232 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 325.32
Current children cumulated vsize (Kb) 846372

[startup+350.027 s]
Raw data (loadavg): 1.01 1.06 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18540 4 1 0 33456 59 0 0 24 0 11 0 1860777412 866684928 26270 4294967295 134512640 134569956 3221224336 3221214560 1131364459 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26270 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 335.15
Current children cumulated vsize (Kb) 846372

[startup+360.027 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18548 4 1 0 34441 59 0 0 25 0 11 0 1860777412 866684928 26309 4294967295 134512640 134569956 3221224336 3221214600 1131520468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26309 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 345
Current children cumulated vsize (Kb) 846372

[startup+370.028 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18557 4 1 0 35423 59 0 0 25 0 11 0 1860777412 866684928 26346 4294967295 134512640 134569956 3221224336 3221214512 1131667709 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26346 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 354.82
Current children cumulated vsize (Kb) 846372

[startup+380.029 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18566 4 1 0 36405 60 0 0 18 0 11 0 1860777412 866684928 26385 4294967295 134512640 134569956 3221224336 3221214596 1131436163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26385 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 364.65
Current children cumulated vsize (Kb) 846372

[startup+390.03 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) S 14045 14046 5245 0 -1 0 18575 4 1 0 37387 60 0 0 25 0 11 0 1860777412 866684928 26419 4294967295 134512640 134569956 3221224336 3221213112 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26419 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 374.47
Current children cumulated vsize (Kb) 846372

[startup+400.031 s]
Raw data (loadavg): 1.00 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18583 4 1 0 38370 60 0 0 20 0 11 0 1860777412 866684928 26461 4294967295 134512640 134569956 3221224336 3221214600 1131519903 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26461 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 384.3
Current children cumulated vsize (Kb) 846372

[startup+410.03 s]
Raw data (loadavg): 1.00 1.04 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18592 4 1 0 39352 61 0 0 25 0 11 0 1860777412 866684928 26497 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26497 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 394.13
Current children cumulated vsize (Kb) 846372

[startup+420.031 s]
Raw data (loadavg): 1.00 1.04 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18601 4 1 0 40332 61 0 0 25 0 11 0 1860777412 866684928 26541 4294967295 134512640 134569956 3221224336 3221214648 1131482566 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26541 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 403.93
Current children cumulated vsize (Kb) 846372

[startup+430.032 s]
Raw data (loadavg): 1.00 1.04 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18612 4 1 0 41304 62 0 0 22 0 11 0 1860777412 866684928 26588 4294967295 134512640 134569956 3221224336 3221214560 1131468084 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26588 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 413.66
Current children cumulated vsize (Kb) 846372

[startup+440.033 s]
Raw data (loadavg): 1.00 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18622 4 1 0 42278 62 0 0 22 0 11 0 1860777412 866684928 26631 4294967295 134512640 134569956 3221224336 3221214560 1131468431 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26631 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 423.4
Current children cumulated vsize (Kb) 846372

[startup+450.035 s]
Raw data (loadavg): 1.07 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18633 4 1 0 43250 63 0 0 20 0 11 0 1860777412 866684928 26691 4294967295 134512640 134569956 3221224336 3221214560 1131467773 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26691 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 433.13
Current children cumulated vsize (Kb) 846372

[startup+460.035 s]
Raw data (loadavg): 1.06 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18644 4 1 0 44226 63 0 0 25 0 11 0 1860777412 866684928 26750 4294967295 134512640 134569956 3221224336 3221214512 1131668507 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26750 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 442.89
Current children cumulated vsize (Kb) 846372

[startup+470.035 s]
Raw data (loadavg): 1.05 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18655 4 1 0 45203 63 0 0 23 0 11 0 1860777412 866684928 26792 4294967295 134512640 134569956 3221224336 3221214648 1131484569 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26792 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 452.66
Current children cumulated vsize (Kb) 846372

[startup+480.036 s]
Raw data (loadavg): 1.04 1.05 1.02 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18665 4 1 0 46181 64 0 0 25 0 11 0 1860777412 866684928 26829 4294967295 134512640 134569956 3221224336 3221214560 1131467761 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26829 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 462.45
Current children cumulated vsize (Kb) 846372

[startup+490.037 s]
Raw data (loadavg): 1.04 1.05 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18676 4 1 0 47154 65 0 0 25 0 11 0 1860777412 866684928 26875 4294967295 134512640 134569956 3221224336 3221214584 1131364840 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26875 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 472.19
Current children cumulated vsize (Kb) 846372

[startup+500.038 s]
Raw data (loadavg): 1.03 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18686 4 1 0 48129 65 0 0 22 0 11 0 1860777412 866684928 26900 4294967295 134512640 134569956 3221224336 3221214560 1131467485 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 26900 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 481.94
Current children cumulated vsize (Kb) 846372

[startup+510.038 s]
Raw data (loadavg): 1.02 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18696 4 1 0 49105 65 0 0 25 0 11 0 1860777412 866684928 26968 4294967295 134512640 134569956 3221224336 3221214560 1131467838 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 26968 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 491.7
Current children cumulated vsize (Kb) 846372

[startup+520.039 s]
Raw data (loadavg): 1.02 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18705 4 1 0 50084 66 0 0 24 0 11 0 1860777412 866684928 27009 4294967295 134512640 134569956 3221224336 3221214560 1131468004 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27009 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 501.5
Current children cumulated vsize (Kb) 846372

[startup+530.04 s]
Raw data (loadavg): 1.02 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18713 4 1 0 51067 66 0 0 25 0 11 0 1860777412 866684928 27045 4294967295 134512640 134569956 3221224336 3221214556 1131057179 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27045 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 511.33
Current children cumulated vsize (Kb) 846372

[startup+540.04 s]
Raw data (loadavg): 1.01 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18722 4 1 0 52049 67 0 0 25 0 11 0 1860777412 866684928 27070 4294967295 134512640 134569956 3221224336 3221214512 1131667608 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27070 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 521.16
Current children cumulated vsize (Kb) 846372

[startup+550.041 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18731 4 1 0 53031 67 0 0 25 0 11 0 1860777412 866684928 27109 4294967295 134512640 134569956 3221224336 3221214644 1131468609 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27109 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 530.98
Current children cumulated vsize (Kb) 846372

[startup+560.042 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18739 4 1 0 54015 67 0 0 25 0 11 0 1860777412 866684928 27146 4294967295 134512640 134569956 3221224336 3221214560 1131467787 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27146 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 540.82
Current children cumulated vsize (Kb) 846372

[startup+570.042 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18748 4 1 0 54997 68 0 0 23 0 11 0 1860777412 866684928 27183 4294967295 134512640 134569956 3221224336 3221214512 1131667007 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27183 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 550.65
Current children cumulated vsize (Kb) 846372

[startup+580.043 s]
Raw data (loadavg): 1.01 1.03 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18757 4 1 0 55979 69 0 0 25 0 11 0 1860777412 866684928 27225 4294967295 134512640 134569956 3221224336 3221214512 1131445374 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27225 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 560.48
Current children cumulated vsize (Kb) 846372

[startup+590.044 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18766 4 1 0 56961 69 0 0 19 0 11 0 1860777412 866684928 27267 4294967295 134512640 134569956 3221224336 3221214560 1131467454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27267 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 570.3
Current children cumulated vsize (Kb) 846372

[startup+600.045 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18775 4 1 0 57944 70 0 0 25 0 11 0 1860777412 866684928 27304 4294967295 134512640 134569956 3221224336 3221214560 1131468428 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27304 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 580.14
Current children cumulated vsize (Kb) 846372

[startup+610.045 s]
Raw data (loadavg): 1.00 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18784 4 1 0 58927 70 0 0 24 0 11 0 1860777412 866684928 27341 4294967295 134512640 134569956 3221224336 3221214560 1131468318 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27341 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 589.97
Current children cumulated vsize (Kb) 846372

[startup+620.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18792 4 1 0 59912 71 0 0 25 0 11 0 1860777412 866684928 27378 4294967295 134512640 134569956 3221224336 3221214600 1131520161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27378 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 599.83
Current children cumulated vsize (Kb) 846372

[startup+630.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18801 4 1 0 60895 71 0 0 22 0 11 0 1860777412 866684928 27415 4294967295 134512640 134569956 3221224336 3221214648 1131484389 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27415 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 609.66
Current children cumulated vsize (Kb) 846372

[startup+640.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18810 4 1 0 61878 72 0 0 25 0 11 0 1860777412 866684928 27453 4294967295 134512640 134569956 3221224336 3221214560 1131468061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27453 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 619.5
Current children cumulated vsize (Kb) 846372

[startup+650.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18819 4 1 0 62860 72 0 0 18 0 11 0 1860777412 866684928 27491 4294967295 134512640 134569956 3221224336 3221214584 1131364827 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27491 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 629.32
Current children cumulated vsize (Kb) 846372

[startup+660.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18828 4 1 0 63843 73 0 0 24 0 11 0 1860777412 866684928 27533 4294967295 134512640 134569956 3221224336 3221214472 1131385717 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27533 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 639.16
Current children cumulated vsize (Kb) 846372

[startup+670.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18837 4 1 0 64824 73 0 0 25 0 11 0 1860777412 866684928 27565 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27565 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 648.97
Current children cumulated vsize (Kb) 846372

[startup+680.05 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18846 4 1 0 65806 74 0 0 16 0 11 0 1860777412 866684928 27608 4294967295 134512640 134569956 3221224336 3221214512 1131445617 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27608 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 658.8
Current children cumulated vsize (Kb) 846372

[startup+690.051 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18854 4 1 0 66789 74 0 0 23 0 11 0 1860777412 866684928 27645 4294967295 134512640 134569956 3221224336 3221214512 1131445725 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27645 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 668.63
Current children cumulated vsize (Kb) 846372

[startup+700.052 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18863 4 1 0 67770 74 0 0 25 0 11 0 1860777412 866684928 27687 4294967295 134512640 134569956 3221224336 3221214600 1131520161 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27687 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 678.44
Current children cumulated vsize (Kb) 846372

[startup+710.052 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18872 4 1 0 68751 74 0 0 25 0 11 0 1860777412 866684928 27730 4294967295 134512640 134569956 3221224336 3221214648 1131483710 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27730 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 688.25
Current children cumulated vsize (Kb) 846372

[startup+720.052 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18881 4 1 0 69733 75 0 0 17 0 11 0 1860777412 866684928 27767 4294967295 134512640 134569956 3221224336 3221214556 1131386791 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27767 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 698.08
Current children cumulated vsize (Kb) 846372

[startup+730.054 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18890 4 1 0 70716 75 0 0 24 0 11 0 1860777412 866684928 27809 4294967295 134512640 134569956 3221224336 3221214560 1131468061 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27809 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 707.91
Current children cumulated vsize (Kb) 846372

[startup+740.055 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18898 4 1 0 71699 76 0 0 25 0 11 0 1860777412 866684928 27842 4294967295 134512640 134569956 3221224336 3221214560 1131467906 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27842 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 717.75
Current children cumulated vsize (Kb) 846372

[startup+750.056 s]
Raw data (loadavg): 1.10 1.04 1.01 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18907 4 1 0 72681 76 0 0 25 0 11 0 1860777412 866684928 27879 4294967295 134512640 134569956 3221224336 3221214512 1131445497 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27879 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 727.57
Current children cumulated vsize (Kb) 846372

[startup+760.056 s]
Raw data (loadavg): 1.08 1.04 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18917 4 1 0 73660 76 0 0 16 0 11 0 1860777412 866684928 27922 4294967295 134512640 134569956 3221224336 3221214560 1131467429 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 27922 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 737.36
Current children cumulated vsize (Kb) 846372

[startup+770.056 s]
Raw data (loadavg): 1.07 1.04 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18925 4 1 0 74643 77 0 0 25 0 11 0 1860777412 866684928 27959 4294967295 134512640 134569956 3221224336 3221214648 1131483562 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27959 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 747.2
Current children cumulated vsize (Kb) 846372

[startup+780.057 s]
Raw data (loadavg): 1.06 1.04 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18934 4 1 0 75625 77 0 0 25 0 11 0 1860777412 866684928 27998 4294967295 134512640 134569956 3221224336 3221214560 1131468428 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 27998 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 757.02
Current children cumulated vsize (Kb) 846372

[startup+790.058 s]
Raw data (loadavg): 1.05 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18943 4 1 0 76607 77 0 0 22 0 11 0 1860777412 866684928 28044 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28044 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 766.84
Current children cumulated vsize (Kb) 846372

[startup+800.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18952 4 1 0 77589 78 0 0 25 0 11 0 1860777412 866684928 28082 4294967295 134512640 134569956 3221224336 3221214648 1131482335 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28082 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 776.67
Current children cumulated vsize (Kb) 846372

[startup+810.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18961 4 1 0 78572 78 0 0 19 0 11 0 1860777412 866684928 28119 4294967295 134512640 134569956 3221224336 3221214584 1131364864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28119 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 786.5
Current children cumulated vsize (Kb) 846372

[startup+820.061 s]
Raw data (loadavg): 1.03 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18971 4 1 0 79550 79 0 0 17 0 11 0 1860777412 866684928 28161 4294967295 134512640 134569956 3221224336 3221214648 1131486845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28161 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 796.29
Current children cumulated vsize (Kb) 846372

[startup+830.062 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18981 4 1 0 80525 79 0 0 25 0 11 0 1860777412 866684928 28198 4294967295 134512640 134569956 3221224336 3221214648 1131483732 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28198 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 806.04
Current children cumulated vsize (Kb) 846372

[startup+840.062 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 18991 4 1 0 81498 80 0 0 25 0 11 0 1860777412 866684928 28240 4294967295 134512640 134569956 3221224336 3221214200 1085806738 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28240 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 815.78
Current children cumulated vsize (Kb) 846372

[startup+850.063 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19001 4 1 0 82466 80 0 0 18 0 11 0 1860777412 866684928 28275 4294967295 134512640 134569956 3221224336 3221214648 1131482575 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28275 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 825.46
Current children cumulated vsize (Kb) 846372

[startup+860.063 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19011 4 1 0 83428 81 0 0 25 0 11 0 1860777412 866684928 28330 4294967295 134512640 134569956 3221224336 3221214504 1131445497 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28330 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 835.09
Current children cumulated vsize (Kb) 846372

[startup+870.064 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19020 4 1 0 84393 81 0 0 25 0 11 0 1860777412 866684928 28399 4294967295 134512640 134569956 3221224336 3221214560 1131467743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28399 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 844.74
Current children cumulated vsize (Kb) 846372

[startup+880.065 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19030 4 1 0 85354 82 0 0 25 0 11 0 1860777412 866684928 28499 4294967295 134512640 134569956 3221224336 3221214472 1131386780 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28499 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 854.36
Current children cumulated vsize (Kb) 846372

[startup+890.066 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19040 4 1 0 86317 82 0 0 18 0 11 0 1860777412 866684928 28594 4294967295 134512640 134569956 3221224336 3221214512 1131668383 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28594 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 863.99
Current children cumulated vsize (Kb) 846372

[startup+900.067 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19050 4 1 0 87280 83 0 0 24 0 11 0 1860777412 866684928 28686 4294967295 134512640 134569956 3221224336 3221214560 1131467421 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28686 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 873.63
Current children cumulated vsize (Kb) 846372

[startup+910.067 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19059 4 1 0 88249 83 0 0 25 0 11 0 1860777412 866684928 28781 4294967295 134512640 134569956 3221224336 3221214648 1131486830 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28781 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 883.32
Current children cumulated vsize (Kb) 846372

[startup+920.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19069 4 1 0 89215 83 0 0 25 0 11 0 1860777412 866684928 28846 4294967295 134512640 134569956 3221224336 3221214512 1131666910 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 28846 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 892.98
Current children cumulated vsize (Kb) 846372

[startup+930.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19078 4 1 0 90181 84 0 0 25 0 11 0 1860777412 866684928 28928 4294967295 134512640 134569956 3221224336 3221214560 1131467906 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 28928 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 902.65
Current children cumulated vsize (Kb) 846372

[startup+940.07 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19088 4 1 0 91143 84 0 0 20 0 11 0 1860777412 866684928 29010 4294967295 134512640 134569956 3221224336 3221214512 1131445497 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29010 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 912.27
Current children cumulated vsize (Kb) 846372

[startup+950.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19097 4 1 0 92107 85 0 0 25 0 11 0 1860777412 866684928 29098 4294967295 134512640 134569956 3221224336 3221214504 1131445399 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 29098 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 921.92
Current children cumulated vsize (Kb) 846372

[startup+960.071 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19107 4 1 0 93063 85 0 0 25 0 11 0 1860777412 866684928 29184 4294967295 134512640 134569956 3221224336 3221214504 1131445336 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 29184 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 931.48
Current children cumulated vsize (Kb) 846372

[startup+970.072 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19116 4 1 0 94021 85 0 0 25 0 11 0 1860777412 866684928 29249 4294967295 134512640 134569956 3221224336 3221214648 1131484465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29249 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 941.06
Current children cumulated vsize (Kb) 846372

[startup+980.073 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 14058
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19126 4 1 0 94973 86 0 0 25 0 11 0 1860777412 866684928 29383 4294967295 134512640 134569956 3221224336 3221214504 1131446088 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 29383 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 950.59
Current children cumulated vsize (Kb) 846372

[startup+990.073 s]
Raw data (loadavg): 1.24 1.06 1.02 3/71 14112
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19135 4 1 0 95929 87 0 0 22 0 11 0 1860777412 866684928 29489 4294967295 134512640 134569956 3221224336 3221214560 1131468380 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29489 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 960.16
Current children cumulated vsize (Kb) 846372

[startup+1000.07 s]
Raw data (loadavg): 1.20 1.06 1.02 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19145 4 1 0 96884 87 0 0 25 0 11 0 1860777412 866684928 29601 4294967295 134512640 134569956 3221224336 3221214464 1131735509 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29601 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 969.71
Current children cumulated vsize (Kb) 846372

[startup+1010.07 s]
Raw data (loadavg): 1.17 1.06 1.01 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19154 4 1 0 97844 88 0 0 25 0 11 0 1860777412 866684928 29692 4294967295 134512640 134569956 3221224336 3221214560 1131467500 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29692 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 979.32
Current children cumulated vsize (Kb) 846372

[startup+1020.07 s]
Raw data (loadavg): 1.14 1.05 1.01 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19164 4 1 0 98799 88 0 0 18 0 11 0 1860777412 866684928 29808 4294967295 134512640 134569956 3221224336 3221214560 1131468259 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29808 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 988.87
Current children cumulated vsize (Kb) 846372

[startup+1030.07 s]
Raw data (loadavg): 1.12 1.05 1.01 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19174 4 1 0 99755 88 0 0 21 0 11 0 1860777412 866684928 29916 4294967295 134512640 134569956 3221224336 3221214648 1131485715 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 29916 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 998.43
Current children cumulated vsize (Kb) 846372

[startup+1040.08 s]
Raw data (loadavg): 1.10 1.05 1.01 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19183 4 1 0 100717 89 0 0 25 0 11 0 1860777412 866684928 30001 4294967295 134512640 134569956 3221224336 3221214560 1131467429 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30001 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1008.06
Current children cumulated vsize (Kb) 846372

[startup+1050.08 s]
Raw data (loadavg): 1.09 1.05 1.01 2/66 14113
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19192 4 1 0 101679 89 0 0 19 0 11 0 1860777412 866684928 30088 4294967295 134512640 134569956 3221224336 3221214608 1131538951 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30088 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1017.68
Current children cumulated vsize (Kb) 846372

[startup+1060.08 s]
Raw data (loadavg): 1.07 1.05 1.01 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19202 4 1 0 102639 90 0 0 22 0 11 0 1860777412 866684928 30182 4294967295 134512640 134569956 3221224336 3221214600 1131519971 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30182 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1027.29
Current children cumulated vsize (Kb) 846372

[startup+1070.08 s]
Raw data (loadavg): 1.06 1.04 1.01 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19211 4 1 0 103603 91 0 0 25 0 11 0 1860777412 866684928 30262 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30262 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1036.94
Current children cumulated vsize (Kb) 846372

[startup+1080.08 s]
Raw data (loadavg): 1.05 1.04 1.01 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19221 4 1 0 104562 91 0 0 25 0 11 0 1860777412 866684928 30352 4294967295 134512640 134569956 3221224336 3221214560 1131467817 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30352 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1046.53
Current children cumulated vsize (Kb) 846372

[startup+1090.08 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19230 4 1 0 105521 93 0 0 21 0 11 0 1860777412 866684928 30414 4294967295 134512640 134569956 3221224336 3221214648 1131484539 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30414 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1056.14
Current children cumulated vsize (Kb) 846372

[startup+1100.08 s]
Raw data (loadavg): 1.04 1.04 1.01 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19240 4 1 0 106476 94 0 0 23 0 11 0 1860777412 866684928 30526 4294967295 134512640 134569956 3221224336 3221214560 1131468428 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30526 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1065.7
Current children cumulated vsize (Kb) 846372

[startup+1110.08 s]
Raw data (loadavg): 1.03 1.04 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19250 4 1 0 107438 94 0 0 24 0 11 0 1860777412 866684928 30634 4294967295 134512640 134569956 3221224336 3221214648 1131483721 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30634 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1075.32
Current children cumulated vsize (Kb) 846372

[startup+1120.08 s]
Raw data (loadavg): 1.02 1.04 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19262 4 1 0 108402 95 0 0 25 0 11 0 1860777412 866684928 30746 4294967295 134512640 134569956 3221224336 3221214472 1131386164 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30746 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1084.97
Current children cumulated vsize (Kb) 846372

[startup+1130.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19272 4 1 0 109377 96 0 0 17 0 11 0 1860777412 866684928 30785 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30785 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1094.73
Current children cumulated vsize (Kb) 846372

[startup+1140.08 s]
Raw data (loadavg): 1.02 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19282 4 1 0 110352 96 0 0 25 0 11 0 1860777412 866684928 30819 4294967295 134512640 134569956 3221224336 3221214512 1131667828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30819 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1104.48
Current children cumulated vsize (Kb) 846372

[startup+1150.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19292 4 1 0 111325 97 0 0 25 0 11 0 1860777412 866684928 30843 4294967295 134512640 134569956 3221224336 3221214560 1131467778 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30843 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1114.22
Current children cumulated vsize (Kb) 846372

[startup+1160.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19302 4 1 0 112298 98 0 0 21 0 11 0 1860777412 866684928 30886 4294967295 134512640 134569956 3221224336 3221214560 1131467857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30886 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1123.96
Current children cumulated vsize (Kb) 846372

[startup+1170.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19312 4 1 0 113271 99 0 0 25 0 11 0 1860777412 866684928 30935 4294967295 134512640 134569956 3221224336 3221214560 1131467817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 30935 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1133.7
Current children cumulated vsize (Kb) 846372

[startup+1180.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19322 4 1 0 114245 99 0 0 25 0 11 0 1860777412 866684928 30973 4294967295 134512640 134569956 3221224336 3221214648 1131482509 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 30973 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1143.44
Current children cumulated vsize (Kb) 846372

[startup+1190.08 s]
Raw data (loadavg): 1.01 1.03 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19333 4 1 0 115218 99 0 0 19 0 11 0 1860777412 866684928 31014 4294967295 134512640 134569956 3221224336 3221214560 1131467890 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 31014 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1153.17
Current children cumulated vsize (Kb) 846372

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19343 4 1 0 116192 100 0 0 25 0 11 0 1860777412 866684928 31049 4294967295 134512640 134569956 3221224336 3221214648 1131486845 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 31049 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1162.92
Current children cumulated vsize (Kb) 846372

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19353 4 1 0 117167 100 0 0 19 0 11 0 1860777412 866684928 31096 4294967295 134512640 134569956 3221224336 3221214560 1131467817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 31096 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1172.67
Current children cumulated vsize (Kb) 846372

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19363 4 1 0 118142 101 0 0 19 0 11 0 1860777412 866684928 31133 4294967295 134512640 134569956 3221224336 3221214648 1131483725 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 31133 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (Kb) 846372

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19373 4 1 0 119118 102 0 0 25 0 11 0 1860777412 866684928 31180 4294967295 134512640 134569956 3221224336 3221214560 1131467454 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/14046/statm): 211593 31180 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1192.2
Current children cumulated vsize (Kb) 846372

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19384 4 1 0 120093 102 0 0 25 0 11 0 1860777412 866684928 31222 4294967295 134512640 134569956 3221224336 3221214600 1131520343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 31222 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1201.95
Current children cumulated vsize (Kb) 846372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.02 1.00 2/66 14117
Raw data (/proc/14046/stat): 14046 (java) R 14045 14046 5245 0 -1 0 19384 4 1 0 120093 102 0 0 25 0 11 0 1860777412 866684928 31222 4294967295 134512640 134569956 3221224336 3221214600 1131520343 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/14046/statm): 211593 31222 13129 16 0 211577 0
[pid=14046] vsize: 846372
Current children cumulated CPU time (s) 1201.95
Current children cumulated vsize (Kb) 846372

Sending SIGTERM to -14046
Sleeping 2 seconds
New thread pid=14119
New thread pid=14120
One traced child (pid=14120) exited with status: 0
One traced child (pid=14055) exited with status: 0
One traced child (pid=14050) exited with status: 0
One traced child (pid=14047) exited with status: 143
One traced child (pid=14048) exited with status: 143
One traced child (pid=14052) exited with status: 143
One traced child (pid=14053) exited with status: 143
One traced child (pid=14051) exited with status: 143
One traced child (pid=14054) exited with status: 143
One traced child (pid=14058) exited with status: 143
One traced child (pid=14119) exited with status: 143
One traced child (pid=14049) exited with status: 143
One traced child (pid=14046) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.22
CPU time (s): 1234.77
CPU user time (s): 1232.84
CPU system time (s): 1.93071
CPU usage (%): 99.5599
Max. virtual memory (cumulated for all children) (Kb): 847760

Verifier Data

Verifier:	OK	1560448