PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 22639

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-22 03:27:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11462 boxname=wulflinc5 idbench=882 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 11462
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        360080 kB
Buffers:         34128 kB
Cached:         618568 kB
SwapCached:        444 kB
Active:         125760 kB
Inactive:       529096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        359828 kB
SwapTotal:     2097136 kB
SwapFree:      2095948 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            14104 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:49:10 (client local time) WITH STATUS 143 IN 1309.88 SECONDS
stats: 11462 7 1309.88 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ship12l.opb
c reading problem 
c [nbvar=162810]
c [nbconstr=1042]
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.80 0.93 0.91 2/54 8998
Raw data (stat): 8998 (runsolver) R 8997 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492253788 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.83 0.93 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 883 38 0 0 24 0 10 0 492253788 852762624 19137 4294967295 134512640 134569956 3221224400 3221214616 1130898103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208194 19137 13073 16 0 208178 0
vsize: 832776
[startup+20.0059 s]
Raw data (loadavg): 0.85 0.93 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 1777 39 0 0 25 0 10 0 492253788 853811200 19690 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 19690 13073 16 0 208434 0
vsize: 833800
[startup+30.0061 s]
Raw data (loadavg): 0.88 0.93 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 2675 39 0 0 25 0 10 0 492253788 853811200 20123 4294967295 134512640 134569956 3221224400 3221214820 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20123 13073 16 0 208434 0
vsize: 833800
[startup+40.0066 s]
Raw data (loadavg): 0.89 0.93 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 3601 39 0 0 24 0 10 0 492253788 853811200 20361 4294967295 134512640 134569956 3221224400 3221214824 1131225738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20361 13073 16 0 208434 0
vsize: 833800
[startup+50.0082 s]
Raw data (loadavg): 0.91 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 4528 39 0 0 24 0 10 0 492253788 853811200 20483 4294967295 134512640 134569956 3221224400 3221214892 1131223267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20483 13073 16 0 208434 0
vsize: 833800
[startup+60.0084 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 5461 39 0 0 25 0 10 0 492253788 853811200 20601 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20601 13073 16 0 208434 0
vsize: 833800
[startup+70.0096 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 6404 39 0 0 25 0 10 0 492253788 853811200 20803 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20803 13073 16 0 208434 0
vsize: 833800
[startup+80.0105 s]
Raw data (loadavg): 0.94 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 7349 40 0 0 25 0 10 0 492253788 853811200 20884 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20884 13073 16 0 208434 0
vsize: 833800
[startup+90.0107 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 8295 40 0 0 25 0 10 0 492253788 853811200 20959 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 20959 13073 16 0 208434 0
vsize: 833800
[startup+100.012 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 9242 40 0 0 24 0 10 0 492253788 853811200 21028 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21028 13073 16 0 208434 0
vsize: 833800
[startup+110.013 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 10191 40 0 0 25 0 10 0 492253788 853811200 21090 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21090 13073 16 0 208434 0
vsize: 833800
[startup+120.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 11138 40 0 0 25 0 10 0 492253788 853811200 21151 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21151 13073 16 0 208434 0
vsize: 833800
[startup+130.015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 12085 40 0 0 25 0 10 0 492253788 853811200 21210 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21210 13073 16 0 208434 0
vsize: 833800
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 13032 40 0 0 25 0 10 0 492253788 853811200 21266 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21266 13073 16 0 208434 0
vsize: 833800
[startup+150.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 13978 40 0 0 25 0 10 0 492253788 853811200 21320 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21320 13073 16 0 208434 0
vsize: 833800
[startup+160.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 14924 40 0 0 25 0 10 0 492253788 853811200 21372 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21372 13073 16 0 208434 0
vsize: 833800
[startup+170.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 15856 41 0 0 25 0 10 0 492253788 853811200 21419 4294967295 134512640 134569956 3221224400 3221214176 1076874504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21419 13073 16 0 208434 0
vsize: 833800
[startup+180.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 16778 41 0 0 25 0 10 0 492253788 853811200 21467 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21467 13073 16 0 208434 0
vsize: 833800
[startup+190.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 17716 41 0 0 24 0 10 0 492253788 853811200 21769 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21769 13073 16 0 208434 0
vsize: 833800
[startup+200.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 18662 41 0 0 25 0 10 0 492253788 853811200 21813 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21813 13073 16 0 208434 0
vsize: 833800
[startup+210.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 19604 41 0 0 25 0 10 0 492253788 853811200 21857 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21857 13073 16 0 208434 0
vsize: 833800
[startup+220.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 20545 41 0 0 25 0 10 0 492253788 853811200 21899 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21899 13073 16 0 208434 0
vsize: 833800
[startup+230.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 21486 42 0 0 25 0 10 0 492253788 853811200 21941 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21941 13073 16 0 208434 0
vsize: 833800
[startup+240.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 22426 42 0 0 25 0 10 0 492253788 853811200 21982 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 21982 13073 16 0 208434 0
vsize: 833800
[startup+250.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 23366 42 0 0 24 0 10 0 492253788 853811200 22022 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22022 13073 16 0 208434 0
vsize: 833800
[startup+260.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 24309 42 0 0 25 0 10 0 492253788 853811200 22058 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22058 13073 16 0 208434 0
vsize: 833800
[startup+270.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 25248 42 0 0 25 0 10 0 492253788 853811200 22096 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22096 13073 16 0 208434 0
vsize: 833800
[startup+280.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 26186 42 0 0 25 0 10 0 492253788 853811200 22134 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22134 13073 16 0 208434 0
vsize: 833800
[startup+290.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 27123 42 0 0 25 0 10 0 492253788 853811200 22170 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22170 13073 16 0 208434 0
vsize: 833800
[startup+300.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 28062 42 0 0 25 0 10 0 492253788 853811200 22205 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22205 13073 16 0 208434 0
vsize: 833800
[startup+310.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 29002 42 0 0 25 0 10 0 492253788 853811200 22240 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22240 13073 16 0 208434 0
vsize: 833800
[startup+320.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 29938 42 0 0 25 0 10 0 492253788 853811200 22274 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22274 13073 16 0 208434 0
vsize: 833800
[startup+330.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 30874 42 0 0 24 0 10 0 492253788 853811200 22309 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22309 13073 16 0 208434 0
vsize: 833800
[startup+340.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 31813 43 0 0 25 0 10 0 492253788 853811200 22341 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22341 13073 16 0 208434 0
vsize: 833800
[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 32748 43 0 0 25 0 10 0 492253788 853811200 22374 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22374 13073 16 0 208434 0
vsize: 833800
[startup+360.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 33682 43 0 0 25 0 10 0 492253788 853811200 22407 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22407 13073 16 0 208434 0
vsize: 833800
[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 34619 43 0 0 25 0 10 0 492253788 853811200 22438 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22438 13073 16 0 208434 0
vsize: 833800
[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 35554 43 0 0 25 0 10 0 492253788 853811200 22469 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22469 13073 16 0 208434 0
vsize: 833800
[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 36486 43 0 0 25 0 10 0 492253788 853811200 22500 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22500 13073 16 0 208434 0
vsize: 833800
[startup+400.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 37420 44 0 0 25 0 10 0 492253788 853811200 22529 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22529 13073 16 0 208434 0
vsize: 833800
[startup+410.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 38354 44 0 0 25 0 10 0 492253788 853811200 22559 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22559 13073 16 0 208434 0
vsize: 833800
[startup+420.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 39285 44 0 0 20 0 10 0 492253788 853811200 22589 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22589 13073 16 0 208434 0
vsize: 833800
[startup+430.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 40221 44 0 0 25 0 10 0 492253788 853811200 22617 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 22617 13073 16 0 208434 0
vsize: 833800
[startup+440.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 41151 44 0 0 25 0 10 0 492253788 853811200 22647 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22647 13073 16 0 208434 0
vsize: 833800
[startup+450.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 42082 44 0 0 25 0 10 0 492253788 853811200 22675 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22675 13073 16 0 208434 0
vsize: 833800
[startup+460.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 43014 45 0 0 25 0 10 0 492253788 853811200 22703 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22703 13073 16 0 208434 0
vsize: 833800
[startup+470.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 43943 45 0 0 24 0 10 0 492253788 853811200 22731 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22731 13073 16 0 208434 0
vsize: 833800
[startup+480.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 44875 45 0 0 25 0 10 0 492253788 853811200 22757 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22757 13073 16 0 208434 0
vsize: 833800
[startup+490.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 45803 46 0 0 25 0 10 0 492253788 853811200 22785 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22785 13073 16 0 208434 0
vsize: 833800
[startup+500.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 46733 46 0 0 25 0 10 0 492253788 853811200 22811 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22811 13073 16 0 208434 0
vsize: 833800
[startup+510.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 47660 46 0 0 24 0 10 0 492253788 853811200 22839 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22839 13073 16 0 208434 0
vsize: 833800
[startup+520.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 48591 47 0 0 25 0 10 0 492253788 853811200 22864 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22864 13073 16 0 208434 0
vsize: 833800
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 49517 48 0 0 24 0 10 0 492253788 853811200 22891 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22891 13073 16 0 208434 0
vsize: 833800
[startup+540.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 50446 48 0 0 25 0 10 0 492253788 853811200 22915 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22915 13073 16 0 208434 0
vsize: 833800
[startup+550.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 51375 48 0 0 25 0 10 0 492253788 853811200 22940 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22940 13073 16 0 208434 0
vsize: 833800
[startup+560.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 52300 49 0 0 25 0 10 0 492253788 853811200 22966 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22966 13073 16 0 208434 0
vsize: 833800
[startup+570.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 53229 49 0 0 25 0 10 0 492253788 853811200 22990 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 22990 13073 16 0 208434 0
vsize: 833800
[startup+580.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 54153 50 0 0 25 0 10 0 492253788 853811200 23015 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23015 13073 16 0 208434 0
vsize: 833800
[startup+590.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 55080 50 0 0 25 0 10 0 492253788 853811200 23039 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23039 13073 16 0 208434 0
vsize: 833800
[startup+600.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 56003 51 0 0 24 0 10 0 492253788 853811200 23064 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23064 13073 16 0 208434 0
vsize: 833800
[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 56930 51 0 0 25 0 10 0 492253788 853811200 23087 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23087 13073 16 0 208434 0
vsize: 833800
[startup+620.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 57857 51 0 0 25 0 10 0 492253788 853811200 23110 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23110 13073 16 0 208434 0
vsize: 833800
[startup+630.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 58779 51 0 0 25 0 10 0 492253788 853811200 23134 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23134 13073 16 0 208434 0
vsize: 833800
[startup+640.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 59705 52 0 0 25 0 10 0 492253788 853811200 23157 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23157 13073 16 0 208434 0
vsize: 833800
[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 60631 52 0 0 25 0 10 0 492253788 853811200 23180 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 23180 13073 16 0 208434 0
vsize: 833800
[startup+660.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 61547 52 0 0 24 0 10 0 492253788 853811200 24183 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24183 13073 16 0 208434 0
vsize: 833800
[startup+670.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 62467 53 0 0 25 0 10 0 492253788 853811200 24184 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24184 13073 16 0 208434 0
vsize: 833800
[startup+680.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 63382 53 0 0 25 0 10 0 492253788 853811200 24210 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24210 13073 16 0 208434 0
vsize: 833800
[startup+690.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 64298 54 0 0 25 0 10 0 492253788 853811200 24237 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24237 13073 16 0 208434 0
vsize: 833800
[startup+700.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 65213 54 0 0 25 0 10 0 492253788 853811200 24263 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24263 13073 16 0 208434 0
vsize: 833800
[startup+710.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 66129 55 0 0 25 0 10 0 492253788 853811200 24289 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24289 13073 16 0 208434 0
vsize: 833800
[startup+720.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 67044 55 0 0 25 0 10 0 492253788 853811200 24314 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24314 13073 16 0 208434 0
vsize: 833800
[startup+730.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 67954 56 0 0 24 0 10 0 492253788 853811200 24337 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24337 13073 16 0 208434 0
vsize: 833800
[startup+740.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 68867 56 0 0 24 0 10 0 492253788 853811200 24368 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24368 13073 16 0 208434 0
vsize: 833800
[startup+750.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 69782 57 0 0 25 0 10 0 492253788 853811200 24393 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 24393 13073 16 0 208434 0
vsize: 833800
[startup+760.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 70695 58 0 0 25 0 10 0 492253788 853811200 24417 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24417 13073 16 0 208434 0
vsize: 833800
[startup+770.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 71608 58 0 0 25 0 10 0 492253788 853811200 24438 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24438 13073 16 0 208434 0
vsize: 833800
[startup+780.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 72521 58 0 0 25 0 10 0 492253788 853811200 24468 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24468 13073 16 0 208434 0
vsize: 833800
[startup+790.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 73433 58 0 0 25 0 10 0 492253788 853811200 24493 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24493 13073 16 0 208434 0
vsize: 833800
[startup+800.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 74344 58 0 0 25 0 10 0 492253788 853811200 24517 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24517 13073 16 0 208434 0
vsize: 833800
[startup+810.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 75251 58 0 0 25 0 10 0 492253788 853811200 24538 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24538 13073 16 0 208434 0
vsize: 833800
[startup+820.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 76161 58 0 0 25 0 10 0 492253788 853811200 24567 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24567 13073 16 0 208434 0
vsize: 833800
[startup+830.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 77072 58 0 0 24 0 10 0 492253788 853811200 24587 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24587 13073 16 0 208434 0
vsize: 833800
[startup+840.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 77982 58 0 0 25 0 10 0 492253788 853811200 24612 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24612 13073 16 0 208434 0
vsize: 833800
[startup+850.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 78893 59 0 0 25 0 10 0 492253788 853811200 24632 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24632 13073 16 0 208434 0
vsize: 833800
[startup+860.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 79804 59 0 0 25 0 10 0 492253788 853811200 24660 4294967295 134512640 134569956 3221224400 3221214368 1079668490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24660 13073 16 0 208434 0
vsize: 833800
[startup+870.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 80714 59 0 0 25 0 10 0 492253788 853811200 24684 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24684 13073 16 0 208434 0
vsize: 833800
[startup+880.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 81623 59 0 0 25 0 10 0 492253788 853811200 24703 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24703 13073 16 0 208434 0
vsize: 833800
[startup+890.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 82532 59 0 0 25 0 10 0 492253788 853811200 24731 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24731 13073 16 0 208434 0
vsize: 833800
[startup+900.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 83442 59 0 0 25 0 10 0 492253788 853811200 24754 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24754 13073 16 0 208434 0
vsize: 833800
[startup+910.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 84350 59 0 0 25 0 10 0 492253788 853811200 24777 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24777 13073 16 0 208434 0
vsize: 833800
[startup+920.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 85259 60 0 0 25 0 10 0 492253788 853811200 24796 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24796 13073 16 0 208434 0
vsize: 833800
[startup+930.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 86166 60 0 0 25 0 10 0 492253788 853811200 24815 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24815 13073 16 0 208434 0
vsize: 833800
[startup+940.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 87072 60 0 0 25 0 10 0 492253788 853811200 24846 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24846 13073 16 0 208434 0
vsize: 833800
[startup+950.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 87979 60 0 0 25 0 10 0 492253788 853811200 24867 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24867 13073 16 0 208434 0
vsize: 833800
[startup+960.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 88886 60 0 0 25 0 10 0 492253788 853811200 24890 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24890 13073 16 0 208434 0
vsize: 833800
[startup+970.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 89792 60 0 0 25 0 10 0 492253788 853811200 24910 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24910 13073 16 0 208434 0
vsize: 833800
[startup+980.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 90698 60 0 0 25 0 10 0 492253788 853811200 24935 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24935 13073 16 0 208434 0
vsize: 833800
[startup+990.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 91605 60 0 0 25 0 10 0 492253788 853811200 24956 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24956 13073 16 0 208434 0
vsize: 833800
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 92511 60 0 0 25 0 10 0 492253788 853811200 24974 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 24974 13073 16 0 208434 0
vsize: 833800
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 93416 61 0 0 25 0 10 0 492253788 853811200 25000 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25000 13073 16 0 208434 0
vsize: 833800
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 94322 61 0 0 25 0 10 0 492253788 853811200 25021 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25021 13073 16 0 208434 0
vsize: 833800
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 95226 61 0 0 20 0 10 0 492253788 853811200 25039 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25039 13073 16 0 208434 0
vsize: 833800
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 96130 61 0 0 20 0 10 0 492253788 853811200 25066 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25066 13073 16 0 208434 0
vsize: 833800
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 97032 61 0 0 19 0 10 0 492253788 853811200 25087 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25087 13073 16 0 208434 0
vsize: 833800
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 97934 61 0 0 19 0 10 0 492253788 853811200 25108 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25108 13073 16 0 208434 0
vsize: 833800
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) S 8997 24215 24214 0 -1 0 17988 0 1 0 98840 61 0 0 25 0 10 0 492253788 853811200 25124 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25124 13073 16 0 208434 0
vsize: 833800
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 99747 61 0 0 23 0 10 0 492253788 853811200 25148 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25148 13073 16 0 208434 0
vsize: 833800
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 100649 61 0 0 22 0 10 0 492253788 853811200 25169 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25169 13073 16 0 208434 0
vsize: 833800
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 101551 61 0 0 22 0 10 0 492253788 853811200 25190 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25190 13073 16 0 208434 0
vsize: 833800
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 102453 61 0 0 22 0 10 0 492253788 853811200 25212 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25212 13073 16 0 208434 0
vsize: 833800
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 103355 61 0 0 21 0 10 0 492253788 853811200 25232 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25232 13073 16 0 208434 0
vsize: 833800
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 104257 62 0 0 25 0 10 0 492253788 853811200 25250 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25250 13073 16 0 208434 0
vsize: 833800
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 105158 62 0 0 25 0 10 0 492253788 853811200 25274 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25274 13073 16 0 208434 0
vsize: 833800
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 106059 62 0 0 25 0 10 0 492253788 853811200 25295 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25295 13073 16 0 208434 0
vsize: 833800
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 106960 62 0 0 24 0 10 0 492253788 853811200 25312 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25312 13073 16 0 208434 0
vsize: 833800
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 107867 62 0 0 25 0 10 0 492253788 853811200 25333 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25333 13073 16 0 208434 0
vsize: 833800
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 108765 62 0 0 25 0 10 0 492253788 853811200 25354 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25354 13073 16 0 208434 0
vsize: 833800
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 109663 62 0 0 25 0 10 0 492253788 853811200 25374 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25374 13073 16 0 208434 0
vsize: 833800
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 110563 62 0 0 25 0 10 0 492253788 853811200 25394 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25394 13073 16 0 208434 0
vsize: 833800
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 111463 63 0 0 25 0 10 0 492253788 853811200 25410 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25410 13073 16 0 208434 0
vsize: 833800
[startup+1220.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 112362 63 0 0 19 0 10 0 492253788 853811200 25427 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25427 13073 16 0 208434 0
vsize: 833800
[startup+1230.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 113262 63 0 0 19 0 10 0 492253788 853811200 25443 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25443 13073 16 0 208434 0
vsize: 833800
[startup+1240.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 114167 63 0 0 23 0 10 0 492253788 853811200 25472 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25472 13073 16 0 208434 0
vsize: 833800
[startup+1250.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 115066 63 0 0 22 0 10 0 492253788 853811200 25489 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25489 13073 16 0 208434 0
vsize: 833800
[startup+1260.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 115965 63 0 0 20 0 10 0 492253788 853811200 25512 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25512 13073 16 0 208434 0
vsize: 833800
[startup+1270.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 116865 63 0 0 19 0 10 0 492253788 853811200 25530 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25530 13073 16 0 208434 0
vsize: 833800
[startup+1280.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 117764 63 0 0 18 0 10 0 492253788 853811200 25559 4294967295 134512640 134569956 3221224400 3221214804 1080204144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25559 13073 16 0 208434 0
vsize: 833800
[startup+1290.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 118673 63 0 0 23 0 10 0 492253788 853811200 25577 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208450 25577 13073 16 0 208434 0
vsize: 833800
[startup+1300.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 119575 63 0 0 23 0 10 0 492253788 853811200 25598 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 25598 13073 16 0 208434 0
vsize: 833800
[startup+1310.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 9007
Raw data (stat): 8998 (java) R 8997 24215 24214 0 -1 0 17988 0 1 0 120480 64 0 0 23 0 10 0 492253788 853811200 25613 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208450 25613 13073 16 0 208434 0
vsize: 833800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9008
Raw data (stat): 8998 (java) Z 8997 24215 24214 0 -1 1036 17988 7309 1 0 120482 64 10401 40 23 0 1 0 492253788 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1310.2
CPU time (s): 1309.88
CPU user time (s): 1308.84
CPU system time (s): 1.04984
CPU usage (%): 99.9758
Max. virtual memory (Kb): 833800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####