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-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 4473

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        915936 kB
Buffers:         34448 kB
Cached:          64272 kB
SwapCached:         16 kB
Active:          65328 kB
Inactive:        36240 kB
HighTotal:      131008 kB
HighFree:        62776 kB
LowTotal:       903652 kB
LowFree:        853160 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11516 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:55:33 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2736 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-ooo.unbounded.all.ucl.opb
c reading problem 
c [nbvar=84836]
c [nbconstr=245062]
#### 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.93 0.98 0.97 2/54 26986
Raw data (stat): 26986 (runsolver) R 26985 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419555964 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.0011 s]
Raw data (loadavg): 1.08 1.02 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 798 43 0 0 25 0 10 0 419555964 855052288 20935 4294967295 134512640 134569956 3221224400 3221213752 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 20935 13073 16 0 208737 0
vsize: 835012
[startup+20.002 s]
Raw data (loadavg): 1.07 1.02 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 1678 44 0 0 25 0 10 0 419555964 855052288 21339 4294967295 134512640 134569956 3221224400 3221213660 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 21339 13073 16 0 208737 0
vsize: 835012
[startup+30.003 s]
Raw data (loadavg): 1.06 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 2535 44 0 0 24 0 10 0 419555964 855052288 21834 4294967295 134512640 134569956 3221224400 3221214624 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 21834 13073 16 0 208737 0
vsize: 835012
[startup+40.0036 s]
Raw data (loadavg): 1.05 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 3404 44 0 0 24 0 10 0 419555964 855052288 22198 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 22198 13073 16 0 208737 0
vsize: 835012
[startup+50.0074 s]
Raw data (loadavg): 1.04 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 4271 44 0 0 25 0 10 0 419555964 855052288 22607 4294967295 134512640 134569956 3221224400 3221213756 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 22609 13073 16 0 208737 0
vsize: 835012
[startup+60.0103 s]
Raw data (loadavg): 1.04 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 5141 44 0 0 16 0 10 0 419555964 855052288 22908 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 22908 13073 16 0 208737 0
vsize: 835012
[startup+70.0101 s]
Raw data (loadavg): 1.03 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 6012 44 0 0 17 0 10 0 419555964 855052288 23206 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 23206 13073 16 0 208737 0
vsize: 835012
[startup+80.0109 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 6883 44 0 0 18 0 10 0 419555964 855052288 23549 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 23549 13073 16 0 208737 0
vsize: 835012
[startup+90.0163 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 7749 44 0 0 21 0 10 0 419555964 855052288 23776 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 23776 13073 16 0 208737 0
vsize: 835012
[startup+100.018 s]
Raw data (loadavg): 1.02 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 8625 44 0 0 20 0 10 0 419555964 855052288 24027 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 24027 13073 16 0 208737 0
vsize: 835012
[startup+110.019 s]
Raw data (loadavg): 1.01 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 9501 45 0 0 19 0 10 0 419555964 855052288 24369 4294967295 134512640 134569956 3221224400 3221214764 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 24369 13073 16 0 208737 0
vsize: 835012
[startup+120.019 s]
Raw data (loadavg): 1.01 1.01 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 10382 45 0 0 19 0 10 0 419555964 855052288 24609 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 24609 13073 16 0 208737 0
vsize: 835012
[startup+130.02 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 11266 45 0 0 19 0 10 0 419555964 855052288 24838 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 24838 13073 16 0 208737 0
vsize: 835012
[startup+140.021 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 12153 46 0 0 19 0 10 0 419555964 855052288 25050 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 25050 13073 16 0 208737 0
vsize: 835012
[startup+150.022 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 13043 46 0 0 16 0 10 0 419555964 855052288 25267 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 25267 13073 16 0 208737 0
vsize: 835012
[startup+160.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 13932 46 0 0 16 0 10 0 419555964 855052288 25472 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 25472 13073 16 0 208737 0
vsize: 835012
[startup+170.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 14817 46 0 0 16 0 10 0 419555964 855052288 25667 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 25667 13073 16 0 208737 0
vsize: 835012
[startup+180.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 15704 47 0 0 16 0 10 0 419555964 855052288 25846 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 25846 13073 16 0 208737 0
vsize: 835012
[startup+190.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 16599 47 0 0 16 0 10 0 419555964 855052288 26118 4294967295 134512640 134569956 3221224400 3221213560 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 26118 13073 16 0 208737 0
vsize: 835012
[startup+200.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 17497 47 0 0 16 0 10 0 419555964 855052288 26297 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 26297 13073 16 0 208737 0
vsize: 835012
[startup+210.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 18398 47 0 0 16 0 10 0 419555964 855052288 26465 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 26465 13073 16 0 208737 0
vsize: 835012
[startup+220.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 19302 48 0 0 16 0 10 0 419555964 855052288 26629 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 26629 13073 16 0 208737 0
vsize: 835012
[startup+230.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 20201 48 0 0 16 0 10 0 419555964 855052288 26795 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 26795 13073 16 0 208737 0
vsize: 835012
[startup+240.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 21111 48 0 0 16 0 10 0 419555964 855052288 26946 4294967295 134512640 134569956 3221224400 3221214624 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 26946 13073 16 0 208737 0
vsize: 835012
[startup+250.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 22014 48 0 0 15 0 10 0 419555964 855052288 27096 4294967295 134512640 134569956 3221224400 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 27096 13073 16 0 208737 0
vsize: 835012
[startup+260.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 22924 49 0 0 16 0 10 0 419555964 855052288 27226 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 27226 13073 16 0 208737 0
vsize: 835012
[startup+270.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 23823 49 0 0 16 0 10 0 419555964 855052288 27357 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 27357 13073 16 0 208737 0
vsize: 835012
[startup+280.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 24717 49 0 0 16 0 10 0 419555964 855052288 27498 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 27498 13073 16 0 208737 0
vsize: 835012
[startup+290.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 25612 49 0 0 16 0 10 0 419555964 855052288 27638 4294967295 134512640 134569956 3221224400 3221214632 1131155727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 27638 13073 16 0 208737 0
vsize: 835012
[startup+300.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 26513 49 0 0 16 0 10 0 419555964 855052288 27950 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 27950 13073 16 0 208737 0
vsize: 835012
[startup+310.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 27427 50 0 0 16 0 10 0 419555964 855052288 28082 4294967295 134512640 134569956 3221224400 3221214760 1080204001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28082 13073 16 0 208737 0
vsize: 835012
[startup+320.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 28339 50 0 0 16 0 10 0 419555964 855052288 28188 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 28188 13073 16 0 208737 0
vsize: 835012
[startup+330.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 29242 50 0 0 16 0 10 0 419555964 855052288 28304 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28304 13073 16 0 208737 0
vsize: 835012
[startup+340.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 30147 51 0 0 16 0 10 0 419555964 855052288 28440 4294967295 134512640 134569956 3221224400 3221214344 1077559942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28440 13073 16 0 208737 0
vsize: 835012
[startup+350.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 31055 51 0 0 16 0 10 0 419555964 855052288 28568 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28568 13073 16 0 208737 0
vsize: 835012
[startup+360.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 31963 52 0 0 16 0 10 0 419555964 855052288 28691 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28691 13073 16 0 208737 0
vsize: 835012
[startup+370.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 32873 52 0 0 17 0 10 0 419555964 855052288 28812 4294967295 134512640 134569956 3221224400 3221214764 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28812 13073 16 0 208737 0
vsize: 835012
[startup+380.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 33780 52 0 0 16 0 10 0 419555964 855052288 28934 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 28934 13073 16 0 208737 0
vsize: 835012
[startup+390.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 34683 52 0 0 16 0 10 0 419555964 855052288 29060 4294967295 134512640 134569956 3221224400 3221214588 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29060 13073 16 0 208737 0
vsize: 835012
[startup+400.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 35592 53 0 0 16 0 10 0 419555964 855052288 29179 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29179 13073 16 0 208737 0
vsize: 835012
[startup+410.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 36503 53 0 0 16 0 10 0 419555964 855052288 29295 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29295 13073 16 0 208737 0
vsize: 835012
[startup+420.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 37408 53 0 0 16 0 10 0 419555964 855052288 29416 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29416 13073 16 0 208737 0
vsize: 835012
[startup+430.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 38318 54 0 0 16 0 10 0 419555964 855052288 29516 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29516 13073 16 0 208737 0
vsize: 835012
[startup+440.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 39227 55 0 0 16 0 10 0 419555964 855052288 29625 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29625 13073 16 0 208737 0
vsize: 835012
[startup+450.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 40136 55 0 0 16 0 10 0 419555964 855052288 29732 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29732 13073 16 0 208737 0
vsize: 835012
[startup+460.074 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 41039 55 0 0 16 0 10 0 419555964 855052288 29850 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29850 13073 16 0 208737 0
vsize: 835012
[startup+470.074 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 41948 55 0 0 16 0 10 0 419555964 855052288 29949 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 29949 13073 16 0 208737 0
vsize: 835012
[startup+480.077 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 42857 56 0 0 16 0 10 0 419555964 855052288 30051 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 30051 13073 16 0 208737 0
vsize: 835012
[startup+490.078 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 43766 56 0 0 16 0 10 0 419555964 855052288 30155 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 30155 13073 16 0 208737 0
vsize: 835012
[startup+500.079 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 44675 56 0 0 16 0 10 0 419555964 855052288 30260 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 30260 13073 16 0 208737 0
vsize: 835012
[startup+510.082 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 45581 57 0 0 16 0 10 0 419555964 855052288 30362 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 30362 13073 16 0 208737 0
vsize: 835012
[startup+520.086 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 46489 57 0 0 16 0 10 0 419555964 855052288 30471 4294967295 134512640 134569956 3221224400 3221214632 1131155852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 30471 13073 16 0 208737 0
vsize: 835012
[startup+530.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 47401 57 0 0 16 0 10 0 419555964 855052288 30573 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 30573 13073 16 0 208737 0
vsize: 835012
[startup+540.087 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 48311 58 0 0 17 0 10 0 419555964 855052288 30662 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 30662 13073 16 0 208737 0
vsize: 835012
[startup+550.088 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 49214 58 0 0 16 0 10 0 419555964 855052288 30762 4294967295 134512640 134569956 3221224400 3221214520 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 30762 13073 16 0 208737 0
vsize: 835012
[startup+560.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 50124 58 0 0 16 0 10 0 419555964 855052288 30858 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 30858 13073 16 0 208737 0
vsize: 835012
[startup+570.089 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 51021 59 0 0 16 0 10 0 419555964 855052288 31004 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 31004 13073 16 0 208737 0
vsize: 835012
[startup+580.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 51916 59 0 0 16 0 10 0 419555964 855052288 31092 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 31092 13073 16 0 208737 0
vsize: 835012
[startup+590.095 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 52818 59 0 0 16 0 10 0 419555964 855052288 31322 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31322 13073 16 0 208737 0
vsize: 835012
[startup+600.096 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 53723 59 0 0 16 0 10 0 419555964 855052288 31418 4294967295 134512640 134569956 3221224400 3221214472 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31418 13073 16 0 208737 0
vsize: 835012
[startup+610.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 54635 59 0 0 16 0 10 0 419555964 855052288 31505 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31505 13073 16 0 208737 0
vsize: 835012
[startup+620.097 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 55546 60 0 0 16 0 10 0 419555964 855052288 31592 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31592 13073 16 0 208737 0
vsize: 835012
[startup+630.098 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 56456 60 0 0 16 0 10 0 419555964 855052288 31677 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31677 13073 16 0 208737 0
vsize: 835012
[startup+640.099 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 57366 60 0 0 16 0 10 0 419555964 855052288 31765 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31765 13073 16 0 208737 0
vsize: 835012
[startup+650.1 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 58275 61 0 0 16 0 10 0 419555964 855052288 31855 4294967295 134512640 134569956 3221224400 3221214520 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31855 13073 16 0 208737 0
vsize: 835012
[startup+660.101 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 59183 61 0 0 16 0 10 0 419555964 855052288 31945 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 31945 13073 16 0 208737 0
vsize: 835012
[startup+670.102 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 60090 61 0 0 16 0 10 0 419555964 855052288 32034 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32034 13073 16 0 208737 0
vsize: 835012
[startup+680.103 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 60998 62 0 0 16 0 10 0 419555964 855052288 32122 4294967295 134512640 134569956 3221224400 3221214376 1076614593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32122 13073 16 0 208737 0
vsize: 835012
[startup+690.104 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 61906 62 0 0 16 0 10 0 419555964 855052288 32210 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32210 13073 16 0 208737 0
vsize: 835012
[startup+700.105 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 62815 62 0 0 16 0 10 0 419555964 855052288 32297 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32297 13073 16 0 208737 0
vsize: 835012
[startup+710.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 63724 63 0 0 16 0 10 0 419555964 855052288 32384 4294967295 134512640 134569956 3221224400 3221214520 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32384 13073 16 0 208737 0
vsize: 835012
[startup+720.106 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 64629 63 0 0 16 0 10 0 419555964 855052288 32475 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32475 13073 16 0 208737 0
vsize: 835012
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 65542 63 0 0 16 0 10 0 419555964 855052288 32557 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32557 13073 16 0 208737 0
vsize: 835012
[startup+740.108 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 66453 63 0 0 16 0 10 0 419555964 855052288 32626 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32626 13073 16 0 208737 0
vsize: 835012
[startup+750.11 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 67363 64 0 0 16 0 10 0 419555964 855052288 32702 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32702 13073 16 0 208737 0
vsize: 835012
[startup+760.111 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 68273 64 0 0 16 0 10 0 419555964 855052288 32780 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32780 13073 16 0 208737 0
vsize: 835012
[startup+770.111 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 69182 65 0 0 16 0 10 0 419555964 855052288 32858 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32858 13073 16 0 208737 0
vsize: 835012
[startup+780.112 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 70091 65 0 0 16 0 10 0 419555964 855052288 32939 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 32939 13073 16 0 208737 0
vsize: 835012
[startup+790.113 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 71000 65 0 0 16 0 10 0 419555964 855052288 33020 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 33020 13073 16 0 208737 0
vsize: 835012
[startup+800.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 71908 65 0 0 16 0 10 0 419555964 855052288 33099 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33099 13073 16 0 208737 0
vsize: 835012
[startup+810.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 72815 66 0 0 16 0 10 0 419555964 855052288 33179 4294967295 134512640 134569956 3221224400 3221214632 1131155760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33179 13073 16 0 208737 0
vsize: 835012
[startup+820.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 73721 66 0 0 16 0 10 0 419555964 855052288 33258 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33258 13073 16 0 208737 0
vsize: 835012
[startup+830.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 74627 66 0 0 16 0 10 0 419555964 855052288 33336 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33336 13073 16 0 208737 0
vsize: 835012
[startup+840.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 75533 66 0 0 16 0 10 0 419555964 855052288 33415 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33415 13073 16 0 208737 0
vsize: 835012
[startup+850.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 76438 66 0 0 16 0 10 0 419555964 855052288 33494 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33494 13073 16 0 208737 0
vsize: 835012
[startup+860.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 77344 66 0 0 16 0 10 0 419555964 855052288 33571 4294967295 134512640 134569956 3221224400 3221214632 1131155863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33571 13073 16 0 208737 0
vsize: 835012
[startup+870.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 78249 66 0 0 16 0 10 0 419555964 855052288 33650 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33650 13073 16 0 208737 0
vsize: 835012
[startup+880.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 79154 67 0 0 16 0 10 0 419555964 855052288 33726 4294967295 134512640 134569956 3221224400 3221214080 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33726 13073 16 0 208737 0
vsize: 835012
[startup+890.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 80059 67 0 0 16 0 10 0 419555964 855052288 33802 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33802 13073 16 0 208737 0
vsize: 835012
[startup+900.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 80966 67 0 0 16 0 10 0 419555964 855052288 33878 4294967295 134512640 134569956 3221224400 3221214632 1131155763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33878 13073 16 0 208737 0
vsize: 835012
[startup+910.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 81873 67 0 0 16 0 10 0 419555964 855052288 33948 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 33948 13073 16 0 208737 0
vsize: 835012
[startup+920.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 82779 67 0 0 16 0 10 0 419555964 855052288 34020 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34020 13073 16 0 208737 0
vsize: 835012
[startup+930.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 83684 67 0 0 16 0 10 0 419555964 855052288 34092 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34092 13073 16 0 208737 0
vsize: 835012
[startup+940.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 84590 67 0 0 16 0 10 0 419555964 855052288 34163 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34163 13073 16 0 208737 0
vsize: 835012
[startup+950.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 85494 67 0 0 16 0 10 0 419555964 855052288 34236 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34236 13073 16 0 208737 0
vsize: 835012
[startup+960.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 86397 68 0 0 16 0 10 0 419555964 855052288 34307 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34307 13073 16 0 208737 0
vsize: 835012
[startup+970.127 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 87300 68 0 0 16 0 10 0 419555964 855052288 34380 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34380 13073 16 0 208737 0
vsize: 835012
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 88203 68 0 0 16 0 10 0 419555964 855052288 34457 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34457 13073 16 0 208737 0
vsize: 835012
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 89106 68 0 0 16 0 10 0 419555964 855052288 34529 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34529 13073 16 0 208737 0
vsize: 835012
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 90010 68 0 0 16 0 10 0 419555964 855052288 34602 4294967295 134512640 134569956 3221224400 3221214588 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34602 13073 16 0 208737 0
vsize: 835012
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 90914 68 0 0 16 0 10 0 419555964 855052288 34670 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34670 13073 16 0 208737 0
vsize: 835012
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 91818 69 0 0 16 0 10 0 419555964 855052288 34738 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34738 13073 16 0 208737 0
vsize: 835012
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 92723 69 0 0 16 0 10 0 419555964 855052288 34802 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 34802 13073 16 0 208737 0
vsize: 835012
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 93634 69 0 0 16 0 10 0 419555964 855052288 35531 4294967295 134512640 134569956 3221224400 3221213756 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35531 13073 16 0 208737 0
vsize: 835012
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 94548 69 0 0 16 0 10 0 419555964 855052288 35531 4294967295 134512640 134569956 3221224400 3221214632 1131155880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35531 13073 16 0 208737 0
vsize: 835012
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 95454 69 0 0 16 0 10 0 419555964 855052288 35544 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35544 13073 16 0 208737 0
vsize: 835012
[startup+1070.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 96355 69 0 0 16 0 10 0 419555964 855052288 35612 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35612 13073 16 0 208737 0
vsize: 835012
[startup+1080.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 97251 70 0 0 16 0 10 0 419555964 855052288 35686 4294967295 134512640 134569956 3221224400 3221214040 1077558849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35686 13073 16 0 208737 0
vsize: 835012
[startup+1090.15 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 98149 70 0 0 16 0 10 0 419555964 855052288 35747 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 35747 13073 16 0 208737 0
vsize: 835012
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 99056 70 0 0 16 0 10 0 419555964 855052288 35821 4294967295 134512640 134569956 3221224400 3221214264 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35821 13073 16 0 208737 0
vsize: 835012
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 99953 71 0 0 16 0 10 0 419555964 855052288 35880 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 35880 13073 16 0 208737 0
vsize: 835012
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 100851 71 0 0 16 0 10 0 419555964 855052288 35948 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 35948 13073 16 0 208737 0
vsize: 835012
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 101750 72 0 0 16 0 10 0 419555964 855052288 36022 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36022 13073 16 0 208737 0
vsize: 835012
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 102649 72 0 0 16 0 10 0 419555964 855052288 36079 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 36079 13073 16 0 208737 0
vsize: 835012
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 103553 73 0 0 16 0 10 0 419555964 855052288 36160 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 36160 13073 16 0 208737 0
vsize: 835012
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 104448 73 0 0 16 0 10 0 419555964 855052288 36203 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 36203 13073 16 0 208737 0
vsize: 835012
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 105347 73 0 0 16 0 10 0 419555964 855052288 36291 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36291 13073 16 0 208737 0
vsize: 835012
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 106248 74 0 0 16 0 10 0 419555964 855052288 36336 4294967295 134512640 134569956 3221224400 3221214532 1131204934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36336 13073 16 0 208737 0
vsize: 835012
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 107158 74 0 0 16 0 10 0 419555964 855052288 36389 4294967295 134512640 134569956 3221224400 3221214232 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36389 13073 16 0 208737 0
vsize: 835012
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 108057 75 0 0 16 0 10 0 419555964 855052288 36450 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36450 13073 16 0 208737 0
vsize: 835012
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 108956 75 0 0 16 0 10 0 419555964 855052288 36539 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36539 13073 16 0 208737 0
vsize: 835012
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 109860 75 0 0 16 0 10 0 419555964 855052288 36615 4294967295 134512640 134569956 3221224400 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36615 13073 16 0 208737 0
vsize: 835012
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 110770 75 0 0 16 0 10 0 419555964 855052288 36665 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36665 13073 16 0 208737 0
vsize: 835012
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 111671 76 0 0 16 0 10 0 419555964 855052288 36693 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36693 13073 16 0 208737 0
vsize: 835012
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 112572 76 0 0 16 0 10 0 419555964 855052288 36756 4294967295 134512640 134569956 3221224400 3221214516 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36756 13073 16 0 208737 0
vsize: 835012
[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 113478 76 0 0 16 0 10 0 419555964 855052288 36873 4294967295 134512640 134569956 3221224400 3221214632 1131155801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208753 36873 13073 16 0 208737 0
vsize: 835012
[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 114383 76 0 0 16 0 10 0 419555964 855052288 36903 4294967295 134512640 134569956 3221224400 3221214808 1131256595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36903 13073 16 0 208737 0
vsize: 835012
[startup+1280.2 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 115283 77 0 0 16 0 10 0 419555964 855052288 36992 4294967295 134512640 134569956 3221224400 3221214620 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 36992 13073 16 0 208737 0
vsize: 835012
[startup+1290.2 s]
Raw data (loadavg): 1.00 1.00 0.98 3/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 116189 77 0 0 16 0 10 0 419555964 855052288 37029 4294967295 134512640 134569956 3221224400 3221214080 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37029 13073 16 0 208737 0
vsize: 835012
[startup+1300.2 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 117100 78 0 0 17 0 10 0 419555964 855052288 37065 4294967295 134512640 134569956 3221224400 3221214232 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37065 13073 16 0 208737 0
vsize: 835012
[startup+1310.2 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 118003 78 0 0 16 0 10 0 419555964 855052288 37183 4294967295 134512640 134569956 3221224400 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37183 13073 16 0 208737 0
vsize: 835012
[startup+1320.2 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 118909 79 0 0 16 0 10 0 419555964 855052288 37224 4294967295 134512640 134569956 3221224400 3221214632 1131155709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37224 13073 16 0 208737 0
vsize: 835012
[startup+1330.2 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) S 26985 25285 25284 0 -1 0 18006 0 1 0 119820 79 0 0 16 0 10 0 419555964 855052288 37264 4294967295 134512640 134569956 3221224400 3221213756 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37264 13073 16 0 208737 0
vsize: 835012
[startup+1340.21 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 26995
Raw data (stat): 26986 (java) R 26985 25285 25284 0 -1 0 18006 0 1 0 120725 80 0 0 16 0 10 0 419555964 855052288 37354 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208753 37354 13073 16 0 208737 0
vsize: 835012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1340.3 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 26996
Raw data (stat): 26986 (java) Z 26985 25285 25284 0 -1 1036 18006 20221 1 0 120727 87 13474 64 17 0 1 0 419555964 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1340.3
CPU time (s): 1343.54
CPU user time (s): 1342.02
CPU system time (s): 1.51277
CPU usage (%): 100.241
Max. virtual memory (Kb): 835012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####