Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-flugpl.opb
MD5SUMf7c404708fc3042fadfc18ab8efeb9a5
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14745600
Optimality of the best value was proved YES
Number of terms in the objective function 265
Biggest coefficient in the objective function 48318382080
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 103103023008
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 80530636800
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 162146381673
Number of bits of the biggest sum of numbers38
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark27.8208
Number of variables265
Total number of constraints29
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints29
Minimum length of a constraint5
Maximum length of a constraint65

Trace number 4808

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-19 19:58:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6488 boxname=wulflinc27 idbench=628 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f7c404708fc3042fadfc18ab8efeb9a5  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-flugpl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-flugpl.opb
IDLAUNCH: 6488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        875312 kB
Buffers:         33936 kB
Cached:          93084 kB
SwapCached:        752 kB
Active:          69136 kB
Inactive:        60440 kB
HighTotal:      131008 kB
HighFree:        42476 kB
LowTotal:       903652 kB
LowFree:        832836 kB
SwapTotal:     2097892 kB
SwapFree:      2096628 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            24072 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 20:18:40 (client local time) WITH STATUS 143 IN 1227.51 SECONDS
stats: 6488 0 1227.51 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/wulflinc27/normalized-mps-v2-20-10-flugpl.opb
c reading problem ... done. Time 0.49 ms.
c #vars     265
c #constraints  35
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            17905662 		Current CPU time: 8.21 ms
c CURRENT OPTIMUM=            17557503 		Current CPU time: 9.44 ms
c CURRENT OPTIMUM=            16623615 		Current CPU time: 10.30 ms
c CURRENT OPTIMUM=            15112192 		Current CPU time: 16.87 ms
c CURRENT OPTIMUM=            14882816 		Current CPU time: 17.60 ms
c starts		: 11
c conflicts		: 1081
c decisions		: 15485
c propagations		: 29945
c inspects		: 1363915
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 1081
c root simplifications	: 458
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 15423
c speed (decisions/second)	: 12.892043496286233
c non guided choices	1581
c random choices	0
s SATISFIABLE
v -STM1_bit_10 -STM1_bit_9 -STM1_bit_8 -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -STM1_bit13 -STM1_bit14 -STM1_bit15 -STM1_bit16 -STM1_bit17 -STM1_bit18 -STM1_bit19 -ANM1_bit0 ANM1_bit1 ANM1_bit2 -ANM1_bit3 -ANM1_bit4 -UE1_bit_10 -UE1_bit_9 -UE1_bit_8 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 -UE1_bit3 -UE1_bit4 -UE1_bit5 -UE1_bit6 -UE1_bit7 -UE1_bit8 -UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 -UE1_bit13 -UE1_bit14 -UE1_bit15 -UE1_bit16 -UE1_bit17 -UE1_bit18 -UE1_bit19 STM2_bit0 STM2_bit1 -STM2_bit2 -STM2_bit3 -STM2_bit4 -ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_10 -UE2_bit_9 -UE2_bit_8 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 UE2_bit3 UE2_bit4 -UE2_bit5 UE2_bit6 -UE2_bit7 -UE2_bit8 UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 -UE2_bit13 -UE2_bit14 -UE2_bit15 -UE2_bit16 -UE2_bit17 -UE2_bit18 -UE2_bit19 STM3_bit0 STM3_bit1 -STM3_bit2 -STM3_bit3 -STM3_bit4 -ANM3_bit0 -ANM3_bit1 -ANM3_bit2 -ANM3_bit3 ANM3_bit4 -UE3_bit_10 -UE3_bit_9 -UE3_bit_8 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 UE3_bit3 UE3_bit4 -UE3_bit5 UE3_bit6 -UE3_bit7 -UE3_bit8 UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 -UE3_bit13 -UE3_bit14 -UE3_bit15 -UE3_bit16 -UE3_bit17 -UE3_bit18 -UE3_bit19 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_10 -UE4_bit_9 -UE4_bit_8 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 UE4_bit3 -UE4_bit4 -UE4_bit5 UE4_bit6 UE4_bit7 -UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 -UE4_bit13 -UE4_bit14 -UE4_bit15 -UE4_bit16 -UE4_bit17 -UE4_bit18 -UE4_bit19 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 ANM5_bit0 ANM5_bit1 -ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_10 -UE5_bit_9 -UE5_bit_8 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 -UE5_bit13 -UE5_bit14 -UE5_bit15 -UE5_bit16 -UE5_bit17 -UE5_bit18 -UE5_bit19 STM6_bit0 -STM6_bit1 -STM6_bit2 -STM6_bit3 STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_10 -UE6_bit_9 -UE6_bit_8 -UE6_bit_7 -UE6_bit_6 -UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 -UE6_bit1 -UE6_bit2 -UE6_bit3 -UE6_bit4 -UE6_bit5 -UE6_bit6 -UE6_bit7 -UE6_bit8 -UE6_bit9 UE6_bit10 -UE6_bit11 -UE6_bit12 -UE6_bit13 -UE6_bit14 -UE6_bit15 -UE6_bit16 -UE6_bit17 -UE6_bit18 -UE6_bit19 
c objective function=14882816
c Total CPU time (ms) : 1218.819

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/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852581380 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 39 3 38 16 0 23 0
[pid=18944] 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/18944
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=18945
New thread pid=18946
New thread pid=18947
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=18948
New thread pid=18949
New thread pid=18950
New thread pid=18951
New thread pid=18952
New thread pid=18953
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/wulflinc27/normalized-mps-v2-20-10-flugpl.opb
New thread pid=18954
One traced child (pid=18954) exited with status: 0
New thread pid=18955

[startup+10.0035 s]
Raw data (loadavg): 1.16 1.02 0.93 2/66 18955
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18212 4 1 0 737 46 0 0 21 0 11 0 1852581380 860057600 20221 4294967295 134512640 134569956 3221224336 3221214720 1131342178 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209975 20221 13129 16 0 209959 0
[pid=18944] vsize: 839900
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (Kb) 839900
One traced child (pid=18955) exited with status: 0
New thread pid=18956
One traced child (pid=18956) exited with status: 0
New thread pid=18957
One traced child (pid=18957) exited with status: 0
New thread pid=18958
One traced child (pid=18958) exited with status: 0
New thread pid=18959

[startup+20.0033 s]
Raw data (loadavg): 1.14 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18224 4 1 0 1680 47 0 0 25 0 11 0 1852581380 859340800 20376 4294967295 134512640 134569956 3221224336 3221214472 1131421172 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 20376 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (Kb) 839200

[startup+30.0041 s]
Raw data (loadavg): 1.12 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18234 4 1 0 2645 47 0 0 25 0 11 0 1852581380 859340800 20590 4294967295 134512640 134569956 3221224336 3221214720 1131342219 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 20590 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 26.92
Current children cumulated vsize (Kb) 839200

[startup+40.0049 s]
Raw data (loadavg): 1.10 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18244 4 1 0 3600 47 0 0 25 0 11 0 1852581380 859340800 20721 4294967295 134512640 134569956 3221224336 3221214716 1131346959 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 20721 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 36.47
Current children cumulated vsize (Kb) 839200

[startup+50.0067 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18253 4 1 0 4551 48 0 0 25 0 11 0 1852581380 859340800 20976 4294967295 134512640 134569956 3221224336 3221214624 1131350187 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 20976 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 45.99
Current children cumulated vsize (Kb) 839200

[startup+60.0065 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18262 4 1 0 5522 48 0 0 25 0 11 0 1852581380 859340800 21168 4294967295 134512640 134569956 3221224336 3221214760 1131358713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21168 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 55.7
Current children cumulated vsize (Kb) 839200

[startup+70.0073 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18271 4 1 0 6499 49 0 0 25 0 11 0 1852581380 859340800 21247 4294967295 134512640 134569956 3221224336 3221214712 1131330240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21247 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 65.48
Current children cumulated vsize (Kb) 839200

[startup+80.0082 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18282 4 1 0 7478 49 0 0 25 0 11 0 1852581380 859340800 21325 4294967295 134512640 134569956 3221224336 3221214716 1131346208 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21325 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 75.27
Current children cumulated vsize (Kb) 839200

[startup+90.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18291 4 1 0 8460 50 0 0 25 0 11 0 1852581380 859340800 21367 4294967295 134512640 134569956 3221224336 3221214712 1131330257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21367 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 85.1
Current children cumulated vsize (Kb) 839200

[startup+100.009 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18301 4 1 0 9441 50 0 0 25 0 11 0 1852581380 859340800 21410 4294967295 134512640 134569956 3221224336 3221214624 1131350376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21410 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 94.91
Current children cumulated vsize (Kb) 839200

[startup+110.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18310 4 1 0 10423 50 0 0 25 0 11 0 1852581380 859340800 21448 4294967295 134512640 134569956 3221224336 3221214624 1131350094 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21448 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 104.73
Current children cumulated vsize (Kb) 839200

[startup+120.009 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18320 4 1 0 11405 51 0 0 25 0 11 0 1852581380 859340800 21487 4294967295 134512640 134569956 3221224336 3221214624 1131350121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21487 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 114.56
Current children cumulated vsize (Kb) 839200

[startup+130.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18329 4 1 0 12389 51 0 0 25 0 11 0 1852581380 859340800 21545 4294967295 134512640 134569956 3221224336 3221214712 1131330245 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21545 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 124.4
Current children cumulated vsize (Kb) 839200

[startup+140.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18339 4 1 0 13375 52 0 0 25 0 11 0 1852581380 859340800 21576 4294967295 134512640 134569956 3221224336 3221214328 1131562028 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21576 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 134.27
Current children cumulated vsize (Kb) 839200

[startup+150.012 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18348 4 1 0 14362 52 0 0 25 0 11 0 1852581380 859340800 21601 4294967295 134512640 134569956 3221224336 3221214720 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21601 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 144.14
Current children cumulated vsize (Kb) 839200

[startup+160.013 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18358 4 1 0 15348 52 0 0 20 0 11 0 1852581380 859340800 21626 4294967295 134512640 134569956 3221224336 3221214672 1131353885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21626 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 154
Current children cumulated vsize (Kb) 839200

[startup+170.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18368 4 1 0 16334 53 0 0 24 0 11 0 1852581380 859340800 21651 4294967295 134512640 134569956 3221224336 3221214760 1131358713 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21651 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 163.87
Current children cumulated vsize (Kb) 839200

[startup+180.014 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18377 4 1 0 17322 53 0 0 25 0 11 0 1852581380 859340800 21672 4294967295 134512640 134569956 3221224336 3221214720 1131342312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21672 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 173.75
Current children cumulated vsize (Kb) 839200

[startup+190.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18387 4 1 0 18309 54 0 0 25 0 11 0 1852581380 859340800 21692 4294967295 134512640 134569956 3221224336 3221214712 1131330257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21692 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 183.63
Current children cumulated vsize (Kb) 839200

[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) S 18943 18944 28974 0 -1 0 18397 4 1 0 19295 54 0 0 25 0 11 0 1852581380 859340800 21713 4294967295 134512640 134569956 3221224336 3221213360 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21713 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 193.49
Current children cumulated vsize (Kb) 839200

[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18406 4 1 0 20283 54 0 0 22 0 11 0 1852581380 859340800 21734 4294967295 134512640 134569956 3221224336 3221214624 1131351847 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21734 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 203.37
Current children cumulated vsize (Kb) 839200

[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18416 4 1 0 21270 55 0 0 25 0 11 0 1852581380 859340800 21756 4294967295 134512640 134569956 3221224336 3221214720 1131342150 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21756 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 213.25
Current children cumulated vsize (Kb) 839200

[startup+230.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18425 4 1 0 22258 56 0 0 25 0 11 0 1852581380 859340800 21773 4294967295 134512640 134569956 3221224336 3221214760 1131358132 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21773 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 223.14
Current children cumulated vsize (Kb) 839200

[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18435 4 1 0 23245 56 0 0 25 0 11 0 1852581380 859340800 21794 4294967295 134512640 134569956 3221224336 3221214760 1131358615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21794 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 233.01
Current children cumulated vsize (Kb) 839200

[startup+250.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18445 4 1 0 24232 57 0 0 25 0 11 0 1852581380 859340800 21811 4294967295 134512640 134569956 3221224336 3221214624 1131351615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21811 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 242.89
Current children cumulated vsize (Kb) 839200

[startup+260.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18454 4 1 0 25219 58 0 0 25 0 11 0 1852581380 859340800 21828 4294967295 134512640 134569956 3221224336 3221214624 1131350293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21828 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 252.77
Current children cumulated vsize (Kb) 839200

[startup+270.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18464 4 1 0 26206 59 0 0 25 0 11 0 1852581380 859340800 21851 4294967295 134512640 134569956 3221224336 3221214720 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21851 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 262.65
Current children cumulated vsize (Kb) 839200

[startup+280.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18474 4 1 0 27192 59 0 0 25 0 11 0 1852581380 859340800 21871 4294967295 134512640 134569956 3221224336 3221214800 1131369561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21871 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 272.51
Current children cumulated vsize (Kb) 839200

[startup+290.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18483 4 1 0 28180 60 0 0 25 0 11 0 1852581380 859340800 21885 4294967295 134512640 134569956 3221224336 3221214624 1131346231 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21885 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (Kb) 839200

[startup+300.024 s]
Raw data (loadavg): 1.08 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18493 4 1 0 29166 60 0 0 25 0 11 0 1852581380 859340800 21911 4294967295 134512640 134569956 3221224336 3221214720 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21911 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 292.26
Current children cumulated vsize (Kb) 839200

[startup+310.025 s]
Raw data (loadavg): 1.07 1.02 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18503 4 1 0 30148 60 0 0 25 0 11 0 1852581380 859340800 21935 4294967295 134512640 134569956 3221224336 3221214624 1131351603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21935 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 302.08
Current children cumulated vsize (Kb) 839200

[startup+320.026 s]
Raw data (loadavg): 1.06 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18512 4 1 0 31131 61 0 0 25 0 11 0 1852581380 859340800 21959 4294967295 134512640 134569956 3221224336 3221214328 1131421134 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 21959 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 311.92
Current children cumulated vsize (Kb) 839200

[startup+330.026 s]
Raw data (loadavg): 1.05 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18522 4 1 0 32114 61 0 0 25 0 11 0 1852581380 859340800 21975 4294967295 134512640 134569956 3221224336 3221214624 1131351603 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 21975 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 321.75
Current children cumulated vsize (Kb) 839200

[startup+340.027 s]
Raw data (loadavg): 1.04 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18532 4 1 0 33101 61 0 0 25 0 11 0 1852581380 859340800 22049 4294967295 134512640 134569956 3221224336 3221214624 1131350071 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22049 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 331.62
Current children cumulated vsize (Kb) 839200

[startup+350.029 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18541 4 1 0 34090 62 0 0 24 0 11 0 1852581380 859340800 22064 4294967295 134512640 134569956 3221224336 3221214712 1131344782 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 22064 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 341.52
Current children cumulated vsize (Kb) 839200

[startup+360.03 s]
Raw data (loadavg): 1.03 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18551 4 1 0 35077 62 0 0 25 0 11 0 1852581380 859340800 22081 4294967295 134512640 134569956 3221224336 3221214624 1131350100 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 22081 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 351.39
Current children cumulated vsize (Kb) 839200

[startup+370.031 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18561 4 1 0 36065 63 0 0 25 0 11 0 1852581380 859340800 22093 4294967295 134512640 134569956 3221224336 3221214712 1131330240 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22093 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 361.28
Current children cumulated vsize (Kb) 839200

[startup+380.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18570 4 1 0 37053 64 0 0 25 0 11 0 1852581380 859340800 22105 4294967295 134512640 134569956 3221224336 3221214624 1131346292 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22105 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 371.17
Current children cumulated vsize (Kb) 839200

[startup+390.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18580 4 1 0 38041 64 0 0 25 0 11 0 1852581380 859340800 22122 4294967295 134512640 134569956 3221224336 3221214624 1131350293 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22122 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 381.05
Current children cumulated vsize (Kb) 839200

[startup+400.033 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18590 4 1 0 39029 64 0 0 25 0 11 0 1852581380 859340800 22134 4294967295 134512640 134569956 3221224336 3221214624 1131350844 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22134 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 390.93
Current children cumulated vsize (Kb) 839200

[startup+410.034 s]
Raw data (loadavg): 1.01 1.01 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18599 4 1 0 40018 65 0 0 25 0 11 0 1852581380 859340800 22147 4294967295 134512640 134569956 3221224336 3221214624 1131350121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 22147 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (Kb) 839200

[startup+420.035 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18609 4 1 0 41006 65 0 0 25 0 11 0 1852581380 859340800 22159 4294967295 134512640 134569956 3221224336 3221214712 1131330354 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 22159 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 410.71
Current children cumulated vsize (Kb) 839200

[startup+430.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18619 4 1 0 41994 66 0 0 18 0 11 0 1852581380 859340800 22176 4294967295 134512640 134569956 3221224336 3221214376 1131421148 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209800 22176 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 420.6
Current children cumulated vsize (Kb) 839200

[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18629 4 1 0 42982 66 0 0 25 0 11 0 1852581380 859340800 22188 4294967295 134512640 134569956 3221224336 3221214624 1131350035 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22188 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 430.48
Current children cumulated vsize (Kb) 839200

[startup+450.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18638 4 1 0 43971 67 0 0 22 0 11 0 1852581380 859340800 22201 4294967295 134512640 134569956 3221224336 3221214800 1131369561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209800 22201 13129 16 0 209784 0
[pid=18944] vsize: 839200
Current children cumulated CPU time (s) 440.38
Current children cumulated vsize (Kb) 839200

[startup+460.038 s]
Raw data (loadavg): 1.08 1.02 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18648 4 1 0 44960 67 0 0 25 0 11 0 1852581380 858652672 22075 4294967295 134512640 134569956 3221224336 3221214720 1131342262 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22075 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 450.27
Current children cumulated vsize (Kb) 838528

[startup+470.039 s]
Raw data (loadavg): 1.06 1.02 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18658 4 1 0 45948 68 0 0 17 0 11 0 1852581380 858652672 22088 4294967295 134512640 134569956 3221224336 3221214712 1131330240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22088 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 460.16
Current children cumulated vsize (Kb) 838528

[startup+480.04 s]
Raw data (loadavg): 1.05 1.02 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18667 4 1 0 46938 68 0 0 25 0 11 0 1852581380 858652672 22096 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22096 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 470.06
Current children cumulated vsize (Kb) 838528

[startup+490.041 s]
Raw data (loadavg): 1.05 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18678 4 1 0 47926 69 0 0 25 0 11 0 1852581380 858652672 22108 4294967295 134512640 134569956 3221224336 3221214536 1131351660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22108 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 479.95
Current children cumulated vsize (Kb) 838528

[startup+500.042 s]
Raw data (loadavg): 1.04 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18688 4 1 0 48915 69 0 0 25 0 11 0 1852581380 858652672 22121 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22121 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 489.84
Current children cumulated vsize (Kb) 838528

[startup+510.043 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18697 4 1 0 49904 69 0 0 25 0 11 0 1852581380 858652672 22133 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22133 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 499.73
Current children cumulated vsize (Kb) 838528

[startup+520.044 s]
Raw data (loadavg): 1.03 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18707 4 1 0 50893 70 0 0 25 0 11 0 1852581380 858652672 22146 4294967295 134512640 134569956 3221224336 3221214672 1131358615 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22146 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 509.63
Current children cumulated vsize (Kb) 838528

[startup+530.046 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18717 4 1 0 51882 70 0 0 18 0 11 0 1852581380 858652672 22158 4294967295 134512640 134569956 3221224336 3221214672 1131358618 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22158 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 519.52
Current children cumulated vsize (Kb) 838528

[startup+540.047 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18726 4 1 0 52871 70 0 0 25 0 11 0 1852581380 858652672 22166 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22166 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 529.41
Current children cumulated vsize (Kb) 838528

[startup+550.048 s]
Raw data (loadavg): 1.02 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18736 4 1 0 53860 70 0 0 25 0 11 0 1852581380 858652672 22179 4294967295 134512640 134569956 3221224336 3221214672 1131358098 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22179 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 539.3
Current children cumulated vsize (Kb) 838528

[startup+560.049 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18746 4 1 0 54848 71 0 0 25 0 11 0 1852581380 858652672 22191 4294967295 134512640 134569956 3221224336 3221214712 1131369561 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22191 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 549.19
Current children cumulated vsize (Kb) 838528

[startup+570.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18755 4 1 0 55838 72 0 0 25 0 11 0 1852581380 858652672 22199 4294967295 134512640 134569956 3221224336 3221214536 1131350169 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22199 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 559.1
Current children cumulated vsize (Kb) 838528

[startup+580.052 s]
Raw data (loadavg): 1.01 1.01 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18765 4 1 0 56826 72 0 0 25 0 11 0 1852581380 858652672 22213 4294967295 134512640 134569956 3221224336 3221214632 1131342204 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22213 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 568.98
Current children cumulated vsize (Kb) 838528

[startup+590.053 s]
Raw data (loadavg): 1.01 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18775 4 1 0 57815 72 0 0 25 0 11 0 1852581380 858652672 22221 4294967295 134512640 134569956 3221224336 3221214672 1131357655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22221 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 578.87
Current children cumulated vsize (Kb) 838528

[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18785 4 1 0 58804 73 0 0 25 0 11 0 1852581380 858652672 22234 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22234 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 588.77
Current children cumulated vsize (Kb) 838528

[startup+610.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18794 4 1 0 59794 73 0 0 25 0 11 0 1852581380 858652672 22242 4294967295 134512640 134569956 3221224336 3221214632 1131342255 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22242 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 598.67
Current children cumulated vsize (Kb) 838528

[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18804 4 1 0 60782 73 0 0 21 0 11 0 1852581380 858652672 22254 4294967295 134512640 134569956 3221224336 3221214536 1131350885 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22254 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 608.55
Current children cumulated vsize (Kb) 838528

[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18814 4 1 0 61770 74 0 0 18 0 11 0 1852581380 858652672 22267 4294967295 134512640 134569956 3221224336 3221214624 1131330240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22267 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 618.44
Current children cumulated vsize (Kb) 838528

[startup+640.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18823 4 1 0 62759 74 0 0 25 0 11 0 1852581380 858652672 22275 4294967295 134512640 134569956 3221224336 3221214584 1131354826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22275 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 628.33
Current children cumulated vsize (Kb) 838528

[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18833 4 1 0 63748 75 0 0 25 0 11 0 1852581380 858652672 22283 4294967295 134512640 134569956 3221224336 3221214624 1131330257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22283 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (Kb) 838528

[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18843 4 1 0 64737 75 0 0 25 0 11 0 1852581380 858652672 22296 4294967295 134512640 134569956 3221224336 3221214536 1131350180 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22296 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 648.12
Current children cumulated vsize (Kb) 838528

[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18853 4 1 0 65725 76 0 0 17 0 11 0 1852581380 858652672 22304 4294967295 134512640 134569956 3221224336 3221214536 1131350073 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22304 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 658.01
Current children cumulated vsize (Kb) 838528

[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18862 4 1 0 66714 76 0 0 25 0 11 0 1852581380 858652672 22316 4294967295 134512640 134569956 3221224336 3221214476 1131421234 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22316 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 667.9
Current children cumulated vsize (Kb) 838528

[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18872 4 1 0 67703 77 0 0 25 0 11 0 1852581380 858652672 22325 4294967295 134512640 134569956 3221224336 3221214624 1131330315 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22325 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 677.8
Current children cumulated vsize (Kb) 838528

[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18882 4 1 0 68691 77 0 0 18 0 11 0 1852581380 858652672 22333 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22333 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 687.68
Current children cumulated vsize (Kb) 838528

[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18892 4 1 0 69679 77 0 0 25 0 11 0 1852581380 858652672 22345 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22345 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 697.56
Current children cumulated vsize (Kb) 838528

[startup+720.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18901 4 1 0 70669 78 0 0 25 0 11 0 1852581380 858652672 22354 4294967295 134512640 134569956 3221224336 3221214672 1131358660 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22354 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 707.47
Current children cumulated vsize (Kb) 838528

[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18911 4 1 0 71657 78 0 0 25 0 11 0 1852581380 858652672 22362 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22362 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 717.35
Current children cumulated vsize (Kb) 838528

[startup+740.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18921 4 1 0 72646 78 0 0 25 0 11 0 1852581380 858652672 22374 4294967295 134512640 134569956 3221224336 3221214672 1131358153 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22374 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 727.24
Current children cumulated vsize (Kb) 838528

[startup+750.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18931 4 1 0 73634 79 0 0 25 0 11 0 1852581380 858652672 22383 4294967295 134512640 134569956 3221224336 3221214624 1131344799 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22383 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 737.13
Current children cumulated vsize (Kb) 838528

[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18940 4 1 0 74623 79 0 0 25 0 11 0 1852581380 858652672 22391 4294967295 134512640 134569956 3221224336 3221214632 1131341926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22391 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 747.02
Current children cumulated vsize (Kb) 838528

[startup+770.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18950 4 1 0 75612 79 0 0 25 0 11 0 1852581380 858652672 22399 4294967295 134512640 134569956 3221224336 3221214632 1131342172 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22399 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 756.91
Current children cumulated vsize (Kb) 838528

[startup+780.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18960 4 1 0 76600 80 0 0 25 0 11 0 1852581380 858652672 22412 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22412 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 766.8
Current children cumulated vsize (Kb) 838528

[startup+790.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) S 18943 18944 28974 0 -1 0 18970 4 1 0 77589 80 0 0 25 0 11 0 1852581380 858652672 22420 4294967295 134512640 134569956 3221224336 3221213272 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22420 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 776.69
Current children cumulated vsize (Kb) 838528

[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18979 4 1 0 78578 81 0 0 25 0 11 0 1852581380 858652672 22429 4294967295 134512640 134569956 3221224336 3221214672 1131358772 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22429 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 786.59
Current children cumulated vsize (Kb) 838528

[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18989 4 1 0 79567 81 0 0 25 0 11 0 1852581380 858652672 22437 4294967295 134512640 134569956 3221224336 3221214648 1131374393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22437 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 796.48
Current children cumulated vsize (Kb) 838528

[startup+820.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 18999 4 1 0 80556 81 0 0 25 0 11 0 1852581380 858652672 22450 4294967295 134512640 134569956 3221224336 3221214648 1131374393 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22450 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 806.37
Current children cumulated vsize (Kb) 838528

[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19008 4 1 0 81545 82 0 0 25 0 11 0 1852581380 858652672 22458 4294967295 134512640 134569956 3221224336 3221214340 1131421163 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22458 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 816.27
Current children cumulated vsize (Kb) 838528

[startup+840.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19018 4 1 0 82534 83 0 0 23 0 11 0 1852581380 858652672 22466 4294967295 134512640 134569956 3221224336 3221214624 1131330265 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22466 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 826.17
Current children cumulated vsize (Kb) 838528

[startup+850.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19028 4 1 0 83522 83 0 0 25 0 11 0 1852581380 858652672 22475 4294967295 134512640 134569956 3221224336 3221214536 1131351625 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22475 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 836.05
Current children cumulated vsize (Kb) 838528

[startup+860.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19038 4 1 0 84511 83 0 0 25 0 11 0 1852581380 858652672 22483 4294967295 134512640 134569956 3221224336 3221214672 1131358119 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22483 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 845.94
Current children cumulated vsize (Kb) 838528

[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19047 4 1 0 85500 84 0 0 25 0 11 0 1852581380 858652672 22492 4294967295 134512640 134569956 3221224336 3221214632 1131342150 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22492 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 855.84
Current children cumulated vsize (Kb) 838528

[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19057 4 1 0 86487 84 0 0 25 0 11 0 1852581380 858652672 22500 4294967295 134512640 134569956 3221224336 3221214628 1131351864 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22500 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 865.71
Current children cumulated vsize (Kb) 838528

[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19067 4 1 0 87476 85 0 0 25 0 11 0 1852581380 858652672 22508 4294967295 134512640 134569956 3221224336 3221214584 1131354228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22508 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 875.61
Current children cumulated vsize (Kb) 838528

[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19077 4 1 0 88463 85 0 0 25 0 11 0 1852581380 858652672 22518 4294967295 134512640 134569956 3221224336 3221214536 1131350919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22518 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 885.48
Current children cumulated vsize (Kb) 838528

[startup+910.08 s]
Raw data (loadavg): 1.00 1.00 0.94 3/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19087 4 1 0 89452 86 0 0 25 0 11 0 1852581380 858652672 22527 4294967295 134512640 134569956 3221224336 3221213504 1073952732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22527 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 895.38
Current children cumulated vsize (Kb) 838528

[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19096 4 1 0 90440 86 0 0 25 0 11 0 1852581380 858652672 22536 4294967295 134512640 134569956 3221224336 3221214668 1131342493 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22536 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 905.26
Current children cumulated vsize (Kb) 838528

[startup+930.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19106 4 1 0 91428 87 0 0 25 0 11 0 1852581380 858652672 22545 4294967295 134512640 134569956 3221224336 3221214584 1131354228 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22545 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 915.15
Current children cumulated vsize (Kb) 838528

[startup+940.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19116 4 1 0 92417 87 0 0 25 0 11 0 1852581380 858652672 22557 4294967295 134512640 134569956 3221224336 3221214536 1131350382 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22557 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 925.04
Current children cumulated vsize (Kb) 838528

[startup+950.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19125 4 1 0 93405 88 0 0 25 0 11 0 1852581380 858652672 22562 4294967295 134512640 134569956 3221224336 3221214624 1131330257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22562 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 934.93
Current children cumulated vsize (Kb) 838528

[startup+960.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19135 4 1 0 94392 89 0 0 25 0 11 0 1852581380 858652672 22570 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22570 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 944.81
Current children cumulated vsize (Kb) 838528

[startup+970.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19145 4 1 0 95380 89 0 0 18 0 11 0 1852581380 858652672 22579 4294967295 134512640 134569956 3221224336 3221214624 1131330240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22579 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 954.69
Current children cumulated vsize (Kb) 838528

[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19155 4 1 0 96369 90 0 0 24 0 11 0 1852581380 858652672 22588 4294967295 134512640 134569956 3221224336 3221214672 1131358729 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22588 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 964.59
Current children cumulated vsize (Kb) 838528

[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19164 4 1 0 97358 90 0 0 25 0 11 0 1852581380 858652672 22598 4294967295 134512640 134569956 3221224336 3221214672 1131358005 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22598 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 974.48
Current children cumulated vsize (Kb) 838528

[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19174 4 1 0 98346 90 0 0 25 0 11 0 1852581380 858652672 22607 4294967295 134512640 134569956 3221224336 3221214584 1131354826 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22607 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 984.36
Current children cumulated vsize (Kb) 838528

[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19184 4 1 0 99333 91 0 0 25 0 11 0 1852581380 858652672 22616 4294967295 134512640 134569956 3221224336 3221214672 1131357829 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22616 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 994.24
Current children cumulated vsize (Kb) 838528

[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19194 4 1 0 100320 91 0 0 25 0 11 0 1852581380 858652672 22628 4294967295 134512640 134569956 3221224336 3221214536 1131346221 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22628 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1004.11
Current children cumulated vsize (Kb) 838528

[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19203 4 1 0 101308 92 0 0 25 0 11 0 1852581380 858652672 22640 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22640 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1014
Current children cumulated vsize (Kb) 838528

[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19213 4 1 0 102295 92 0 0 25 0 11 0 1852581380 858652672 22650 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22650 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1023.87
Current children cumulated vsize (Kb) 838528

[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19223 4 1 0 103282 92 0 0 18 0 11 0 1852581380 858652672 22672 4294967295 134512640 134569956 3221224336 3221214624 1131344818 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22672 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1033.74
Current children cumulated vsize (Kb) 838528

[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19232 4 1 0 104269 93 0 0 24 0 11 0 1852581380 858652672 22684 4294967295 134512640 134569956 3221224336 3221214536 1131351857 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22684 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1043.62
Current children cumulated vsize (Kb) 838528

[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19242 4 1 0 105255 93 0 0 25 0 11 0 1852581380 858652672 22694 4294967295 134512640 134569956 3221224336 3221214632 1131342242 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22694 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1053.48
Current children cumulated vsize (Kb) 838528

[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19252 4 1 0 106241 94 0 0 20 0 11 0 1852581380 858652672 22715 4294967295 134512640 134569956 3221224336 3221214624 1131330240 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22715 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1063.35
Current children cumulated vsize (Kb) 838528

[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19262 4 1 0 107228 94 0 0 18 0 11 0 1852581380 858652672 22723 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22723 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1073.22
Current children cumulated vsize (Kb) 838528

[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19271 4 1 0 108207 94 0 0 23 0 11 0 1852581380 858652672 22734 4294967295 134512640 134569956 3221224336 3221214584 1131354842 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22734 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1083.01
Current children cumulated vsize (Kb) 838528

[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19281 4 1 0 109184 95 0 0 25 0 11 0 1852581380 858652672 22753 4294967295 134512640 134569956 3221224336 3221214536 1131351039 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22753 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1092.79
Current children cumulated vsize (Kb) 838528

[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19291 4 1 0 110162 95 0 0 17 0 11 0 1852581380 858652672 22768 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22768 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1102.57
Current children cumulated vsize (Kb) 838528

[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19300 4 1 0 111147 96 0 0 25 0 11 0 1852581380 858652672 22886 4294967295 134512640 134569956 3221224336 3221214592 1131381876 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22886 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1112.43
Current children cumulated vsize (Kb) 838528

[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19310 4 1 0 112135 96 0 0 22 0 11 0 1852581380 858652672 22894 4294967295 134512640 134569956 3221224336 3221214632 1131342312 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22894 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (Kb) 838528

[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19320 4 1 0 113123 96 0 0 25 0 11 0 1852581380 858652672 22903 4294967295 134512640 134569956 3221224336 3221214632 1131341926 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22903 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1132.19
Current children cumulated vsize (Kb) 838528

[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19330 4 1 0 114110 96 0 0 17 0 11 0 1852581380 858652672 22917 4294967295 134512640 134569956 3221224336 3221214672 1131357817 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22917 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1142.06
Current children cumulated vsize (Kb) 838528

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19339 4 1 0 115099 97 0 0 23 0 11 0 1852581380 858652672 22925 4294967295 134512640 134569956 3221224336 3221214536 1131350059 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22925 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1151.96
Current children cumulated vsize (Kb) 838528

[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19349 4 1 0 116088 97 0 0 25 0 11 0 1852581380 858652672 22933 4294967295 134512640 134569956 3221224336 3221213880 1079816510 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22933 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1161.85
Current children cumulated vsize (Kb) 838528

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19359 4 1 0 117076 97 0 0 18 0 11 0 1852581380 858652672 22938 4294967295 134512640 134569956 3221224336 3221214536 1131346275 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22938 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1171.73
Current children cumulated vsize (Kb) 838528

[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19369 4 1 0 118063 98 0 0 17 0 11 0 1852581380 858652672 22946 4294967295 134512640 134569956 3221224336 3221214536 1131350121 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22946 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (Kb) 838528

[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19378 4 1 0 119052 99 0 0 25 0 11 0 1852581380 858652672 22954 4294967295 134512640 134569956 3221224336 3221214536 1131346231 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/18944/statm): 209632 22954 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1191.51
Current children cumulated vsize (Kb) 838528

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19388 4 1 0 120040 99 0 0 21 0 11 0 1852581380 858652672 22962 4294967295 134512640 134569956 3221224336 3221214040 1085806711 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22962 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1201.39
Current children cumulated vsize (Kb) 838528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/66 18959
Raw data (/proc/18944/stat): 18944 (java) R 18943 18944 28974 0 -1 0 19388 4 1 0 120040 99 0 0 21 0 11 0 1852581380 858652672 22962 4294967295 134512640 134569956 3221224336 3221214248 1131421092 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/18944/statm): 209632 22962 13129 16 0 209616 0
[pid=18944] vsize: 838528
Current children cumulated CPU time (s) 1201.39
Current children cumulated vsize (Kb) 838528

Sending SIGTERM to -18944
Sleeping 2 seconds
New thread pid=18961
New thread pid=18962
One traced child (pid=18962) exited with status: 0
One traced child (pid=18953) exited with status: 0
One traced child (pid=18945) exited with status: 143
One traced child (pid=18948) exited with status: 143
One traced child (pid=18946) exited with status: 143
One traced child (pid=18947) exited with status: 143
One traced child (pid=18951) exited with status: 143
One traced child (pid=18950) exited with status: 143
One traced child (pid=18949) exited with status: 143
One traced child (pid=18952) exited with status: 143
One traced child (pid=18959) exited with status: 143
One traced child (pid=18961) exited with status: 143
One traced child (pid=18944) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1220.19
CPU time (s): 1227.51
CPU user time (s): 1225.51
CPU system time (s): 1.9947
CPU usage (%): 100.6
Max. virtual memory (cumulated for all children) (Kb): 839900

Verifier Data

Verifier:	OK	14882816