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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-gr4x6.opb
MD5SUMd90fce7408f7990dccb3ba4f8fa1c8f6
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24752128
Optimality of the best value was proved NO
Number of terms in the objective function 744
Biggest coefficient in the objective function 151934468096
Number of bits for the biggest coefficient in the objective function 38
Sum of the numbers in the objective function 3470370333536
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 151934468096
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 3470370333536
Number of bits of the biggest sum of numbers42
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables744
Total number of constraints34
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 constraints34
Minimum length of a constraint31
Maximum length of a constraint180

Trace number 4851

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-19 20:30:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6537 boxname=wulflinc23 idbench=677 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d90fce7408f7990dccb3ba4f8fa1c8f6  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb
IDLAUNCH: 6537
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        876656 kB
Buffers:         37464 kB
Cached:          91896 kB
SwapCached:        792 kB
Active:          69168 kB
Inactive:        62812 kB
HighTotal:      131008 kB
HighFree:        35980 kB
LowTotal:       903652 kB
LowFree:        840676 kB
SwapTotal:     2097136 kB
SwapFree:      2095868 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            20456 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 20:50:44 (client local time) WITH STATUS 143 IN 1249.4 SECONDS
stats: 6537 0 1249.4 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/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb
c reading problem ... done. Time 1.412 ms.
c #vars     744
c #constraints  44
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            31636468 		Current CPU time: 4.28 ms
c CURRENT OPTIMUM=            25729024 		Current CPU time: 6.00 ms
c starts		: 9
c conflicts		: 2488
c decisions		: 10343
c propagations		: 35120
c inspects		: 3766599
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 2488
c root simplifications	: 146
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 9497
c speed (decisions/second)	: 8.390102874683029
c non guided choices	301
c random choices	0
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 X2_bit3 X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 -X4_bit_9 -X4_bit_8 -X4_bit_7 -X4_bit_6 -X4_bit_5 -X4_bit_4 -X4_bit_3 -X4_bit_2 -X4_bit_1 X4_bit0 -X4_bit1 X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 -X5_bit_9 -X5_bit_8 -X5_bit_7 -X5_bit_6 -X5_bit_5 -X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 -X6_bit_10 -X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 -X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 X7_bit1 X7_bit2 X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 -X8_bit_8 -X8_bit_7 -X8_bit_6 -X8_bit_5 -X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 -X9_bit_5 -X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 X9_bit0 X9_bit1 X9_bit2 X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 X11_bit0 -X11_bit1 X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 -X12_bit_10 -X12_bit_9 -X12_bit_8 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 X12_bit2 -X12_bit3 X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 -X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 -X16_bit_10 -X16_bit_9 -X16_bit_8 -X16_bit_7 -X16_bit_6 -X16_bit_5 -X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 -X17_bit_10 -X17_bit_9 -X17_bit_8 -X17_bit_7 -X17_bit_6 -X17_bit_5 -X17_bit_4 -X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 -X18_bit_10 -X18_bit_9 -X18_bit_8 -X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 X18_bit0 X18_bit1 X18_bit2 X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 -X19_bit_8 -X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 -X21_bit_4 -X21_bit_3 -X21_bit_2 -X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 -X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 -Y5_bit0 -Y6_bit0 Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 -Y17_bit0 Y18_bit0 -Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 
c objective function=25729024
c Total CPU time (ms) : 1238.884

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/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1852798134 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 39 3 38 16 0 23 0
[pid=23543] 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/23543
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=23544
New thread pid=23545
New thread pid=23546
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=23547
New thread pid=23548
New thread pid=23549
New thread pid=23550
New thread pid=23551
New thread pid=23552
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/wulflinc23/normalized-mps-v2-20-10-gr4x6.opb
New thread pid=23553
One traced child (pid=23553) exited with status: 0
New thread pid=23554
One traced child (pid=23554) exited with status: 0
New thread pid=23555

[startup+10.0023 s]
Raw data (loadavg): 0.93 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18206 4 1 0 749 51 0 0 21 0 11 0 1852798134 857370624 19862 4294967295 134512640 134569956 3221224336 3221214336 1131064585 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209319 19862 13129 16 0 209303 0
[pid=23543] vsize: 837276
Current children cumulated CPU time (s) 8
Current children cumulated vsize (Kb) 837276

[startup+20.0019 s]
Raw data (loadavg): 0.94 1.00 0.95 3/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18221 4 1 0 1661 51 0 0 18 0 11 0 1852798134 857788416 20089 4294967295 134512640 134569956 3221224336 3221213392 1073952732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209421 20089 13129 16 0 209405 0
[pid=23543] vsize: 837684
Current children cumulated CPU time (s) 17.12
Current children cumulated vsize (Kb) 837684

[startup+30.0026 s]
Raw data (loadavg): 0.95 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18233 4 1 0 2594 52 0 0 17 0 11 0 1852798134 857559040 20287 4294967295 134512640 134569956 3221224336 3221214544 1131405030 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 20287 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 26.46
Current children cumulated vsize (Kb) 837460

[startup+40.0033 s]
Raw data (loadavg): 0.96 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18243 4 1 0 3544 52 0 0 17 0 11 0 1852798134 857559040 20516 4294967295 134512640 134569956 3221224336 3221214296 1076478094 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 20516 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 35.96
Current children cumulated vsize (Kb) 837460

[startup+50.004 s]
Raw data (loadavg): 0.96 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18254 4 1 0 4502 53 0 0 24 0 11 0 1852798134 857559040 20799 4294967295 134512640 134569956 3221224336 3221214640 1131475448 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 20799 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 45.55
Current children cumulated vsize (Kb) 837460

[startup+60.0046 s]
Raw data (loadavg): 0.97 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18262 4 1 0 5463 53 0 0 25 0 11 0 1852798134 857559040 20869 4294967295 134512640 134569956 3221224336 3221214640 1131476662 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 20869 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 55.16
Current children cumulated vsize (Kb) 837460

[startup+70.0053 s]
Raw data (loadavg): 0.97 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18271 4 1 0 6421 54 0 0 23 0 11 0 1852798134 857559040 21001 4294967295 134512640 134569956 3221224336 3221214640 1131475448 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21001 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 64.75
Current children cumulated vsize (Kb) 837460

[startup+80.007 s]
Raw data (loadavg): 0.98 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18280 4 1 0 7379 54 0 0 25 0 11 0 1852798134 857559040 21047 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21047 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 74.33
Current children cumulated vsize (Kb) 837460

[startup+90.0077 s]
Raw data (loadavg): 0.98 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18289 4 1 0 8341 55 0 0 20 0 11 0 1852798134 857559040 21220 4294967295 134512640 134569956 3221224336 3221214472 1131400835 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21220 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 83.96
Current children cumulated vsize (Kb) 837460

[startup+100.008 s]
Raw data (loadavg): 0.98 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18299 4 1 0 9306 56 0 0 17 0 11 0 1852798134 857559040 21333 4294967295 134512640 134569956 3221224336 3221214572 1131367975 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21333 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 93.62
Current children cumulated vsize (Kb) 837460

[startup+110.009 s]
Raw data (loadavg): 0.98 1.00 0.95 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18309 4 1 0 10277 56 0 0 23 0 11 0 1852798134 857559040 21451 4294967295 134512640 134569956 3221224336 3221214800 1131361241 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21451 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 103.33
Current children cumulated vsize (Kb) 837460

[startup+120.01 s]
Raw data (loadavg): 1.07 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18319 4 1 0 11260 57 0 0 24 0 11 0 1852798134 857559040 21530 4294967295 134512640 134569956 3221224336 3221214544 1131405487 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21530 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 113.17
Current children cumulated vsize (Kb) 837460

[startup+130.01 s]
Raw data (loadavg): 1.06 1.01 0.96 3/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18328 4 1 0 12245 57 0 0 18 0 11 0 1852798134 857559040 21587 4294967295 134512640 134569956 3221224336 3221214640 1131475147 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21587 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 123.02
Current children cumulated vsize (Kb) 837460

[startup+140.011 s]
Raw data (loadavg): 1.05 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18338 4 1 0 13225 59 0 0 24 0 11 0 1852798134 857559040 21602 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21602 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 132.84
Current children cumulated vsize (Kb) 837460

[startup+150.012 s]
Raw data (loadavg): 1.04 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18348 4 1 0 14205 59 0 0 23 0 11 0 1852798134 857559040 21625 4294967295 134512640 134569956 3221224336 3221214584 1131456027 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21625 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 142.64
Current children cumulated vsize (Kb) 837460

[startup+160.012 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18357 4 1 0 15187 59 0 0 25 0 11 0 1852798134 857559040 21694 4294967295 134512640 134569956 3221224336 3221214544 1131404999 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21694 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 152.46
Current children cumulated vsize (Kb) 837460

[startup+170.012 s]
Raw data (loadavg): 1.03 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18367 4 1 0 16168 60 0 0 24 0 11 0 1852798134 857559040 21735 4294967295 134512640 134569956 3221224336 3221214796 1131057239 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21735 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (Kb) 837460

[startup+180.014 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18377 4 1 0 17149 60 0 0 16 0 11 0 1852798134 857559040 21745 4294967295 134512640 134569956 3221224336 3221214636 1131406145 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21745 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 172.09
Current children cumulated vsize (Kb) 837460

[startup+190.014 s]
Raw data (loadavg): 1.09 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18387 4 1 0 18131 61 0 0 17 0 11 0 1852798134 857559040 21824 4294967295 134512640 134569956 3221224336 3221214336 1085806738 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21824 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 181.92
Current children cumulated vsize (Kb) 837460

[startup+200.015 s]
Raw data (loadavg): 1.08 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18396 4 1 0 19119 61 0 0 25 0 11 0 1852798134 857559040 21855 4294967295 134512640 134569956 3221224336 3221214592 1131516982 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21855 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 191.8
Current children cumulated vsize (Kb) 837460

[startup+210.017 s]
Raw data (loadavg): 1.07 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18405 4 1 0 20100 62 0 0 24 0 11 0 1852798134 857559040 21867 4294967295 134512640 134569956 3221224336 3221214640 1131476606 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21867 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 201.62
Current children cumulated vsize (Kb) 837460

[startup+220.016 s]
Raw data (loadavg): 1.06 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18414 4 1 0 21075 62 0 0 25 0 11 0 1852798134 857559040 21879 4294967295 134512640 134569956 3221224336 3221214544 1131405872 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 21879 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 211.37
Current children cumulated vsize (Kb) 837460

[startup+230.017 s]
Raw data (loadavg): 1.05 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18424 4 1 0 22039 63 0 0 16 0 11 0 1852798134 857559040 21900 4294967295 134512640 134569956 3221224336 3221214288 1131631750 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 21900 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 221.02
Current children cumulated vsize (Kb) 837460

[startup+240.018 s]
Raw data (loadavg): 1.04 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18433 4 1 0 23004 63 0 0 18 0 11 0 1852798134 857559040 22011 4294967295 134512640 134569956 3221224336 3221214640 1131479515 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22011 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 230.67
Current children cumulated vsize (Kb) 837460

[startup+250.017 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18442 4 1 0 23967 65 0 0 25 0 11 0 1852798134 857559040 22094 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 22094 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 240.32
Current children cumulated vsize (Kb) 837460

[startup+260.019 s]
Raw data (loadavg): 1.03 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18451 4 1 0 24930 65 0 0 25 0 11 0 1852798134 857559040 22181 4294967295 134512640 134569956 3221224336 3221214544 1131405246 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 22181 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 249.95
Current children cumulated vsize (Kb) 837460

[startup+270.02 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18460 4 1 0 25890 66 0 0 25 0 11 0 1852798134 857559040 22282 4294967295 134512640 134569956 3221224336 3221214544 1131405038 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22282 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 259.56
Current children cumulated vsize (Kb) 837460

[startup+280.02 s]
Raw data (loadavg): 1.02 1.02 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18470 4 1 0 26850 66 0 0 25 0 11 0 1852798134 857559040 22370 4294967295 134512640 134569956 3221224336 3221214544 1131405246 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 22370 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 269.16
Current children cumulated vsize (Kb) 837460

[startup+290.02 s]
Raw data (loadavg): 1.02 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18480 4 1 0 27818 66 0 0 17 0 11 0 1852798134 857559040 22494 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22494 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 278.84
Current children cumulated vsize (Kb) 837460

[startup+300.021 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18490 4 1 0 28797 67 0 0 21 0 11 0 1852798134 857559040 22615 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22615 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 288.64
Current children cumulated vsize (Kb) 837460

[startup+310.021 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18500 4 1 0 29776 67 0 0 17 0 11 0 1852798134 857559040 22639 4294967295 134512640 134569956 3221224336 3221214456 1131368029 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22639 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 298.43
Current children cumulated vsize (Kb) 837460

[startup+320.022 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18509 4 1 0 30753 68 0 0 25 0 11 0 1852798134 857559040 22665 4294967295 134512640 134569956 3221224336 3221214544 1131405032 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 22665 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 308.21
Current children cumulated vsize (Kb) 837460

[startup+330.024 s]
Raw data (loadavg): 1.01 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18519 4 1 0 31722 68 0 0 17 0 11 0 1852798134 857559040 22686 4294967295 134512640 134569956 3221224336 3221214888 1131089416 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22686 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 317.9
Current children cumulated vsize (Kb) 837460

[startup+340.024 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18528 4 1 0 32693 68 0 0 25 0 11 0 1852798134 857559040 22763 4294967295 134512640 134569956 3221224336 3221214588 1131456036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22763 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 327.61
Current children cumulated vsize (Kb) 837460

[startup+350.024 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18538 4 1 0 33663 69 0 0 25 0 11 0 1852798134 857559040 22829 4294967295 134512640 134569956 3221224336 3221214640 1131477449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 22829 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 337.32
Current children cumulated vsize (Kb) 837460

[startup+360.024 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18549 4 1 0 34629 69 0 0 21 0 11 0 1852798134 857559040 22919 4294967295 134512640 134569956 3221224336 3221214456 1131368576 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22919 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 346.98
Current children cumulated vsize (Kb) 837460

[startup+370.024 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18559 4 1 0 35606 69 0 0 25 0 11 0 1852798134 857559040 22984 4294967295 134512640 134569956 3221224336 3221213184 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 22984 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 356.75
Current children cumulated vsize (Kb) 837460

[startup+380.025 s]
Raw data (loadavg): 1.00 1.01 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18569 4 1 0 36586 69 0 0 19 0 11 0 1852798134 857559040 23067 4294967295 134512640 134569956 3221224336 3221214800 1131361241 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23067 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 366.55
Current children cumulated vsize (Kb) 837460

[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18580 4 1 0 37568 70 0 0 25 0 11 0 1852798134 857559040 23082 4294967295 134512640 134569956 3221224336 3221214640 1131475513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23082 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 376.38
Current children cumulated vsize (Kb) 837460

[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18589 4 1 0 38554 71 0 0 25 0 11 0 1852798134 857559040 23105 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23105 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 386.25
Current children cumulated vsize (Kb) 837460

[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18600 4 1 0 39540 71 0 0 19 0 11 0 1852798134 857559040 23123 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23123 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 396.11
Current children cumulated vsize (Kb) 837460

[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18610 4 1 0 40527 71 0 0 25 0 11 0 1852798134 857559040 23132 4294967295 134512640 134569956 3221224336 3221214640 1131476610 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23132 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 405.98
Current children cumulated vsize (Kb) 837460

[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18621 4 1 0 41513 71 0 0 25 0 11 0 1852798134 857559040 23143 4294967295 134512640 134569956 3221224336 3221214640 1131475488 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23143 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 415.84
Current children cumulated vsize (Kb) 837460

[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18630 4 1 0 42498 72 0 0 25 0 11 0 1852798134 857559040 23148 4294967295 134512640 134569956 3221224336 3221214544 1131405457 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23148 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 425.7
Current children cumulated vsize (Kb) 837460

[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18640 4 1 0 43474 72 0 0 23 0 11 0 1852798134 857559040 23155 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23155 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 435.46
Current children cumulated vsize (Kb) 837460

[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18650 4 1 0 44447 73 0 0 25 0 11 0 1852798134 857559040 23170 4294967295 134512640 134569956 3221224336 3221214456 1131367989 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23170 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 445.2
Current children cumulated vsize (Kb) 837460

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18660 4 1 0 45416 73 0 0 25 0 11 0 1852798134 857559040 23239 4294967295 134512640 134569956 3221224336 3221214640 1131477468 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23239 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 454.89
Current children cumulated vsize (Kb) 837460

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18670 4 1 0 46388 74 0 0 25 0 11 0 1852798134 857559040 23303 4294967295 134512640 134569956 3221224336 3221214544 1131404919 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23303 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 464.62
Current children cumulated vsize (Kb) 837460

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18680 4 1 0 47359 74 0 0 25 0 11 0 1852798134 857559040 23364 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23364 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 474.33
Current children cumulated vsize (Kb) 837460

[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18690 4 1 0 48331 74 0 0 25 0 11 0 1852798134 857559040 23423 4294967295 134512640 134569956 3221224336 3221214760 1131361253 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23423 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 484.05
Current children cumulated vsize (Kb) 837460

[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18700 4 1 0 49302 75 0 0 25 0 11 0 1852798134 857559040 23485 4294967295 134512640 134569956 3221224336 3221214640 1131476727 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23485 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 493.77
Current children cumulated vsize (Kb) 837460

[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18710 4 1 0 50274 75 0 0 25 0 11 0 1852798134 857559040 23540 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23540 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 503.49
Current children cumulated vsize (Kb) 837460

[startup+530.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18720 4 1 0 51245 76 0 0 25 0 11 0 1852798134 857559040 23599 4294967295 134512640 134569956 3221224336 3221214640 1131498743 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23599 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 513.21
Current children cumulated vsize (Kb) 837460

[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18731 4 1 0 52215 77 0 0 25 0 11 0 1852798134 857559040 23655 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23655 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 522.92
Current children cumulated vsize (Kb) 837460

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18741 4 1 0 53186 77 0 0 22 0 11 0 1852798134 857559040 23709 4294967295 134512640 134569956 3221224336 3221214148 1131631696 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23709 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 532.63
Current children cumulated vsize (Kb) 837460

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18750 4 1 0 54160 78 0 0 23 0 11 0 1852798134 857559040 23759 4294967295 134512640 134569956 3221224336 3221214544 1131404912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23759 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 542.38
Current children cumulated vsize (Kb) 837460

[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18760 4 1 0 55133 79 0 0 19 0 11 0 1852798134 857559040 23813 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23813 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 552.12
Current children cumulated vsize (Kb) 837460

[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18771 4 1 0 56107 79 0 0 24 0 11 0 1852798134 857559040 23876 4294967295 134512640 134569956 3221224336 3221214544 1131405865 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23876 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 561.86
Current children cumulated vsize (Kb) 837460

[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18781 4 1 0 57088 79 0 0 24 0 11 0 1852798134 857559040 23932 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23932 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 571.67
Current children cumulated vsize (Kb) 837460

[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18790 4 1 0 58071 80 0 0 25 0 11 0 1852798134 857559040 23941 4294967295 134512640 134569956 3221224336 3221214544 1131405812 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23941 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 581.51
Current children cumulated vsize (Kb) 837460

[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18800 4 1 0 59053 80 0 0 25 0 11 0 1852798134 857559040 23976 4294967295 134512640 134569956 3221224336 3221214580 1131359655 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 23976 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 591.33
Current children cumulated vsize (Kb) 837460

[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18810 4 1 0 60028 81 0 0 20 0 11 0 1852798134 857559040 23989 4294967295 134512640 134569956 3221224336 3221214544 1131404912 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 23989 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 601.09
Current children cumulated vsize (Kb) 837460

[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18820 4 1 0 61000 81 0 0 24 0 11 0 1852798134 857559040 24008 4294967295 134512640 134569956 3221224336 3221214604 1131456000 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24008 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 837460

[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18829 4 1 0 61972 82 0 0 25 0 11 0 1852798134 857559040 24055 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24055 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 620.54
Current children cumulated vsize (Kb) 837460

[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18839 4 1 0 62942 82 0 0 22 0 11 0 1852798134 857559040 24120 4294967295 134512640 134569956 3221224336 3221214544 1131405865 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24120 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 630.24
Current children cumulated vsize (Kb) 837460

[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18849 4 1 0 63914 83 0 0 20 0 11 0 1852798134 857559040 24179 4294967295 134512640 134569956 3221224336 3221214544 1131404855 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24179 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 639.97
Current children cumulated vsize (Kb) 837460

[startup+670.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18859 4 1 0 64885 83 0 0 18 0 11 0 1852798134 857559040 24236 4294967295 134512640 134569956 3221224336 3221214736 1131595599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24236 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 649.68
Current children cumulated vsize (Kb) 837460

[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18869 4 1 0 65857 83 0 0 25 0 11 0 1852798134 857559040 24284 4294967295 134512640 134569956 3221224336 3221213184 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24284 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 659.4
Current children cumulated vsize (Kb) 837460

[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18878 4 1 0 66831 84 0 0 23 0 11 0 1852798134 857559040 24334 4294967295 134512640 134569956 3221224336 3221214456 1131368426 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24334 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 669.15
Current children cumulated vsize (Kb) 837460

[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18888 4 1 0 67803 84 0 0 25 0 11 0 1852798134 857559040 24395 4294967295 134512640 134569956 3221224336 3221214576 1131454960 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24395 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 678.87
Current children cumulated vsize (Kb) 837460

[startup+710.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18898 4 1 0 68776 84 0 0 25 0 11 0 1852798134 857559040 24448 4294967295 134512640 134569956 3221224336 3221214544 1131404890 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24448 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 688.6
Current children cumulated vsize (Kb) 837460

[startup+720.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18908 4 1 0 69749 84 0 0 25 0 11 0 1852798134 857559040 24499 4294967295 134512640 134569956 3221224336 3221214888 1131089190 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24499 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 698.33
Current children cumulated vsize (Kb) 837460

[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18918 4 1 0 70721 85 0 0 25 0 11 0 1852798134 857559040 24552 4294967295 134512640 134569956 3221224336 3221214488 1131531490 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24552 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 708.06
Current children cumulated vsize (Kb) 837460

[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18928 4 1 0 71694 86 0 0 24 0 11 0 1852798134 857559040 24602 4294967295 134512640 134569956 3221224336 3221214504 1131400888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24602 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 717.8
Current children cumulated vsize (Kb) 837460

[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18937 4 1 0 72669 86 0 0 25 0 11 0 1852798134 857559040 24652 4294967295 134512640 134569956 3221224336 3221214640 1131476599 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24652 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 727.55
Current children cumulated vsize (Kb) 837460

[startup+760.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18947 4 1 0 73640 87 0 0 21 0 11 0 1852798134 857559040 24702 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24702 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 737.27
Current children cumulated vsize (Kb) 837460

[startup+770.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18957 4 1 0 74610 87 0 0 25 0 11 0 1852798134 857559040 24754 4294967295 134512640 134569956 3221224336 3221214340 1076477888 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24754 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 746.97
Current children cumulated vsize (Kb) 837460

[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18967 4 1 0 75581 88 0 0 25 0 11 0 1852798134 857559040 24808 4294967295 134512640 134569956 3221224336 3221214640 1131477567 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24808 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 756.69
Current children cumulated vsize (Kb) 837460

[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) S 23542 23543 5299 0 -1 0 18977 4 1 0 76554 88 0 0 25 0 11 0 1852798134 857559040 24856 4294967295 134512640 134569956 3221224336 3221213144 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 24856 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 766.42
Current children cumulated vsize (Kb) 837460

[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18986 4 1 0 77528 88 0 0 25 0 11 0 1852798134 857559040 24909 4294967295 134512640 134569956 3221224336 3221214488 1131401013 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24909 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 776.16
Current children cumulated vsize (Kb) 837460

[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 18996 4 1 0 78500 88 0 0 25 0 11 0 1852798134 857559040 24960 4294967295 134512640 134569956 3221224336 3221214640 1131476466 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 24960 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 785.88
Current children cumulated vsize (Kb) 837460

[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19006 4 1 0 79472 89 0 0 25 0 11 0 1852798134 857559040 25010 4294967295 134512640 134569956 3221224336 3221214544 1131404866 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25010 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 795.61
Current children cumulated vsize (Kb) 837460

[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19016 4 1 0 80443 89 0 0 24 0 11 0 1852798134 857559040 25058 4294967295 134512640 134569956 3221224336 3221214544 1131405376 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25058 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 805.32
Current children cumulated vsize (Kb) 837460

[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19025 4 1 0 81417 89 0 0 25 0 11 0 1852798134 857559040 25105 4294967295 134512640 134569956 3221224336 3221214456 1131369070 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25105 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 815.06
Current children cumulated vsize (Kb) 837460

[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19035 4 1 0 82389 90 0 0 25 0 11 0 1852798134 857559040 25160 4294967295 134512640 134569956 3221224336 3221214544 1131404908 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25160 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 824.79
Current children cumulated vsize (Kb) 837460

[startup+860.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19045 4 1 0 83361 90 0 0 24 0 11 0 1852798134 857559040 25216 4294967295 134512640 134569956 3221224336 3221214640 1131477449 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25216 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 834.51
Current children cumulated vsize (Kb) 837460

[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19054 4 1 0 84335 90 0 0 25 0 11 0 1852798134 857559040 25260 4294967295 134512640 134569956 3221224336 3221214640 1131476644 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25260 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 844.25
Current children cumulated vsize (Kb) 837460

[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19064 4 1 0 85306 91 0 0 25 0 11 0 1852798134 857559040 25307 4294967295 134512640 134569956 3221224336 3221214488 1131528772 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25307 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 853.97
Current children cumulated vsize (Kb) 837460

[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19074 4 1 0 86277 91 0 0 25 0 11 0 1852798134 857559040 25358 4294967295 134512640 134569956 3221224336 3221214544 1131405503 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25358 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 863.68
Current children cumulated vsize (Kb) 837460

[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19084 4 1 0 87249 91 0 0 25 0 11 0 1852798134 857559040 25416 4294967295 134512640 134569956 3221224336 3221214640 1131479481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25416 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 873.4
Current children cumulated vsize (Kb) 837460

[startup+910.063 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19094 4 1 0 88218 92 0 0 25 0 11 0 1852798134 857559040 25464 4294967295 134512640 134569956 3221224336 3221214120 1085759286 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25464 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 883.1
Current children cumulated vsize (Kb) 837460

[startup+920.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19104 4 1 0 89190 93 0 0 25 0 11 0 1852798134 857559040 25503 4294967295 134512640 134569956 3221224336 3221214640 1131475513 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25503 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 892.83
Current children cumulated vsize (Kb) 837460

[startup+930.064 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19114 4 1 0 90161 93 0 0 20 0 11 0 1852798134 857559040 25552 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25552 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 902.54
Current children cumulated vsize (Kb) 837460

[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19124 4 1 0 91139 93 0 0 22 0 11 0 1852798134 857559040 25606 4294967295 134512640 134569956 3221224336 3221214640 1131476620 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25606 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 912.32
Current children cumulated vsize (Kb) 837460

[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19134 4 1 0 92119 94 0 0 25 0 11 0 1852798134 857559040 25630 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25630 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 922.13
Current children cumulated vsize (Kb) 837460

[startup+960.066 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19143 4 1 0 93103 94 0 0 25 0 11 0 1852798134 857559040 25657 4294967295 134512640 134569956 3221224336 3221214148 1131632905 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25657 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 931.97
Current children cumulated vsize (Kb) 837460

[startup+970.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19151 4 1 0 94088 94 0 0 25 0 11 0 1852798134 857559040 25660 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25660 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (Kb) 837460

[startup+980.067 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19161 4 1 0 95066 94 0 0 25 0 11 0 1852798134 857559040 25662 4294967295 134512640 134569956 3221224336 3221214544 1131405499 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25662 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 951.6
Current children cumulated vsize (Kb) 837460

[startup+990.068 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19171 4 1 0 96043 95 0 0 23 0 11 0 1852798134 857559040 25682 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25682 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 961.38
Current children cumulated vsize (Kb) 837460

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19181 4 1 0 97017 96 0 0 25 0 11 0 1852798134 857559040 25705 4294967295 134512640 134569956 3221224336 3221214544 1131405333 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25705 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 971.13
Current children cumulated vsize (Kb) 837460

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19192 4 1 0 97989 96 0 0 24 0 11 0 1852798134 857559040 25719 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25719 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 980.85
Current children cumulated vsize (Kb) 837460

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19201 4 1 0 98966 97 0 0 25 0 11 0 1852798134 857559040 25755 4294967295 134512640 134569956 3221224336 3221214544 1131405586 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25755 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 990.63
Current children cumulated vsize (Kb) 837460

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19211 4 1 0 99942 97 0 0 25 0 11 0 1852798134 857559040 25792 4294967295 134512640 134569956 3221224336 3221214544 1131405797 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25792 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1000.39
Current children cumulated vsize (Kb) 837460

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19222 4 1 0 100916 98 0 0 23 0 11 0 1852798134 857559040 25815 4294967295 134512640 134569956 3221224336 3221214544 1131404890 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25815 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1010.14
Current children cumulated vsize (Kb) 837460

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19231 4 1 0 101895 98 0 0 24 0 11 0 1852798134 857559040 25844 4294967295 134512640 134569956 3221224336 3221214416 1085759249 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25844 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 837460

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19241 4 1 0 102873 99 0 0 25 0 11 0 1852798134 857559040 25855 4294967295 134512640 134569956 3221224336 3221214544 1131405787 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25855 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1029.72
Current children cumulated vsize (Kb) 837460

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19251 4 1 0 103851 99 0 0 25 0 11 0 1852798134 857559040 25888 4294967295 134512640 134569956 3221224336 3221214544 1131405076 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25888 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1039.5
Current children cumulated vsize (Kb) 837460

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19261 4 1 0 104829 100 0 0 25 0 11 0 1852798134 857559040 25908 4294967295 134512640 134569956 3221224336 3221214544 1131405257 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25908 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1049.29
Current children cumulated vsize (Kb) 837460

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19272 4 1 0 105801 100 0 0 24 0 11 0 1852798134 857559040 25921 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25921 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1059.01
Current children cumulated vsize (Kb) 837460

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19281 4 1 0 106777 100 0 0 24 0 11 0 1852798134 857559040 25932 4294967295 134512640 134569956 3221224336 3221214640 1131476565 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 25932 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1068.77
Current children cumulated vsize (Kb) 837460

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19290 4 1 0 107753 101 0 0 18 0 11 0 1852798134 857559040 25975 4294967295 134512640 134569956 3221224336 3221214640 1131476610 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 25975 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1078.54
Current children cumulated vsize (Kb) 837460

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19300 4 1 0 108727 102 0 0 25 0 11 0 1852798134 857559040 26014 4294967295 134512640 134569956 3221224336 3221214544 1131405860 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26014 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1088.29
Current children cumulated vsize (Kb) 837460

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19310 4 1 0 109703 103 0 0 24 0 11 0 1852798134 857559040 26033 4294967295 134512640 134569956 3221224336 3221214472 1131682416 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26033 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1098.06
Current children cumulated vsize (Kb) 837460

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19320 4 1 0 110677 104 0 0 18 0 11 0 1852798134 857559040 26044 4294967295 134512640 134569956 3221224336 3221214544 1131405376 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 26044 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1107.81
Current children cumulated vsize (Kb) 837460

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19330 4 1 0 111648 105 0 0 19 0 11 0 1852798134 857559040 26087 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 26087 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1117.53
Current children cumulated vsize (Kb) 837460

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19340 4 1 0 112620 106 0 0 25 0 11 0 1852798134 857559040 26114 4294967295 134512640 134569956 3221224336 3221214640 1131476672 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26114 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1127.26
Current children cumulated vsize (Kb) 837460

[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19350 4 1 0 113590 106 0 0 25 0 11 0 1852798134 857559040 26147 4294967295 134512640 134569956 3221224336 3221214544 1131404833 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26147 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1136.96
Current children cumulated vsize (Kb) 837460

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19360 4 1 0 114562 106 0 0 25 0 11 0 1852798134 857559040 26190 4294967295 134512640 134569956 3221224336 3221214576 1131454978 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26190 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1146.68
Current children cumulated vsize (Kb) 837460

[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19370 4 1 0 115531 108 0 0 25 0 11 0 1852798134 857559040 26231 4294967295 134512640 134569956 3221224336 3221214544 1131405487 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26231 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1156.39
Current children cumulated vsize (Kb) 837460

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19380 4 1 0 116500 108 0 0 20 0 11 0 1852798134 857559040 26272 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 26272 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1166.08
Current children cumulated vsize (Kb) 837460

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19390 4 1 0 117469 108 0 0 25 0 11 0 1852798134 857559040 26317 4294967295 134512640 134569956 3221224336 3221214640 1131476518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26317 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1175.77
Current children cumulated vsize (Kb) 837460

[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19399 4 1 0 118441 108 0 0 25 0 11 0 1852798134 857559040 26359 4294967295 134512640 134569956 3221224336 3221214544 1131404878 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/23543/statm): 209365 26359 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1185.49
Current children cumulated vsize (Kb) 837460

[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19408 4 1 0 119412 109 0 0 25 0 11 0 1852798134 857559040 26399 4294967295 134512640 134569956 3221224336 3221214544 1131405285 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26399 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1195.21
Current children cumulated vsize (Kb) 837460

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19418 4 1 0 120382 109 0 0 25 0 11 0 1852798134 857559040 26442 4294967295 134512640 134569956 3221224336 3221214640 1131476552 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26442 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1204.91
Current children cumulated vsize (Kb) 837460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/66 23555
Raw data (/proc/23543/stat): 23543 (java) R 23542 23543 5299 0 -1 0 19418 4 1 0 120383 109 0 0 25 0 11 0 1852798134 857559040 26442 4294967295 134512640 134569956 3221224336 3221214544 1131405477 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/23543/statm): 209365 26442 13129 16 0 209349 0
[pid=23543] vsize: 837460
Current children cumulated CPU time (s) 1204.92
Current children cumulated vsize (Kb) 837460

Sending SIGTERM to -23543
Sleeping 2 seconds
New thread pid=23557
New thread pid=23558
One traced child (pid=23558) exited with status: 0
One traced child (pid=23552) exited with status: 0
One traced child (pid=23547) exited with status: 0
One traced child (pid=23544) exited with status: 143
One traced child (pid=23550) exited with status: 143
One traced child (pid=23545) exited with status: 143
One traced child (pid=23546) exited with status: 143
One traced child (pid=23548) exited with status: 143
One traced child (pid=23551) exited with status: 143
One traced child (pid=23549) exited with status: 143
One traced child (pid=23555) exited with status: 143
One traced child (pid=23557) exited with status: 143
One traced child (pid=23543) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1240.3
CPU time (s): 1249.4
CPU user time (s): 1247.1
CPU system time (s): 2.30365
CPU usage (%): 100.734
Max. virtual memory (cumulated for all children) (Kb): 837684

Verifier Data

Verifier:	OK	25729024