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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
MD5SUM	fb418db515bc70c21d294b6cce4dc63f
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	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	83886080000000
Number of bits of the biggest number in a constraint	47
Biggest sum of numbers in a constraint	400587756783443
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.462928
Number of variables	7287
Total number of constraints	6560
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6451
Number of constraints which are nor clauses,nor cardinality constraints	109
Minimum length of a constraint	1
Maximum length of a constraint	6062
Trace number 13430

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-20 20:44:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14998 boxname=wulflinc20 idbench=1154 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fb418db515bc70c21d294b6cce4dc63f  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-blp-ir98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-blp-ir98.opb
IDLAUNCH: 14998
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        832288 kB
Buffers:         33552 kB
Cached:         142788 kB
SwapCached:        528 kB
Active:          76980 kB
Inactive:       101376 kB
HighTotal:      131008 kB
HighFree:        19404 kB
LowTotal:       903652 kB
LowFree:        812884 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            18228 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 21:05:04 (client local time) WITH STATUS 143 IN 1251.64 SECONDS
stats: 14998 7 1251.64 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-blp-ir98.opb
c reading problem 
c [nbvar=7287]
c [nbconstr=6560]
c time 28.466
c #vars     7287
c #clauses  595
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.76 0.90 0.68 1/54 21934
Raw data (stat): 21934 (runsolver) D 21933 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 539415076 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.79 0.90 0.68 2/63 21943
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18009 0 1 0 849 42 0 0 24 0 10 0 539415076 854892544 19456 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208714 19456 13073 16 0 208698 0
vsize: 834856
[startup+20.1224 s]
Raw data (loadavg): 0.83 0.90 0.69 2/63 21943
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18009 0 1 0 1777 42 0 0 25 0 10 0 539415076 854892544 19966 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208714 19966 13073 16 0 208698 0
vsize: 834856
[startup+30.1226 s]
Raw data (loadavg): 0.85 0.91 0.69 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18038 0 1 0 2596 47 0 0 25 0 11 0 539415076 857681920 24021 4294967295 134512640 134569956 3221224400 3221214828 1131302295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209395 24021 13073 16 0 209379 0
vsize: 837580
[startup+40.1232 s]
Raw data (loadavg): 0.87 0.91 0.69 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 3497 47 0 0 25 0 11 0 539415076 857137152 24698 4294967295 134512640 134569956 3221224400 3221214928 1130917143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209262 24698 13073 16 0 209246 0
vsize: 837048
[startup+50.1308 s]
Raw data (loadavg): 0.89 0.91 0.70 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 4407 47 0 0 24 0 11 0 539415076 856977408 24661 4294967295 134512640 134569956 3221224400 3221214832 1131243432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209223 24661 13073 16 0 209207 0
vsize: 836892
[startup+60.1307 s]
Raw data (loadavg): 0.91 0.91 0.70 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 5327 47 0 0 25 0 11 0 539415076 856977408 24661 4294967295 134512640 134569956 3221224400 3221214832 1131243292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 24661 13073 16 0 209207 0
vsize: 836892
[startup+70.1308 s]
Raw data (loadavg): 0.92 0.92 0.70 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 6269 48 0 0 25 0 11 0 539415076 856977408 25514 4294967295 134512640 134569956 3221224400 3221214852 1131267168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25514 13073 16 0 209207 0
vsize: 836892
[startup+80.1312 s]
Raw data (loadavg): 0.93 0.92 0.70 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 7261 48 0 0 25 0 11 0 539415076 856977408 25516 4294967295 134512640 134569956 3221224400 3221214760 1131301494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25516 13073 16 0 209207 0
vsize: 836892
[startup+90.1318 s]
Raw data (loadavg): 0.94 0.92 0.71 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 8254 49 0 0 25 0 11 0 539415076 856977408 25524 4294967295 134512640 134569956 3221224400 3221214760 1131301327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25524 13073 16 0 209207 0
vsize: 836892
[startup+100.132 s]
Raw data (loadavg): 0.95 0.92 0.71 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 9245 49 0 0 25 0 11 0 539415076 856977408 25531 4294967295 134512640 134569956 3221224400 3221214760 1131303128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25531 13073 16 0 209207 0
vsize: 836892
[startup+110.138 s]
Raw data (loadavg): 0.96 0.92 0.71 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 10238 49 0 0 25 0 11 0 539415076 856977408 25540 4294967295 134512640 134569956 3221224400 3221214852 1131305086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25540 13073 16 0 209207 0
vsize: 836892
[startup+120.148 s]
Raw data (loadavg): 0.96 0.93 0.72 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 11230 50 0 0 25 0 11 0 539415076 856977408 25553 4294967295 134512640 134569956 3221224400 3221214852 1131229420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25553 13073 16 0 209207 0
vsize: 836892
[startup+130.151 s]
Raw data (loadavg): 0.97 0.93 0.72 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 12223 50 0 0 25 0 11 0 539415076 856977408 25568 4294967295 134512640 134569956 3221224400 3221214760 1131301390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25568 13073 16 0 209207 0
vsize: 836892
[startup+140.152 s]
Raw data (loadavg): 0.97 0.93 0.72 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18039 0 1 0 13213 51 0 0 25 0 11 0 539415076 856977408 25575 4294967295 134512640 134569956 3221224400 3221214852 1131267168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209223 25575 13073 16 0 209207 0
vsize: 836892
[startup+150.152 s]
Raw data (loadavg): 0.98 0.93 0.72 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18083 0 1 0 14138 51 0 0 25 0 11 0 539415076 858906624 26324 4294967295 134512640 134569956 3221224400 3221214856 1131243432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 26324 13073 16 0 209678 0
vsize: 838776
[startup+160.168 s]
Raw data (loadavg): 0.98 0.93 0.73 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18083 0 1 0 15128 52 0 0 25 0 11 0 539415076 858906624 26340 4294967295 134512640 134569956 3221224400 3221214856 1131243417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 26340 13073 16 0 209678 0
vsize: 838776
[startup+170.172 s]
Raw data (loadavg): 0.98 0.94 0.73 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18083 0 1 0 16116 52 0 0 25 0 11 0 539415076 858906624 26357 4294967295 134512640 134569956 3221224400 3221214760 1131301534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209694 26357 13073 16 0 209678 0
vsize: 838776
[startup+180.172 s]
Raw data (loadavg): 0.98 0.94 0.73 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18083 0 1 0 17105 52 0 0 25 0 11 0 539415076 858906624 26388 4294967295 134512640 134569956 3221224400 3221214808 1131267245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209694 26388 13073 16 0 209678 0
vsize: 838776
[startup+190.18 s]
Raw data (loadavg): 0.99 0.94 0.73 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 18079 52 0 0 25 0 11 0 539415076 861003776 26711 4294967295 134512640 134569956 3221224400 3221214744 1131452619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210206 26711 13073 16 0 210190 0
vsize: 840824
[startup+200.18 s]
Raw data (loadavg): 0.99 0.94 0.74 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 19055 52 0 0 25 0 11 0 539415076 860708864 26657 4294967295 134512640 134569956 3221224400 3221214688 1131399062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26657 13073 16 0 210118 0
vsize: 840536
[startup+210.18 s]
Raw data (loadavg): 0.99 0.94 0.74 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 20028 52 0 0 25 0 11 0 539415076 860708864 26670 4294967295 134512640 134569956 3221224400 3221214752 1131304383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26670 13073 16 0 210118 0
vsize: 840536
[startup+220.181 s]
Raw data (loadavg): 0.99 0.94 0.74 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 21007 53 0 0 25 0 11 0 539415076 860708864 26768 4294967295 134512640 134569956 3221224400 3221214848 1131255207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26768 13073 16 0 210118 0
vsize: 840536
[startup+230.283 s]
Raw data (loadavg): 0.99 0.94 0.74 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 21999 53 0 0 25 0 11 0 539415076 860708864 26821 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26821 13073 16 0 210118 0
vsize: 840536
[startup+240.284 s]
Raw data (loadavg): 0.99 0.95 0.74 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18084 0 1 0 22982 53 0 0 25 0 11 0 539415076 860708864 26872 4294967295 134512640 134569956 3221224400 3221214432 1131297024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26872 13073 16 0 210118 0
vsize: 840536
[startup+250.284 s]
Raw data (loadavg): 0.99 0.95 0.75 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 23959 53 0 0 25 0 11 0 539415076 860708864 26883 4294967295 134512640 134569956 3221224400 3221214568 1131557695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26883 13073 16 0 210118 0
vsize: 840536
[startup+260.287 s]
Raw data (loadavg): 0.99 0.95 0.75 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 24945 53 0 0 25 0 11 0 539415076 860708864 26892 4294967295 134512640 134569956 3221224400 3221214568 1131557705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26892 13073 16 0 210118 0
vsize: 840536
[startup+270.287 s]
Raw data (loadavg): 0.99 0.95 0.75 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 25916 53 0 0 25 0 11 0 539415076 860708864 26917 4294967295 134512640 134569956 3221224400 3221214848 1131229468 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26917 13073 16 0 210118 0
vsize: 840536
[startup+280.287 s]
Raw data (loadavg): 0.99 0.95 0.75 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 26882 53 0 0 25 0 11 0 539415076 860708864 26961 4294967295 134512640 134569956 3221224400 3221214728 1131482944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 26961 13073 16 0 210118 0
vsize: 840536
[startup+290.29 s]
Raw data (loadavg): 1.07 0.97 0.76 2/64 21944
Raw data (stat): 21934 (java) S 21933 27565 27564 0 -1 0 18085 0 1 0 27819 54 0 0 25 0 11 0 539415076 860708864 27032 4294967295 134512640 134569956 3221224400 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27032 13073 16 0 210118 0
vsize: 840536
[startup+300.291 s]
Raw data (loadavg): 1.06 0.97 0.76 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 28740 54 0 0 25 0 11 0 539415076 860708864 27262 4294967295 134512640 134569956 3221224400 3221214688 1131398972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27262 13073 16 0 210118 0
vsize: 840536
[startup+310.29 s]
Raw data (loadavg): 1.05 0.97 0.76 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 29697 54 0 0 25 0 11 0 539415076 860708864 27262 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27262 13073 16 0 210118 0
vsize: 840536
[startup+320.291 s]
Raw data (loadavg): 1.04 0.97 0.76 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 30643 54 0 0 25 0 11 0 539415076 860708864 27471 4294967295 134512640 134569956 3221224400 3221214728 1131482894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27471 13073 16 0 210118 0
vsize: 840536
[startup+330.291 s]
Raw data (loadavg): 1.04 0.97 0.77 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 31560 54 0 0 24 0 11 0 539415076 860708864 27734 4294967295 134512640 134569956 3221224400 3221214472 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27734 13073 16 0 210118 0
vsize: 840536
[startup+340.292 s]
Raw data (loadavg): 1.03 0.97 0.77 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 32473 54 0 0 24 0 11 0 539415076 860708864 27787 4294967295 134512640 134569956 3221224400 3221214748 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27787 13073 16 0 210118 0
vsize: 840536
[startup+350.294 s]
Raw data (loadavg): 1.03 0.97 0.77 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 33411 54 0 0 25 0 11 0 539415076 860708864 27917 4294967295 134512640 134569956 3221224400 3221214856 1131243412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 27917 13073 16 0 210118 0
vsize: 840536
[startup+360.296 s]
Raw data (loadavg): 1.02 0.97 0.77 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 34353 54 0 0 25 0 11 0 539415076 860708864 28340 4294967295 134512640 134569956 3221224400 3221214856 1131243442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28340 13073 16 0 210118 0
vsize: 840536
[startup+370.296 s]
Raw data (loadavg): 1.02 0.97 0.77 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 35314 55 0 0 25 0 11 0 539415076 860708864 28522 4294967295 134512640 134569956 3221224400 3221214848 1131229473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28522 13073 16 0 210118 0
vsize: 840536
[startup+380.297 s]
Raw data (loadavg): 1.01 0.97 0.78 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 36279 55 0 0 25 0 11 0 539415076 860708864 28522 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28522 13073 16 0 210118 0
vsize: 840536
[startup+390.298 s]
Raw data (loadavg): 1.01 0.97 0.78 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 37256 55 0 0 25 0 11 0 539415076 860708864 28725 4294967295 134512640 134569956 3221224400 3221214848 1131229490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28725 13073 16 0 210118 0
vsize: 840536
[startup+400.299 s]
Raw data (loadavg): 1.01 0.97 0.78 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 38244 55 0 0 25 0 11 0 539415076 860708864 28741 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28741 13073 16 0 210118 0
vsize: 840536
[startup+410.298 s]
Raw data (loadavg): 1.01 0.97 0.78 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 39231 55 0 0 25 0 11 0 539415076 860708864 28741 4294967295 134512640 134569956 3221224400 3221214896 1131372834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28741 13073 16 0 210118 0
vsize: 840536
[startup+420.299 s]
Raw data (loadavg): 1.01 0.97 0.78 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 40219 55 0 0 25 0 11 0 539415076 860708864 28789 4294967295 134512640 134569956 3221224400 3221214760 1131301530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28789 13073 16 0 210118 0
vsize: 840536
[startup+430.3 s]
Raw data (loadavg): 1.00 0.97 0.79 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18085 0 1 0 41212 55 0 0 25 0 11 0 539415076 860708864 28800 4294967295 134512640 134569956 3221224400 3221214744 1131453179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28800 13073 16 0 210118 0
vsize: 840536
[startup+440.3 s]
Raw data (loadavg): 1.00 0.97 0.79 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 42205 55 0 0 25 0 11 0 539415076 860708864 28804 4294967295 134512640 134569956 3221224400 3221214584 1131546103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28804 13073 16 0 210118 0
vsize: 840536
[startup+450.302 s]
Raw data (loadavg): 1.00 0.97 0.79 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 43199 55 0 0 25 0 11 0 539415076 860708864 28829 4294967295 134512640 134569956 3221224400 3221214528 1131256394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28829 13073 16 0 210118 0
vsize: 840536
[startup+460.301 s]
Raw data (loadavg): 1.00 0.97 0.79 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 44190 55 0 0 25 0 11 0 539415076 860708864 28840 4294967295 134512640 134569956 3221224400 3221214672 1131622036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28840 13073 16 0 210118 0
vsize: 840536
[startup+470.301 s]
Raw data (loadavg): 1.00 0.97 0.79 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 45186 55 0 0 25 0 11 0 539415076 860708864 28841 4294967295 134512640 134569956 3221224400 3221214672 1131622024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28841 13073 16 0 210118 0
vsize: 840536
[startup+480.303 s]
Raw data (loadavg): 1.00 0.97 0.80 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 46183 55 0 0 25 0 11 0 539415076 860708864 28845 4294967295 134512640 134569956 3221224400 3221214848 1131255175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28845 13073 16 0 210118 0
vsize: 840536
[startup+490.303 s]
Raw data (loadavg): 1.00 0.97 0.80 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 47174 55 0 0 25 0 11 0 539415076 860708864 28863 4294967295 134512640 134569956 3221224400 3221214744 1131455186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28863 13073 16 0 210118 0
vsize: 840536
[startup+500.303 s]
Raw data (loadavg): 1.00 0.97 0.80 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 48169 56 0 0 25 0 11 0 539415076 860708864 28880 4294967295 134512640 134569956 3221224400 3221214640 1131601620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28880 13073 16 0 210118 0
vsize: 840536
[startup+510.309 s]
Raw data (loadavg): 1.00 0.97 0.80 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 49160 56 0 0 25 0 11 0 539415076 860708864 28894 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28894 13073 16 0 210118 0
vsize: 840536
[startup+520.31 s]
Raw data (loadavg): 1.00 0.97 0.80 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 50149 56 0 0 25 0 11 0 539415076 860708864 28899 4294967295 134512640 134569956 3221224400 3221214872 1131370737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28899 13073 16 0 210118 0
vsize: 840536
[startup+530.31 s]
Raw data (loadavg): 1.00 0.97 0.81 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 51135 56 0 0 25 0 11 0 539415076 860708864 28899 4294967295 134512640 134569956 3221224400 3221214744 1131452536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28899 13073 16 0 210118 0
vsize: 840536
[startup+540.311 s]
Raw data (loadavg): 1.00 0.97 0.81 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 52120 56 0 0 25 0 11 0 539415076 860708864 28909 4294967295 134512640 134569956 3221224400 3221214760 1131301621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28909 13073 16 0 210118 0
vsize: 840536
[startup+550.312 s]
Raw data (loadavg): 1.00 0.97 0.81 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 53104 56 0 0 25 0 11 0 539415076 860708864 28947 4294967295 134512640 134569956 3221224400 3221214892 1131243084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28947 13073 16 0 210118 0
vsize: 840536
[startup+560.311 s]
Raw data (loadavg): 1.00 0.97 0.81 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 54092 56 0 0 25 0 11 0 539415076 860708864 28957 4294967295 134512640 134569956 3221224400 3221214848 1131255170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28957 13073 16 0 210118 0
vsize: 840536
[startup+570.32 s]
Raw data (loadavg): 1.00 0.97 0.81 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 55080 56 0 0 25 0 11 0 539415076 860708864 28957 4294967295 134512640 134569956 3221224400 3221214892 1131243084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 28957 13073 16 0 210118 0
vsize: 840536
[startup+580.351 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 56076 56 0 0 25 0 11 0 539415076 860708864 29002 4294967295 134512640 134569956 3221224400 3221214624 1131497672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29002 13073 16 0 210118 0
vsize: 840536
[startup+590.352 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 57070 56 0 0 25 0 11 0 539415076 860708864 29014 4294967295 134512640 134569956 3221224400 3221214856 1131243432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29014 13073 16 0 210118 0
vsize: 840536
[startup+600.353 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 58052 57 0 0 25 0 11 0 539415076 860708864 29056 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29056 13073 16 0 210118 0
vsize: 840536
[startup+610.352 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 59024 57 0 0 25 0 11 0 539415076 860708864 29060 4294967295 134512640 134569956 3221224400 3221214808 1131370737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29060 13073 16 0 210118 0
vsize: 840536
[startup+620.353 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 59960 57 0 0 25 0 11 0 539415076 860708864 29149 4294967295 134512640 134569956 3221224400 3221214628 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29149 13073 16 0 210118 0
vsize: 840536
[startup+630.353 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 60875 57 0 0 25 0 11 0 539415076 860708864 29212 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29212 13073 16 0 210118 0
vsize: 840536
[startup+640.354 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 61813 57 0 0 25 0 11 0 539415076 860708864 29339 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29339 13073 16 0 210118 0
vsize: 840536
[startup+650.354 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 62742 57 0 0 25 0 11 0 539415076 860708864 29671 4294967295 134512640 134569956 3221224400 3221214688 1131407180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29671 13073 16 0 210118 0
vsize: 840536
[startup+660.354 s]
Raw data (loadavg): 1.00 0.97 0.82 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 63665 57 0 0 24 0 11 0 539415076 860708864 29981 4294967295 134512640 134569956 3221224400 3221214696 1131601620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 29981 13073 16 0 210118 0
vsize: 840536
[startup+670.355 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 64598 57 0 0 25 0 11 0 539415076 860708864 30061 4294967295 134512640 134569956 3221224400 3221214848 1131255207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 30061 13073 16 0 210118 0
vsize: 840536
[startup+680.354 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 65531 57 0 0 25 0 11 0 539415076 860708864 30248 4294967295 134512640 134569956 3221224400 3221214896 1131372251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 30248 13073 16 0 210118 0
vsize: 840536
[startup+690.355 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 66466 57 0 0 25 0 11 0 539415076 860708864 30436 4294967295 134512640 134569956 3221224400 3221214592 1131170344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 30436 13073 16 0 210118 0
vsize: 840536
[startup+700.362 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 67409 57 0 0 25 0 11 0 539415076 860708864 30666 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 30666 13073 16 0 210118 0
vsize: 840536
[startup+710.362 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 68369 57 0 0 25 0 11 0 539415076 860708864 30806 4294967295 134512640 134569956 3221224400 3221214760 1131301546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 30806 13073 16 0 210118 0
vsize: 840536
[startup+720.362 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 69290 57 0 0 25 0 11 0 539415076 860708864 31068 4294967295 134512640 134569956 3221224400 3221214728 1131482906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 31068 13073 16 0 210118 0
vsize: 840536
[startup+730.364 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 70209 57 0 0 24 0 11 0 539415076 860708864 31370 4294967295 134512640 134569956 3221224400 3221214628 1080204282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 31370 13073 16 0 210118 0
vsize: 840536
[startup+740.364 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 71135 57 0 0 25 0 11 0 539415076 860708864 31370 4294967295 134512640 134569956 3221224400 3221214864 1131609708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 31370 13073 16 0 210118 0
vsize: 840536
[startup+750.365 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 72068 57 0 0 25 0 11 0 539415076 860708864 31507 4294967295 134512640 134569956 3221224400 3221214688 1131406806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 31507 13073 16 0 210118 0
vsize: 840536
[startup+760.452 s]
Raw data (loadavg): 1.00 0.97 0.83 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 73028 57 0 0 25 0 11 0 539415076 860708864 31958 4294967295 134512640 134569956 3221224400 3221214696 1131297331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 31958 13073 16 0 210118 0
vsize: 840536
[startup+770.511 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 74006 57 0 0 25 0 11 0 539415076 860708864 32090 4294967295 134512640 134569956 3221224400 3221214624 1131495892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32090 13073 16 0 210118 0
vsize: 840536
[startup+780.512 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 74987 57 0 0 25 0 11 0 539415076 860708864 32110 4294967295 134512640 134569956 3221224400 3221214892 1131243084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32110 13073 16 0 210118 0
vsize: 840536
[startup+790.512 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 75963 57 0 0 25 0 11 0 539415076 860708864 32150 4294967295 134512640 134569956 3221224400 3221214816 1131491017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32150 13073 16 0 210118 0
vsize: 840536
[startup+800.513 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 76942 57 0 0 25 0 11 0 539415076 860708864 32190 4294967295 134512640 134569956 3221224400 3221214852 1131302301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32190 13073 16 0 210118 0
vsize: 840536
[startup+810.512 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 77922 57 0 0 25 0 11 0 539415076 860708864 32213 4294967295 134512640 134569956 3221224400 3221214856 1131243108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32213 13073 16 0 210118 0
vsize: 840536
[startup+820.522 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 78903 57 0 0 24 0 11 0 539415076 860708864 32239 4294967295 134512640 134569956 3221224400 3221214752 1131304493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32239 13073 16 0 210118 0
vsize: 840536
[startup+830.522 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 79892 57 0 0 25 0 11 0 539415076 860708864 32261 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32261 13073 16 0 210118 0
vsize: 840536
[startup+840.531 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 80890 58 0 0 25 0 11 0 539415076 860708864 32261 4294967295 134512640 134569956 3221224400 3221214752 1131304452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210134 32261 13073 16 0 210118 0
vsize: 840536
[startup+850.532 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 81887 58 0 0 25 0 11 0 539415076 860708864 32261 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32261 13073 16 0 210118 0
vsize: 840536
[startup+860.531 s]
Raw data (loadavg): 1.00 0.97 0.84 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 82884 58 0 0 25 0 11 0 539415076 860708864 32261 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32261 13073 16 0 210118 0
vsize: 840536
[startup+870.532 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 83880 58 0 0 25 0 11 0 539415076 860708864 32263 4294967295 134512640 134569956 3221224400 3221214760 1131301680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32263 13073 16 0 210118 0
vsize: 840536
[startup+880.532 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 84870 58 0 0 25 0 11 0 539415076 860708864 32272 4294967295 134512640 134569956 3221224400 3221214856 1131243432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32272 13073 16 0 210118 0
vsize: 840536
[startup+890.532 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 85862 58 0 0 25 0 11 0 539415076 860708864 32272 4294967295 134512640 134569956 3221224400 3221214856 1131243108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32272 13073 16 0 210118 0
vsize: 840536
[startup+900.54 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 86853 58 0 0 25 0 11 0 539415076 860708864 32272 4294967295 134512640 134569956 3221224400 3221214896 1131371973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32272 13073 16 0 210118 0
vsize: 840536
[startup+910.552 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 87850 58 0 0 25 0 11 0 539415076 860708864 32299 4294967295 134512640 134569956 3221224400 3221214896 1131371958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32299 13073 16 0 210118 0
vsize: 840536
[startup+920.552 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 88846 59 0 0 25 0 11 0 539415076 860708864 32311 4294967295 134512640 134569956 3221224400 3221214760 1131301369 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32311 13073 16 0 210118 0
vsize: 840536
[startup+930.552 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 89843 59 0 0 25 0 11 0 539415076 860708864 32311 4294967295 134512640 134569956 3221224400 3221214752 1131305030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32311 13073 16 0 210118 0
vsize: 840536
[startup+940.569 s]
Raw data (loadavg): 1.00 0.97 0.85 2/64 21944
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 90841 59 0 0 25 0 11 0 539415076 860708864 32312 4294967295 134512640 134569956 3221224400 3221214848 1131229490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32312 13073 16 0 210118 0
vsize: 840536
[startup+950.569 s]
Raw data (loadavg): 1.07 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 91834 60 0 0 25 0 11 0 539415076 860708864 32319 4294967295 134512640 134569956 3221224400 3221214848 1131255210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32319 13073 16 0 210118 0
vsize: 840536
[startup+960.571 s]
Raw data (loadavg): 1.06 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 92831 61 0 0 25 0 11 0 539415076 860708864 32319 4294967295 134512640 134569956 3221224400 3221214760 1131243084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32319 13073 16 0 210118 0
vsize: 840536
[startup+970.571 s]
Raw data (loadavg): 1.05 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 93828 61 0 0 25 0 11 0 539415076 860708864 32323 4294967295 134512640 134569956 3221224400 3221214848 1131255175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32323 13073 16 0 210118 0
vsize: 840536
[startup+980.571 s]
Raw data (loadavg): 1.04 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 94825 62 0 0 25 0 11 0 539415076 860708864 32329 4294967295 134512640 134569956 3221224400 3221214856 1131243432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32329 13073 16 0 210118 0
vsize: 840536
[startup+990.572 s]
Raw data (loadavg): 1.04 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 95821 62 0 0 25 0 11 0 539415076 860708864 32330 4294967295 134512640 134569956 3221224400 3221214848 1131255170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32330 13073 16 0 210118 0
vsize: 840536
[startup+1000.57 s]
Raw data (loadavg): 1.03 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 96818 63 0 0 25 0 11 0 539415076 860708864 32330 4294967295 134512640 134569956 3221224400 3221214760 1131301585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32330 13073 16 0 210118 0
vsize: 840536
[startup+1010.57 s]
Raw data (loadavg): 1.02 0.99 0.86 2/64 21997
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 97815 63 0 0 25 0 11 0 539415076 860708864 32330 4294967295 134512640 134569956 3221224400 3221214760 1131301409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32330 13073 16 0 210118 0
vsize: 840536
[startup+1020.57 s]
Raw data (loadavg): 1.02 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 98809 64 0 0 25 0 11 0 539415076 860708864 32330 4294967295 134512640 134569956 3221224400 3221214848 1131255210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32330 13073 16 0 210118 0
vsize: 840536
[startup+1030.57 s]
Raw data (loadavg): 1.02 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 99794 64 0 0 25 0 11 0 539415076 860708864 32339 4294967295 134512640 134569956 3221224400 3221214624 1131494141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32339 13073 16 0 210118 0
vsize: 840536
[startup+1040.57 s]
Raw data (loadavg): 1.01 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 100773 65 0 0 25 0 11 0 539415076 860708864 32339 4294967295 134512640 134569956 3221224400 3221214684 1080204290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32339 13073 16 0 210118 0
vsize: 840536
[startup+1050.57 s]
Raw data (loadavg): 1.01 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 101749 65 0 0 25 0 11 0 539415076 860708864 32350 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32350 13073 16 0 210118 0
vsize: 840536
[startup+1060.57 s]
Raw data (loadavg): 1.01 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 102721 65 0 0 25 0 11 0 539415076 860708864 32404 4294967295 134512640 134569956 3221224400 3221214744 1131452916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32404 13073 16 0 210118 0
vsize: 840536
[startup+1070.57 s]
Raw data (loadavg): 1.01 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 103701 66 0 0 25 0 11 0 539415076 860708864 32409 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32409 13073 16 0 210118 0
vsize: 840536
[startup+1080.58 s]
Raw data (loadavg): 1.01 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 104660 66 0 0 25 0 11 0 539415076 860708864 32433 4294967295 134512640 134569956 3221224400 3221214744 1131454136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32433 13073 16 0 210118 0
vsize: 840536
[startup+1090.58 s]
Raw data (loadavg): 1.00 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 105608 66 0 0 25 0 11 0 539415076 860708864 32459 4294967295 134512640 134569956 3221224400 3221214688 1131406733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32459 13073 16 0 210118 0
vsize: 840536
[startup+1100.58 s]
Raw data (loadavg): 1.00 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 106554 67 0 0 25 0 11 0 539415076 860708864 32542 4294967295 134512640 134569956 3221224400 3221214728 1131482892 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32542 13073 16 0 210118 0
vsize: 840536
[startup+1110.58 s]
Raw data (loadavg): 1.00 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 107526 67 0 0 25 0 11 0 539415076 860708864 32710 4294967295 134512640 134569956 3221224400 3221214624 1131497193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32710 13073 16 0 210118 0
vsize: 840536
[startup+1120.58 s]
Raw data (loadavg): 1.00 0.99 0.87 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 108501 67 0 0 25 0 11 0 539415076 860708864 32710 4294967295 134512640 134569956 3221224400 3221214600 1131443331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32710 13073 16 0 210118 0
vsize: 840536
[startup+1130.58 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 109451 68 0 0 25 0 11 0 539415076 860708864 32829 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32829 13073 16 0 210118 0
vsize: 840536
[startup+1140.58 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 110380 68 0 0 25 0 11 0 539415076 860708864 32941 4294967295 134512640 134569956 3221224400 3221214744 1131452536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32941 13073 16 0 210118 0
vsize: 840536
[startup+1150.58 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 111329 68 0 0 25 0 11 0 539415076 860708864 32990 4294967295 134512640 134569956 3221224400 3221214856 1131243376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 32990 13073 16 0 210118 0
vsize: 840536
[startup+1160.58 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 112291 68 0 0 25 0 11 0 539415076 860708864 33206 4294967295 134512640 134569956 3221224400 3221214736 1080203665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33206 13073 16 0 210118 0
vsize: 840536
[startup+1170.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 113258 69 0 0 25 0 11 0 539415076 860708864 33353 4294967295 134512640 134569956 3221224400 3221214744 1131453692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33353 13073 16 0 210118 0
vsize: 840536
[startup+1180.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 114218 69 0 0 25 0 11 0 539415076 860708864 33436 4294967295 134512640 134569956 3221224400 3221214896 1131371973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33436 13073 16 0 210118 0
vsize: 840536
[startup+1190.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 115192 70 0 0 25 0 11 0 539415076 860708864 33436 4294967295 134512640 134569956 3221224400 3221214728 1131482914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33436 13073 16 0 210118 0
vsize: 840536
[startup+1200.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 116154 70 0 0 25 0 11 0 539415076 860708864 33436 4294967295 134512640 134569956 3221224400 3221214728 1131482949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33436 13073 16 0 210118 0
vsize: 840536
[startup+1210.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 117119 70 0 0 25 0 11 0 539415076 860708864 33474 4294967295 134512640 134569956 3221224400 3221214760 1131302333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33474 13073 16 0 210118 0
vsize: 840536
[startup+1220.59 s]
Raw data (loadavg): 1.00 0.99 0.88 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 118065 70 0 0 25 0 11 0 539415076 860708864 33519 4294967295 134512640 134569956 3221224400 3221214848 1131400551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33519 13073 16 0 210118 0
vsize: 840536
[startup+1230.59 s]
Raw data (loadavg): 1.00 0.99 0.89 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 119024 70 0 0 24 0 11 0 539415076 860708864 33783 4294967295 134512640 134569956 3221224400 3221214856 1131243110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33783 13073 16 0 210118 0
vsize: 840536
[startup+1240.59 s]
Raw data (loadavg): 1.00 0.99 0.89 2/64 21999
Raw data (stat): 21934 (java) R 21933 27565 27564 0 -1 0 18086 0 1 0 119980 71 0 0 25 0 11 0 539415076 860708864 33824 4294967295 134512640 134569956 3221224400 3221214760 1131301585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210134 33824 13073 16 0 210118 0
vsize: 840536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.69 s]
Raw data (loadavg): 1.00 0.99 0.89 1/54 22001
Raw data (stat): 21934 (java) Z 21933 27565 27564 0 -1 1036 18086 19565 1 0 119983 77 5047 55 25 0 1 0 539415076 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): 1240.69
CPU time (s): 1251.64
CPU user time (s): 1250.31
CPU system time (s): 1.3278
CPU usage (%): 100.883
Max. virtual memory (Kb): 840824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####