PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc03.opb
MD5SUM	0a25291690224f6f7c8a4bead47a7b72
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1478528
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11386239
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.20881
Number of variables	180
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	159
Trace number 15657

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        783700 kB
Buffers:         28080 kB
Cached:         200628 kB
SwapCached:        316 kB
Active:          40740 kB
Inactive:       190276 kB
HighTotal:      131008 kB
HighFree:         2744 kB
LowTotal:       903652 kB
LowFree:        780956 kB
SwapTotal:     2097136 kB
SwapFree:      2096236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            14180 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 05:46:13 (client local time) WITH STATUS 143 IN 1237.11 SECONDS
stats: 16961 7 1237.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-misc03.opb
c reading problem 
c [nbvar=180]
c [nbconstr=255]
c time 1.219
c #vars     180
c #clauses  123
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=1776768
c Current CPU time (ms) : 43.616
c starts	: 3
c conflicts	: 302
c decisions	: 706
c propagations	: 5133
c inspects	: 68725
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 302
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1478528
c Current CPU time (ms) : 44.295
c starts	: 4
c conflicts	: 308
c decisions	: 737
c propagations	: 5397
c inspects	: 72937
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 308
c root simplifications	: 4
#### 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.79 0.95 0.93 2/54 20813
Raw data (stat): 20813 (runsolver) D 20812 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484318237 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 20823
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18071 0 1 0 647 38 0 0 25 0 11 0 484318237 862392320 20613 4294967295 134512640 134569956 3221224400 3221213920 1079654705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210545 20613 13073 16 0 210529 0
vsize: 842180
[startup+20.0017 s]
Raw data (loadavg): 1.27 1.05 0.96 2/64 20823
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18071 0 1 0 1598 39 0 0 25 0 11 0 484318237 864423936 21464 4294967295 134512640 134569956 3221224400 3221214688 1131391617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211041 21464 13073 16 0 211025 0
vsize: 844164
[startup+30.0026 s]
Raw data (loadavg): 1.23 1.04 0.96 2/64 20823
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 0 1 0 2559 39 0 0 25 0 11 0 484318237 864423936 21678 4294967295 134512640 134569956 3221224400 3221214808 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211041 21678 13073 16 0 211025 0
vsize: 844164
[startup+40.0029 s]
Raw data (loadavg): 1.19 1.04 0.96 2/64 20823
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 0 1 0 3508 39 0 0 25 0 11 0 484318237 864423936 21922 4294967295 134512640 134569956 3221224400 3221214600 1131235303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211041 21922 13073 16 0 211025 0
vsize: 844164
[startup+50.0055 s]
Raw data (loadavg): 1.16 1.04 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 4454 39 0 0 25 0 11 0 484318237 863375360 22271 4294967295 134512640 134569956 3221224400 3221214248 1131524820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210785 22271 13073 16 0 210769 0
vsize: 843140
[startup+60.0061 s]
Raw data (loadavg): 1.14 1.04 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 5403 40 0 0 24 0 11 0 484318237 863375360 22409 4294967295 134512640 134569956 3221224400 3221214528 1131222947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210785 22409 13073 16 0 210769 0
vsize: 843140
[startup+70.0065 s]
Raw data (loadavg): 1.11 1.04 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 6356 40 0 0 25 0 11 0 484318237 862326784 22304 4294967295 134512640 134569956 3221224400 3221214696 1131341285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210529 22304 13073 16 0 210513 0
vsize: 842116
[startup+80.0078 s]
Raw data (loadavg): 1.10 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 7307 40 0 0 25 0 11 0 484318237 862326784 22486 4294967295 134512640 134569956 3221224400 3221214760 1131202856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 22486 13073 16 0 210513 0
vsize: 842116
[startup+90.0085 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 8267 40 0 0 24 0 11 0 484318237 862326784 22643 4294967295 134512640 134569956 3221224400 3221214544 1131468682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 22643 13073 16 0 210513 0
vsize: 842116
[startup+100.009 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 9234 40 0 0 25 0 11 0 484318237 862326784 22762 4294967295 134512640 134569956 3221224400 3221214528 1131223273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 22762 13073 16 0 210513 0
vsize: 842116
[startup+110.01 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 10200 40 0 0 25 0 11 0 484318237 862326784 22907 4294967295 134512640 134569956 3221224400 3221214832 1131222297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 22907 13073 16 0 210513 0
vsize: 842116
[startup+120.011 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 11172 41 0 0 25 0 11 0 484318237 862326784 22998 4294967295 134512640 134569956 3221224400 3221214852 1131179244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 22998 13073 16 0 210513 0
vsize: 842116
[startup+130.012 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 12144 41 0 0 25 0 11 0 484318237 862326784 23094 4294967295 134512640 134569956 3221224400 3221214760 1131202844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23094 13073 16 0 210513 0
vsize: 842116
[startup+140.012 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 13116 41 0 0 25 0 11 0 484318237 862326784 23179 4294967295 134512640 134569956 3221224400 3221214680 1131223115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210529 23179 13073 16 0 210513 0
vsize: 842116
[startup+150.014 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 14086 41 0 0 25 0 11 0 484318237 862326784 23289 4294967295 134512640 134569956 3221224400 3221214808 1131179414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23289 13073 16 0 210513 0
vsize: 842116
[startup+160.014 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 15058 41 0 0 25 0 11 0 484318237 862326784 23377 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23377 13073 16 0 210513 0
vsize: 842116
[startup+170.014 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 16027 41 0 0 24 0 11 0 484318237 862326784 23497 4294967295 134512640 134569956 3221224400 3221214760 1131202914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23497 13073 16 0 210513 0
vsize: 842116
[startup+180.015 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 17002 41 0 0 25 0 11 0 484318237 862326784 23607 4294967295 134512640 134569956 3221224400 3221214828 1080204237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23607 13073 16 0 210513 0
vsize: 842116
[startup+190.016 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 17977 41 0 0 17 0 11 0 484318237 862326784 23678 4294967295 134512640 134569956 3221224400 3221214760 1131203493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23678 13073 16 0 210513 0
vsize: 842116
[startup+200.017 s]
Raw data (loadavg): 1.09 1.04 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 18950 41 0 0 25 0 11 0 484318237 862326784 23756 4294967295 134512640 134569956 3221224400 3221214852 1131202483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23756 13073 16 0 210513 0
vsize: 842116
[startup+210.018 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 19922 41 0 0 25 0 11 0 484318237 862326784 23833 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23833 13073 16 0 210513 0
vsize: 842116
[startup+220.018 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 20893 42 0 0 25 0 11 0 484318237 862326784 23950 4294967295 134512640 134569956 3221224400 3221214528 1131247697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 23950 13073 16 0 210513 0
vsize: 842116
[startup+230.018 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 21863 42 0 0 25 0 11 0 484318237 862326784 24046 4294967295 134512640 134569956 3221224400 3221214760 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24046 13073 16 0 210513 0
vsize: 842116
[startup+240.019 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 22834 42 0 0 25 0 11 0 484318237 862326784 24151 4294967295 134512640 134569956 3221224400 3221214852 1131179244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24151 13073 16 0 210513 0
vsize: 842116
[startup+250.02 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 23805 42 0 0 25 0 11 0 484318237 862326784 24263 4294967295 134512640 134569956 3221224400 3221214760 1131203292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24263 13073 16 0 210513 0
vsize: 842116
[startup+260.021 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 24780 42 0 0 25 0 11 0 484318237 862326784 24367 4294967295 134512640 134569956 3221224400 3221214656 1131203000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24367 13073 16 0 210513 0
vsize: 842116
[startup+270.021 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 25754 42 0 0 25 0 11 0 484318237 862326784 24487 4294967295 134512640 134569956 3221224400 3221214856 1131212062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24487 13073 16 0 210513 0
vsize: 842116
[startup+280.022 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 26727 43 0 0 25 0 11 0 484318237 862326784 24547 4294967295 134512640 134569956 3221224400 3221214760 1131203095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24547 13073 16 0 210513 0
vsize: 842116
[startup+290.022 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 27699 43 0 0 25 0 11 0 484318237 862326784 24634 4294967295 134512640 134569956 3221224400 3221214528 1131223233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24634 13073 16 0 210513 0
vsize: 842116
[startup+300.023 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 28675 43 0 0 25 0 11 0 484318237 862326784 24749 4294967295 134512640 134569956 3221224400 3221214808 1131179424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24749 13073 16 0 210513 0
vsize: 842116
[startup+310.024 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 29652 43 0 0 25 0 11 0 484318237 862326784 24814 4294967295 134512640 134569956 3221224400 3221214792 1131388591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24814 13073 16 0 210513 0
vsize: 842116
[startup+320.024 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 30628 43 0 0 25 0 11 0 484318237 862326784 24882 4294967295 134512640 134569956 3221224400 3221214808 1131179281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24882 13073 16 0 210513 0
vsize: 842116
[startup+330.025 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 31602 43 0 0 24 0 11 0 484318237 862326784 24954 4294967295 134512640 134569956 3221224400 3221214808 1131179452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 24954 13073 16 0 210513 0
vsize: 842116
[startup+340.026 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 32576 43 0 0 25 0 11 0 484318237 862326784 25023 4294967295 134512640 134569956 3221224400 3221214680 1131262275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25023 13073 16 0 210513 0
vsize: 842116
[startup+350.026 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 33547 43 0 0 25 0 11 0 484318237 862326784 25091 4294967295 134512640 134569956 3221224400 3221214888 1131349529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25091 13073 16 0 210513 0
vsize: 842116
[startup+360.027 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 34519 43 0 0 25 0 11 0 484318237 862326784 25193 4294967295 134512640 134569956 3221224400 3221214760 1131203004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25193 13073 16 0 210513 0
vsize: 842116
[startup+370.027 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 35491 43 0 0 24 0 11 0 484318237 862326784 25281 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25281 13073 16 0 210513 0
vsize: 842116
[startup+380.028 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 36467 43 0 0 25 0 11 0 484318237 862326784 25369 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25369 13073 16 0 210513 0
vsize: 842116
[startup+390.028 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 37441 43 0 0 24 0 11 0 484318237 862326784 25473 4294967295 134512640 134569956 3221224400 3221214760 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25473 13073 16 0 210513 0
vsize: 842116
[startup+400.03 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 38415 43 0 0 24 0 11 0 484318237 862326784 25549 4294967295 134512640 134569956 3221224400 3221214808 1131179470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25549 13073 16 0 210513 0
vsize: 842116
[startup+410.03 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 39388 44 0 0 25 0 11 0 484318237 862326784 25624 4294967295 134512640 134569956 3221224400 3221214808 1131179285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25624 13073 16 0 210513 0
vsize: 842116
[startup+420.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 40362 44 0 0 25 0 11 0 484318237 862326784 25714 4294967295 134512640 134569956 3221224400 3221214760 1131203589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25714 13073 16 0 210513 0
vsize: 842116
[startup+430.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 41336 44 0 0 20 0 11 0 484318237 862326784 25827 4294967295 134512640 134569956 3221224400 3221214640 1131199744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25827 13073 16 0 210513 0
vsize: 842116
[startup+440.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 42313 45 0 0 25 0 11 0 484318237 862326784 25927 4294967295 134512640 134569956 3221224400 3221214856 1131212132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 25927 13073 16 0 210513 0
vsize: 842116
[startup+450.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 43289 45 0 0 25 0 11 0 484318237 862326784 26014 4294967295 134512640 134569956 3221224400 3221214760 1131202586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26014 13073 16 0 210513 0
vsize: 842116
[startup+460.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 44268 45 0 0 25 0 11 0 484318237 862326784 26070 4294967295 134512640 134569956 3221224400 3221214760 1131203002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26070 13073 16 0 210513 0
vsize: 842116
[startup+470.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 45243 45 0 0 24 0 11 0 484318237 862326784 26150 4294967295 134512640 134569956 3221224400 3221214760 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26150 13073 16 0 210513 0
vsize: 842116
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 46216 45 0 0 24 0 11 0 484318237 862326784 26251 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26251 13073 16 0 210513 0
vsize: 842116
[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 47194 45 0 0 25 0 11 0 484318237 862326784 26309 4294967295 134512640 134569956 3221224400 3221214888 1131349529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26309 13073 16 0 210513 0
vsize: 842116
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 48170 45 0 0 25 0 11 0 484318237 862326784 26389 4294967295 134512640 134569956 3221224400 3221214760 1131203742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26389 13073 16 0 210513 0
vsize: 842116
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 49145 45 0 0 25 0 11 0 484318237 862326784 26483 4294967295 134512640 134569956 3221224400 3221214760 1131202964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26483 13073 16 0 210513 0
vsize: 842116
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 50120 46 0 0 25 0 11 0 484318237 862326784 26550 4294967295 134512640 134569956 3221224400 3221214800 1131376066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26550 13073 16 0 210513 0
vsize: 842116
[startup+530.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 51094 46 0 0 25 0 11 0 484318237 862326784 26646 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26646 13073 16 0 210513 0
vsize: 842116
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 52071 46 0 0 25 0 11 0 484318237 862326784 26775 4294967295 134512640 134569956 3221224400 3221214800 1131376066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26775 13073 16 0 210513 0
vsize: 842116
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 53049 46 0 0 25 0 11 0 484318237 862326784 26823 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26823 13073 16 0 210513 0
vsize: 842116
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 54024 46 0 0 25 0 11 0 484318237 862326784 26918 4294967295 134512640 134569956 3221224400 3221214760 1131202971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26918 13073 16 0 210513 0
vsize: 842116
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 55000 46 0 0 25 0 11 0 484318237 862326784 26990 4294967295 134512640 134569956 3221224400 3221214760 1131203518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 26990 13073 16 0 210513 0
vsize: 842116
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 55976 46 0 0 25 0 11 0 484318237 862326784 27074 4294967295 134512640 134569956 3221224400 3221214760 1131202681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27074 13073 16 0 210513 0
vsize: 842116
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 56954 46 0 0 25 0 11 0 484318237 862326784 27153 4294967295 134512640 134569956 3221224400 3221214760 1131202533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27153 13073 16 0 210513 0
vsize: 842116
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 57930 46 0 0 25 0 11 0 484318237 862326784 27211 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27211 13073 16 0 210513 0
vsize: 842116
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 58909 47 0 0 25 0 11 0 484318237 862326784 27274 4294967295 134512640 134569956 3221224400 3221214760 1131203424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27274 13073 16 0 210513 0
vsize: 842116
[startup+620.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 59886 47 0 0 25 0 11 0 484318237 862326784 27355 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27355 13073 16 0 210513 0
vsize: 842116
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 60865 47 0 0 25 0 11 0 484318237 862326784 27401 4294967295 134512640 134569956 3221224400 3221214460 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27401 13073 16 0 210513 0
vsize: 842116
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 61841 47 0 0 25 0 11 0 484318237 862326784 27470 4294967295 134512640 134569956 3221224400 3221214760 1131202691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27470 13073 16 0 210513 0
vsize: 842116
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 62814 47 0 0 25 0 11 0 484318237 862326784 27531 4294967295 134512640 134569956 3221224400 3221214760 1131203152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27531 13073 16 0 210513 0
vsize: 842116
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 63791 47 0 0 25 0 11 0 484318237 862326784 27583 4294967295 134512640 134569956 3221224400 3221214760 1131202894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27583 13073 16 0 210513 0
vsize: 842116
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 64766 48 0 0 25 0 11 0 484318237 862326784 27682 4294967295 134512640 134569956 3221224400 3221214760 1131202586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27682 13073 16 0 210513 0
vsize: 842116
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 65743 48 0 0 25 0 11 0 484318237 862326784 27760 4294967295 134512640 134569956 3221224400 3221214528 1131247088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27760 13073 16 0 210513 0
vsize: 842116
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 66721 48 0 0 25 0 11 0 484318237 862326784 27828 4294967295 134512640 134569956 3221224400 3221214760 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27828 13073 16 0 210513 0
vsize: 842116
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 67697 48 0 0 25 0 11 0 484318237 862326784 27913 4294967295 134512640 134569956 3221224400 3221214480 1131535660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27913 13073 16 0 210513 0
vsize: 842116
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 68674 48 0 0 25 0 11 0 484318237 862326784 27996 4294967295 134512640 134569956 3221224400 3221214760 1131202917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 27996 13073 16 0 210513 0
vsize: 842116
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 69653 48 0 0 25 0 11 0 484318237 862326784 28044 4294967295 134512640 134569956 3221224400 3221214760 1131202890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28044 13073 16 0 210513 0
vsize: 842116
[startup+730.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 70633 48 0 0 25 0 11 0 484318237 862326784 28087 4294967295 134512640 134569956 3221224400 3221214808 1131179264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28087 13073 16 0 210513 0
vsize: 842116
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 71606 49 0 0 25 0 11 0 484318237 862326784 28156 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210529 28156 13073 16 0 210513 0
vsize: 842116
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 72583 49 0 0 25 0 11 0 484318237 862326784 28218 4294967295 134512640 134569956 3221224400 3221214760 1131203129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28218 13073 16 0 210513 0
vsize: 842116
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 73558 49 0 0 25 0 11 0 484318237 862326784 28288 4294967295 134512640 134569956 3221224400 3221214560 1131355072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28288 13073 16 0 210513 0
vsize: 842116
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 74542 49 0 0 25 0 11 0 484318237 862326784 28344 4294967295 134512640 134569956 3221224400 3221214560 1131356681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28344 13073 16 0 210513 0
vsize: 842116
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 75524 49 0 0 25 0 11 0 484318237 862326784 28398 4294967295 134512640 134569956 3221224400 3221214760 1131202981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28398 13073 16 0 210513 0
vsize: 842116
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 76503 49 0 0 25 0 11 0 484318237 862326784 28448 4294967295 134512640 134569956 3221224400 3221214760 1131203742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28448 13073 16 0 210513 0
vsize: 842116
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 77483 49 0 0 25 0 11 0 484318237 862326784 28501 4294967295 134512640 134569956 3221224400 3221214760 1131202526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28501 13073 16 0 210513 0
vsize: 842116
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 78461 50 0 0 25 0 11 0 484318237 862326784 28549 4294967295 134512640 134569956 3221224400 3221214532 1079721552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28549 13073 16 0 210513 0
vsize: 842116
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 79436 50 0 0 24 0 11 0 484318237 862326784 28625 4294967295 134512640 134569956 3221224400 3221214852 1131179244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28625 13073 16 0 210513 0
vsize: 842116
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 80414 50 0 0 25 0 11 0 484318237 862326784 28698 4294967295 134512640 134569956 3221224400 3221214852 1131179244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28698 13073 16 0 210513 0
vsize: 842116
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 81391 50 0 0 25 0 11 0 484318237 862326784 28751 4294967295 134512640 134569956 3221224400 3221214760 1131203152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28751 13073 16 0 210513 0
vsize: 842116
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 82368 50 0 0 25 0 11 0 484318237 862326784 28811 4294967295 134512640 134569956 3221224400 3221214760 1131202572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28811 13073 16 0 210513 0
vsize: 842116
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 83345 50 0 0 25 0 11 0 484318237 862326784 28874 4294967295 134512640 134569956 3221224400 3221214712 1131334202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28874 13073 16 0 210513 0
vsize: 842116
[startup+870.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 84320 50 0 0 25 0 11 0 484318237 862326784 28955 4294967295 134512640 134569956 3221224400 3221214680 1131289231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 28955 13073 16 0 210513 0
vsize: 842116
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 85299 50 0 0 25 0 11 0 484318237 862326784 29007 4294967295 134512640 134569956 3221224400 3221214760 1131203057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29007 13073 16 0 210513 0
vsize: 842116
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) S 20812 25285 25284 0 -1 0 18072 3 1 0 86277 50 0 0 25 0 11 0 484318237 862326784 29040 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29040 13073 16 0 210513 0
vsize: 842116
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 87250 50 0 0 24 0 11 0 484318237 862326784 29146 4294967295 134512640 134569956 3221224400 3221214832 1131222321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29146 13073 16 0 210513 0
vsize: 842116
[startup+910.063 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 88227 50 0 0 25 0 11 0 484318237 862326784 29194 4294967295 134512640 134569956 3221224400 3221214888 1131349529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29194 13073 16 0 210513 0
vsize: 842116
[startup+920.063 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 89200 50 0 0 25 0 11 0 484318237 862326784 29258 4294967295 134512640 134569956 3221224400 3221214104 1131524941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29258 13073 16 0 210513 0
vsize: 842116
[startup+930.063 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 90174 50 0 0 24 0 11 0 484318237 862326784 29341 4294967295 134512640 134569956 3221224400 3221214760 1131202691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29341 13073 16 0 210513 0
vsize: 842116
[startup+940.063 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 91147 51 0 0 25 0 11 0 484318237 862326784 29404 4294967295 134512640 134569956 3221224400 3221214760 1131203006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29404 13073 16 0 210513 0
vsize: 842116
[startup+950.064 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 92117 51 0 0 25 0 11 0 484318237 862326784 29491 4294967295 134512640 134569956 3221224400 3221214368 1130887844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29491 13073 16 0 210513 0
vsize: 842116
[startup+960.064 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 93091 51 0 0 25 0 11 0 484318237 862326784 29570 4294967295 134512640 134569956 3221224400 3221214552 1131233436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29570 13073 16 0 210513 0
vsize: 842116
[startup+970.067 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) S 20812 25285 25284 0 -1 0 18072 3 1 0 94065 51 0 0 25 0 11 0 484318237 862326784 29679 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29679 13073 16 0 210513 0
vsize: 842116
[startup+980.069 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 95036 51 0 0 25 0 11 0 484318237 862326784 29776 4294967295 134512640 134569956 3221224400 3221214528 1131138265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29776 13073 16 0 210513 0
vsize: 842116
[startup+990.069 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 96012 51 0 0 25 0 11 0 484318237 862326784 29860 4294967295 134512640 134569956 3221224400 3221214760 1131202586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29860 13073 16 0 210513 0
vsize: 842116
[startup+1000.07 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) S 20812 25285 25284 0 -1 0 18072 3 1 0 96987 51 0 0 25 0 11 0 484318237 862326784 29945 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 29945 13073 16 0 210513 0
vsize: 842116
[startup+1010.07 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 97960 51 0 0 25 0 11 0 484318237 862326784 30005 4294967295 134512640 134569956 3221224400 3221214888 1131349529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30005 13073 16 0 210513 0
vsize: 842116
[startup+1020.07 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 98933 51 0 0 25 0 11 0 484318237 862326784 30127 4294967295 134512640 134569956 3221224400 3221214560 1131354657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30127 13073 16 0 210513 0
vsize: 842116
[startup+1030.07 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 99907 51 0 0 24 0 11 0 484318237 862326784 30199 4294967295 134512640 134569956 3221224400 3221214884 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30199 13073 16 0 210513 0
vsize: 842116
[startup+1040.07 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 100885 52 0 0 25 0 11 0 484318237 862326784 30281 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30281 13073 16 0 210513 0
vsize: 842116
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 101863 52 0 0 25 0 11 0 484318237 862326784 30356 4294967295 134512640 134569956 3221224400 3221214512 1131538728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30356 13073 16 0 210513 0
vsize: 842116
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 102838 52 0 0 25 0 11 0 484318237 862326784 30423 4294967295 134512640 134569956 3221224400 3221214760 1131202508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30423 13073 16 0 210513 0
vsize: 842116
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 103812 52 0 0 25 0 11 0 484318237 862326784 30487 4294967295 134512640 134569956 3221224400 3221214760 1131202493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30487 13073 16 0 210513 0
vsize: 842116
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 104786 52 0 0 25 0 11 0 484318237 862326784 30556 4294967295 134512640 134569956 3221224400 3221214888 1131349529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30556 13073 16 0 210513 0
vsize: 842116
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 105762 52 0 0 25 0 11 0 484318237 862326784 30650 4294967295 134512640 134569956 3221224400 3221214808 1131179424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30650 13073 16 0 210513 0
vsize: 842116
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 106737 52 0 0 25 0 11 0 484318237 862326784 30726 4294967295 134512640 134569956 3221224400 3221214744 1131223571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30726 13073 16 0 210513 0
vsize: 842116
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 107714 52 0 0 25 0 11 0 484318237 862326784 30798 4294967295 134512640 134569956 3221224400 3221214760 1131203079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30798 13073 16 0 210513 0
vsize: 842116
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 108697 52 0 0 25 0 11 0 484318237 862326784 30841 4294967295 134512640 134569956 3221224400 3221214760 1131202627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30841 13073 16 0 210513 0
vsize: 842116
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 109676 52 0 0 25 0 11 0 484318237 862326784 30885 4294967295 134512640 134569956 3221224400 3221214376 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30885 13073 16 0 210513 0
vsize: 842116
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 110656 52 0 0 25 0 11 0 484318237 862326784 30942 4294967295 134512640 134569956 3221224400 3221214760 1131202862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30942 13073 16 0 210513 0
vsize: 842116
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 111634 52 0 0 25 0 11 0 484318237 862326784 30991 4294967295 134512640 134569956 3221224400 3221214552 1131233436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 30991 13073 16 0 210513 0
vsize: 842116
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 112610 53 0 0 25 0 11 0 484318237 862326784 31064 4294967295 134512640 134569956 3221224400 3221214808 1131179281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31064 13073 16 0 210513 0
vsize: 842116
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 113584 53 0 0 25 0 11 0 484318237 862326784 31130 4294967295 134512640 134569956 3221224400 3221214760 1131203055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31130 13073 16 0 210513 0
vsize: 842116
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 114559 53 0 0 24 0 11 0 484318237 862326784 31170 4294967295 134512640 134569956 3221224400 3221214744 1131332153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31170 13073 16 0 210513 0
vsize: 842116
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 115536 53 0 0 25 0 11 0 484318237 862326784 31236 4294967295 134512640 134569956 3221224400 3221214808 1131179261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210529 31236 13073 16 0 210513 0
vsize: 842116
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 116510 53 0 0 25 0 11 0 484318237 862326784 31309 4294967295 134512640 134569956 3221224400 3221214808 1131179269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31309 13073 16 0 210513 0
vsize: 842116
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 117481 53 0 0 24 0 11 0 484318237 862326784 31387 4294967295 134512640 134569956 3221224400 3221214760 1131202860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31387 13073 16 0 210513 0
vsize: 842116
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 118461 53 0 0 25 0 11 0 484318237 862326784 31461 4294967295 134512640 134569956 3221224400 3221214808 1131179285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31461 13073 16 0 210513 0
vsize: 842116
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 119437 53 0 0 25 0 11 0 484318237 862326784 31555 4294967295 134512640 134569956 3221224400 3221214760 1131203452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31555 13073 16 0 210513 0
vsize: 842116
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 20825
Raw data (stat): 20813 (java) R 20812 25285 25284 0 -1 0 18072 3 1 0 120414 53 0 0 25 0 11 0 484318237 862326784 31604 4294967295 134512640 134569956 3221224400 3221214512 1131538657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210529 31604 13073 16 0 210513 0
vsize: 842116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 20827
Raw data (stat): 20813 (java) Z 20812 25285 25284 0 -1 1036 18072 11238 1 0 120418 53 3203 35 25 0 1 0 484318237 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): 1240.19
CPU time (s): 1237.11
CPU user time (s): 1236.22
CPU system time (s): 0.892864
CPU usage (%): 99.7517
Max. virtual memory (Kb): 844164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####