PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-capri.opb
MD5SUM	cd389a9fe420e9544fdbe1f8512fb9e7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	580
Biggest coefficient in the objective function	107374182400000
Number of bits for the biggest coefficient in the objective function	47
Sum of the numbers in the objective function	1708358674549057
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	11690085472796672
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	80356363520648894
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.346947
Number of variables	7817
Total number of constraints	402
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	402
Minimum length of a constraint	11
Maximum length of a constraint	647
Trace number 23129

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-22 04:22:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10630 boxname=wulflinc30 idbench=818 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cd389a9fe420e9544fdbe1f8512fb9e7  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-capri.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-capri.opb
IDLAUNCH: 10630
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        642728 kB
Buffers:         23084 kB
Cached:         343220 kB
SwapCached:        352 kB
Active:          81140 kB
Inactive:       287808 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        642448 kB
SwapTotal:     2097892 kB
SwapFree:      2097328 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5980 kB
Slab:            17392 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 04:43:21 (client local time) WITH STATUS 143 IN 1225.32 SECONDS
stats: 10630 7 1225.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-capri.opb
c reading problem 
c [nbvar=7817]
c [nbconstr=402]
c time 21.547
c #vars     7817
c #clauses  545
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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.85 0.94 0.95 2/54 5174
Raw data (stat): 5174 (runsolver) R 5173 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550806083 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.0003 s]
Raw data (loadavg): 1.18 1.01 0.97 2/63 5183
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 17998 0 1 0 813 42 0 0 25 0 10 0 550806083 856748032 20402 4294967295 134512640 134569956 3221224400 3221214440 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209167 20402 13073 16 0 209151 0
vsize: 836668
[startup+20.0019 s]
Raw data (loadavg): 1.15 1.01 0.97 2/63 5183
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 17998 0 1 0 1668 42 0 0 25 0 10 0 550806083 855867392 21169 4294967295 134512640 134569956 3221224400 3221214784 1131322507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208952 21169 13073 16 0 208936 0
vsize: 835808
[startup+30.0024 s]
Raw data (loadavg): 1.29 1.04 0.98 3/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18078 0 1 0 2452 43 0 0 25 0 11 0 550806083 867655680 24309 4294967295 134512640 134569956 3221224400 3221214672 1131336634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211830 24309 13073 16 0 211814 0
vsize: 847320
[startup+40.0027 s]
Raw data (loadavg): 1.24 1.04 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18081 0 1 0 3404 43 0 0 25 0 11 0 550806083 866598912 24463 4294967295 134512640 134569956 3221224400 3221214656 1131336627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 24463 13073 16 0 211556 0
vsize: 846288
[startup+50.004 s]
Raw data (loadavg): 1.21 1.04 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 4374 44 0 0 25 0 11 0 550806083 866598912 24643 4294967295 134512640 134569956 3221224400 3221214664 1131503458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 24643 13073 16 0 211556 0
vsize: 846288
[startup+60.0047 s]
Raw data (loadavg): 1.17 1.04 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 5345 44 0 0 25 0 11 0 550806083 866598912 24702 4294967295 134512640 134569956 3221224400 3221214504 1131454848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 24702 13073 16 0 211556 0
vsize: 846288
[startup+70.0051 s]
Raw data (loadavg): 1.15 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 6316 44 0 0 25 0 11 0 550806083 866598912 24795 4294967295 134512640 134569956 3221224400 3221214792 1131378557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 24795 13073 16 0 211556 0
vsize: 846288
[startup+80.0055 s]
Raw data (loadavg): 1.12 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 7289 44 0 0 25 0 11 0 550806083 866598912 24823 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 24823 13073 16 0 211556 0
vsize: 846288
[startup+90.0057 s]
Raw data (loadavg): 1.10 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 8265 44 0 0 25 0 11 0 550806083 866598912 25211 4294967295 134512640 134569956 3221224400 3221214504 1131541903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25211 13073 16 0 211556 0
vsize: 846288
[startup+100.005 s]
Raw data (loadavg): 1.09 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 9248 44 0 0 25 0 11 0 550806083 866598912 25211 4294967295 134512640 134569956 3221224400 3221214460 1131331977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25211 13073 16 0 211556 0
vsize: 846288
[startup+110.007 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 10230 44 0 0 25 0 11 0 550806083 866598912 25211 4294967295 134512640 134569956 3221224400 3221214168 1131659786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25211 13073 16 0 211556 0
vsize: 846288
[startup+120.007 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 11211 44 0 0 25 0 11 0 550806083 866598912 25211 4294967295 134512640 134569956 3221224400 3221214672 1131425012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25211 13073 16 0 211556 0
vsize: 846288
[startup+130.007 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 12191 44 0 0 25 0 11 0 550806083 866598912 25211 4294967295 134512640 134569956 3221224400 3221214696 1131219713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25211 13073 16 0 211556 0
vsize: 846288
[startup+140.007 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 13170 44 0 0 25 0 11 0 550806083 866598912 25281 4294967295 134512640 134569956 3221224400 3221214448 1131452555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25281 13073 16 0 211556 0
vsize: 846288
[startup+150.008 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 14152 44 0 0 25 0 11 0 550806083 866598912 25446 4294967295 134512640 134569956 3221224400 3221214536 1131412536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25446 13073 16 0 211556 0
vsize: 846288
[startup+160.008 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 15137 44 0 0 25 0 11 0 550806083 866598912 25579 4294967295 134512640 134569956 3221224400 3221214752 1131681744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25579 13073 16 0 211556 0
vsize: 846288
[startup+170.008 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 16123 44 0 0 25 0 11 0 550806083 866598912 25659 4294967295 134512640 134569956 3221224400 3221214456 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25659 13073 16 0 211556 0
vsize: 846288
[startup+180.008 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 17110 44 0 0 25 0 11 0 550806083 866598912 25697 4294967295 134512640 134569956 3221224400 3221214664 1131502530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25697 13073 16 0 211556 0
vsize: 846288
[startup+190.009 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 18098 44 0 0 25 0 11 0 550806083 866598912 25742 4294967295 134512640 134569956 3221224400 3221214832 1131362332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25742 13073 16 0 211556 0
vsize: 846288
[startup+200.009 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 19085 44 0 0 25 0 11 0 550806083 866598912 25790 4294967295 134512640 134569956 3221224400 3221214528 1131452347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25790 13073 16 0 211556 0
vsize: 846288
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 20074 44 0 0 25 0 11 0 550806083 866598912 25837 4294967295 134512640 134569956 3221224400 3221214672 1131601354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25837 13073 16 0 211556 0
vsize: 846288
[startup+220.01 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 21061 44 0 0 25 0 11 0 550806083 866598912 25887 4294967295 134512640 134569956 3221224400 3221214144 1131332199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 25887 13073 16 0 211556 0
vsize: 846288
[startup+230.01 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 22049 44 0 0 25 0 11 0 550806083 866598912 25929 4294967295 134512640 134569956 3221224400 3221214696 1131220045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25929 13073 16 0 211556 0
vsize: 846288
[startup+240.011 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 23037 44 0 0 25 0 11 0 550806083 866598912 25968 4294967295 134512640 134569956 3221224400 3221214448 1131452033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25968 13073 16 0 211556 0
vsize: 846288
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 24025 44 0 0 25 0 11 0 550806083 866598912 25995 4294967295 134512640 134569956 3221224400 3221214696 1131220471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 25995 13073 16 0 211556 0
vsize: 846288
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 25013 44 0 0 25 0 11 0 550806083 866598912 26019 4294967295 134512640 134569956 3221224400 3221214448 1131452547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26019 13073 16 0 211556 0
vsize: 846288
[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 26001 44 0 0 25 0 11 0 550806083 866598912 26067 4294967295 134512640 134569956 3221224400 3221214832 1131362624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26067 13073 16 0 211556 0
vsize: 846288
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 26990 44 0 0 25 0 11 0 550806083 866598912 26104 4294967295 134512640 134569956 3221224400 3221214072 1131586976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26104 13073 16 0 211556 0
vsize: 846288
[startup+290.019 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 27980 44 0 0 25 0 11 0 550806083 866598912 26138 4294967295 134512640 134569956 3221224400 3221214664 1131505716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26138 13073 16 0 211556 0
vsize: 846288
[startup+300.018 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 28968 44 0 0 25 0 11 0 550806083 866598912 26167 4294967295 134512640 134569956 3221224400 3221214456 1131520321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26167 13073 16 0 211556 0
vsize: 846288
[startup+310.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 29957 44 0 0 25 0 11 0 550806083 866598912 26204 4294967295 134512640 134569956 3221224400 3221214752 1131681744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26204 13073 16 0 211556 0
vsize: 846288
[startup+320.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 30947 44 0 0 25 0 11 0 550806083 866598912 26293 4294967295 134512640 134569956 3221224400 3221214792 1131343621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26293 13073 16 0 211556 0
vsize: 846288
[startup+330.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 31938 44 0 0 25 0 11 0 550806083 866598912 26324 4294967295 134512640 134569956 3221224400 3221214296 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26324 13073 16 0 211556 0
vsize: 846288
[startup+340.021 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 32928 44 0 0 25 0 11 0 550806083 866598912 26353 4294967295 134512640 134569956 3221224400 3221214532 1131518035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26353 13073 16 0 211556 0
vsize: 846288
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 33919 44 0 0 25 0 11 0 550806083 866598912 26380 4294967295 134512640 134569956 3221224400 3221214536 1131411894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26380 13073 16 0 211556 0
vsize: 846288
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 34909 45 0 0 25 0 11 0 550806083 866598912 26401 4294967295 134512640 134569956 3221224400 3221214536 1131412335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26401 13073 16 0 211556 0
vsize: 846288
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 35900 45 0 0 25 0 11 0 550806083 866598912 26419 4294967295 134512640 134569956 3221224400 3221214792 1131378506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26419 13073 16 0 211556 0
vsize: 846288
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 36894 45 0 0 25 0 11 0 550806083 866598912 26432 4294967295 134512640 134569956 3221224400 3221214180 1131660065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 26432 13073 16 0 211556 0
vsize: 846288
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 37883 45 0 0 25 0 11 0 550806083 866598912 26457 4294967295 134512640 134569956 3221224400 3221214536 1131411343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26457 13073 16 0 211556 0
vsize: 846288
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 38874 45 0 0 25 0 11 0 550806083 866598912 26503 4294967295 134512640 134569956 3221224400 3221214456 1131518464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26503 13073 16 0 211556 0
vsize: 846288
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 39866 45 0 0 25 0 11 0 550806083 866598912 26529 4294967295 134512640 134569956 3221224400 3221214752 1131681747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26529 13073 16 0 211556 0
vsize: 846288
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 40857 45 0 0 25 0 11 0 550806083 866598912 26553 4294967295 134512640 134569956 3221224400 3221214696 1131220206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26553 13073 16 0 211556 0
vsize: 846288
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 41849 45 0 0 25 0 11 0 550806083 866598912 26575 4294967295 134512640 134569956 3221224400 3221214468 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26575 13073 16 0 211556 0
vsize: 846288
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 42841 45 0 0 25 0 11 0 550806083 866598912 26603 4294967295 134512640 134569956 3221224400 3221214296 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26603 13073 16 0 211556 0
vsize: 846288
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 43835 45 0 0 25 0 11 0 550806083 866598912 26617 4294967295 134512640 134569956 3221224400 3221214448 1131452127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 26617 13073 16 0 211556 0
vsize: 846288
[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 44826 45 0 0 25 0 11 0 550806083 866598912 26638 4294967295 134512640 134569956 3221224400 3221214368 1131332234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26638 13073 16 0 211556 0
vsize: 846288
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 45819 45 0 0 25 0 11 0 550806083 866598912 26652 4294967295 134512640 134569956 3221224400 3221214664 1131505716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26652 13073 16 0 211556 0
vsize: 846288
[startup+480.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 46808 45 0 0 25 0 11 0 550806083 866598912 26685 4294967295 134512640 134569956 3221224400 3221214664 1131502528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26685 13073 16 0 211556 0
vsize: 846288
[startup+490.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 47798 45 0 0 25 0 11 0 550806083 866598912 26700 4294967295 134512640 134569956 3221224400 3221214592 1131332010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26700 13073 16 0 211556 0
vsize: 846288
[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 48787 45 0 0 25 0 11 0 550806083 866598912 26718 4294967295 134512640 134569956 3221224400 3221214488 1131523888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26718 13073 16 0 211556 0
vsize: 846288
[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 49776 45 0 0 25 0 11 0 550806083 866598912 26733 4294967295 134512640 134569956 3221224400 3221214532 1131452012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26733 13073 16 0 211556 0
vsize: 846288
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 50765 45 0 0 25 0 11 0 550806083 866598912 26759 4294967295 134512640 134569956 3221224400 3221214328 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26759 13073 16 0 211556 0
vsize: 846288
[startup+530.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 51753 45 0 0 25 0 11 0 550806083 866598912 26780 4294967295 134512640 134569956 3221224400 3221214536 1131332207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26780 13073 16 0 211556 0
vsize: 846288
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 52741 45 0 0 25 0 11 0 550806083 866598912 26797 4294967295 134512640 134569956 3221224400 3221214448 1131452152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 26797 13073 16 0 211556 0
vsize: 846288
[startup+550.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 53728 46 0 0 25 0 11 0 550806083 866598912 26813 4294967295 134512640 134569956 3221224400 3221214488 1131525336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26813 13073 16 0 211556 0
vsize: 846288
[startup+560.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 54716 46 0 0 25 0 11 0 550806083 866598912 26827 4294967295 134512640 134569956 3221224400 3221214468 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26827 13073 16 0 211556 0
vsize: 846288
[startup+570.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 55708 46 0 0 25 0 11 0 550806083 866598912 26891 4294967295 134512640 134569956 3221224400 3221214448 1131452670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26891 13073 16 0 211556 0
vsize: 846288
[startup+580.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 56697 46 0 0 25 0 11 0 550806083 866598912 26979 4294967295 134512640 134569956 3221224400 3221214696 1131220320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 26979 13073 16 0 211556 0
vsize: 846288
[startup+590.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 57688 46 0 0 25 0 11 0 550806083 866598912 27009 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27009 13073 16 0 211556 0
vsize: 846288
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 58678 46 0 0 25 0 11 0 550806083 866598912 27037 4294967295 134512640 134569956 3221224400 3221214536 1131412611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27037 13073 16 0 211556 0
vsize: 846288
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 59668 46 0 0 25 0 11 0 550806083 866598912 27070 4294967295 134512640 134569956 3221224400 3221214536 1131413252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27070 13073 16 0 211556 0
vsize: 846288
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 60662 46 0 0 25 0 11 0 550806083 866598912 27089 4294967295 134512640 134569956 3221224400 3221214752 1131681728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27089 13073 16 0 211556 0
vsize: 846288
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 61653 46 0 0 25 0 11 0 550806083 866598912 27112 4294967295 134512640 134569956 3221224400 3221214360 1080216982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27112 13073 16 0 211556 0
vsize: 846288
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 62644 46 0 0 25 0 11 0 550806083 866598912 27140 4294967295 134512640 134569956 3221224400 3221214864 1131283095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27140 13073 16 0 211556 0
vsize: 846288
[startup+650.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 63639 46 0 0 25 0 11 0 550806083 866598912 27167 4294967295 134512640 134569956 3221224400 3221213904 1131586935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27167 13073 16 0 211556 0
vsize: 846288
[startup+660.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 64630 46 0 0 25 0 11 0 550806083 866598912 27194 4294967295 134512640 134569956 3221224400 3221214752 1131681744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27194 13073 16 0 211556 0
vsize: 846288
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 65621 46 0 0 25 0 11 0 550806083 866598912 27219 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27219 13073 16 0 211556 0
vsize: 846288
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 66612 46 0 0 25 0 11 0 550806083 866598912 27241 4294967295 134512640 134569956 3221224400 3221214496 1131541853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27241 13073 16 0 211556 0
vsize: 846288
[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 67603 46 0 0 25 0 11 0 550806083 866598912 27265 4294967295 134512640 134569956 3221224400 3221214696 1131220208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27265 13073 16 0 211556 0
vsize: 846288
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 68597 46 0 0 25 0 11 0 550806083 866598912 27278 4294967295 134512640 134569956 3221224400 3221214752 1131681747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27278 13073 16 0 211556 0
vsize: 846288
[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 69588 46 0 0 25 0 11 0 550806083 866598912 27302 4294967295 134512640 134569956 3221224400 3221214360 1080217015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27302 13073 16 0 211556 0
vsize: 846288
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 70578 46 0 0 25 0 11 0 550806083 866598912 27319 4294967295 134512640 134569956 3221224400 3221214600 1131587025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27319 13073 16 0 211556 0
vsize: 846288
[startup+730.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 71569 46 0 0 25 0 11 0 550806083 866598912 27338 4294967295 134512640 134569956 3221224400 3221214672 1131537596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27338 13073 16 0 211556 0
vsize: 846288
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 72559 46 0 0 25 0 11 0 550806083 866598912 27359 4294967295 134512640 134569956 3221224400 3221214448 1131452253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27359 13073 16 0 211556 0
vsize: 846288
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 73551 47 0 0 25 0 11 0 550806083 866598912 27380 4294967295 134512640 134569956 3221224400 3221214696 1131220441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27380 13073 16 0 211556 0
vsize: 846288
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 74541 47 0 0 25 0 11 0 550806083 866598912 27402 4294967295 134512640 134569956 3221224400 3221214696 1131220364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 27402 13073 16 0 211556 0
vsize: 846288
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 75530 47 0 0 25 0 11 0 550806083 866598912 27425 4294967295 134512640 134569956 3221224400 3221214696 1131220431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27425 13073 16 0 211556 0
vsize: 846288
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 76520 47 0 0 25 0 11 0 550806083 866598912 27446 4294967295 134512640 134569956 3221224400 3221214536 1131412371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27446 13073 16 0 211556 0
vsize: 846288
[startup+790.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 77509 47 0 0 25 0 11 0 550806083 866598912 27473 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27473 13073 16 0 211556 0
vsize: 846288
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 78499 48 0 0 25 0 11 0 550806083 866598912 27500 4294967295 134512640 134569956 3221224400 3221214648 1131220427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27500 13073 16 0 211556 0
vsize: 846288
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 79492 48 0 0 25 0 11 0 550806083 866598912 27521 4294967295 134512640 134569956 3221224400 3221214696 1131424928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27521 13073 16 0 211556 0
vsize: 846288
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 80483 49 0 0 25 0 11 0 550806083 866598912 27546 4294967295 134512640 134569956 3221224400 3221214576 1131401078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27546 13073 16 0 211556 0
vsize: 846288
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 81473 49 0 0 25 0 11 0 550806083 866598912 27566 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27566 13073 16 0 211556 0
vsize: 846288
[startup+840.065 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 82464 49 0 0 25 0 11 0 550806083 866598912 27581 4294967295 134512640 134569956 3221224400 3221214460 1080217097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27581 13073 16 0 211556 0
vsize: 846288
[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 83457 49 0 0 25 0 11 0 550806083 866598912 27596 4294967295 134512640 134569956 3221224400 3221214536 1131412820 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27596 13073 16 0 211556 0
vsize: 846288
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 84448 50 0 0 25 0 11 0 550806083 866598912 27609 4294967295 134512640 134569956 3221224400 3221214696 1131220021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27609 13073 16 0 211556 0
vsize: 846288
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 85438 50 0 0 25 0 11 0 550806083 866598912 27652 4294967295 134512640 134569956 3221224400 3221214488 1079721502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27652 13073 16 0 211556 0
vsize: 846288
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 86428 51 0 0 25 0 11 0 550806083 866598912 27679 4294967295 134512640 134569956 3221224400 3221214832 1131362640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27679 13073 16 0 211556 0
vsize: 846288
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 87419 51 0 0 25 0 11 0 550806083 866598912 27701 4294967295 134512640 134569956 3221224400 3221214664 1131505953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27701 13073 16 0 211556 0
vsize: 846288
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 88410 51 0 0 24 0 11 0 550806083 866598912 27720 4294967295 134512640 134569956 3221224400 3221214672 1131537577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27720 13073 16 0 211556 0
vsize: 846288
[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 89401 51 0 0 25 0 11 0 550806083 866598912 27733 4294967295 134512640 134569956 3221224400 3221214752 1131681728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27733 13073 16 0 211556 0
vsize: 846288
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 90395 51 0 0 25 0 11 0 550806083 866598912 27747 4294967295 134512640 134569956 3221224400 3221214792 1131343575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27747 13073 16 0 211556 0
vsize: 846288
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 91385 52 0 0 25 0 11 0 550806083 866598912 27766 4294967295 134512640 134569956 3221224400 3221214600 1131392050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27766 13073 16 0 211556 0
vsize: 846288
[startup+940.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 92376 52 0 0 25 0 11 0 550806083 866598912 27787 4294967295 134512640 134569956 3221224400 3221214488 1131525325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27787 13073 16 0 211556 0
vsize: 846288
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 93367 52 0 0 25 0 11 0 550806083 866598912 27799 4294967295 134512640 134569956 3221224400 3221214792 1131344497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27799 13073 16 0 211556 0
vsize: 846288
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 94357 52 0 0 25 0 11 0 550806083 866598912 27812 4294967295 134512640 134569956 3221224400 3221214488 1131525336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27812 13073 16 0 211556 0
vsize: 846288
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 95337 53 0 0 25 0 11 0 550806083 866598912 27841 4294967295 134512640 134569956 3221224400 3221214536 1131412856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27841 13073 16 0 211556 0
vsize: 846288
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 96329 53 0 0 25 0 11 0 550806083 866598912 27851 4294967295 134512640 134569956 3221224400 3221214696 1131220350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27851 13073 16 0 211556 0
vsize: 846288
[startup+990.073 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 97316 53 0 0 25 0 11 0 550806083 866598912 27863 4294967295 134512640 134569956 3221224400 3221214536 1131412437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27863 13073 16 0 211556 0
vsize: 846288
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 98303 53 0 0 25 0 11 0 550806083 866598912 27882 4294967295 134512640 134569956 3221224400 3221214328 1080217310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27882 13073 16 0 211556 0
vsize: 846288
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 99294 54 0 0 25 0 11 0 550806083 866598912 27892 4294967295 134512640 134569956 3221224400 3221214576 1131400710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27892 13073 16 0 211556 0
vsize: 846288
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 100280 54 0 0 25 0 11 0 550806083 866598912 27912 4294967295 134512640 134569956 3221224400 3221214480 1131443471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27912 13073 16 0 211556 0
vsize: 846288
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 101267 54 0 0 25 0 11 0 550806083 866598912 27928 4294967295 134512640 134569956 3221224400 3221214240 1131656472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27928 13073 16 0 211556 0
vsize: 846288
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 102258 54 0 0 25 0 11 0 550806083 866598912 27946 4294967295 134512640 134569956 3221224400 3221214600 1131391932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27946 13073 16 0 211556 0
vsize: 846288
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 103244 55 0 0 25 0 11 0 550806083 866598912 27963 4294967295 134512640 134569956 3221224400 3221214592 1131572082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27963 13073 16 0 211556 0
vsize: 846288
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 104230 55 0 0 25 0 11 0 550806083 866598912 27985 4294967295 134512640 134569956 3221224400 3221214488 1079721543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 27985 13073 16 0 211556 0
vsize: 846288
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 105217 55 0 0 25 0 11 0 550806083 866598912 28000 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28000 13073 16 0 211556 0
vsize: 846288
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) S 5173 11931 11930 0 -1 0 18082 0 1 0 106204 56 0 0 25 0 11 0 550806083 866598912 28046 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28046 13073 16 0 211556 0
vsize: 846288
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 107194 56 0 0 25 0 11 0 550806083 866598912 28157 4294967295 134512640 134569956 3221224400 3221214792 1131343575 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28157 13073 16 0 211556 0
vsize: 846288
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 108183 57 0 0 25 0 11 0 550806083 866598912 28245 4294967295 134512640 134569956 3221224400 3221214592 1131572227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28245 13073 16 0 211556 0
vsize: 846288
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 109172 57 0 0 25 0 11 0 550806083 866598912 28271 4294967295 134512640 134569956 3221224400 3221214696 1131220431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28271 13073 16 0 211556 0
vsize: 846288
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 110162 57 0 0 25 0 11 0 550806083 866598912 28307 4294967295 134512640 134569956 3221224400 3221214456 1079721502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28307 13073 16 0 211556 0
vsize: 846288
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 111155 57 0 0 25 0 11 0 550806083 866598912 28317 4294967295 134512640 134569956 3221224400 3221214832 1131362561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28317 13073 16 0 211556 0
vsize: 846288
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 112145 58 0 0 25 0 11 0 550806083 866598912 28334 4294967295 134512640 134569956 3221224400 3221213672 1085679293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28334 13073 16 0 211556 0
vsize: 846288
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 113138 58 0 0 25 0 11 0 550806083 866598912 28352 4294967295 134512640 134569956 3221224400 3221214752 1131681875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211572 28352 13073 16 0 211556 0
vsize: 846288
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 114128 58 0 0 25 0 11 0 550806083 866598912 28373 4294967295 134512640 134569956 3221224400 3221214488 1131525358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28373 13073 16 0 211556 0
vsize: 846288
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 115118 59 0 0 25 0 11 0 550806083 866598912 28400 4294967295 134512640 134569956 3221224400 3221214696 1131425051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28400 13073 16 0 211556 0
vsize: 846288
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 116108 59 0 0 25 0 11 0 550806083 866598912 28426 4294967295 134512640 134569956 3221224400 3221214440 1079721531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28426 13073 16 0 211556 0
vsize: 846288
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 117101 60 0 0 25 0 11 0 550806083 866598912 28439 4294967295 134512640 134569956 3221224400 3221214648 1131332220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28439 13073 16 0 211556 0
vsize: 846288
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 118090 60 0 0 25 0 11 0 550806083 866598912 28465 4294967295 134512640 134569956 3221224400 3221214384 1080217187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28465 13073 16 0 211556 0
vsize: 846288
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 119084 61 0 0 25 0 11 0 550806083 866598912 28492 4294967295 134512640 134569956 3221224400 3221214536 1131412347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28492 13073 16 0 211556 0
vsize: 846288
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 5184
Raw data (stat): 5174 (java) R 5173 11931 11930 0 -1 0 18082 0 1 0 120074 61 0 0 25 0 11 0 550806083 866598912 28515 4294967295 134512640 134569956 3221224400 3221214588 1131447023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211572 28515 13073 16 0 211556 0
vsize: 846288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 5186
Raw data (stat): 5174 (java) Z 5173 11931 11930 0 -1 1036 18082 12648 1 0 120076 61 2362 31 25 0 1 0 550806083 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): 1220.16
CPU time (s): 1225.32
CPU user time (s): 1224.39
CPU system time (s): 0.934857
CPU usage (%): 100.423
Max. virtual memory (Kb): 847320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####