PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-misc06.opb
MD5SUM	86682de73055d933eb09b91ae4b3aec3
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	211324891222433890304
Number of bits of the biggest number in a constraint	68
Biggest sum of numbers in a constraint	23205541583449342607360
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.22281
Number of variables	51018
Total number of constraints	932
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	112
Number of constraints which are nor clauses,nor cardinality constraints	820
Minimum length of a constraint	1
Maximum length of a constraint	13471
Trace number 21282

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-21 23:15:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13581 boxname=wulflinc3 idbench=1045 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  86682de73055d933eb09b91ae4b3aec3  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-misc06.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-misc06.opb
IDLAUNCH: 13581
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        367192 kB
Buffers:         33916 kB
Cached:         610452 kB
SwapCached:          0 kB
Active:         114632 kB
Inactive:       532428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        366940 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6844 kB
Slab:            14700 kB
Committed_AS:    71752 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:37:15 (client local time) WITH STATUS 143 IN 1278.1 SECONDS
stats: 13581 7 1278.1 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-misc06.opb
c reading problem 
c [nbvar=51018]
c [nbconstr=932]
c time 741.637
c #vars     51018
c #clauses  1070
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.59 0.88 0.89 2/54 22662
Raw data (stat): 22662 (runsolver) R 22661 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490740304 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.93 0.90 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18003 0 1 0 865 37 0 0 25 0 10 0 490740304 853925888 19426 4294967295 134512640 134569956 3221224400 3221214696 1131199387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 19426 13073 16 0 208462 0
vsize: 833912
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.93 0.90 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18003 0 1 0 1758 37 0 0 25 0 10 0 490740304 853925888 19933 4294967295 134512640 134569956 3221224400 3221214464 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 19933 13073 16 0 208462 0
vsize: 833912
[startup+30.0023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18003 0 1 0 2642 38 0 0 25 0 10 0 490740304 853925888 20474 4294967295 134512640 134569956 3221224400 3221214392 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 20474 13073 16 0 208462 0
vsize: 833912
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 3559 38 0 0 25 0 10 0 490740304 853925888 20738 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 20738 13073 16 0 208462 0
vsize: 833912
[startup+50.0044 s]
Raw data (loadavg): 1.06 0.97 0.91 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 4482 39 0 0 25 0 10 0 490740304 853925888 20915 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 20915 13073 16 0 208462 0
vsize: 833912
[startup+60.0048 s]
Raw data (loadavg): 1.05 0.97 0.91 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 5389 39 0 0 24 0 10 0 490740304 853925888 21077 4294967295 134512640 134569956 3221224400 3221214816 1131288704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21077 13073 16 0 208462 0
vsize: 833912
[startup+70.005 s]
Raw data (loadavg): 1.04 0.97 0.91 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 6313 39 0 0 25 0 10 0 490740304 853925888 21290 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21290 13073 16 0 208462 0
vsize: 833912
[startup+80.0058 s]
Raw data (loadavg): 1.20 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 7246 40 0 0 25 0 10 0 490740304 853925888 21397 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21397 13073 16 0 208462 0
vsize: 833912
[startup+90.0062 s]
Raw data (loadavg): 1.17 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 8177 40 0 0 25 0 10 0 490740304 853925888 21499 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21499 13073 16 0 208462 0
vsize: 833912
[startup+100.008 s]
Raw data (loadavg): 1.14 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 9108 41 0 0 25 0 10 0 490740304 853925888 21587 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21587 13073 16 0 208462 0
vsize: 833912
[startup+110.009 s]
Raw data (loadavg): 1.12 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 10029 41 0 0 25 0 10 0 490740304 853925888 21672 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21672 13073 16 0 208462 0
vsize: 833912
[startup+120.009 s]
Raw data (loadavg): 1.10 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 10955 42 0 0 25 0 10 0 490740304 853925888 21820 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21820 13073 16 0 208462 0
vsize: 833912
[startup+130.009 s]
Raw data (loadavg): 1.16 1.02 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 11885 42 0 0 25 0 10 0 490740304 853925888 21903 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21903 13073 16 0 208462 0
vsize: 833912
[startup+140.01 s]
Raw data (loadavg): 1.14 1.02 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 12819 42 0 0 25 0 10 0 490740304 853925888 21979 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 21979 13073 16 0 208462 0
vsize: 833912
[startup+150.011 s]
Raw data (loadavg): 1.12 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 13748 43 0 0 25 0 10 0 490740304 853925888 22056 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22056 13073 16 0 208462 0
vsize: 833912
[startup+160.012 s]
Raw data (loadavg): 1.10 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 14679 43 0 0 25 0 10 0 490740304 853925888 22128 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22128 13073 16 0 208462 0
vsize: 833912
[startup+170.011 s]
Raw data (loadavg): 1.08 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 15604 43 0 0 25 0 10 0 490740304 853925888 22206 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 22206 13073 16 0 208462 0
vsize: 833912
[startup+180.012 s]
Raw data (loadavg): 1.07 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 16505 44 0 0 25 0 10 0 490740304 853925888 22289 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22289 13073 16 0 208462 0
vsize: 833912
[startup+190.012 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 17406 44 0 0 25 0 10 0 490740304 853925888 22434 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22434 13073 16 0 208462 0
vsize: 833912
[startup+200.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 18327 45 0 0 25 0 10 0 490740304 853925888 22661 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22661 13073 16 0 208462 0
vsize: 833912
[startup+210.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 19252 45 0 0 25 0 10 0 490740304 853925888 22730 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22730 13073 16 0 208462 0
vsize: 833912
[startup+220.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 20179 45 0 0 25 0 10 0 490740304 853925888 22794 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22794 13073 16 0 208462 0
vsize: 833912
[startup+230.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 21101 46 0 0 25 0 10 0 490740304 853925888 22859 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22859 13073 16 0 208462 0
vsize: 833912
[startup+240.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 22027 46 0 0 25 0 10 0 490740304 853925888 22917 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22917 13073 16 0 208462 0
vsize: 833912
[startup+250.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 22948 46 0 0 24 0 10 0 490740304 853925888 22981 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 22981 13073 16 0 208462 0
vsize: 833912
[startup+260.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 23871 47 0 0 25 0 10 0 490740304 853925888 23041 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23041 13073 16 0 208462 0
vsize: 833912
[startup+270.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 24794 48 0 0 25 0 10 0 490740304 853925888 23101 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23101 13073 16 0 208462 0
vsize: 833912
[startup+280.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 25713 48 0 0 24 0 10 0 490740304 853925888 23162 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23162 13073 16 0 208462 0
vsize: 833912
[startup+290.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 26635 48 0 0 25 0 10 0 490740304 853925888 23221 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23221 13073 16 0 208462 0
vsize: 833912
[startup+300.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 27557 48 0 0 25 0 10 0 490740304 853925888 23278 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23278 13073 16 0 208462 0
vsize: 833912
[startup+310.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 28475 48 0 0 25 0 10 0 490740304 853925888 23335 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23335 13073 16 0 208462 0
vsize: 833912
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 29391 49 0 0 25 0 10 0 490740304 853925888 23387 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23387 13073 16 0 208462 0
vsize: 833912
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 30307 49 0 0 25 0 10 0 490740304 853925888 23445 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23445 13073 16 0 208462 0
vsize: 833912
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 31215 49 0 0 25 0 10 0 490740304 853925888 23512 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23512 13073 16 0 208462 0
vsize: 833912
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 32125 50 0 0 23 0 10 0 490740304 853925888 23603 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23603 13073 16 0 208462 0
vsize: 833912
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 33038 51 0 0 25 0 10 0 490740304 853925888 23675 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23675 13073 16 0 208462 0
vsize: 833912
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 33953 51 0 0 25 0 10 0 490740304 853925888 23739 4294967295 134512640 134569956 3221224400 3221214184 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23739 13073 16 0 208462 0
vsize: 833912
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 34856 52 0 0 25 0 10 0 490740304 853925888 23797 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23797 13073 16 0 208462 0
vsize: 833912
[startup+390.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 35752 52 0 0 25 0 10 0 490740304 853925888 23860 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23860 13073 16 0 208462 0
vsize: 833912
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 36663 53 0 0 25 0 10 0 490740304 853925888 23988 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 23988 13073 16 0 208462 0
vsize: 833912
[startup+410.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 37578 53 0 0 25 0 10 0 490740304 853925888 24038 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24038 13073 16 0 208462 0
vsize: 833912
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 38492 53 0 0 25 0 10 0 490740304 853925888 24088 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24088 13073 16 0 208462 0
vsize: 833912
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 39406 54 0 0 25 0 10 0 490740304 853925888 24141 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24141 13073 16 0 208462 0
vsize: 833912
[startup+440.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 40320 54 0 0 24 0 10 0 490740304 853925888 24189 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24189 13073 16 0 208462 0
vsize: 833912
[startup+450.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 41233 55 0 0 24 0 10 0 490740304 853925888 24239 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24239 13073 16 0 208462 0
vsize: 833912
[startup+460.027 s]
Raw data (loadavg): 1.07 1.02 0.94 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 42150 55 0 0 25 0 10 0 490740304 853925888 24286 4294967295 134512640 134569956 3221224400 3221213400 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24286 13073 16 0 208462 0
vsize: 833912
[startup+470.028 s]
Raw data (loadavg): 1.06 1.02 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 43063 55 0 0 25 0 10 0 490740304 853925888 24334 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24334 13073 16 0 208462 0
vsize: 833912
[startup+480.028 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 43974 56 0 0 25 0 10 0 490740304 853925888 24381 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24381 13073 16 0 208462 0
vsize: 833912
[startup+490.028 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 44885 56 0 0 25 0 10 0 490740304 853925888 24424 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24424 13073 16 0 208462 0
vsize: 833912
[startup+500.038 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 45796 57 0 0 25 0 10 0 490740304 853925888 24471 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24471 13073 16 0 208462 0
vsize: 833912
[startup+510.038 s]
Raw data (loadavg): 1.03 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 46706 58 0 0 25 0 10 0 490740304 853925888 24518 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24518 13073 16 0 208462 0
vsize: 833912
[startup+520.039 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 47615 58 0 0 25 0 10 0 490740304 853925888 24564 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24564 13073 16 0 208462 0
vsize: 833912
[startup+530.041 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 48524 59 0 0 24 0 10 0 490740304 853925888 24610 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24610 13073 16 0 208462 0
vsize: 833912
[startup+540.041 s]
Raw data (loadavg): 1.02 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 49438 59 0 0 25 0 10 0 490740304 853925888 24650 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24650 13073 16 0 208462 0
vsize: 833912
[startup+550.042 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 50347 59 0 0 25 0 10 0 490740304 853925888 24696 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24696 13073 16 0 208462 0
vsize: 833912
[startup+560.043 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 51255 60 0 0 25 0 10 0 490740304 853925888 24737 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24737 13073 16 0 208462 0
vsize: 833912
[startup+570.044 s]
Raw data (loadavg): 1.01 1.01 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 52162 60 0 0 19 0 10 0 490740304 853925888 24783 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24783 13073 16 0 208462 0
vsize: 833912
[startup+580.044 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 53068 61 0 0 20 0 10 0 490740304 853925888 24823 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24823 13073 16 0 208462 0
vsize: 833912
[startup+590.045 s]
Raw data (loadavg): 1.01 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 53975 61 0 0 19 0 10 0 490740304 853925888 24868 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24868 13073 16 0 208462 0
vsize: 833912
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 54885 61 0 0 24 0 10 0 490740304 853925888 24907 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24907 13073 16 0 208462 0
vsize: 833912
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 55791 62 0 0 24 0 10 0 490740304 853925888 24946 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24946 13073 16 0 208462 0
vsize: 833912
[startup+620.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 56692 62 0 0 20 0 10 0 490740304 853925888 24986 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 24986 13073 16 0 208462 0
vsize: 833912
[startup+630.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 57594 63 0 0 22 0 10 0 490740304 853925888 25030 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 25030 13073 16 0 208462 0
vsize: 833912
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 58488 64 0 0 18 0 10 0 490740304 853925888 25093 4294967295 134512640 134569956 3221224400 3221214812 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 25093 13073 16 0 208462 0
vsize: 833912
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 59388 64 0 0 20 0 10 0 490740304 853925888 25153 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 25153 13073 16 0 208462 0
vsize: 833912
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 60287 65 0 0 23 0 10 0 490740304 853925888 25216 4294967295 134512640 134569956 3221224400 3221214264 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 25216 13073 16 0 208462 0
vsize: 833912
[startup+670.072 s]
Raw data (loadavg): 1.00 1.00 0.94 3/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 61181 65 0 0 20 0 10 0 490740304 853925888 25283 4294967295 134512640 134569956 3221224400 3221214804 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 25283 13073 16 0 208462 0
vsize: 833912
[startup+680.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 62079 65 0 0 19 0 10 0 490740304 853925888 25345 4294967295 134512640 134569956 3221224400 3221213908 1079276771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 25345 13073 16 0 208462 0
vsize: 833912
[startup+690.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 62979 66 0 0 25 0 10 0 490740304 853925888 26072 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 26072 13073 16 0 208462 0
vsize: 833912
[startup+700.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 63878 66 0 0 25 0 10 0 490740304 853925888 26072 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 26072 13073 16 0 208462 0
vsize: 833912
[startup+710.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) S 22661 10720 10719 0 -1 0 18004 0 1 0 64768 67 0 0 25 0 10 0 490740304 853925888 26114 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 26114 13073 16 0 208462 0
vsize: 833912
[startup+720.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 65652 67 0 0 25 0 10 0 490740304 853925888 26257 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 26257 13073 16 0 208462 0
vsize: 833912
[startup+730.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 66530 68 0 0 25 0 10 0 490740304 853925888 26304 4294967295 134512640 134569956 3221224400 3221214804 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 26304 13073 16 0 208462 0
vsize: 833912
[startup+740.097 s]
Raw data (loadavg): 1.00 1.00 0.94 3/63 22671
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18004 0 1 0 67429 69 0 0 25 0 10 0 490740304 853925888 26508 4294967295 134512640 134569956 3221224400 3221213768 1131198155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208478 26508 13073 16 0 208462 0
vsize: 833912
[startup+750.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 68310 70 0 0 25 0 11 0 490740304 857063424 30126 4294967295 134512640 134569956 3221224400 3221214680 1131240115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209244 30126 13073 16 0 209228 0
vsize: 836976
[startup+760.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 69214 71 0 0 25 0 11 0 490740304 856899584 30105 4294967295 134512640 134569956 3221224400 3221214680 1131239596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209204 30105 13073 16 0 209188 0
vsize: 836816
[startup+770.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 70128 71 0 0 25 0 11 0 490740304 856899584 30105 4294967295 134512640 134569956 3221224400 3221214776 1131341247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30105 13073 16 0 209188 0
vsize: 836816
[startup+780.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 71076 71 0 0 25 0 11 0 490740304 856899584 30729 4294967295 134512640 134569956 3221224400 3221214680 1131239283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30729 13073 16 0 209188 0
vsize: 836816
[startup+790.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 72063 71 0 0 25 0 11 0 490740304 856899584 30738 4294967295 134512640 134569956 3221224400 3221214680 1131239231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30738 13073 16 0 209188 0
vsize: 836816
[startup+800.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 73053 72 0 0 25 0 11 0 490740304 856899584 30743 4294967295 134512640 134569956 3221224400 3221214680 1131238789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30743 13073 16 0 209188 0
vsize: 836816
[startup+810.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 74040 72 0 0 25 0 11 0 490740304 856899584 30750 4294967295 134512640 134569956 3221224400 3221214680 1131238789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30750 13073 16 0 209188 0
vsize: 836816
[startup+820.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 75029 73 0 0 25 0 11 0 490740304 856899584 30753 4294967295 134512640 134569956 3221224400 3221214776 1131341515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30753 13073 16 0 209188 0
vsize: 836816
[startup+830.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 76016 73 0 0 25 0 11 0 490740304 856899584 30756 4294967295 134512640 134569956 3221224400 3221214776 1131342546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30756 13073 16 0 209188 0
vsize: 836816
[startup+840.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18055 0 1 0 77002 74 0 0 25 0 11 0 490740304 856899584 30762 4294967295 134512640 134569956 3221224400 3221214680 1131239283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209204 30762 13073 16 0 209188 0
vsize: 836816
[startup+850.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18092 0 1 0 77975 74 0 0 25 0 11 0 490740304 856899584 30813 4294967295 134512640 134569956 3221224400 3221214172 1078025637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209204 30813 13073 16 0 209188 0
vsize: 836816
[startup+860.103 s]
Raw data (loadavg): 1.15 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 78866 74 0 0 25 0 11 0 490740304 859213824 31462 4294967295 134512640 134569956 3221224400 3221214584 1131417984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209769 31462 13073 16 0 209753 0
vsize: 839076
[startup+870.104 s]
Raw data (loadavg): 1.12 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 79861 74 0 0 25 0 11 0 490740304 859213824 31463 4294967295 134512640 134569956 3221224400 3221214584 1131417971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209769 31463 13073 16 0 209753 0
vsize: 839076
[startup+880.106 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 80855 75 0 0 25 0 11 0 490740304 858042368 31185 4294967295 134512640 134569956 3221224400 3221214584 1131417980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 31185 13073 16 0 209467 0
vsize: 837932
[startup+890.107 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 81851 75 0 0 25 0 11 0 490740304 858042368 31186 4294967295 134512640 134569956 3221224400 3221214568 1131476898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31186 13073 16 0 209467 0
vsize: 837932
[startup+900.107 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 82851 75 0 0 25 0 11 0 490740304 858042368 31186 4294967295 134512640 134569956 3221224400 3221214568 1131476957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31186 13073 16 0 209467 0
vsize: 837932
[startup+910.107 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 83846 75 0 0 25 0 11 0 490740304 858042368 31188 4294967295 134512640 134569956 3221224400 3221214584 1131417967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31188 13073 16 0 209467 0
vsize: 837932
[startup+920.11 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 84841 75 0 0 25 0 11 0 490740304 858042368 31190 4294967295 134512640 134569956 3221224400 3221214584 1131417971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31190 13073 16 0 209467 0
vsize: 837932
[startup+930.111 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 85835 75 0 0 25 0 11 0 490740304 858042368 31192 4294967295 134512640 134569956 3221224400 3221214584 1131417971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31192 13073 16 0 209467 0
vsize: 837932
[startup+940.117 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 86830 75 0 0 25 0 11 0 490740304 858042368 31195 4294967295 134512640 134569956 3221224400 3221214580 1131151139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31195 13073 16 0 209467 0
vsize: 837932
[startup+950.121 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 87826 75 0 0 25 0 11 0 490740304 858042368 31197 4294967295 134512640 134569956 3221224400 3221214568 1131485490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31197 13073 16 0 209467 0
vsize: 837932
[startup+960.122 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 88822 75 0 0 25 0 11 0 490740304 858042368 31202 4294967295 134512640 134569956 3221224400 3221214584 1131417997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31202 13073 16 0 209467 0
vsize: 837932
[startup+970.122 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 89816 75 0 0 25 0 11 0 490740304 858042368 31203 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31203 13073 16 0 209467 0
vsize: 837932
[startup+980.123 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 90811 75 0 0 25 0 11 0 490740304 858042368 31203 4294967295 134512640 134569956 3221224400 3221214672 1131574172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31203 13073 16 0 209467 0
vsize: 837932
[startup+990.124 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18096 0 1 0 91805 75 0 0 25 0 11 0 490740304 858042368 31213 4294967295 134512640 134569956 3221224400 3221214672 1131574157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31213 13073 16 0 209467 0
vsize: 837932
[startup+1000.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 92801 75 0 0 25 0 11 0 490740304 858042368 31252 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 31252 13073 16 0 209467 0
vsize: 837932
[startup+1010.12 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 93797 75 0 0 25 0 11 0 490740304 858042368 31252 4294967295 134512640 134569956 3221224400 3221214568 1131277812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31252 13073 16 0 209467 0
vsize: 837932
[startup+1020.13 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 94793 75 0 0 25 0 11 0 490740304 858042368 31252 4294967295 134512640 134569956 3221224400 3221214672 1131574172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31252 13073 16 0 209467 0
vsize: 837932
[startup+1030.13 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 95791 75 0 0 24 0 11 0 490740304 858042368 31263 4294967295 134512640 134569956 3221224400 3221214672 1131574048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31263 13073 16 0 209467 0
vsize: 837932
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 96787 75 0 0 24 0 11 0 490740304 858042368 31264 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31264 13073 16 0 209467 0
vsize: 837932
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 97785 75 0 0 25 0 11 0 490740304 858042368 31264 4294967295 134512640 134569956 3221224400 3221214568 1131485490 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31264 13073 16 0 209467 0
vsize: 837932
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 98781 75 0 0 25 0 11 0 490740304 858042368 31274 4294967295 134512640 134569956 3221224400 3221214568 1131487948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31274 13073 16 0 209467 0
vsize: 837932
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 99776 75 0 0 25 0 11 0 490740304 858042368 31274 4294967295 134512640 134569956 3221224400 3221214568 1131486428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31274 13073 16 0 209467 0
vsize: 837932
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 100768 75 0 0 25 0 11 0 490740304 858042368 31274 4294967295 134512640 134569956 3221224400 3221214672 1131574179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31274 13073 16 0 209467 0
vsize: 837932
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 101761 75 0 0 25 0 11 0 490740304 858042368 31311 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31311 13073 16 0 209467 0
vsize: 837932
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 102755 75 0 0 25 0 11 0 490740304 858042368 31311 4294967295 134512640 134569956 3221224400 3221214672 1131574179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31311 13073 16 0 209467 0
vsize: 837932
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 103750 76 0 0 25 0 11 0 490740304 858042368 31312 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31312 13073 16 0 209467 0
vsize: 837932
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 104745 76 0 0 25 0 11 0 490740304 858042368 31312 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31312 13073 16 0 209467 0
vsize: 837932
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 105738 76 0 0 25 0 11 0 490740304 858042368 31349 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 31349 13073 16 0 209467 0
vsize: 837932
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 106733 76 0 0 25 0 11 0 490740304 858042368 31349 4294967295 134512640 134569956 3221224400 3221214568 1131277079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31349 13073 16 0 209467 0
vsize: 837932
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 107722 76 0 0 25 0 11 0 490740304 858042368 31349 4294967295 134512640 134569956 3221224400 3221214568 1131277055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31349 13073 16 0 209467 0
vsize: 837932
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 108713 76 0 0 25 0 11 0 490740304 858042368 31360 4294967295 134512640 134569956 3221224400 3221214560 1131277423 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31360 13073 16 0 209467 0
vsize: 837932
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 109702 76 0 0 25 0 11 0 490740304 858042368 31360 4294967295 134512640 134569956 3221224400 3221214648 1131475993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209483 31360 13073 16 0 209467 0
vsize: 837932
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 110699 76 0 0 25 0 11 0 490740304 858042368 31360 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31360 13073 16 0 209467 0
vsize: 837932
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 111690 76 0 0 25 0 11 0 490740304 858042368 31421 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31421 13073 16 0 209467 0
vsize: 837932
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 112681 76 0 0 25 0 11 0 490740304 858042368 31495 4294967295 134512640 134569956 3221224400 3221214672 1131574048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31495 13073 16 0 209467 0
vsize: 837932
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 113671 76 0 0 25 0 11 0 490740304 858042368 31495 4294967295 134512640 134569956 3221224400 3221214568 1131485198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31495 13073 16 0 209467 0
vsize: 837932
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 114665 76 0 0 25 0 11 0 490740304 858042368 31495 4294967295 134512640 134569956 3221224400 3221214568 1131485175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31495 13073 16 0 209467 0
vsize: 837932
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 115659 76 0 0 25 0 11 0 490740304 858042368 31505 4294967295 134512640 134569956 3221224400 3221214672 1131574048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31505 13073 16 0 209467 0
vsize: 837932
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 116651 76 0 0 25 0 11 0 490740304 858042368 31505 4294967295 134512640 134569956 3221224400 3221214672 1131574048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31505 13073 16 0 209467 0
vsize: 837932
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 117642 77 0 0 25 0 11 0 490740304 858042368 31505 4294967295 134512640 134569956 3221224400 3221214672 1131574063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31505 13073 16 0 209467 0
vsize: 837932
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 118635 77 0 0 25 0 11 0 490740304 858042368 31568 4294967295 134512640 134569956 3221224400 3221214672 1131574179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31568 13073 16 0 209467 0
vsize: 837932
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 119627 77 0 0 25 0 11 0 490740304 858042368 31637 4294967295 134512640 134569956 3221224400 3221214672 1131574060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31637 13073 16 0 209467 0
vsize: 837932
[startup+1280.14 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 22672
Raw data (stat): 22662 (java) R 22661 10720 10719 0 -1 0 18097 0 1 0 120619 77 0 0 25 0 11 0 490740304 858042368 31637 4294967295 134512640 134569956 3221224400 3221214568 1131277852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209483 31637 13073 16 0 209467 0
vsize: 837932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.25 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 22674
Raw data (stat): 22662 (java) Z 22661 10720 10719 0 -1 1036 18097 12203 1 0 120624 77 7066 42 25 0 1 0 490740304 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): 1280.25
CPU time (s): 1278.1
CPU user time (s): 1276.9
CPU system time (s): 1.20082
CPU usage (%): 99.8323
Max. virtual memory (Kb): 839076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####