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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39195741828
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39195741828
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.998847
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 17768

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        243528 kB
Buffers:         24704 kB
Cached:         742676 kB
SwapCached:          0 kB
Active:          58432 kB
Inactive:       711752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        243276 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            15392 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 12:17:41 (client local time) WITH STATUS 143 IN 1311.18 SECONDS
stats: 19093 7 1311.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3707.opb
c reading problem 
c [nbvar=105000]
c [nbconstr=5150]
#### 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.97 0.97 0.91 2/54 8091
Raw data (stat): 8091 (runsolver) R 8090 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486659407 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 884 39 0 0 24 0 10 0 486659407 853372928 19136 4294967295 134512640 134569956 3221224400 3221214876 1131211315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208343 19136 13073 16 0 208327 0
vsize: 833372
[startup+20.0019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 1780 39 0 0 20 0 10 0 486659407 854388736 19788 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 19788 13073 16 0 208575 0
vsize: 834364
[startup+30.0038 s]
Raw data (loadavg): 1.11 1.00 0.92 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 2680 39 0 0 25 0 10 0 486659407 854388736 20215 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20215 13073 16 0 208575 0
vsize: 834364
[startup+40.0043 s]
Raw data (loadavg): 1.17 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 3611 39 0 0 25 0 10 0 486659407 854388736 20440 4294967295 134512640 134569956 3221224400 3221214824 1131222396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20440 13073 16 0 208575 0
vsize: 834364
[startup+50.0056 s]
Raw data (loadavg): 1.14 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 4541 39 0 0 25 0 10 0 486659407 854388736 20559 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20559 13073 16 0 208575 0
vsize: 834364
[startup+60.0067 s]
Raw data (loadavg): 1.12 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 5471 39 0 0 25 0 10 0 486659407 854388736 20663 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20663 13073 16 0 208575 0
vsize: 834364
[startup+70.0069 s]
Raw data (loadavg): 1.10 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 6414 40 0 0 25 0 10 0 486659407 854388736 20879 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20879 13073 16 0 208575 0
vsize: 834364
[startup+80.0093 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 7364 40 0 0 25 0 10 0 486659407 854388736 20953 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 20953 13073 16 0 208575 0
vsize: 834364
[startup+90.0102 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 8312 40 0 0 25 0 10 0 486659407 854388736 21026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21026 13073 16 0 208575 0
vsize: 834364
[startup+100.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 9259 40 0 0 24 0 10 0 486659407 854388736 21093 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21093 13073 16 0 208575 0
vsize: 834364
[startup+110.012 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 10210 40 0 0 25 0 10 0 486659407 854388736 21152 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21152 13073 16 0 208575 0
vsize: 834364
[startup+120.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 11159 40 0 0 25 0 10 0 486659407 854388736 21212 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21212 13073 16 0 208575 0
vsize: 834364
[startup+130.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 12106 40 0 0 25 0 10 0 486659407 854388736 21269 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21269 13073 16 0 208575 0
vsize: 834364
[startup+140.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 13057 41 0 0 25 0 10 0 486659407 854388736 21321 4294967295 134512640 134569956 3221224400 3221214744 1131181476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21321 13073 16 0 208575 0
vsize: 834364
[startup+150.019 s]
Raw data (loadavg): 1.10 1.03 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 14003 41 0 0 25 0 10 0 486659407 854388736 21374 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21374 13073 16 0 208575 0
vsize: 834364
[startup+160.02 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 14950 42 0 0 25 0 10 0 486659407 854388736 21426 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21426 13073 16 0 208575 0
vsize: 834364
[startup+170.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 15885 42 0 0 25 0 10 0 486659407 854388736 21472 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21472 13073 16 0 208575 0
vsize: 834364
[startup+180.021 s]
Raw data (loadavg): 1.06 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 16808 42 0 0 24 0 10 0 486659407 854388736 21519 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21519 13073 16 0 208575 0
vsize: 834364
[startup+190.022 s]
Raw data (loadavg): 1.05 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 17748 42 0 0 25 0 10 0 486659407 854388736 21818 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21818 13073 16 0 208575 0
vsize: 834364
[startup+200.022 s]
Raw data (loadavg): 1.04 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 18691 42 0 0 25 0 10 0 486659407 854388736 21863 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21863 13073 16 0 208575 0
vsize: 834364
[startup+210.026 s]
Raw data (loadavg): 1.04 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 19636 43 0 0 25 0 10 0 486659407 854388736 21905 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21905 13073 16 0 208575 0
vsize: 834364
[startup+220.027 s]
Raw data (loadavg): 1.03 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 20579 43 0 0 25 0 10 0 486659407 854388736 21947 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21947 13073 16 0 208575 0
vsize: 834364
[startup+230.028 s]
Raw data (loadavg): 1.03 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 21521 43 0 0 25 0 10 0 486659407 854388736 21988 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 21988 13073 16 0 208575 0
vsize: 834364
[startup+240.029 s]
Raw data (loadavg): 1.02 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 22466 44 0 0 25 0 10 0 486659407 854388736 22026 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 22026 13073 16 0 208575 0
vsize: 834364
[startup+250.029 s]
Raw data (loadavg): 1.02 1.02 0.93 2/63 8100
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 23407 44 0 0 25 0 10 0 486659407 854388736 22065 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 22065 13073 16 0 208575 0
vsize: 834364
[startup+260.03 s]
Raw data (loadavg): 1.01 1.01 0.93 3/68 8152
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 24344 47 0 0 25 0 10 0 486659407 854388736 22102 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 22102 13073 16 0 208575 0
vsize: 834364
[startup+270.031 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 25282 47 0 0 25 0 10 0 486659407 854388736 22139 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22139 13073 16 0 208575 0
vsize: 834364
[startup+280.032 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 26221 47 0 0 25 0 10 0 486659407 854388736 22176 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22176 13073 16 0 208575 0
vsize: 834364
[startup+290.032 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 27162 47 0 0 25 0 10 0 486659407 854388736 22210 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22210 13073 16 0 208575 0
vsize: 834364
[startup+300.033 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 28100 47 0 0 25 0 10 0 486659407 854388736 22246 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22246 13073 16 0 208575 0
vsize: 834364
[startup+310.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 29041 47 0 0 25 0 10 0 486659407 854388736 22279 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22279 13073 16 0 208575 0
vsize: 834364
[startup+320.033 s]
Raw data (loadavg): 1.00 1.01 0.93 2/63 8153
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 29977 47 0 0 25 0 10 0 486659407 854388736 22313 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 22313 13073 16 0 208575 0
vsize: 834364
[startup+330.037 s]
Raw data (loadavg): 1.00 1.01 0.93 2/63 8155
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 30916 48 0 0 25 0 10 0 486659407 854388736 22345 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22345 13073 16 0 208575 0
vsize: 834364
[startup+340.038 s]
Raw data (loadavg): 1.00 1.01 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 31852 48 0 0 25 0 10 0 486659407 854388736 22378 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22378 13073 16 0 208575 0
vsize: 834364
[startup+350.037 s]
Raw data (loadavg): 1.00 1.01 0.93 2/63 8155
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 32788 48 0 0 25 0 10 0 486659407 854388736 22409 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22409 13073 16 0 208575 0
vsize: 834364
[startup+360.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 33725 48 0 0 25 0 10 0 486659407 854388736 22442 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22442 13073 16 0 208575 0
vsize: 834364
[startup+370.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 34662 48 0 0 25 0 10 0 486659407 854388736 22472 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22472 13073 16 0 208575 0
vsize: 834364
[startup+380.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 35597 48 0 0 25 0 10 0 486659407 854388736 22503 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22503 13073 16 0 208575 0
vsize: 834364
[startup+390.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 36534 48 0 0 25 0 10 0 486659407 854388736 22532 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22532 13073 16 0 208575 0
vsize: 834364
[startup+400.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 37466 48 0 0 25 0 10 0 486659407 854388736 22563 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22563 13073 16 0 208575 0
vsize: 834364
[startup+410.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 38402 48 0 0 25 0 10 0 486659407 854388736 22591 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22591 13073 16 0 208575 0
vsize: 834364
[startup+420.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 39333 48 0 0 24 0 10 0 486659407 854388736 22621 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22621 13073 16 0 208575 0
vsize: 834364
[startup+430.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 40268 48 0 0 25 0 10 0 486659407 854388736 22648 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22648 13073 16 0 208575 0
vsize: 834364
[startup+440.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 41204 48 0 0 25 0 10 0 486659407 854388736 22675 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22675 13073 16 0 208575 0
vsize: 834364
[startup+450.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 42134 48 0 0 25 0 10 0 486659407 854388736 22704 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22704 13073 16 0 208575 0
vsize: 834364
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 43068 48 0 0 25 0 10 0 486659407 854388736 22731 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22731 13073 16 0 208575 0
vsize: 834364
[startup+470.156 s]
Raw data (loadavg): 1.00 1.00 0.93 3/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 44008 48 0 0 24 0 10 0 486659407 854388736 22759 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22759 13073 16 0 208575 0
vsize: 834364
[startup+480.157 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 44941 49 0 0 25 0 10 0 486659407 854388736 22785 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22785 13073 16 0 208575 0
vsize: 834364
[startup+490.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 45873 49 0 0 25 0 10 0 486659407 854388736 22810 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22810 13073 16 0 208575 0
vsize: 834364
[startup+500.157 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 46801 49 0 0 25 0 10 0 486659407 854388736 22837 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22837 13073 16 0 208575 0
vsize: 834364
[startup+510.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 47733 49 0 0 25 0 10 0 486659407 854388736 22863 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22863 13073 16 0 208575 0
vsize: 834364
[startup+520.158 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 48664 49 0 0 25 0 10 0 486659407 854388736 22888 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22888 13073 16 0 208575 0
vsize: 834364
[startup+530.163 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 49591 49 0 0 25 0 10 0 486659407 854388736 22913 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22913 13073 16 0 208575 0
vsize: 834364
[startup+540.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 50522 49 0 0 25 0 10 0 486659407 854388736 22939 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22939 13073 16 0 208575 0
vsize: 834364
[startup+550.164 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 51452 49 0 0 25 0 10 0 486659407 854388736 22964 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22964 13073 16 0 208575 0
vsize: 834364
[startup+560.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 52382 49 0 0 25 0 10 0 486659407 854388736 22988 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 22988 13073 16 0 208575 0
vsize: 834364
[startup+570.165 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 53308 50 0 0 24 0 10 0 486659407 854388736 23013 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23013 13073 16 0 208575 0
vsize: 834364
[startup+580.166 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 54237 50 0 0 25 0 10 0 486659407 854388736 23036 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23036 13073 16 0 208575 0
vsize: 834364
[startup+590.167 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 55165 50 0 0 25 0 10 0 486659407 854388736 23060 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23060 13073 16 0 208575 0
vsize: 834364
[startup+600.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 56093 50 0 0 25 0 10 0 486659407 854388736 23083 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23083 13073 16 0 208575 0
vsize: 834364
[startup+610.169 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 57021 50 0 0 25 0 10 0 486659407 854388736 23106 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23106 13073 16 0 208575 0
vsize: 834364
[startup+620.171 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8155
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 57943 50 0 0 25 0 10 0 486659407 854388736 23129 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23129 13073 16 0 208575 0
vsize: 834364
[startup+630.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 58870 50 0 0 24 0 10 0 486659407 854388736 23153 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23153 13073 16 0 208575 0
vsize: 834364
[startup+640.173 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 59797 50 0 0 25 0 10 0 486659407 854388736 23175 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23175 13073 16 0 208575 0
vsize: 834364
[startup+650.172 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 60724 51 0 0 25 0 10 0 486659407 854388736 23201 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 23201 13073 16 0 208575 0
vsize: 834364
[startup+660.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 61643 51 0 0 25 0 10 0 486659407 854388736 24235 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24235 13073 16 0 208575 0
vsize: 834364
[startup+670.174 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 62570 51 0 0 25 0 10 0 486659407 854388736 24235 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24235 13073 16 0 208575 0
vsize: 834364
[startup+680.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 63490 51 0 0 25 0 10 0 486659407 854388736 24242 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24242 13073 16 0 208575 0
vsize: 834364
[startup+690.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 64406 51 0 0 25 0 10 0 486659407 854388736 24280 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24280 13073 16 0 208575 0
vsize: 834364
[startup+700.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 65322 51 0 0 25 0 10 0 486659407 854388736 24306 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24306 13073 16 0 208575 0
vsize: 834364
[startup+710.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 66236 51 0 0 25 0 10 0 486659407 854388736 24333 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24333 13073 16 0 208575 0
vsize: 834364
[startup+720.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 67151 51 0 0 25 0 10 0 486659407 854388736 24359 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24359 13073 16 0 208575 0
vsize: 834364
[startup+730.176 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 68065 51 0 0 25 0 10 0 486659407 854388736 24382 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24382 13073 16 0 208575 0
vsize: 834364
[startup+740.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 68980 51 0 0 25 0 10 0 486659407 854388736 24402 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24402 13073 16 0 208575 0
vsize: 834364
[startup+750.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 69894 52 0 0 25 0 10 0 486659407 854388736 24434 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24434 13073 16 0 208575 0
vsize: 834364
[startup+760.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 70807 52 0 0 25 0 10 0 486659407 854388736 24459 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24459 13073 16 0 208575 0
vsize: 834364
[startup+770.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 71721 52 0 0 25 0 10 0 486659407 854388736 24482 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24482 13073 16 0 208575 0
vsize: 834364
[startup+780.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 72635 52 0 0 24 0 10 0 486659407 854388736 24502 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24502 13073 16 0 208575 0
vsize: 834364
[startup+790.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 73548 52 0 0 24 0 10 0 486659407 854388736 24532 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24532 13073 16 0 208575 0
vsize: 834364
[startup+800.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 74465 52 0 0 25 0 10 0 486659407 854388736 24555 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24555 13073 16 0 208575 0
vsize: 834364
[startup+810.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 75377 52 0 0 20 0 10 0 486659407 854388736 24580 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24580 13073 16 0 208575 0
vsize: 834364
[startup+820.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 76289 52 0 0 25 0 10 0 486659407 854388736 24600 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24600 13073 16 0 208575 0
vsize: 834364
[startup+830.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 77200 52 0 0 25 0 10 0 486659407 854388736 24627 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24627 13073 16 0 208575 0
vsize: 834364
[startup+840.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 78111 52 0 0 25 0 10 0 486659407 854388736 24648 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24648 13073 16 0 208575 0
vsize: 834364
[startup+850.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 79021 53 0 0 24 0 10 0 486659407 854388736 24673 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24673 13073 16 0 208575 0
vsize: 834364
[startup+860.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 79938 53 0 0 25 0 10 0 486659407 854388736 24691 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208591 24691 13073 16 0 208575 0
vsize: 834364
[startup+870.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 80848 53 0 0 25 0 10 0 486659407 854388736 24718 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24718 13073 16 0 208575 0
vsize: 834364
[startup+880.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 81758 53 0 0 25 0 10 0 486659407 854388736 24741 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24741 13073 16 0 208575 0
vsize: 834364
[startup+890.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 82668 53 0 0 25 0 10 0 486659407 854388736 24760 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24760 13073 16 0 208575 0
vsize: 834364
[startup+900.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 83577 53 0 0 24 0 10 0 486659407 854388736 24788 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24788 13073 16 0 208575 0
vsize: 834364
[startup+910.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 84488 54 0 0 25 0 10 0 486659407 854388736 24811 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24811 13073 16 0 208575 0
vsize: 834364
[startup+920.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 85400 54 0 0 25 0 10 0 486659407 854388736 24832 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24832 13073 16 0 208575 0
vsize: 834364
[startup+930.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 86308 55 0 0 25 0 10 0 486659407 854388736 24851 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24851 13073 16 0 208575 0
vsize: 834364
[startup+940.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 87217 55 0 0 25 0 10 0 486659407 854388736 24869 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24869 13073 16 0 208575 0
vsize: 834364
[startup+950.181 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 88124 56 0 0 24 0 10 0 486659407 854388736 24900 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24900 13073 16 0 208575 0
vsize: 834364
[startup+960.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 89036 56 0 0 25 0 10 0 486659407 854388736 24920 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24920 13073 16 0 208575 0
vsize: 834364
[startup+970.183 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 89943 56 0 0 23 0 10 0 486659407 854388736 24938 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24938 13073 16 0 208575 0
vsize: 834364
[startup+980.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 90849 57 0 0 21 0 10 0 486659407 854388736 24962 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24962 13073 16 0 208575 0
vsize: 834364
[startup+990.184 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 91755 58 0 0 20 0 10 0 486659407 854388736 24985 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 24985 13073 16 0 208575 0
vsize: 834364
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 92667 58 0 0 23 0 10 0 486659407 854388736 25005 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25005 13073 16 0 208575 0
vsize: 834364
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 93574 59 0 0 23 0 10 0 486659407 854388736 25023 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25023 13073 16 0 208575 0
vsize: 834364
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 94480 59 0 0 22 0 10 0 486659407 854388736 25049 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25049 13073 16 0 208575 0
vsize: 834364
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 95386 60 0 0 20 0 10 0 486659407 854388736 25069 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25069 13073 16 0 208575 0
vsize: 834364
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 96297 61 0 0 24 0 10 0 486659407 854388736 25085 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25085 13073 16 0 208575 0
vsize: 834364
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 97202 61 0 0 23 0 10 0 486659407 854388736 25110 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25110 13073 16 0 208575 0
vsize: 834364
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 98106 61 0 0 21 0 10 0 486659407 854388736 25133 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25133 13073 16 0 208575 0
vsize: 834364
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 99009 62 0 0 19 0 10 0 486659407 854388736 25155 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25155 13073 16 0 208575 0
vsize: 834364
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 99919 62 0 0 22 0 10 0 486659407 854388736 25172 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25172 13073 16 0 208575 0
vsize: 834364
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 100823 63 0 0 21 0 10 0 486659407 854388736 25195 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25195 13073 16 0 208575 0
vsize: 834364
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 101725 63 0 0 19 0 10 0 486659407 854388736 25216 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25216 13073 16 0 208575 0
vsize: 834364
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 102634 64 0 0 23 0 10 0 486659407 854388736 25234 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25234 13073 16 0 208575 0
vsize: 834364
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 103537 64 0 0 21 0 10 0 486659407 854388736 25254 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25254 13073 16 0 208575 0
vsize: 834364
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 104440 65 0 0 19 0 10 0 486659407 854388736 25276 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25276 13073 16 0 208575 0
vsize: 834364
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 105348 65 0 0 23 0 10 0 486659407 854388736 25293 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25293 13073 16 0 208575 0
vsize: 834364
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 106250 66 0 0 21 0 10 0 486659407 854388736 25314 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25314 13073 16 0 208575 0
vsize: 834364
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 107152 66 0 0 19 0 10 0 486659407 854388736 25334 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25334 13073 16 0 208575 0
vsize: 834364
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 108060 66 0 0 23 0 10 0 486659407 854388736 25353 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25353 13073 16 0 208575 0
vsize: 834364
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 108961 67 0 0 22 0 10 0 486659407 854388736 25370 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25370 13073 16 0 208575 0
vsize: 834364
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 109861 67 0 0 19 0 10 0 486659407 854388736 25394 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25394 13073 16 0 208575 0
vsize: 834364
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 110766 68 0 0 24 0 10 0 486659407 854388736 25413 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25413 13073 16 0 208575 0
vsize: 834364
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 111665 68 0 0 21 0 10 0 486659407 854388736 25431 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25431 13073 16 0 208575 0
vsize: 834364
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 112566 69 0 0 19 0 10 0 486659407 854388736 25450 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25450 13073 16 0 208575 0
vsize: 834364
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 113472 69 0 0 23 0 10 0 486659407 854388736 25465 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25465 13073 16 0 208575 0
vsize: 834364
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 114372 69 0 0 19 0 10 0 486659407 854388736 25481 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25481 13073 16 0 208575 0
vsize: 834364
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 115272 70 0 0 19 0 10 0 486659407 854388736 25509 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25509 13073 16 0 208575 0
vsize: 834364
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 116178 71 0 0 22 0 10 0 486659407 854388736 25525 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25525 13073 16 0 208575 0
vsize: 834364
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 117077 71 0 0 20 0 10 0 486659407 854388736 25547 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25547 13073 16 0 208575 0
vsize: 834364
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) S 8090 5897 5896 0 -1 0 17979 0 1 0 117979 71 0 0 23 0 10 0 486659407 854388736 25564 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25564 13073 16 0 208575 0
vsize: 834364
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 118882 72 0 0 22 0 10 0 486659407 854388736 25593 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25593 13073 16 0 208575 0
vsize: 834364
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 119782 73 0 0 19 0 10 0 486659407 854388736 25609 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25609 13073 16 0 208575 0
vsize: 834364
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 8157
Raw data (stat): 8091 (java) R 8090 5897 5896 0 -1 0 17979 0 1 0 120691 74 0 0 23 0 10 0 486659407 854388736 25620 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208591 25620 13073 16 0 208575 0
vsize: 834364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.31 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 8158
Raw data (stat): 8091 (java) Z 8090 5897 5896 0 -1 1036 17979 7683 1 0 120692 74 10305 45 19 0 1 0 486659407 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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.31
CPU time (s): 1311.18
CPU user time (s): 1309.98
CPU system time (s): 1.19782
CPU usage (%): 100.066
Max. virtual memory (Kb): 834364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####