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-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 29625

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 09:46:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21026 boxname=wulflinc10 idbench=1014 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 21026
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        791500 kB
Buffers:         27140 kB
Cached:         193836 kB
SwapCached:         92 kB
Active:          45944 kB
Inactive:       177708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791248 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13864 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:07:41 (client local time) WITH STATUS 143 IN 1274.24 SECONDS
stats: 21026 7 1274.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-air04.opb
c reading problem ... done. Time 32.897 ms.
c #vars     8904
c #constraints  1646
c starts	: 5
c conflicts	: 1090
c decisions	: 63938
c propagations	: 780099
c inspects	: 510512
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 2
c learned clauses	: 1088
c root simplifications	: 91
s UNKNOWN
c Total CPU time (ms) : 1259.173
#### 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.94 0.98 0.99 2/54 29503
Raw data (stat): 29503 (runsolver) R 29502 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779701545 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0004 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 29512
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18007 0 1 0 875 39 0 0 25 0 10 0 779701545 853659648 19315 4294967295 134512640 134569956 3221224368 3221214688 1131195073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208413 19315 13086 16 0 208397 0
vsize: 833652
[startup+19.9999 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 29512
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18008 0 1 0 1772 39 0 0 25 0 10 0 779701545 854081536 19951 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208516 19951 13086 16 0 208500 0
vsize: 834064
[startup+30.0004 s]
Raw data (loadavg): 1.19 1.03 1.01 4/63 29512
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18026 0 1 0 2631 40 0 0 25 0 10 0 779701545 856563712 21030 4294967295 134512640 134569956 3221224368 3221214320 1130863170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209122 21030 13086 16 0 209106 0
vsize: 836488
[startup+40.0001 s]
Raw data (loadavg): 1.31 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18070 0 1 0 3372 43 0 0 25 0 11 0 779701545 860221440 26404 4294967295 134512640 134569956 3221224368 3221214672 1131412098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210015 26404 13086 16 0 209999 0
vsize: 840060
[startup+50.0005 s]
Raw data (loadavg): 1.26 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18070 0 1 0 4343 43 0 0 25 0 11 0 779701545 859217920 26058 4294967295 134512640 134569956 3221224368 3221214656 1131514349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 26058 13086 16 0 209754 0
vsize: 839080
[startup+60.0001 s]
Raw data (loadavg): 1.22 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18070 0 1 0 5302 43 0 0 25 0 11 0 779701545 859217920 26226 4294967295 134512640 134569956 3221224368 3221214552 1131412181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 26226 13086 16 0 209754 0
vsize: 839080
[startup+69.9997 s]
Raw data (loadavg): 1.18 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18070 0 1 0 6247 44 0 0 25 0 11 0 779701545 859217920 26099 4294967295 134512640 134569956 3221224368 3221214724 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26099 13086 16 0 209754 0
vsize: 839080
[startup+80.0003 s]
Raw data (loadavg): 1.24 1.07 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 7185 44 0 0 25 0 11 0 779701545 859217920 26239 4294967295 134512640 134569956 3221224368 3221214656 1131517274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26239 13086 16 0 209754 0
vsize: 839080
[startup+89.9999 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 8110 44 0 0 25 0 11 0 779701545 859217920 26493 4294967295 134512640 134569956 3221224368 3221214552 1131411581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26493 13086 16 0 209754 0
vsize: 839080
[startup+100 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 9041 44 0 0 25 0 11 0 779701545 859217920 26663 4294967295 134512640 134569956 3221224368 3221214600 1131472765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26663 13086 16 0 209754 0
vsize: 839080
[startup+110.001 s]
Raw data (loadavg): 1.14 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 9974 45 0 0 25 0 11 0 779701545 859217920 26668 4294967295 134512640 134569956 3221224368 3221214632 1131583886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26668 13086 16 0 209754 0
vsize: 839080
[startup+120.001 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 10906 45 0 0 25 0 11 0 779701545 859217920 26763 4294967295 134512640 134569956 3221224368 3221214544 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 26763 13086 16 0 209754 0
vsize: 839080
[startup+130 s]
Raw data (loadavg): 1.10 1.06 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 11853 46 0 0 25 0 11 0 779701545 859217920 27020 4294967295 134512640 134569956 3221224368 3221214536 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27020 13086 16 0 209754 0
vsize: 839080
[startup+140 s]
Raw data (loadavg): 1.08 1.05 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 12806 46 0 0 25 0 11 0 779701545 859217920 27302 4294967295 134512640 134569956 3221224368 3221214680 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27302 13086 16 0 209754 0
vsize: 839080
[startup+150 s]
Raw data (loadavg): 1.07 1.05 1.02 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 13750 47 0 0 24 0 11 0 779701545 859217920 27541 4294967295 134512640 134569956 3221224368 3221214552 1131411500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27541 13086 16 0 209754 0
vsize: 839080
[startup+160 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 14698 47 0 0 25 0 11 0 779701545 859217920 27541 4294967295 134512640 134569956 3221224368 3221214776 1131444072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27541 13086 16 0 209754 0
vsize: 839080
[startup+169.999 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 15635 48 0 0 25 0 11 0 779701545 859217920 27571 4294967295 134512640 134569956 3221224368 3221214776 1131444117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27571 13086 16 0 209754 0
vsize: 839080
[startup+179.999 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 16577 48 0 0 25 0 11 0 779701545 859217920 27653 4294967295 134512640 134569956 3221224368 3221214544 1131277794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27653 13086 16 0 209754 0
vsize: 839080
[startup+189.999 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 17520 48 0 0 25 0 11 0 779701545 859217920 27719 4294967295 134512640 134569956 3221224368 3221214552 1131411965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27719 13086 16 0 209754 0
vsize: 839080
[startup+200 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 18441 48 0 0 25 0 11 0 779701545 859217920 27981 4294967295 134512640 134569956 3221224368 3221214792 1131475343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 27981 13086 16 0 209754 0
vsize: 839080
[startup+210 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 19386 49 0 0 25 0 11 0 779701545 859217920 28122 4294967295 134512640 134569956 3221224368 3221214544 1131268590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 28122 13086 16 0 209754 0
vsize: 839080
[startup+220 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) S 29502 15547 15546 0 -1 0 18071 0 1 0 20325 49 0 0 25 0 11 0 779701545 859217920 28285 4294967295 134512640 134569956 3221224368 3221213136 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 28285 13086 16 0 209754 0
vsize: 839080
[startup+230 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 21257 49 0 0 25 0 11 0 779701545 859217920 28430 4294967295 134512640 134569956 3221224368 3221214768 1131436571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 28430 13086 16 0 209754 0
vsize: 839080
[startup+239.999 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 22203 50 0 0 25 0 11 0 779701545 859217920 28526 4294967295 134512640 134569956 3221224368 3221214632 1131584464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 28526 13086 16 0 209754 0
vsize: 839080
[startup+250 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 23151 50 0 0 25 0 11 0 779701545 859217920 28591 4294967295 134512640 134569956 3221224368 3221214536 1131277778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 28591 13086 16 0 209754 0
vsize: 839080
[startup+260 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 24087 51 0 0 25 0 11 0 779701545 859217920 28815 4294967295 134512640 134569956 3221224368 3221214552 1131411987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 28815 13086 16 0 209754 0
vsize: 839080
[startup+270 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 25040 51 0 0 25 0 11 0 779701545 859217920 29032 4294967295 134512640 134569956 3221224368 3221214656 1131512347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29032 13086 16 0 209754 0
vsize: 839080
[startup+280 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 25993 51 0 0 25 0 11 0 779701545 859217920 29189 4294967295 134512640 134569956 3221224368 3221214536 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29189 13086 16 0 209754 0
vsize: 839080
[startup+290 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 26955 52 0 0 25 0 11 0 779701545 859217920 29226 4294967295 134512640 134569956 3221224368 3221214724 1130885141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29226 13086 16 0 209754 0
vsize: 839080
[startup+300.001 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 27904 52 0 0 25 0 11 0 779701545 859217920 29226 4294967295 134512640 134569956 3221224368 3221214680 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29226 13086 16 0 209754 0
vsize: 839080
[startup+310 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 28857 52 0 0 25 0 11 0 779701545 859217920 29329 4294967295 134512640 134569956 3221224368 3221214632 1131584610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29329 13086 16 0 209754 0
vsize: 839080
[startup+320 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 29799 53 0 0 25 0 11 0 779701545 859217920 29410 4294967295 134512640 134569956 3221224368 3221214776 1131444336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29410 13086 16 0 209754 0
vsize: 839080
[startup+329.999 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 30749 53 0 0 25 0 11 0 779701545 859217920 29555 4294967295 134512640 134569956 3221224368 3221214536 1131276988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29555 13086 16 0 209754 0
vsize: 839080
[startup+340 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 31694 53 0 0 25 0 11 0 779701545 859217920 29698 4294967295 134512640 134569956 3221224368 3221214776 1131444375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29698 13086 16 0 209754 0
vsize: 839080
[startup+350 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 32634 54 0 0 24 0 11 0 779701545 859217920 29761 4294967295 134512640 134569956 3221224368 3221214536 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29761 13086 16 0 209754 0
vsize: 839080
[startup+360 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 33588 54 0 0 25 0 11 0 779701545 859217920 29857 4294967295 134512640 134569956 3221224368 3221214752 1131208104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 29857 13086 16 0 209754 0
vsize: 839080
[startup+370 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 34516 54 0 0 25 0 11 0 779701545 859217920 30066 4294967295 134512640 134569956 3221224368 3221214552 1131411965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30066 13086 16 0 209754 0
vsize: 839080
[startup+379.999 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 35452 55 0 0 25 0 11 0 779701545 859217920 30264 4294967295 134512640 134569956 3221224368 3221214752 1131207972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30264 13086 16 0 209754 0
vsize: 839080
[startup+390 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 36394 55 0 0 25 0 11 0 779701545 859217920 30453 4294967295 134512640 134569956 3221224368 3221214552 1131412461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30453 13086 16 0 209754 0
vsize: 839080
[startup+400.001 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 37330 56 0 0 25 0 11 0 779701545 859217920 30508 4294967295 134512640 134569956 3221224368 3221214720 1131472699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30508 13086 16 0 209754 0
vsize: 839080
[startup+410.001 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 38267 57 0 0 25 0 11 0 779701545 859217920 30594 4294967295 134512640 134569956 3221224368 3221214552 1131412008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30594 13086 16 0 209754 0
vsize: 839080
[startup+420.001 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 39187 57 0 0 25 0 11 0 779701545 859217920 30662 4294967295 134512640 134569956 3221224368 3221214552 1131437364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30662 13086 16 0 209754 0
vsize: 839080
[startup+430.001 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 40113 57 0 0 25 0 11 0 779701545 859217920 30800 4294967295 134512640 134569956 3221224368 3221214656 1131512422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30800 13086 16 0 209754 0
vsize: 839080
[startup+440.001 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) S 29502 15547 15546 0 -1 0 18071 0 1 0 41026 58 0 0 25 0 11 0 779701545 859217920 30987 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 30987 13086 16 0 209754 0
vsize: 839080
[startup+450.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 41950 58 0 0 25 0 11 0 779701545 859217920 31150 4294967295 134512640 134569956 3221224368 3221214656 1131512347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31150 13086 16 0 209754 0
vsize: 839080
[startup+460.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 42899 59 0 0 25 0 11 0 779701545 859217920 31348 4294967295 134512640 134569956 3221224368 3221214752 1131208036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31348 13086 16 0 209754 0
vsize: 839080
[startup+470.001 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 43844 59 0 0 25 0 11 0 779701545 859217920 31480 4294967295 134512640 134569956 3221224368 3221214552 1131412393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31480 13086 16 0 209754 0
vsize: 839080
[startup+480.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 44783 59 0 0 25 0 11 0 779701545 859217920 31646 4294967295 134512640 134569956 3221224368 3221214552 1131412003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31646 13086 16 0 209754 0
vsize: 839080
[startup+490.002 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 45715 59 0 0 25 0 11 0 779701545 859217920 31734 4294967295 134512640 134569956 3221224368 3221214656 1131513451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31734 13086 16 0 209754 0
vsize: 839080
[startup+500.003 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 46662 60 0 0 25 0 11 0 779701545 859217920 31827 4294967295 134512640 134569956 3221224368 3221214544 1131276898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31827 13086 16 0 209754 0
vsize: 839080
[startup+510.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 47612 60 0 0 25 0 11 0 779701545 859217920 31897 4294967295 134512640 134569956 3221224368 3221214776 1131444003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 31897 13086 16 0 209754 0
vsize: 839080
[startup+520.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 48531 60 0 0 24 0 11 0 779701545 859217920 32044 4294967295 134512640 134569956 3221224368 3221214808 1131538441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32044 13086 16 0 209754 0
vsize: 839080
[startup+530.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 49485 61 0 0 25 0 11 0 779701545 859217920 32220 4294967295 134512640 134569956 3221224368 3221214536 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32220 13086 16 0 209754 0
vsize: 839080
[startup+540.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 50435 61 0 0 25 0 11 0 779701545 859217920 32339 4294967295 134512640 134569956 3221224368 3221214656 1131512408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32339 13086 16 0 209754 0
vsize: 839080
[startup+550.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 51389 61 0 0 25 0 11 0 779701545 859217920 32504 4294967295 134512640 134569956 3221224368 3221214632 1131583886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32504 13086 16 0 209754 0
vsize: 839080
[startup+560.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 52352 62 0 0 25 0 11 0 779701545 859217920 32594 4294967295 134512640 134569956 3221224368 3221214632 1131584444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32594 13086 16 0 209754 0
vsize: 839080
[startup+570.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 53314 62 0 0 25 0 11 0 779701545 859217920 32691 4294967295 134512640 134569956 3221224368 3221214624 1131436567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32691 13086 16 0 209754 0
vsize: 839080
[startup+580.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 54285 62 0 0 25 0 11 0 779701545 859217920 32708 4294967295 134512640 134569956 3221224368 3221214684 1131583507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32708 13086 16 0 209754 0
vsize: 839080
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 55244 62 0 0 25 0 11 0 779701545 859217920 32811 4294967295 134512640 134569956 3221224368 3221214632 1131584273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32811 13086 16 0 209754 0
vsize: 839080
[startup+600.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 56215 63 0 0 25 0 11 0 779701545 859217920 32896 4294967295 134512640 134569956 3221224368 3221214584 1131255482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32896 13086 16 0 209754 0
vsize: 839080
[startup+610.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 57171 63 0 0 25 0 11 0 779701545 859217920 32956 4294967295 134512640 134569956 3221224368 3221214656 1131512408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32956 13086 16 0 209754 0
vsize: 839080
[startup+620.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 58127 63 0 0 25 0 11 0 779701545 859217920 32987 4294967295 134512640 134569956 3221224368 3221214680 1131276635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 32987 13086 16 0 209754 0
vsize: 839080
[startup+630.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 59073 63 0 0 25 0 11 0 779701545 859217920 33031 4294967295 134512640 134569956 3221224368 3221214724 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33031 13086 16 0 209754 0
vsize: 839080
[startup+640.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 60015 64 0 0 25 0 11 0 779701545 859217920 33157 4294967295 134512640 134569956 3221224368 3221214628 1131241126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33157 13086 16 0 209754 0
vsize: 839080
[startup+650.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 60961 65 0 0 25 0 11 0 779701545 859217920 33231 4294967295 134512640 134569956 3221224368 3221214536 1131277266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33231 13086 16 0 209754 0
vsize: 839080
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 61914 65 0 0 24 0 11 0 779701545 859217920 33273 4294967295 134512640 134569956 3221224368 3221214608 1131241172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33273 13086 16 0 209754 0
vsize: 839080
[startup+670.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 62878 65 0 0 25 0 11 0 779701545 859217920 33429 4294967295 134512640 134569956 3221224368 3221214536 1131277068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33429 13086 16 0 209754 0
vsize: 839080
[startup+680.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 63848 65 0 0 24 0 11 0 779701545 859217920 33630 4294967295 134512640 134569956 3221224368 3221214632 1131584438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33630 13086 16 0 209754 0
vsize: 839080
[startup+690.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 64836 65 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214632 1131584438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+700.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 65833 66 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214544 1131268901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+710.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 66831 66 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214536 1131277049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+720.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 67829 66 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214608 1131241200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+730.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 68826 66 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214544 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+740.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 69823 67 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214544 1131269058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+750.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 70821 67 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214536 1131276997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+760.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 71819 67 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214536 1131277161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+770.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 72816 67 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214536 1131277108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+780.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 73813 68 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214544 1131269007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+790.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 74810 68 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214600 1131472735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+800.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29513
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 75808 69 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214536 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+810.008 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 76802 70 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214608 1131241177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+820.008 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 77798 70 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214604 1130885157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+830.008 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 78794 70 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214632 1131584108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+840.007 s]
Raw data (loadavg): 1.09 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 79782 70 0 0 25 0 11 0 779701545 859217920 33793 4294967295 134512640 134569956 3221224368 3221214544 1131270655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33793 13086 16 0 209754 0
vsize: 839080
[startup+850.008 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 80764 70 0 0 25 0 11 0 779701545 859217920 33798 4294967295 134512640 134569956 3221224368 3221214772 1131448544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33798 13086 16 0 209754 0
vsize: 839080
[startup+860.009 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 81736 71 0 0 25 0 11 0 779701545 859217920 33798 4294967295 134512640 134569956 3221224368 3221214544 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33798 13086 16 0 209754 0
vsize: 839080
[startup+870.009 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 82710 71 0 0 25 0 11 0 779701545 859217920 33821 4294967295 134512640 134569956 3221224368 3221214632 1131584464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33821 13086 16 0 209754 0
vsize: 839080
[startup+880.01 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 29566
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 83676 71 0 0 25 0 11 0 779701545 859217920 33825 4294967295 134512640 134569956 3221224368 3221214536 1131277197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33825 13086 16 0 209754 0
vsize: 839080
[startup+890.01 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 84639 71 0 0 25 0 11 0 779701545 859217920 33880 4294967295 134512640 134569956 3221224368 3221214608 1131241160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33880 13086 16 0 209754 0
vsize: 839080
[startup+900.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 85608 71 0 0 25 0 11 0 779701545 859217920 33961 4294967295 134512640 134569956 3221224368 3221214544 1131268849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33961 13086 16 0 209754 0
vsize: 839080
[startup+910.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 86582 71 0 0 25 0 11 0 779701545 859217920 33963 4294967295 134512640 134569956 3221224368 3221214752 1131208111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 33963 13086 16 0 209754 0
vsize: 839080
[startup+920.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 87545 71 0 0 25 0 11 0 779701545 859217920 34037 4294967295 134512640 134569956 3221224368 3221214536 1131277026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34037 13086 16 0 209754 0
vsize: 839080
[startup+930.012 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 88514 71 0 0 25 0 11 0 779701545 859217920 34139 4294967295 134512640 134569956 3221224368 3221214544 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34139 13086 16 0 209754 0
vsize: 839080
[startup+940.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 89487 71 0 0 25 0 11 0 779701545 859217920 34139 4294967295 134512640 134569956 3221224368 3221214536 1131276922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34139 13086 16 0 209754 0
vsize: 839080
[startup+950.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 90459 71 0 0 25 0 11 0 779701545 859217920 34139 4294967295 134512640 134569956 3221224368 3221214640 1131579653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34139 13086 16 0 209754 0
vsize: 839080
[startup+960.014 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 91437 71 0 0 25 0 11 0 779701545 859217920 34228 4294967295 134512640 134569956 3221224368 3221214728 1131241177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34228 13086 16 0 209754 0
vsize: 839080
[startup+970.015 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 92417 71 0 0 25 0 11 0 779701545 859217920 34282 4294967295 134512640 134569956 3221224368 3221214628 1131471328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34282 13086 16 0 209754 0
vsize: 839080
[startup+980.015 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 93393 71 0 0 25 0 11 0 779701545 859217920 34333 4294967295 134512640 134569956 3221224368 3221214536 1131277126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34333 13086 16 0 209754 0
vsize: 839080
[startup+990.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 94369 71 0 0 25 0 11 0 779701545 859217920 34333 4294967295 134512640 134569956 3221224368 3221214632 1131584464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34333 13086 16 0 209754 0
vsize: 839080
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 95339 72 0 0 25 0 11 0 779701545 859217920 34333 4294967295 134512640 134569956 3221224368 3221214656 1131517274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34333 13086 16 0 209754 0
vsize: 839080
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 96304 72 0 0 25 0 11 0 779701545 859217920 34333 4294967295 134512640 134569956 3221224368 3221214552 1131411965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34333 13086 16 0 209754 0
vsize: 839080
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 97269 72 0 0 25 0 11 0 779701545 859217920 34410 4294967295 134512640 134569956 3221224368 3221214544 1131268942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34410 13086 16 0 209754 0
vsize: 839080
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 98229 72 0 0 25 0 11 0 779701545 859217920 34483 4294967295 134512640 134569956 3221224368 3221214544 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34483 13086 16 0 209754 0
vsize: 839080
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 99200 72 0 0 25 0 11 0 779701545 859217920 34484 4294967295 134512640 134569956 3221224368 3221214536 1131277049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34484 13086 16 0 209754 0
vsize: 839080
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 100162 72 0 0 25 0 11 0 779701545 859217920 34517 4294967295 134512640 134569956 3221224368 3221214720 1131472656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34517 13086 16 0 209754 0
vsize: 839080
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 101116 72 0 0 25 0 11 0 779701545 859217920 34616 4294967295 134512640 134569956 3221224368 3221214760 1131506780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34616 13086 16 0 209754 0
vsize: 839080
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 102065 72 0 0 25 0 11 0 779701545 859217920 34802 4294967295 134512640 134569956 3221224368 3221214552 1131411481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34802 13086 16 0 209754 0
vsize: 839080
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 103008 72 0 0 25 0 11 0 779701545 859217920 34802 4294967295 134512640 134569956 3221224368 3221214728 1131241175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34802 13086 16 0 209754 0
vsize: 839080
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 103963 72 0 0 25 0 11 0 779701545 859217920 34874 4294967295 134512640 134569956 3221224368 3221214552 1131411587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34874 13086 16 0 209754 0
vsize: 839080
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 104922 72 0 0 25 0 11 0 779701545 859217920 34964 4294967295 134512640 134569956 3221224368 3221214552 1131412494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 34964 13086 16 0 209754 0
vsize: 839080
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 105872 72 0 0 25 0 11 0 779701545 859217920 35056 4294967295 134512640 134569956 3221224368 3221214656 1131512302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35056 13086 16 0 209754 0
vsize: 839080
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) S 29502 15547 15546 0 -1 0 18071 0 1 0 106829 72 0 0 25 0 11 0 779701545 859217920 35127 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35127 13086 16 0 209754 0
vsize: 839080
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 107767 73 0 0 24 0 11 0 779701545 859217920 35216 4294967295 134512640 134569956 3221224368 3221214552 1131412353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35216 13086 16 0 209754 0
vsize: 839080
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 108711 73 0 0 25 0 11 0 779701545 859217920 35301 4294967295 134512640 134569956 3221224368 3221214656 1131517124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35301 13086 16 0 209754 0
vsize: 839080
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 109643 73 0 0 25 0 11 0 779701545 859217920 35463 4294967295 134512640 134569956 3221224368 3221214552 1131411500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35463 13086 16 0 209754 0
vsize: 839080
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29568
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 110598 73 0 0 25 0 11 0 779701545 859217920 35547 4294967295 134512640 134569956 3221224368 3221214552 1131412065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 35547 13086 16 0 209754 0
vsize: 839080
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 111555 73 0 0 25 0 11 0 779701545 859217920 35624 4294967295 134512640 134569956 3221224368 3221214776 1131444091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35624 13086 16 0 209754 0
vsize: 839080
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 112519 74 0 0 25 0 11 0 779701545 859217920 35658 4294967295 134512640 134569956 3221224368 3221214656 1131513451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35658 13086 16 0 209754 0
vsize: 839080
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 113463 74 0 0 25 0 11 0 779701545 859217920 35712 4294967295 134512640 134569956 3221224368 3221214552 1131437447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35712 13086 16 0 209754 0
vsize: 839080
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 114400 74 0 0 25 0 11 0 779701545 859217920 35716 4294967295 134512640 134569956 3221224368 3221214656 1131512351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35716 13086 16 0 209754 0
vsize: 839080
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 115331 75 0 0 25 0 11 0 779701545 859217920 35795 4294967295 134512640 134569956 3221224368 3221214656 1131512351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35795 13086 16 0 209754 0
vsize: 839080
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 116263 75 0 0 25 0 11 0 779701545 859217920 35909 4294967295 134512640 134569956 3221224368 3221214600 1131472653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 35909 13086 16 0 209754 0
vsize: 839080
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 117210 75 0 0 25 0 11 0 779701545 859217920 36107 4294967295 134512640 134569956 3221224368 3221214536 1131276988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 36107 13086 16 0 209754 0
vsize: 839080
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 118158 76 0 0 25 0 11 0 779701545 859217920 36252 4294967295 134512640 134569956 3221224368 3221214632 1131583886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 36252 13086 16 0 209754 0
vsize: 839080
[startup+1250.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) S 29502 15547 15546 0 -1 0 18071 0 1 0 119118 76 0 0 25 0 11 0 779701545 859217920 36334 4294967295 134512640 134569956 3221224368 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209770 36334 13086 16 0 209754 0
vsize: 839080
[startup+1260.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29570
Raw data (stat): 29503 (java) R 29502 15547 15546 0 -1 0 18071 0 1 0 120081 77 0 0 25 0 11 0 779701545 859217920 36452 4294967295 134512640 134569956 3221224368 3221214680 1131277145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209770 36452 13086 16 0 209754 0
vsize: 839080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 29572
Raw data (stat): 29503 (java) Z 29502 15547 15546 0 -1 1036 18071 24786 1 0 120086 83 7191 62 25 0 1 0 779701545 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): 1260.21
CPU time (s): 1274.24
CPU user time (s): 1272.78
CPU system time (s): 1.45978
CPU usage (%): 101.113
Max. virtual memory (Kb): 840060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####