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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-seymour1.opb
MD5SUM6ce78c8c12f3a600932e30ddb0640345
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64128
Optimality of the best value was proved NO
Number of terms in the objective function 7819
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 292583
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 292583
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.27
Number of variables7819
Total number of constraints6316
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)451
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint144

Trace number 14520

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        509128 kB
Buffers:         33756 kB
Cached:         468764 kB
SwapCached:          0 kB
Active:         105540 kB
Inactive:       399748 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        508876 kB
SwapTotal:     2097136 kB
SwapFree:      2097036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6808 kB
Slab:            14528 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 00:30:08 (client local time) WITH STATUS 143 IN 1240.01 SECONDS
stats: 19821 7 1240.01 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-seymour1.opb
c reading problem 
c [nbvar=7819]
c [nbconstr=6316]
c time 33.217
c #vars     7819
c #clauses  5865
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=64256
c Current CPU time (ms) : 34.724
c starts	: 1
c conflicts	: 0
c decisions	: 5329
c propagations	: 7819
c inspects	: 10988
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.79 0.91 0.90 2/54 27024
Raw data (stat): 27024 (runsolver) R 27023 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482431176 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.82 0.91 0.90 2/63 27033
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 17984 0 1 0 892 38 0 0 25 0 10 0 482431176 853512192 19198 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208377 19198 13073 16 0 208361 0
vsize: 833508
[startup+20.0011 s]
Raw data (loadavg): 1.01 0.95 0.91 4/63 27033
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 17999 0 1 0 1777 39 0 0 25 0 10 0 482431176 861552640 21186 4294967295 134512640 134569956 3221224400 3221214412 1130893176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210340 21186 13073 16 0 210324 0
vsize: 841360
[startup+30.0027 s]
Raw data (loadavg): 1.32 1.01 0.93 4/63 27033
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18159 0 1 0 2563 41 0 0 25 0 10 0 482431176 888889344 29048 4294967295 134512640 134569956 3221224400 3221214880 1130898488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 217014 29048 13073 16 0 216998 0
vsize: 868056
[startup+40.0083 s]
Raw data (loadavg): 1.35 1.03 0.94 4/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18227 4 1 0 3356 44 0 0 25 0 11 0 482431176 883892224 32425 4294967295 134512640 134569956 3221224400 3221213576 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215794 32425 13073 16 0 215778 0
vsize: 863176
[startup+50.02 s]
Raw data (loadavg): 1.44 1.06 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18229 4 1 0 4311 44 0 0 25 0 11 0 482431176 874291200 30152 4294967295 134512640 134569956 3221224400 3221214480 1131304919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30152 13073 16 0 213434 0
vsize: 853800
[startup+60.0206 s]
Raw data (loadavg): 1.37 1.06 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18229 4 1 0 5287 44 0 0 25 0 11 0 482431176 874291200 30152 4294967295 134512640 134569956 3221224400 3221214440 1131289217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30152 13073 16 0 213434 0
vsize: 853800
[startup+70.0218 s]
Raw data (loadavg): 1.31 1.06 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 6262 45 0 0 25 0 11 0 482431176 874291200 30153 4294967295 134512640 134569956 3221224400 3221214528 1131743311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30153 13073 16 0 213434 0
vsize: 853800
[startup+80.0229 s]
Raw data (loadavg): 1.27 1.05 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 7235 45 0 0 25 0 11 0 482431176 874291200 30153 4294967295 134512640 134569956 3221224400 3221214440 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30153 13073 16 0 213434 0
vsize: 853800
[startup+90.0226 s]
Raw data (loadavg): 1.22 1.05 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 8219 46 0 0 25 0 11 0 482431176 874291200 30350 4294967295 134512640 134569956 3221224400 3221214448 1131288882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30350 13073 16 0 213434 0
vsize: 853800
[startup+100.022 s]
Raw data (loadavg): 1.19 1.05 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 9217 46 0 0 25 0 11 0 482431176 874291200 30350 4294967295 134512640 134569956 3221224400 3221214448 1131288897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 30350 13073 16 0 213434 0
vsize: 853800
[startup+110.023 s]
Raw data (loadavg): 1.16 1.05 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 10215 46 0 0 25 0 11 0 482431176 874291200 30350 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 30350 13073 16 0 213434 0
vsize: 853800
[startup+120.024 s]
Raw data (loadavg): 1.13 1.05 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 11211 46 0 0 25 0 11 0 482431176 874291200 30353 4294967295 134512640 134569956 3221224400 3221214528 1131744327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30353 13073 16 0 213434 0
vsize: 853800
[startup+130.025 s]
Raw data (loadavg): 1.11 1.04 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 12209 46 0 0 25 0 11 0 482431176 874291200 30355 4294967295 134512640 134569956 3221224400 3221214544 1131588796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30355 13073 16 0 213434 0
vsize: 853800
[startup+140.025 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 13206 47 0 0 25 0 11 0 482431176 874291200 30355 4294967295 134512640 134569956 3221224400 3221214440 1131288860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30355 13073 16 0 213434 0
vsize: 853800
[startup+150.024 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 14202 47 0 0 25 0 11 0 482431176 874291200 30355 4294967295 134512640 134569956 3221224400 3221214528 1131608049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 30355 13073 16 0 213434 0
vsize: 853800
[startup+160.025 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 15199 47 0 0 25 0 11 0 482431176 874291200 30355 4294967295 134512640 134569956 3221224400 3221214440 1131288727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30355 13073 16 0 213434 0
vsize: 853800
[startup+170.025 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 16195 48 0 0 25 0 11 0 482431176 874291200 30355 4294967295 134512640 134569956 3221224400 3221214440 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30355 13073 16 0 213434 0
vsize: 853800
[startup+180.024 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 17192 48 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+190.026 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 18190 48 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214528 1131608049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+200.025 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 19187 48 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214440 1131288964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+210.026 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 20184 49 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+220.027 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 21183 49 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214440 1131289000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+230.026 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 22181 49 0 0 25 0 11 0 482431176 874291200 30370 4294967295 134512640 134569956 3221224400 3221214544 1131588791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30370 13073 16 0 213434 0
vsize: 853800
[startup+240.026 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 23153 50 0 0 25 0 11 0 482431176 874291200 30371 4294967295 134512640 134569956 3221224400 3221214664 1131303724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30371 13073 16 0 213434 0
vsize: 853800
[startup+250.025 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 24107 50 0 0 25 0 11 0 482431176 874291200 30371 4294967295 134512640 134569956 3221224400 3221214664 1131667618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 30371 13073 16 0 213434 0
vsize: 853800
[startup+260.026 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) S 27023 30701 30700 0 -1 0 18230 4 1 0 25039 51 0 0 25 0 11 0 482431176 874291200 30665 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30665 13073 16 0 213434 0
vsize: 853800
[startup+270.027 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) S 27023 30701 30700 0 -1 0 18230 4 1 0 25969 51 0 0 25 0 11 0 482431176 874291200 30793 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30793 13073 16 0 213434 0
vsize: 853800
[startup+280.027 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 26897 51 0 0 25 0 11 0 482431176 874291200 30793 4294967295 134512640 134569956 3221224400 3221214620 1131568166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 30793 13073 16 0 213434 0
vsize: 853800
[startup+290.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 27829 52 0 0 25 0 11 0 482431176 874291200 31097 4294967295 134512640 134569956 3221224400 3221214664 1131609138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31097 13073 16 0 213434 0
vsize: 853800
[startup+300.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 28810 52 0 0 25 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214624 1131572132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+310.028 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 29798 52 0 0 24 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214528 1131608049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+320.03 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 30785 53 0 0 25 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214528 1131743748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+330.031 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 31773 53 0 0 25 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214448 1131288860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+340.031 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 32764 54 0 0 25 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214528 1131743646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+350.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 33753 54 0 0 25 0 11 0 482431176 874291200 31629 4294967295 134512640 134569956 3221224400 3221214528 1131743280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31629 13073 16 0 213434 0
vsize: 853800
[startup+360.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 34742 54 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+370.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 35740 55 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214528 1131743331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+380.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 36738 55 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214536 1131289118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+390.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 37736 55 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214528 1131743483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+400.031 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 38734 55 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214536 1131289213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+410.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 39731 56 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+420.032 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 40729 56 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214536 1131288860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+430.044 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 41729 56 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214528 1131743663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+440.049 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 42727 57 0 0 25 0 11 0 482431176 874291200 31667 4294967295 134512640 134569956 3221224400 3221214536 1131289135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31667 13073 16 0 213434 0
vsize: 853800
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 43725 57 0 0 25 0 11 0 482431176 874291200 31671 4294967295 134512640 134569956 3221224400 3221214536 1131289395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31671 13073 16 0 213434 0
vsize: 853800
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 44723 58 0 0 25 0 11 0 482431176 874291200 31671 4294967295 134512640 134569956 3221224400 3221214536 1131288894 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31671 13073 16 0 213434 0
vsize: 853800
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 45721 58 0 0 25 0 11 0 482431176 874291200 31671 4294967295 134512640 134569956 3221224400 3221214640 1131776291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31671 13073 16 0 213434 0
vsize: 853800
[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 46717 59 0 0 25 0 11 0 482431176 874291200 31671 4294967295 134512640 134569956 3221224400 3221214808 1131590323 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31671 13073 16 0 213434 0
vsize: 853800
[startup+490.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 47691 59 0 0 25 0 11 0 482431176 874291200 31672 4294967295 134512640 134569956 3221224400 3221214528 1131743684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31672 13073 16 0 213434 0
vsize: 853800
[startup+500.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 48665 59 0 0 25 0 11 0 482431176 874291200 31672 4294967295 134512640 134569956 3221224400 3221214528 1131743275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31672 13073 16 0 213434 0
vsize: 853800
[startup+510.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 49639 59 0 0 25 0 11 0 482431176 874291200 31672 4294967295 134512640 134569956 3221224400 3221214528 1131743680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31672 13073 16 0 213434 0
vsize: 853800
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 50612 60 0 0 24 0 11 0 482431176 874291200 31672 4294967295 134512640 134569956 3221224400 3221214528 1131743405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31672 13073 16 0 213434 0
vsize: 853800
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 51595 60 0 0 25 0 11 0 482431176 874291200 31672 4294967295 134512640 134569956 3221224400 3221214528 1131743657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31672 13073 16 0 213434 0
vsize: 853800
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 52576 61 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214528 1131743708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 53574 61 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+560.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 54572 61 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214640 1131774480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 55570 61 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214636 1131288524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 56568 62 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 57566 62 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+600.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 58564 62 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 59563 63 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214640 1131776284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 60562 63 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 61560 63 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 62558 63 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214640 1131774476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 63556 64 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214632 1131741539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 64555 64 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214640 1131774487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 65553 64 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+680.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 66551 65 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 67549 65 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214640 1131774480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+700.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 68548 65 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214528 1131745341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+710.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 69546 65 0 0 25 0 11 0 482431176 874291200 31943 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31943 13073 16 0 213434 0
vsize: 853800
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 70543 65 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+730.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 71541 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 72539 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214536 1131288571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 73536 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214512 1131381057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 74534 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214640 1131774480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 75532 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214640 1131774617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 76530 66 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214528 1131743836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 77528 67 0 0 25 0 11 0 482431176 874291200 31945 4294967295 134512640 134569956 3221224400 3221214536 1131288860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31945 13073 16 0 213434 0
vsize: 853800
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 78525 68 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214536 1131288878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 79522 68 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214616 1131608049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 80519 68 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214536 1131288882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+830.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 81517 69 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214528 1131745329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 82501 69 0 0 24 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214528 1131743316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 83484 70 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214640 1131776291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 84466 70 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214536 1131288688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 85447 70 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214528 1131743275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 86435 70 0 0 25 0 11 0 482431176 874291200 31948 4294967295 134512640 134569956 3221224400 3221214528 1131743650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 31948 13073 16 0 213434 0
vsize: 853800
[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 87419 71 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 88417 71 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214528 1131743639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 89414 71 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214528 1131743646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 90412 71 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214364 1078128065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 91393 72 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214536 1131288882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 92376 72 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 93358 73 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214536 1131289141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 94343 73 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 95328 74 0 0 25 0 11 0 482431176 874291200 32084 4294967295 134512640 134569956 3221224400 3221214528 1131745345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32084 13073 16 0 213434 0
vsize: 853800
[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 96315 74 0 0 25 0 11 0 482431176 874291200 32219 4294967295 134512640 134569956 3221224400 3221214528 1131744553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32219 13073 16 0 213434 0
vsize: 853800
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 97312 75 0 0 25 0 11 0 482431176 874291200 32219 4294967295 134512640 134569956 3221224400 3221214528 1131743265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32219 13073 16 0 213434 0
vsize: 853800
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 98310 75 0 0 25 0 11 0 482431176 874291200 32219 4294967295 134512640 134569956 3221224400 3221214528 1131743646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32219 13073 16 0 213434 0
vsize: 853800
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 99309 75 0 0 25 0 11 0 482431176 874291200 32219 4294967295 134512640 134569956 3221224400 3221214528 1131743241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32219 13073 16 0 213434 0
vsize: 853800
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 100307 76 0 0 25 0 11 0 482431176 874291200 32219 4294967295 134512640 134569956 3221224400 3221214528 1131744520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32219 13073 16 0 213434 0
vsize: 853800
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 101305 76 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214528 1131743730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 102303 76 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214536 1131288821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 103302 76 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214640 1131774480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 104300 76 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214536 1131288795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 105298 77 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214528 1131745341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 106295 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214640 1131776291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 107293 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214528 1131743664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 108292 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214640 1131776293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 109291 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214528 1131744662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 110289 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214536 1131288753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 111287 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214640 1131774494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 112285 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214528 1131744520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 113284 78 0 0 25 0 11 0 482431176 874291200 32220 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32220 13073 16 0 213434 0
vsize: 853800
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 114282 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214528 1131744579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 115280 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214536 1131288854 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 116278 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214528 1131743241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 117276 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214536 1131288897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 118275 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214640 1131774480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 119273 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214528 1131743278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 27035
Raw data (stat): 27024 (java) R 27023 30701 30700 0 -1 0 18230 4 1 0 120271 78 0 0 25 0 11 0 482431176 874291200 32223 4294967295 134512640 134569956 3221224400 3221214640 1131776398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213450 32223 13073 16 0 213434 0
vsize: 853800
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 27037
Raw data (stat): 27024 (java) Z 27023 30701 30700 0 -1 1036 18230 30331 1 0 120275 84 3558 81 25 0 1 0 482431176 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.16
CPU time (s): 1240.01
CPU user time (s): 1238.35
CPU system time (s): 1.66075
CPU usage (%): 101.626
Max. virtual memory (Kb): 868056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####