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/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 4460

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.085
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:      1034724 kB
MemFree:        750516 kB
Buffers:         32736 kB
Cached:         139384 kB
SwapCached:       1212 kB
Active:         140444 kB
Inactive:       112032 kB
HighTotal:      131072 kB
HighFree:          256 kB
LowTotal:       903652 kB
LowFree:        750260 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:          81768 kB
Slab:            25888 kB
Committed_AS:   173996 kB
PageTables:        432 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:43:54 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2574 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc32/normalized-cache.inv14.ucl.opb
c reading problem 
c [nbvar=62704]
c [nbconstr=187107]
#### 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): 1.06 1.01 0.99 2/53 9794
Raw data (stat): 9794 (runsolver) R 9793 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477705872 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.0016 s]
Raw data (loadavg): 1.13 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 799 42 0 0 25 0 10 0 477705872 855818240 21108 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 21108 13073 16 0 208924 0
vsize: 835760
[startup+20.0029 s]
Raw data (loadavg): 1.11 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 1666 42 0 0 25 0 10 0 477705872 855818240 21729 4294967295 134512640 134569956 3221224400 3221214544 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 21729 13073 16 0 208924 0
vsize: 835760
[startup+30.004 s]
Raw data (loadavg): 1.09 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 2532 43 0 0 25 0 10 0 477705872 855818240 22281 4294967295 134512640 134569956 3221224400 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 22281 13073 16 0 208924 0
vsize: 835760
[startup+40.0045 s]
Raw data (loadavg): 1.08 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 3389 43 0 0 24 0 10 0 477705872 855818240 22741 4294967295 134512640 134569956 3221224400 3221214496 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 22741 13073 16 0 208924 0
vsize: 835760
[startup+50.0063 s]
Raw data (loadavg): 1.07 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 4257 43 0 0 25 0 10 0 477705872 855818240 23121 4294967295 134512640 134569956 3221224400 3221214592 1131166853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 23121 13073 16 0 208924 0
vsize: 835760
[startup+60.0071 s]
Raw data (loadavg): 1.06 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 5128 43 0 0 25 0 10 0 477705872 855818240 23461 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 23461 13073 16 0 208924 0
vsize: 835760
[startup+70.0089 s]
Raw data (loadavg): 1.05 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 6000 43 0 0 25 0 10 0 477705872 855818240 23722 4294967295 134512640 134569956 3221224400 3221214224 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 23722 13073 16 0 208924 0
vsize: 835760
[startup+80.0105 s]
Raw data (loadavg): 1.04 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 6859 43 0 0 25 0 10 0 477705872 855818240 24127 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 24127 13073 16 0 208924 0
vsize: 835760
[startup+90.0112 s]
Raw data (loadavg): 1.03 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 7735 43 0 0 25 0 10 0 477705872 855818240 24394 4294967295 134512640 134569956 3221224400 3221214816 1130920736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 24394 13073 16 0 208924 0
vsize: 835760
[startup+100.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 8603 43 0 0 24 0 10 0 477705872 855818240 24739 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 24739 13073 16 0 208924 0
vsize: 835760
[startup+110.015 s]
Raw data (loadavg): 1.02 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 9482 43 0 0 25 0 10 0 477705872 855818240 24956 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 24956 13073 16 0 208924 0
vsize: 835760
[startup+120.017 s]
Raw data (loadavg): 1.02 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 10358 43 0 0 25 0 10 0 477705872 855818240 25217 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 25217 13073 16 0 208924 0
vsize: 835760
[startup+130.018 s]
Raw data (loadavg): 1.08 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 11235 43 0 0 25 0 10 0 477705872 855818240 25464 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 25464 13073 16 0 208924 0
vsize: 835760
[startup+140.019 s]
Raw data (loadavg): 1.07 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 12108 43 0 0 25 0 10 0 477705872 855818240 25698 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 25698 13073 16 0 208924 0
vsize: 835760
[startup+150.02 s]
Raw data (loadavg): 1.06 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 12981 43 0 0 25 0 10 0 477705872 855818240 25920 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 25920 13073 16 0 208924 0
vsize: 835760
[startup+160.021 s]
Raw data (loadavg): 1.05 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 13862 44 0 0 24 0 10 0 477705872 855818240 26238 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 26238 13073 16 0 208924 0
vsize: 835760
[startup+170.022 s]
Raw data (loadavg): 1.04 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 14754 44 0 0 25 0 10 0 477705872 855818240 26441 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 26441 13073 16 0 208924 0
vsize: 835760
[startup+180.023 s]
Raw data (loadavg): 1.03 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 15648 44 0 0 25 0 10 0 477705872 855818240 26638 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 26638 13073 16 0 208924 0
vsize: 835760
[startup+190.026 s]
Raw data (loadavg): 1.03 1.03 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 16536 44 0 0 24 0 10 0 477705872 855818240 26843 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 26843 13073 16 0 208924 0
vsize: 835760
[startup+200.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 17432 44 0 0 25 0 10 0 477705872 855818240 27031 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 27031 13073 16 0 208924 0
vsize: 835760
[startup+210.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 18330 44 0 0 25 0 10 0 477705872 855818240 27201 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 27201 13073 16 0 208924 0
vsize: 835760
[startup+220.038 s]
Raw data (loadavg): 1.02 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 19222 44 0 0 25 0 10 0 477705872 855818240 27385 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 27385 13073 16 0 208924 0
vsize: 835760
[startup+230.039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 20123 44 0 0 25 0 10 0 477705872 855818240 27554 4294967295 134512640 134569956 3221224400 3221214788 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 27554 13073 16 0 208924 0
vsize: 835760
[startup+240.04 s]
Raw data (loadavg): 1.01 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 21024 44 0 0 25 0 10 0 477705872 855818240 27718 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 27718 13073 16 0 208924 0
vsize: 835760
[startup+250.041 s]
Raw data (loadavg): 1.01 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 21917 44 0 0 25 0 10 0 477705872 855818240 27894 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 27894 13073 16 0 208924 0
vsize: 835760
[startup+260.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 22818 45 0 0 25 0 10 0 477705872 855818240 28053 4294967295 134512640 134569956 3221224400 3221214652 1131258979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28053 13073 16 0 208924 0
vsize: 835760
[startup+270.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 23704 45 0 0 25 0 10 0 477705872 855818240 28216 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28216 13073 16 0 208924 0
vsize: 835760
[startup+280.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 24593 46 0 0 25 0 10 0 477705872 855818240 28363 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28363 13073 16 0 208924 0
vsize: 835760
[startup+290.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 25483 46 0 0 25 0 10 0 477705872 855818240 28512 4294967295 134512640 134569956 3221224400 3221214592 1131166888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28512 13073 16 0 208924 0
vsize: 835760
[startup+300.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 26374 46 0 0 25 0 10 0 477705872 855818240 28827 4294967295 134512640 134569956 3221224400 3221214592 1131166860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28827 13073 16 0 208924 0
vsize: 835760
[startup+310.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 27277 47 0 0 25 0 10 0 477705872 855818240 28972 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 28972 13073 16 0 208924 0
vsize: 835760
[startup+320.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 28173 47 0 0 25 0 10 0 477705872 855818240 29121 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29121 13073 16 0 208924 0
vsize: 835760
[startup+330.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 29078 48 0 0 25 0 10 0 477705872 855818240 29254 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29254 13073 16 0 208924 0
vsize: 835760
[startup+340.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 29975 48 0 0 25 0 10 0 477705872 855818240 29394 4294967295 134512640 134569956 3221224400 3221214592 1131166821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29394 13073 16 0 208924 0
vsize: 835760
[startup+350.052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 30882 49 0 0 25 0 10 0 477705872 855818240 29521 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29521 13073 16 0 208924 0
vsize: 835760
[startup+360.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 31779 49 0 0 24 0 10 0 477705872 855818240 29660 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29660 13073 16 0 208924 0
vsize: 835760
[startup+370.054 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 32685 50 0 0 25 0 10 0 477705872 855818240 29783 4294967295 134512640 134569956 3221224400 3221214544 1077558390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29783 13073 16 0 208924 0
vsize: 835760
[startup+380.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 33588 50 0 0 25 0 10 0 477705872 855818240 29910 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 29910 13073 16 0 208924 0
vsize: 835760
[startup+390.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 34489 51 0 0 25 0 10 0 477705872 855818240 30042 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30042 13073 16 0 208924 0
vsize: 835760
[startup+400.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 35395 51 0 0 25 0 10 0 477705872 855818240 30163 4294967295 134512640 134569956 3221224400 3221214592 1131166864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30163 13073 16 0 208924 0
vsize: 835760
[startup+410.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 36293 51 0 0 25 0 10 0 477705872 855818240 30294 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30294 13073 16 0 208924 0
vsize: 835760
[startup+420.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 37199 51 0 0 25 0 10 0 477705872 855818240 30412 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30412 13073 16 0 208924 0
vsize: 835760
[startup+430.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 38097 52 0 0 25 0 10 0 477705872 855818240 30538 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30538 13073 16 0 208924 0
vsize: 835760
[startup+440.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 39001 53 0 0 25 0 10 0 477705872 855818240 30657 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30657 13073 16 0 208924 0
vsize: 835760
[startup+450.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 39899 54 0 0 25 0 10 0 477705872 855818240 30780 4294967295 134512640 134569956 3221224400 3221214220 1076461603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30780 13073 16 0 208924 0
vsize: 835760
[startup+460.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 40805 54 0 0 25 0 10 0 477705872 855818240 30897 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 30897 13073 16 0 208924 0
vsize: 835760
[startup+470.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 41699 55 0 0 25 0 10 0 477705872 855818240 31021 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31021 13073 16 0 208924 0
vsize: 835760
[startup+480.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 42587 55 0 0 25 0 10 0 477705872 855818240 31138 4294967295 134512640 134569956 3221224400 3221214788 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31138 13073 16 0 208924 0
vsize: 835760
[startup+490.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 43476 55 0 0 19 0 10 0 477705872 855818240 31246 4294967295 134512640 134569956 3221224400 3221214592 1131166732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 31246 13073 16 0 208924 0
vsize: 835760
[startup+500.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 44370 56 0 0 24 0 10 0 477705872 855818240 31525 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31525 13073 16 0 208924 0
vsize: 835760
[startup+510.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 45276 57 0 0 19 0 10 0 477705872 855818240 31639 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31639 13073 16 0 208924 0
vsize: 835760
[startup+520.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 46182 57 0 0 23 0 10 0 477705872 855818240 31745 4294967295 134512640 134569956 3221224400 3221214592 1131166745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31745 13073 16 0 208924 0
vsize: 835760
[startup+530.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 47081 58 0 0 18 0 10 0 477705872 855818240 31859 4294967295 134512640 134569956 3221224400 3221214544 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31859 13073 16 0 208924 0
vsize: 835760
[startup+540.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 47988 58 0 0 21 0 10 0 477705872 855818240 31962 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 31962 13073 16 0 208924 0
vsize: 835760
[startup+550.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 48887 59 0 0 17 0 10 0 477705872 855818240 32072 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32072 13073 16 0 208924 0
vsize: 835760
[startup+560.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 49794 59 0 0 19 0 10 0 477705872 855818240 32173 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32173 13073 16 0 208924 0
vsize: 835760
[startup+570.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 50701 59 0 0 23 0 10 0 477705872 855818240 32273 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32273 13073 16 0 208924 0
vsize: 835760
[startup+580.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 51600 60 0 0 19 0 10 0 477705872 855818240 32380 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32380 13073 16 0 208924 0
vsize: 835760
[startup+590.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 52506 60 0 0 21 0 10 0 477705872 855818240 32477 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32477 13073 16 0 208924 0
vsize: 835760
[startup+600.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 53408 61 0 0 24 0 10 0 477705872 855818240 32577 4294967295 134512640 134569956 3221224400 3221213780 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32577 13073 16 0 208924 0
vsize: 835760
[startup+610.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 54311 61 0 0 18 0 10 0 477705872 855818240 32682 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32682 13073 16 0 208924 0
vsize: 835760
[startup+620.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 55217 62 0 0 21 0 10 0 477705872 855818240 32773 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32773 13073 16 0 208924 0
vsize: 835760
[startup+630.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 56124 62 0 0 23 0 10 0 477705872 855818240 32866 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32866 13073 16 0 208924 0
vsize: 835760
[startup+640.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 57024 62 0 0 17 0 10 0 477705872 855818240 32965 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 32965 13073 16 0 208924 0
vsize: 835760
[startup+650.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 57929 62 0 0 19 0 10 0 477705872 855818240 33057 4294967295 134512640 134569956 3221224400 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33057 13073 16 0 208924 0
vsize: 835760
[startup+660.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 58836 63 0 0 21 0 10 0 477705872 855818240 33150 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33150 13073 16 0 208924 0
vsize: 835760
[startup+670.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 59742 63 0 0 23 0 10 0 477705872 855818240 33243 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33243 13073 16 0 208924 0
vsize: 835760
[startup+680.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 60644 63 0 0 24 0 10 0 477705872 855818240 33336 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33336 13073 16 0 208924 0
vsize: 835760
[startup+690.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 61546 64 0 0 18 0 10 0 477705872 855818240 33432 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33432 13073 16 0 208924 0
vsize: 835760
[startup+700.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 62452 64 0 0 20 0 10 0 477705872 855818240 33525 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33525 13073 16 0 208924 0
vsize: 835760
[startup+710.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 63357 64 0 0 22 0 10 0 477705872 855818240 33613 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33613 13073 16 0 208924 0
vsize: 835760
[startup+720.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 64263 65 0 0 24 0 10 0 477705872 855818240 33702 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33702 13073 16 0 208924 0
vsize: 835760
[startup+730.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 65162 65 0 0 17 0 10 0 477705872 855818240 33796 4294967295 134512640 134569956 3221224400 3221214592 1131166842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33796 13073 16 0 208924 0
vsize: 835760
[startup+740.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 66068 66 0 0 19 0 10 0 477705872 855818240 33882 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33882 13073 16 0 208924 0
vsize: 835760
[startup+750.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 66974 66 0 0 20 0 10 0 477705872 855818240 33967 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 33967 13073 16 0 208924 0
vsize: 835760
[startup+760.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 67880 67 0 0 21 0 10 0 477705872 855818240 34050 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34050 13073 16 0 208924 0
vsize: 835760
[startup+770.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 68786 67 0 0 22 0 10 0 477705872 855818240 34133 4294967295 134512640 134569956 3221224400 3221214224 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34133 13073 16 0 208924 0
vsize: 835760
[startup+780.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 69684 68 0 0 17 0 10 0 477705872 855818240 34224 4294967295 134512640 134569956 3221224400 3221214544 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34224 13073 16 0 208924 0
vsize: 835760
[startup+790.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 70589 68 0 0 18 0 10 0 477705872 855818240 34305 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34305 13073 16 0 208924 0
vsize: 835760
[startup+800.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 71495 68 0 0 20 0 10 0 477705872 855818240 34387 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34387 13073 16 0 208924 0
vsize: 835760
[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 72401 69 0 0 22 0 10 0 477705872 855818240 34469 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34469 13073 16 0 208924 0
vsize: 835760
[startup+820.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 73307 69 0 0 22 0 10 0 477705872 855818240 34548 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34548 13073 16 0 208924 0
vsize: 835760
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 74211 70 0 0 22 0 10 0 477705872 855818240 34628 4294967295 134512640 134569956 3221224400 3221214128 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34628 13073 16 0 208924 0
vsize: 835760
[startup+840.125 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 75115 70 0 0 22 0 10 0 477705872 855818240 34708 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34708 13073 16 0 208924 0
vsize: 835760
[startup+850.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 76019 71 0 0 23 0 10 0 477705872 855818240 34789 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34789 13073 16 0 208924 0
vsize: 835760
[startup+860.131 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 76921 71 0 0 23 0 10 0 477705872 855818240 34872 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34872 13073 16 0 208924 0
vsize: 835760
[startup+870.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 77822 72 0 0 17 0 10 0 477705872 855818240 34958 4294967295 134512640 134569956 3221224400 3221214592 1131166888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 34958 13073 16 0 208924 0
vsize: 835760
[startup+880.139 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 78725 72 0 0 18 0 10 0 477705872 855818240 35037 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35037 13073 16 0 208924 0
vsize: 835760
[startup+890.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 79628 73 0 0 19 0 10 0 477705872 855818240 35115 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35115 13073 16 0 208924 0
vsize: 835760
[startup+900.141 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 80532 74 0 0 20 0 10 0 477705872 855818240 35196 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35196 13073 16 0 208924 0
vsize: 835760
[startup+910.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 81435 75 0 0 20 0 10 0 477705872 855818240 35275 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35275 13073 16 0 208924 0
vsize: 835760
[startup+920.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 82338 75 0 0 21 0 10 0 477705872 855818240 35352 4294967295 134512640 134569956 3221224400 3221214592 1131166787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35352 13073 16 0 208924 0
vsize: 835760
[startup+930.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 83241 76 0 0 22 0 10 0 477705872 855818240 35429 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35429 13073 16 0 208924 0
vsize: 835760
[startup+940.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 84145 76 0 0 23 0 10 0 477705872 855818240 35505 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35505 13073 16 0 208924 0
vsize: 835760
[startup+950.149 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 85048 77 0 0 23 0 10 0 477705872 855818240 35581 4294967295 134512640 134569956 3221224400 3221214592 1131166860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35581 13073 16 0 208924 0
vsize: 835760
[startup+960.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 85951 77 0 0 23 0 10 0 477705872 855818240 35656 4294967295 134512640 134569956 3221224400 3221214592 1131166888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35656 13073 16 0 208924 0
vsize: 835760
[startup+970.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 86848 77 0 0 23 0 10 0 477705872 855818240 35734 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35734 13073 16 0 208924 0
vsize: 835760
[startup+980.154 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 87751 78 0 0 24 0 10 0 477705872 855818240 35812 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35812 13073 16 0 208924 0
vsize: 835760
[startup+990.158 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 88651 78 0 0 17 0 10 0 477705872 855818240 35891 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35891 13073 16 0 208924 0
vsize: 835760
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 89554 78 0 0 23 0 10 0 477705872 855818240 35960 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 35961 13073 16 0 208924 0
vsize: 835760
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 90456 79 0 0 17 0 10 0 477705872 855818240 36044 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 36044 13073 16 0 208924 0
vsize: 835760
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 91358 79 0 0 17 0 10 0 477705872 855818240 36112 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 36112 13073 16 0 208924 0
vsize: 835760
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 92268 80 0 0 25 0 10 0 477705872 855818240 36868 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 36868 13073 16 0 208924 0
vsize: 835760
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 93181 80 0 0 25 0 10 0 477705872 855818240 36868 4294967295 134512640 134569956 3221224400 3221214496 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 36868 13073 16 0 208924 0
vsize: 835760
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 94084 80 0 0 25 0 10 0 477705872 855818240 36868 4294967295 134512640 134569956 3221224400 3221214592 1131166748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208940 36868 13073 16 0 208924 0
vsize: 835760
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 94980 80 0 0 25 0 10 0 477705872 855818240 36935 4294967295 134512640 134569956 3221224400 3221214256 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 36935 13073 16 0 208924 0
vsize: 835760
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 95876 80 0 0 25 0 10 0 477705872 855818240 37003 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37003 13073 16 0 208924 0
vsize: 835760
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 96773 80 0 0 25 0 10 0 477705872 855818240 37068 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37068 13073 16 0 208924 0
vsize: 835760
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 97670 81 0 0 25 0 10 0 477705872 855818240 37138 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37138 13073 16 0 208924 0
vsize: 835760
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 98567 81 0 0 25 0 10 0 477705872 855818240 37232 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37232 13073 16 0 208924 0
vsize: 835760
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 99466 81 0 0 25 0 10 0 477705872 855818240 37314 4294967295 134512640 134569956 3221224400 3221214256 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37314 13073 16 0 208924 0
vsize: 835760
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 100366 81 0 0 24 0 10 0 477705872 855818240 37385 4294967295 134512640 134569956 3221224400 3221214540 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37385 13073 16 0 208924 0
vsize: 835760
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 101273 81 0 0 25 0 10 0 477705872 855818240 37414 4294967295 134512640 134569956 3221224400 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37414 13073 16 0 208924 0
vsize: 835760
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 102171 81 0 0 25 0 10 0 477705872 855818240 37508 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37508 13073 16 0 208924 0
vsize: 835760
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 103061 81 0 0 25 0 10 0 477705872 855818240 37556 4294967295 134512640 134569956 3221224400 3221213784 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37556 13073 16 0 208924 0
vsize: 835760
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 103967 81 0 0 25 0 10 0 477705872 855818240 37659 4294967295 134512640 134569956 3221224400 3221214732 1130917574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37659 13073 16 0 208924 0
vsize: 835760
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 104868 81 0 0 25 0 10 0 477705872 855818240 37706 4294967295 134512640 134569956 3221224400 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37706 13073 16 0 208924 0
vsize: 835760
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 105770 81 0 0 25 0 10 0 477705872 855818240 37796 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37796 13073 16 0 208924 0
vsize: 835760
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 106671 81 0 0 25 0 10 0 477705872 855818240 37860 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37860 13073 16 0 208924 0
vsize: 835760
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 107572 81 0 0 25 0 10 0 477705872 855818240 37940 4294967295 134512640 134569956 3221224400 3221214800 1131140095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 37940 13073 16 0 208924 0
vsize: 835760
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 108474 81 0 0 25 0 10 0 477705872 855818240 38013 4294967295 134512640 134569956 3221224400 3221214788 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38013 13073 16 0 208924 0
vsize: 835760
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 109377 82 0 0 25 0 10 0 477705872 855818240 38042 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38042 13073 16 0 208924 0
vsize: 835760
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 110277 82 0 0 25 0 10 0 477705872 855818240 38124 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38124 13073 16 0 208924 0
vsize: 835760
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 111178 82 0 0 24 0 10 0 477705872 855818240 38169 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38169 13073 16 0 208924 0
vsize: 835760
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) S 9793 7987 7986 0 -1 0 17999 0 1 0 112079 82 0 0 25 0 10 0 477705872 855818240 38237 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38237 13073 16 0 208924 0
vsize: 835760
[startup+1260.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 112985 82 0 0 25 0 10 0 477705872 855818240 38312 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38312 13073 16 0 208924 0
vsize: 835760
[startup+1270.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 113886 82 0 0 25 0 10 0 477705872 855818240 38415 4294967295 134512640 134569956 3221224400 3221214884 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38415 13073 16 0 208924 0
vsize: 835760
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 114791 83 0 0 25 0 10 0 477705872 855818240 38454 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38454 13073 16 0 208924 0
vsize: 835760
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 115696 83 0 0 25 0 10 0 477705872 855818240 38541 4294967295 134512640 134569956 3221224400 3221214256 1080019747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38541 13073 16 0 208924 0
vsize: 835760
[startup+1300.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 116602 83 0 0 25 0 10 0 477705872 855818240 38616 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38616 13073 16 0 208924 0
vsize: 835760
[startup+1310.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 117507 83 0 0 25 0 10 0 477705872 855818240 38660 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38660 13073 16 0 208924 0
vsize: 835760
[startup+1320.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 118407 83 0 0 25 0 10 0 477705872 855818240 38712 4294967295 134512640 134569956 3221224400 3221214780 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38712 13073 16 0 208924 0
vsize: 835760
[startup+1330.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 119308 83 0 0 25 0 10 0 477705872 855818240 38822 4294967295 134512640 134569956 3221224400 3221214544 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38822 13073 16 0 208924 0
vsize: 835760
[startup+1340.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/62 9803
Raw data (stat): 9794 (java) R 9793 7987 7986 0 -1 0 17999 0 1 0 120211 83 0 0 25 0 10 0 477705872 855818240 38844 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208940 38844 13073 16 0 208924 0
vsize: 835760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.32 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 9804
Raw data (stat): 9794 (java) Z 9793 7987 7986 0 -1 1036 17999 22101 1 0 120214 90 13956 68 25 0 1 0 477705872 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): 1340.32
CPU time (s): 1343.3
CPU user time (s): 1341.71
CPU system time (s): 1.59176
CPU usage (%): 100.222
Max. virtual memory (Kb): 835760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####