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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb
MD5SUM	07f65f29ee2937de43752221c6dbdf88
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	516561567744
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	3615347139525
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.349946
Number of variables	7646
Total number of constraints	362
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	362
Minimum length of a constraint	10
Maximum length of a constraint	540
Trace number 19578

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        819524 kB
Buffers:         18516 kB
Cached:         169408 kB
SwapCached:         28 kB
Active:          73668 kB
Inactive:       117064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819272 kB
SwapTotal:     2097892 kB
SwapFree:      2097796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            18720 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:42:16 (client local time) WITH STATUS 143 IN 1227.11 SECONDS
stats: 16493 7 1227.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-stair.opb
c reading problem 
c [nbvar=7646]
c [nbconstr=362]
c time 22.594
c #vars     7646
c #clauses  571
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.62 0.86 0.88 2/54 25454
Raw data (stat): 25454 (runsolver) R 25453 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547558224 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.68 0.87 0.88 2/63 25463
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18019 0 1 0 826 41 0 0 25 0 10 0 547558224 856498176 20716 4294967295 134512640 134569956 3221224400 3221214384 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209106 20716 13073 16 0 209090 0
vsize: 836424
[startup+20.0007 s]
Raw data (loadavg): 0.72 0.87 0.88 3/63 25463
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18019 0 1 0 1684 41 0 0 25 0 10 0 547558224 854749184 21496 4294967295 134512640 134569956 3221224400 3221214384 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208679 21496 13073 16 0 208663 0
vsize: 834716
[startup+30.0019 s]
Raw data (loadavg): 0.93 0.91 0.89 3/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18092 0 1 0 2445 42 0 0 25 0 11 0 547558224 860577792 23225 4294967295 134512640 134569956 3221224400 3221214792 1131348010 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210102 23225 13073 16 0 210086 0
vsize: 840408
[startup+40.0027 s]
Raw data (loadavg): 0.94 0.91 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18092 0 1 0 3399 42 0 0 25 0 11 0 547558224 860250112 23327 4294967295 134512640 134569956 3221224400 3221214832 1131338080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210022 23327 13073 16 0 210006 0
vsize: 840088
[startup+50.0029 s]
Raw data (loadavg): 0.95 0.91 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 4371 43 0 0 25 0 11 0 547558224 859041792 23353 4294967295 134512640 134569956 3221224400 3221214752 1131596686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 23353 13073 16 0 209711 0
vsize: 838908
[startup+60.0033 s]
Raw data (loadavg): 0.95 0.91 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 5346 43 0 0 25 0 11 0 547558224 859041792 23359 4294967295 134512640 134569956 3221224400 3221214456 1131384515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23359 13073 16 0 209711 0
vsize: 838908
[startup+70.0063 s]
Raw data (loadavg): 0.96 0.92 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 6319 43 0 0 25 0 11 0 547558224 859041792 23359 4294967295 134512640 134569956 3221224400 3221214752 1131596660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23359 13073 16 0 209711 0
vsize: 838908
[startup+80.0074 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 7293 43 0 0 25 0 11 0 547558224 859041792 23359 4294967295 134512640 134569956 3221224400 3221214408 1079721490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23359 13073 16 0 209711 0
vsize: 838908
[startup+90.0076 s]
Raw data (loadavg): 0.97 0.92 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 8265 43 0 0 25 0 11 0 547558224 859041792 23414 4294967295 134512640 134569956 3221224400 3221214280 1131608272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23414 13073 16 0 209711 0
vsize: 838908
[startup+100.009 s]
Raw data (loadavg): 0.98 0.92 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 9236 44 0 0 25 0 11 0 547558224 859041792 23501 4294967295 134512640 134569956 3221224400 3221214648 1131496897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23501 13073 16 0 209711 0
vsize: 838908
[startup+110.009 s]
Raw data (loadavg): 0.98 0.92 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 10209 44 0 0 25 0 11 0 547558224 859041792 23523 4294967295 134512640 134569956 3221224400 3221214752 1131596660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 23523 13073 16 0 209711 0
vsize: 838908
[startup+120.009 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 11182 44 0 0 25 0 11 0 547558224 859041792 23641 4294967295 134512640 134569956 3221224400 3221214752 1131596660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23641 13073 16 0 209711 0
vsize: 838908
[startup+130.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 12158 44 0 0 25 0 11 0 547558224 859041792 23641 4294967295 134512640 134569956 3221224400 3221214256 1131600464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23641 13073 16 0 209711 0
vsize: 838908
[startup+140.009 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18093 0 1 0 13134 45 0 0 25 0 11 0 547558224 859041792 23914 4294967295 134512640 134569956 3221224400 3221214752 1131596692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23914 13073 16 0 209711 0
vsize: 838908
[startup+150.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 14121 45 0 0 25 0 11 0 547558224 859041792 23994 4294967295 134512640 134569956 3221224400 3221214560 1131246063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 23994 13073 16 0 209711 0
vsize: 838908
[startup+160.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 15095 45 0 0 25 0 11 0 547558224 859041792 24102 4294967295 134512640 134569956 3221224400 3221214752 1131596652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24102 13073 16 0 209711 0
vsize: 838908
[startup+170.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 16077 45 0 0 25 0 11 0 547558224 859041792 24164 4294967295 134512640 134569956 3221224400 3221214660 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24164 13073 16 0 209711 0
vsize: 838908
[startup+180.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 17059 45 0 0 25 0 11 0 547558224 859041792 24202 4294967295 134512640 134569956 3221224400 3221214752 1131596703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24202 13073 16 0 209711 0
vsize: 838908
[startup+190.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 18041 46 0 0 24 0 11 0 547558224 859041792 24249 4294967295 134512640 134569956 3221224400 3221214752 1131596669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24249 13073 16 0 209711 0
vsize: 838908
[startup+200.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 19028 46 0 0 25 0 11 0 547558224 859041792 24279 4294967295 134512640 134569956 3221224400 3221214468 1078128090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 24279 13073 16 0 209711 0
vsize: 838908
[startup+210.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 20009 46 0 0 25 0 11 0 547558224 859041792 24345 4294967295 134512640 134569956 3221224400 3221214752 1131596640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24345 13073 16 0 209711 0
vsize: 838908
[startup+220.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 20995 46 0 0 25 0 11 0 547558224 859041792 24383 4294967295 134512640 134569956 3221224400 3221213928 1131605836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24383 13073 16 0 209711 0
vsize: 838908
[startup+230.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 21981 46 0 0 25 0 11 0 547558224 859041792 24416 4294967295 134512640 134569956 3221224400 3221214424 1131600234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24416 13073 16 0 209711 0
vsize: 838908
[startup+240.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 22960 47 0 0 25 0 11 0 547558224 859041792 24474 4294967295 134512640 134569956 3221224400 3221214832 1131338064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24474 13073 16 0 209711 0
vsize: 838908
[startup+250.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 23945 47 0 0 25 0 11 0 547558224 859041792 24546 4294967295 134512640 134569956 3221224400 3221214848 1131190417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 24546 13073 16 0 209711 0
vsize: 838908
[startup+260.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 24924 47 0 0 24 0 11 0 547558224 859041792 24620 4294967295 134512640 134569956 3221224400 3221214792 1131347369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24620 13073 16 0 209711 0
vsize: 838908
[startup+270.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 25910 47 0 0 25 0 11 0 547558224 859041792 24671 4294967295 134512640 134569956 3221224400 3221214408 1131454627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24671 13073 16 0 209711 0
vsize: 838908
[startup+280.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 26890 47 0 0 25 0 11 0 547558224 859041792 24721 4294967295 134512640 134569956 3221224400 3221214396 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24721 13073 16 0 209711 0
vsize: 838908
[startup+290.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 27868 48 0 0 25 0 11 0 547558224 859041792 24754 4294967295 134512640 134569956 3221224400 3221214184 1131605905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 24754 13073 16 0 209711 0
vsize: 838908
[startup+300.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 28846 48 0 0 25 0 11 0 547558224 859041792 24793 4294967295 134512640 134569956 3221224400 3221214592 1131600384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24793 13073 16 0 209711 0
vsize: 838908
[startup+310.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 29824 48 0 0 25 0 11 0 547558224 859041792 24864 4294967295 134512640 134569956 3221224400 3221214848 1131190400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24864 13073 16 0 209711 0
vsize: 838908
[startup+320.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 30809 48 0 0 25 0 11 0 547558224 859041792 24907 4294967295 134512640 134569956 3221224400 3221214808 1131283094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 24907 13073 16 0 209711 0
vsize: 838908
[startup+330.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 31789 48 0 0 25 0 11 0 547558224 859041792 25027 4294967295 134512640 134569956 3221224400 3221214712 1131283300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25027 13073 16 0 209711 0
vsize: 838908
[startup+340.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 32771 48 0 0 25 0 11 0 547558224 859041792 25108 4294967295 134512640 134569956 3221224400 3221214488 1131429622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25108 13073 16 0 209711 0
vsize: 838908
[startup+350.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 33753 49 0 0 25 0 11 0 547558224 859041792 25175 4294967295 134512640 134569956 3221224400 3221214616 1131428612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25175 13073 16 0 209711 0
vsize: 838908
[startup+360.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 34737 49 0 0 25 0 11 0 547558224 859041792 25245 4294967295 134512640 134569956 3221224400 3221214440 1131496063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25245 13073 16 0 209711 0
vsize: 838908
[startup+370.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 35721 49 0 0 25 0 11 0 547558224 859041792 25315 4294967295 134512640 134569956 3221224400 3221213960 1131605836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25315 13073 16 0 209711 0
vsize: 838908
[startup+380.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 36705 49 0 0 25 0 11 0 547558224 859041792 25383 4294967295 134512640 134569956 3221224400 3221214616 1131467428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25383 13073 16 0 209711 0
vsize: 838908
[startup+390.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 37689 49 0 0 25 0 11 0 547558224 859041792 25440 4294967295 134512640 134569956 3221224400 3221214808 1131283013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25440 13073 16 0 209711 0
vsize: 838908
[startup+400.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 38678 49 0 0 25 0 11 0 547558224 859041792 25490 4294967295 134512640 134569956 3221224400 3221214480 1131600234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25490 13073 16 0 209711 0
vsize: 838908
[startup+410.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 39667 50 0 0 25 0 11 0 547558224 859041792 25541 4294967295 134512640 134569956 3221224400 3221214728 1131596703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25541 13073 16 0 209711 0
vsize: 838908
[startup+420.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 40649 50 0 0 25 0 11 0 547558224 859041792 25592 4294967295 134512640 134569956 3221224400 3221214432 1131600456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25592 13073 16 0 209711 0
vsize: 838908
[startup+430.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 41636 50 0 0 25 0 11 0 547558224 859041792 25626 4294967295 134512640 134569956 3221224400 3221214288 1080217008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25626 13073 16 0 209711 0
vsize: 838908
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 42618 50 0 0 25 0 11 0 547558224 859041792 25677 4294967295 134512640 134569956 3221224400 3221214896 1131318166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25677 13073 16 0 209711 0
vsize: 838908
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 43600 50 0 0 25 0 11 0 547558224 859041792 25723 4294967295 134512640 134569956 3221224400 3221214324 1131600457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25723 13073 16 0 209711 0
vsize: 838908
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 44587 50 0 0 25 0 11 0 547558224 859041792 25750 4294967295 134512640 134569956 3221224400 3221214460 1131373551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25750 13073 16 0 209711 0
vsize: 838908
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 45573 51 0 0 25 0 11 0 547558224 859041792 25780 4294967295 134512640 134569956 3221224400 3221214560 1131605898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25780 13073 16 0 209711 0
vsize: 838908
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 46554 51 0 0 25 0 11 0 547558224 859041792 25833 4294967295 134512640 134569956 3221224400 3221214388 1131605848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25833 13073 16 0 209711 0
vsize: 838908
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 47541 51 0 0 25 0 11 0 547558224 859041792 25865 4294967295 134512640 134569956 3221224400 3221214304 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 25865 13073 16 0 209711 0
vsize: 838908
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 48522 51 0 0 25 0 11 0 547558224 859041792 25919 4294967295 134512640 134569956 3221224400 3221214544 1131498216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25919 13073 16 0 209711 0
vsize: 838908
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 49504 52 0 0 25 0 11 0 547558224 859041792 25970 4294967295 134512640 134569956 3221224400 3221214808 1131338350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 25970 13073 16 0 209711 0
vsize: 838908
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 50487 52 0 0 25 0 11 0 547558224 859041792 26030 4294967295 134512640 134569956 3221224400 3221214224 1080217199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26030 13073 16 0 209711 0
vsize: 838908
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 51471 52 0 0 25 0 11 0 547558224 859041792 26181 4294967295 134512640 134569956 3221224400 3221214808 1131338502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26181 13073 16 0 209711 0
vsize: 838908
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 52458 52 0 0 25 0 11 0 547558224 859041792 26247 4294967295 134512640 134569956 3221224400 3221214896 1131317146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26247 13073 16 0 209711 0
vsize: 838908
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 53446 53 0 0 25 0 11 0 547558224 859041792 26288 4294967295 134512640 134569956 3221224400 3221213968 1085679410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26288 13073 16 0 209711 0
vsize: 838908
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 54438 53 0 0 25 0 11 0 547558224 859041792 26311 4294967295 134512640 134569956 3221224400 3221214720 1131264186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26311 13073 16 0 209711 0
vsize: 838908
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 55429 53 0 0 25 0 11 0 547558224 859041792 26336 4294967295 134512640 134569956 3221224400 3221214136 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26336 13073 16 0 209711 0
vsize: 838908
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 56417 54 0 0 25 0 11 0 547558224 859041792 26393 4294967295 134512640 134569956 3221224400 3221214896 1131317194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26393 13073 16 0 209711 0
vsize: 838908
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 57408 54 0 0 25 0 11 0 547558224 859041792 26430 4294967295 134512640 134569956 3221224400 3221214908 1131619948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26430 13073 16 0 209711 0
vsize: 838908
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 58396 54 0 0 25 0 11 0 547558224 859041792 26467 4294967295 134512640 134569956 3221224400 3221214272 1131600243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26467 13073 16 0 209711 0
vsize: 838908
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 59388 55 0 0 25 0 11 0 547558224 859041792 26500 4294967295 134512640 134569956 3221224400 3221213360 1131605916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26500 13073 16 0 209711 0
vsize: 838908
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 60375 55 0 0 25 0 11 0 547558224 859041792 26527 4294967295 134512640 134569956 3221224400 3221214464 1131430103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26527 13073 16 0 209711 0
vsize: 838908
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 61363 55 0 0 25 0 11 0 547558224 859041792 26547 4294967295 134512640 134569956 3221224400 3221214808 1131283310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26547 13073 16 0 209711 0
vsize: 838908
[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 62350 56 0 0 25 0 11 0 547558224 859041792 26570 4294967295 134512640 134569956 3221224400 3221214848 1131190400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26570 13073 16 0 209711 0
vsize: 838908
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 63341 56 0 0 25 0 11 0 547558224 859041792 26595 4294967295 134512640 134569956 3221224400 3221214728 1131596671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26595 13073 16 0 209711 0
vsize: 838908
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 64331 56 0 0 25 0 11 0 547558224 859041792 26611 4294967295 134512640 134569956 3221224400 3221214496 1131600458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26611 13073 16 0 209711 0
vsize: 838908
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 65315 56 0 0 25 0 11 0 547558224 859041792 26636 4294967295 134512640 134569956 3221224400 3221214288 1080217023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26636 13073 16 0 209711 0
vsize: 838908
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 66304 57 0 0 25 0 11 0 547558224 859041792 26650 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26650 13073 16 0 209711 0
vsize: 838908
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 67289 57 0 0 25 0 11 0 547558224 859041792 26706 4294967295 134512640 134569956 3221224400 3221214216 1131600288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26706 13073 16 0 209711 0
vsize: 838908
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 68278 57 0 0 25 0 11 0 547558224 859041792 26739 4294967295 134512640 134569956 3221224400 3221214648 1131602160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26739 13073 16 0 209711 0
vsize: 838908
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 69267 57 0 0 24 0 11 0 547558224 859041792 26769 4294967295 134512640 134569956 3221224400 3221214656 1131607253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26769 13073 16 0 209711 0
vsize: 838908
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 70262 58 0 0 25 0 11 0 547558224 859041792 26782 4294967295 134512640 134569956 3221224400 3221214680 1131287458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26782 13073 16 0 209711 0
vsize: 838908
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 71251 58 0 0 25 0 11 0 547558224 859041792 26808 4294967295 134512640 134569956 3221224400 3221214728 1131596669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26808 13073 16 0 209711 0
vsize: 838908
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 72239 58 0 0 25 0 11 0 547558224 859041792 26832 4294967295 134512640 134569956 3221224400 3221214040 1131600456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26832 13073 16 0 209711 0
vsize: 838908
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 73227 59 0 0 25 0 11 0 547558224 859041792 26861 4294967295 134512640 134569956 3221224400 3221214408 1131484957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 26861 13073 16 0 209711 0
vsize: 838908
[startup+760.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 74216 59 0 0 25 0 11 0 547558224 859041792 26877 4294967295 134512640 134569956 3221224400 3221214552 1131600444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209727 26877 13073 16 0 209711 0
vsize: 838908
[startup+770.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 75198 59 0 0 25 0 11 0 547558224 859041792 26900 4294967295 134512640 134569956 3221224400 3221214808 1131282945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26900 13073 16 0 209711 0
vsize: 838908
[startup+780.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 76186 59 0 0 25 0 11 0 547558224 859041792 26915 4294967295 134512640 134569956 3221224400 3221214280 1131605905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26915 13073 16 0 209711 0
vsize: 838908
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 77174 59 0 0 25 0 11 0 547558224 859041792 26936 4294967295 134512640 134569956 3221224400 3221214168 1131605873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 26936 13073 16 0 209711 0
vsize: 838908
[startup+800.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 78162 60 0 0 25 0 11 0 547558224 859041792 27056 4294967295 134512640 134569956 3221224400 3221214360 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27056 13073 16 0 209711 0
vsize: 838908
[startup+810.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 79151 60 0 0 25 0 11 0 547558224 859041792 27096 4294967295 134512640 134569956 3221224400 3221214808 1131338080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27096 13073 16 0 209711 0
vsize: 838908
[startup+820.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 80140 60 0 0 25 0 11 0 547558224 859041792 27132 4294967295 134512640 134569956 3221224400 3221214280 1131605965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27132 13073 16 0 209711 0
vsize: 838908
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 81129 61 0 0 25 0 11 0 547558224 859041792 27148 4294967295 134512640 134569956 3221224400 3221214808 1131338510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27148 13073 16 0 209711 0
vsize: 838908
[startup+840.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 82118 61 0 0 25 0 11 0 547558224 859041792 27175 4294967295 134512640 134569956 3221224400 3221214808 1131283368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27175 13073 16 0 209711 0
vsize: 838908
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 83101 61 0 0 25 0 11 0 547558224 859041792 27235 4294967295 134512640 134569956 3221224400 3221213888 1131605873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27235 13073 16 0 209711 0
vsize: 838908
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 84095 61 0 0 25 0 11 0 547558224 859041792 27269 4294967295 134512640 134569956 3221224400 3221214808 1131338502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27269 13073 16 0 209711 0
vsize: 838908
[startup+870.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 85084 62 0 0 25 0 11 0 547558224 859041792 27325 4294967295 134512640 134569956 3221224400 3221214728 1131596640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27325 13073 16 0 209711 0
vsize: 838908
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 86078 62 0 0 25 0 11 0 547558224 859041792 27344 4294967295 134512640 134569956 3221224400 3221214216 1131600237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27344 13073 16 0 209711 0
vsize: 838908
[startup+890.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 87060 63 0 0 25 0 11 0 547558224 859041792 27396 4294967295 134512640 134569956 3221224400 3221214728 1131596669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27396 13073 16 0 209711 0
vsize: 838908
[startup+900.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 88049 63 0 0 25 0 11 0 547558224 859041792 27422 4294967295 134512640 134569956 3221224400 3221214112 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27422 13073 16 0 209711 0
vsize: 838908
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 89037 63 0 0 25 0 11 0 547558224 859041792 27448 4294967295 134512640 134569956 3221224400 3221214496 1131600297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27448 13073 16 0 209711 0
vsize: 838908
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 90025 64 0 0 25 0 11 0 547558224 859041792 27468 4294967295 134512640 134569956 3221224400 3221214384 1131455086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27468 13073 16 0 209711 0
vsize: 838908
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 91013 64 0 0 25 0 11 0 547558224 859041792 27492 4294967295 134512640 134569956 3221224400 3221214656 1131607253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27492 13073 16 0 209711 0
vsize: 838908
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 91995 64 0 0 25 0 11 0 547558224 859041792 27534 4294967295 134512640 134569956 3221224400 3221214592 1131467238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27534 13073 16 0 209711 0
vsize: 838908
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 92983 64 0 0 25 0 11 0 547558224 859041792 27575 4294967295 134512640 134569956 3221224400 3221214456 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27575 13073 16 0 209711 0
vsize: 838908
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 93972 65 0 0 25 0 11 0 547558224 859041792 27603 4294967295 134512640 134569956 3221224400 3221214464 1131430067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27603 13073 16 0 209711 0
vsize: 838908
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 94955 65 0 0 25 0 11 0 547558224 859041792 27652 4294967295 134512640 134569956 3221224400 3221214672 1131371235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27652 13073 16 0 209711 0
vsize: 838908
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 95943 66 0 0 25 0 11 0 547558224 859041792 27680 4294967295 134512640 134569956 3221224400 3221214056 1131605797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27680 13073 16 0 209711 0
vsize: 838908
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 96927 66 0 0 25 0 11 0 547558224 859041792 27724 4294967295 134512640 134569956 3221224400 3221214636 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27724 13073 16 0 209711 0
vsize: 838908
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 97916 66 0 0 25 0 11 0 547558224 859041792 27758 4294967295 134512640 134569956 3221224400 3221214504 1131384596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27758 13073 16 0 209711 0
vsize: 838908
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 98901 66 0 0 25 0 11 0 547558224 859041792 27851 4294967295 134512640 134569956 3221224400 3221213832 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27851 13073 16 0 209711 0
vsize: 838908
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 99892 67 0 0 25 0 11 0 547558224 859041792 27895 4294967295 134512640 134569956 3221224400 3221214808 1131283207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27895 13073 16 0 209711 0
vsize: 838908
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 100879 67 0 0 25 0 11 0 547558224 859041792 27927 4294967295 134512640 134569956 3221224400 3221214712 1131400397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27927 13073 16 0 209711 0
vsize: 838908
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 101870 68 0 0 25 0 11 0 547558224 859041792 27961 4294967295 134512640 134569956 3221224400 3221214552 1131600225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27961 13073 16 0 209711 0
vsize: 838908
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 102862 68 0 0 25 0 11 0 547558224 859041792 27995 4294967295 134512640 134569956 3221224400 3221214432 1131600456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 27995 13073 16 0 209711 0
vsize: 838908
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 103850 68 0 0 25 0 11 0 547558224 859041792 28033 4294967295 134512640 134569956 3221224400 3221214304 1085632301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28033 13073 16 0 209711 0
vsize: 838908
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 104842 68 0 0 25 0 11 0 547558224 859041792 28055 4294967295 134512640 134569956 3221224400 3221214472 1085679284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28055 13073 16 0 209711 0
vsize: 838908
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 105829 69 0 0 25 0 11 0 547558224 859041792 28090 4294967295 134512640 134569956 3221224400 3221214256 1131605965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28090 13073 16 0 209711 0
vsize: 838908
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 106820 69 0 0 25 0 11 0 547558224 859041792 28112 4294967295 134512640 134569956 3221224400 3221213860 1131605899 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28112 13073 16 0 209711 0
vsize: 838908
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 107810 69 0 0 25 0 11 0 547558224 859041792 28131 4294967295 134512640 134569956 3221224400 3221214808 1131282941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28131 13073 16 0 209711 0
vsize: 838908
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 108810 69 0 0 25 0 11 0 547558224 859041792 28131 4294967295 134512640 134569956 3221224400 3221214032 1131602108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28131 13073 16 0 209711 0
vsize: 838908
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 109798 70 0 0 25 0 11 0 547558224 859041792 28153 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28153 13073 16 0 209711 0
vsize: 838908
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 110791 70 0 0 25 0 11 0 547558224 859041792 28163 4294967295 134512640 134569956 3221224400 3221214728 1131596660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28163 13073 16 0 209711 0
vsize: 838908
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 111785 70 0 0 25 0 11 0 547558224 859041792 28176 4294967295 134512640 134569956 3221224400 3221214248 1131608274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28176 13073 16 0 209711 0
vsize: 838908
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 112778 71 0 0 25 0 11 0 547558224 859041792 28185 4294967295 134512640 134569956 3221224400 3221214504 1131605905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28185 13073 16 0 209711 0
vsize: 838908
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 113764 71 0 0 25 0 11 0 547558224 859041792 28204 4294967295 134512640 134569956 3221224400 3221214712 1131397172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28204 13073 16 0 209711 0
vsize: 838908
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 114751 72 0 0 25 0 11 0 547558224 859041792 28223 4294967295 134512640 134569956 3221224400 3221214608 1131600234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28223 13073 16 0 209711 0
vsize: 838908
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 115737 72 0 0 25 0 11 0 547558224 859041792 28240 4294967295 134512640 134569956 3221224400 3221213768 1131600225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28240 13073 16 0 209711 0
vsize: 838908
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 116729 73 0 0 25 0 11 0 547558224 859041792 28249 4294967295 134512640 134569956 3221224400 3221214164 1131605904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28249 13073 16 0 209711 0
vsize: 838908
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 117716 73 0 0 25 0 11 0 547558224 859041792 28274 4294967295 134512640 134569956 3221224400 3221214552 1131600431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28274 13073 16 0 209711 0
vsize: 838908
[startup+1210.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 118702 73 0 0 25 0 11 0 547558224 859041792 28297 4294967295 134512640 134569956 3221224400 3221214792 1131639545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28297 13073 16 0 209711 0
vsize: 838908
[startup+1220.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 119688 74 0 0 25 0 11 0 547558224 859041792 28317 4294967295 134512640 134569956 3221224400 3221214808 1131338088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28317 13073 16 0 209711 0
vsize: 838908
[startup+1230.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 25464
Raw data (stat): 25454 (java) R 25453 11931 11930 0 -1 0 18094 0 1 0 120674 74 0 0 25 0 11 0 547558224 859041792 28339 4294967295 134512640 134569956 3221224400 3221214912 1131619603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209727 28339 13073 16 0 209711 0
vsize: 838908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25466
Raw data (stat): 25454 (java) Z 25453 11931 11930 0 -1 1036 18094 8647 1 0 120677 74 1937 21 25 0 1 0 547558224 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): 1230.16
CPU time (s): 1227.11
CPU user time (s): 1226.15
CPU system time (s): 0.957854
CPU usage (%): 99.752
Max. virtual memory (Kb): 840408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####