PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb
MD5SUM	32750e3c7e75d9737a8a929595ea705c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	80
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	4194300
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	10485760000
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	543542482725
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.15522
Number of variables	168100
Total number of constraints	1098
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1098
Minimum length of a constraint	20
Maximum length of a constraint	29060
Trace number 29893

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        590644 kB
Buffers:         38144 kB
Cached:         382060 kB
SwapCached:        716 kB
Active:         120200 kB
Inactive:       302100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        590392 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            16072 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 12:52:04 (client local time) WITH STATUS 143 IN 1323.49 SECONDS
stats: 21289 7 1323.49 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/wulflinc30/normalized-mps-v2-13-7-woodw.opb
c reading problem ... 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
s UNKNOWN
c Total CPU time (ms) : 1319.159
#### 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.80 0.95 0.98 2/54 7205
Raw data (stat): 7205 (runsolver) R 7204 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838885109 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.0007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18017 0 1 0 840 40 0 0 25 0 10 0 838885109 854786048 19768 4294967295 134512640 134569956 3221224368 3221214776 1131185805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208688 19768 13086 16 0 208672 0
vsize: 834752
[startup+20.0014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18017 0 1 0 1730 40 0 0 25 0 10 0 838885109 854065152 20222 4294967295 134512640 134569956 3221224368 3221214492 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208512 20222 13086 16 0 208496 0
vsize: 834048
[startup+30.0057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 2589 41 0 0 25 0 10 0 838885109 854097920 20913 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208520 20913 13086 16 0 208504 0
vsize: 834080
[startup+40.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 3471 41 0 0 25 0 10 0 838885109 854097920 21158 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 21158 13086 16 0 208504 0
vsize: 834080
[startup+50.0078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 4362 42 0 0 25 0 10 0 838885109 854097920 21543 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 21543 13086 16 0 208504 0
vsize: 834080
[startup+60.0092 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 5247 42 0 0 25 0 10 0 838885109 854097920 21743 4294967295 134512640 134569956 3221224368 3221214600 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 21743 13086 16 0 208504 0
vsize: 834080
[startup+70.0134 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 6123 42 0 0 25 0 10 0 838885109 854097920 21953 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 21953 13086 16 0 208504 0
vsize: 834080
[startup+80.0132 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 7029 42 0 0 25 0 10 0 838885109 854097920 22373 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22373 13086 16 0 208504 0
vsize: 834080
[startup+90.0147 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 7954 42 0 0 25 0 10 0 838885109 854097920 22596 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22596 13086 16 0 208504 0
vsize: 834080
[startup+100.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 8892 42 0 0 25 0 10 0 838885109 854097920 22741 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22741 13086 16 0 208504 0
vsize: 834080
[startup+110.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 9836 42 0 0 25 0 10 0 838885109 854097920 22823 4294967295 134512640 134569956 3221224368 3221214496 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22823 13086 16 0 208504 0
vsize: 834080
[startup+120.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 10778 42 0 0 24 0 10 0 838885109 854097920 22905 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22905 13086 16 0 208504 0
vsize: 834080
[startup+130.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 11723 42 0 0 25 0 10 0 838885109 854097920 22978 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 22978 13086 16 0 208504 0
vsize: 834080
[startup+140.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 12664 43 0 0 24 0 10 0 838885109 854097920 23053 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23053 13086 16 0 208504 0
vsize: 834080
[startup+150.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 13607 43 0 0 25 0 10 0 838885109 854097920 23119 4294967295 134512640 134569956 3221224368 3221214600 1130887961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23119 13086 16 0 208504 0
vsize: 834080
[startup+160.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 14551 43 0 0 25 0 10 0 838885109 854097920 23206 4294967295 134512640 134569956 3221224368 3221214016 1076877626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23206 13086 16 0 208504 0
vsize: 834080
[startup+170.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 15462 43 0 0 25 0 10 0 838885109 854097920 23259 4294967295 134512640 134569956 3221224368 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23259 13086 16 0 208504 0
vsize: 834080
[startup+180.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 16351 43 0 0 25 0 10 0 838885109 854097920 23307 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23307 13086 16 0 208504 0
vsize: 834080
[startup+190.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 17257 43 0 0 25 0 10 0 838885109 854097920 23664 4294967295 134512640 134569956 3221224368 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23664 13086 16 0 208504 0
vsize: 834080
[startup+200.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 18178 43 0 0 25 0 10 0 838885109 854097920 23739 4294967295 134512640 134569956 3221224368 3221214496 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23739 13086 16 0 208504 0
vsize: 834080
[startup+210.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 19107 43 0 0 25 0 10 0 838885109 854097920 23978 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 23978 13086 16 0 208504 0
vsize: 834080
[startup+220.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 20013 44 0 0 25 0 10 0 838885109 854097920 24055 4294967295 134512640 134569956 3221224368 3221214240 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24055 13086 16 0 208504 0
vsize: 834080
[startup+230.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 20904 44 0 0 25 0 10 0 838885109 854097920 24130 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24130 13086 16 0 208504 0
vsize: 834080
[startup+240.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 21807 44 0 0 25 0 10 0 838885109 854097920 24493 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24493 13086 16 0 208504 0
vsize: 834080
[startup+250.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 22738 44 0 0 25 0 10 0 838885109 854097920 24558 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24558 13086 16 0 208504 0
vsize: 834080
[startup+260.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 23665 44 0 0 24 0 10 0 838885109 854097920 24658 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24658 13086 16 0 208504 0
vsize: 834080
[startup+270.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 24592 44 0 0 25 0 10 0 838885109 854097920 24724 4294967295 134512640 134569956 3221224368 3221214496 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24724 13086 16 0 208504 0
vsize: 834080
[startup+280.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 25513 44 0 0 24 0 10 0 838885109 854097920 24810 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24810 13086 16 0 208504 0
vsize: 834080
[startup+290.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 26433 44 0 0 24 0 10 0 838885109 854097920 24905 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 24905 13086 16 0 208504 0
vsize: 834080
[startup+300.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 27354 44 0 0 25 0 10 0 838885109 854097920 25036 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25036 13086 16 0 208504 0
vsize: 834080
[startup+310.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 28279 44 0 0 25 0 10 0 838885109 854097920 25121 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25121 13086 16 0 208504 0
vsize: 834080
[startup+320.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 29200 45 0 0 25 0 10 0 838885109 854097920 25201 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25201 13086 16 0 208504 0
vsize: 834080
[startup+330.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 30118 45 0 0 25 0 10 0 838885109 854097920 25295 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25295 13086 16 0 208504 0
vsize: 834080
[startup+340.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 31043 45 0 0 25 0 10 0 838885109 854097920 25388 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25388 13086 16 0 208504 0
vsize: 834080
[startup+350.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 31975 45 0 0 25 0 10 0 838885109 854097920 25478 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25478 13086 16 0 208504 0
vsize: 834080
[startup+360.032 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 32912 45 0 0 25 0 10 0 838885109 854097920 25517 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25517 13086 16 0 208504 0
vsize: 834080
[startup+370.033 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 33845 45 0 0 17 0 10 0 838885109 854097920 25558 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25558 13086 16 0 208504 0
vsize: 834080
[startup+380.034 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 34781 45 0 0 25 0 10 0 838885109 854097920 25597 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25597 13086 16 0 208504 0
vsize: 834080
[startup+390.035 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 35716 45 0 0 25 0 10 0 838885109 854097920 25634 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25634 13086 16 0 208504 0
vsize: 834080
[startup+400.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 36648 46 0 0 24 0 10 0 838885109 854097920 25673 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25673 13086 16 0 208504 0
vsize: 834080
[startup+410.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 37583 46 0 0 25 0 10 0 838885109 854097920 25710 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25710 13086 16 0 208504 0
vsize: 834080
[startup+420.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 38517 46 0 0 23 0 10 0 838885109 854097920 25745 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25745 13086 16 0 208504 0
vsize: 834080
[startup+430.036 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 39451 46 0 0 25 0 10 0 838885109 854097920 25781 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25781 13086 16 0 208504 0
vsize: 834080
[startup+440.037 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 40380 46 0 0 24 0 10 0 838885109 854097920 25818 4294967295 134512640 134569956 3221224368 3221214492 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25818 13086 16 0 208504 0
vsize: 834080
[startup+450.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 41313 46 0 0 21 0 10 0 838885109 854097920 25852 4294967295 134512640 134569956 3221224368 3221214492 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25852 13086 16 0 208504 0
vsize: 834080
[startup+460.038 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 42245 46 0 0 25 0 10 0 838885109 854097920 25886 4294967295 134512640 134569956 3221224368 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25886 13086 16 0 208504 0
vsize: 834080
[startup+470.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 43178 46 0 0 25 0 10 0 838885109 854097920 25920 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25920 13086 16 0 208504 0
vsize: 834080
[startup+480.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 44109 46 0 0 25 0 10 0 838885109 854097920 25953 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25953 13086 16 0 208504 0
vsize: 834080
[startup+490.039 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 45037 46 0 0 24 0 10 0 838885109 854097920 25989 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 25989 13086 16 0 208504 0
vsize: 834080
[startup+500.04 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 45968 47 0 0 25 0 10 0 838885109 854097920 26021 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26021 13086 16 0 208504 0
vsize: 834080
[startup+510.046 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 46886 47 0 0 21 0 10 0 838885109 854097920 26051 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26051 13086 16 0 208504 0
vsize: 834080
[startup+520.048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 47769 47 0 0 19 0 10 0 838885109 854097920 26076 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26076 13086 16 0 208504 0
vsize: 834080
[startup+530.048 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 48659 47 0 0 25 0 10 0 838885109 854097920 26392 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26392 13086 16 0 208504 0
vsize: 834080
[startup+540.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 49586 47 0 0 25 0 10 0 838885109 854097920 26434 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26434 13086 16 0 208504 0
vsize: 834080
[startup+550.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 50511 47 0 0 25 0 10 0 838885109 854097920 26478 4294967295 134512640 134569956 3221224368 3221214772 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26478 13086 16 0 208504 0
vsize: 834080
[startup+560.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 51436 47 0 0 25 0 10 0 838885109 854097920 26521 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26521 13086 16 0 208504 0
vsize: 834080
[startup+570.055 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 52358 47 0 0 25 0 10 0 838885109 854097920 26563 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26563 13086 16 0 208504 0
vsize: 834080
[startup+580.055 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 53281 47 0 0 25 0 10 0 838885109 854097920 26597 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26597 13086 16 0 208504 0
vsize: 834080
[startup+590.055 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 54204 47 0 0 25 0 10 0 838885109 854097920 26649 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26649 13086 16 0 208504 0
vsize: 834080
[startup+600.057 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 55115 47 0 0 25 0 10 0 838885109 854097920 26703 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26703 13086 16 0 208504 0
vsize: 834080
[startup+610.058 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 56006 47 0 0 25 0 10 0 838885109 854097920 26731 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 26731 13086 16 0 208504 0
vsize: 834080
[startup+620.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 56891 48 0 0 24 0 10 0 838885109 854097920 27021 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27021 13086 16 0 208504 0
vsize: 834080
[startup+630.059 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 57812 48 0 0 24 0 10 0 838885109 854097920 27069 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27069 13086 16 0 208504 0
vsize: 834080
[startup+640.064 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 58735 48 0 0 25 0 10 0 838885109 854097920 27104 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27104 13086 16 0 208504 0
vsize: 834080
[startup+650.064 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 59656 48 0 0 25 0 10 0 838885109 854097920 27147 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27147 13086 16 0 208504 0
vsize: 834080
[startup+660.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 60575 49 0 0 25 0 10 0 838885109 854097920 27198 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27198 13086 16 0 208504 0
vsize: 834080
[startup+670.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 61494 49 0 0 25 0 10 0 838885109 854097920 27245 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27245 13086 16 0 208504 0
vsize: 834080
[startup+680.066 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 62410 49 0 0 25 0 10 0 838885109 854097920 27283 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27283 13086 16 0 208504 0
vsize: 834080
[startup+690.067 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 63317 49 0 0 25 0 10 0 838885109 854097920 27729 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27729 13086 16 0 208504 0
vsize: 834080
[startup+700.071 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 64230 49 0 0 25 0 10 0 838885109 854097920 27729 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27729 13086 16 0 208504 0
vsize: 834080
[startup+710.071 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 65139 49 0 0 25 0 10 0 838885109 854097920 27835 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27835 13086 16 0 208504 0
vsize: 834080
[startup+720.072 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 66049 49 0 0 25 0 10 0 838885109 854097920 27862 4294967295 134512640 134569956 3221224368 3221214600 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27862 13086 16 0 208504 0
vsize: 834080
[startup+730.072 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 66955 49 0 0 24 0 10 0 838885109 854097920 27907 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27907 13086 16 0 208504 0
vsize: 834080
[startup+740.073 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 67866 49 0 0 25 0 10 0 838885109 854097920 27955 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27955 13086 16 0 208504 0
vsize: 834080
[startup+750.073 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 68770 49 0 0 25 0 10 0 838885109 854097920 27998 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 27998 13086 16 0 208504 0
vsize: 834080
[startup+760.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 69680 49 0 0 22 0 10 0 838885109 854097920 28063 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28063 13086 16 0 208504 0
vsize: 834080
[startup+770.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 70580 49 0 0 21 0 10 0 838885109 854097920 28098 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28098 13086 16 0 208504 0
vsize: 834080
[startup+780.074 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 71485 50 0 0 23 0 10 0 838885109 854097920 28165 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28165 13086 16 0 208504 0
vsize: 834080
[startup+790.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 72388 50 0 0 22 0 10 0 838885109 854097920 28225 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28225 13086 16 0 208504 0
vsize: 834080
[startup+800.075 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 73298 50 0 0 25 0 10 0 838885109 854097920 28291 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28291 13086 16 0 208504 0
vsize: 834080
[startup+810.077 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 74208 50 0 0 24 0 10 0 838885109 854097920 28318 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28318 13086 16 0 208504 0
vsize: 834080
[startup+820.077 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 75124 50 0 0 25 0 10 0 838885109 854097920 28341 4294967295 134512640 134569956 3221224368 3221214496 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28341 13086 16 0 208504 0
vsize: 834080
[startup+830.077 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 76035 50 0 0 25 0 10 0 838885109 854097920 28366 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28366 13086 16 0 208504 0
vsize: 834080
[startup+840.078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 76945 50 0 0 25 0 10 0 838885109 854097920 28391 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28391 13086 16 0 208504 0
vsize: 834080
[startup+850.078 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 77854 50 0 0 24 0 10 0 838885109 854097920 28416 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28416 13086 16 0 208504 0
vsize: 834080
[startup+860.079 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 78769 51 0 0 25 0 10 0 838885109 854097920 28439 4294967295 134512640 134569956 3221224368 3221214492 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28439 13086 16 0 208504 0
vsize: 834080
[startup+870.081 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 79679 51 0 0 22 0 10 0 838885109 854097920 28463 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28463 13086 16 0 208504 0
vsize: 834080
[startup+880.081 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 80588 51 0 0 25 0 10 0 838885109 854097920 28488 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28488 13086 16 0 208504 0
vsize: 834080
[startup+890.082 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 81497 51 0 0 24 0 10 0 838885109 854097920 28512 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28512 13086 16 0 208504 0
vsize: 834080
[startup+900.082 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 82410 51 0 0 25 0 10 0 838885109 854097920 28534 4294967295 134512640 134569956 3221224368 3221214240 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28534 13086 16 0 208504 0
vsize: 834080
[startup+910.083 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 83319 51 0 0 22 0 10 0 838885109 854097920 28558 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28558 13086 16 0 208504 0
vsize: 834080
[startup+920.083 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 84227 51 0 0 25 0 10 0 838885109 854097920 28582 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28582 13086 16 0 208504 0
vsize: 834080
[startup+930.083 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 85120 51 0 0 25 0 10 0 838885109 854097920 28770 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28770 13086 16 0 208504 0
vsize: 834080
[startup+940.085 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 86032 51 0 0 25 0 10 0 838885109 854097920 28770 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28770 13086 16 0 208504 0
vsize: 834080
[startup+950.088 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 86942 51 0 0 25 0 10 0 838885109 854097920 28792 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28792 13086 16 0 208504 0
vsize: 834080
[startup+960.088 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 87847 51 0 0 22 0 10 0 838885109 854097920 28819 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28819 13086 16 0 208504 0
vsize: 834080
[startup+970.089 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 88750 51 0 0 19 0 10 0 838885109 854097920 28846 4294967295 134512640 134569956 3221224368 3221214448 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28846 13086 16 0 208504 0
vsize: 834080
[startup+980.089 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 89659 52 0 0 24 0 10 0 838885109 854097920 28886 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28886 13086 16 0 208504 0
vsize: 834080
[startup+990.09 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 90559 52 0 0 21 0 10 0 838885109 854097920 28919 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28919 13086 16 0 208504 0
vsize: 834080
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 91464 52 0 0 24 0 10 0 838885109 854097920 28945 4294967295 134512640 134569956 3221224368 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28945 13086 16 0 208504 0
vsize: 834080
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 92371 52 0 0 22 0 10 0 838885109 854097920 28972 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 28972 13086 16 0 208504 0
vsize: 834080
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 93272 52 0 0 18 0 10 0 838885109 854097920 29004 4294967295 134512640 134569956 3221224368 3221214772 1080204146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29004 13086 16 0 208504 0
vsize: 834080
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 94179 52 0 0 22 0 10 0 838885109 854097920 29043 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29043 13086 16 0 208504 0
vsize: 834080
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 95081 52 0 0 19 0 10 0 838885109 854097920 29083 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29083 13086 16 0 208504 0
vsize: 834080
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 95984 52 0 0 21 0 10 0 838885109 854097920 29103 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29103 13086 16 0 208504 0
vsize: 834080
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 96879 52 0 0 23 0 10 0 838885109 854097920 29126 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29126 13086 16 0 208504 0
vsize: 834080
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 97782 53 0 0 20 0 10 0 838885109 854097920 29201 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29201 13086 16 0 208504 0
vsize: 834080
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 98684 53 0 0 24 0 10 0 838885109 854097920 29242 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29242 13086 16 0 208504 0
vsize: 834080
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 99588 53 0 0 20 0 10 0 838885109 854097920 29273 4294967295 134512640 134569956 3221224368 3221214764 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29273 13086 16 0 208504 0
vsize: 834080
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 100486 53 0 0 22 0 10 0 838885109 854097920 29309 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29309 13086 16 0 208504 0
vsize: 834080
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 101387 53 0 0 20 0 10 0 838885109 854097920 29345 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29345 13086 16 0 208504 0
vsize: 834080
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 102291 53 0 0 23 0 10 0 838885109 854097920 29370 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29370 13086 16 0 208504 0
vsize: 834080
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 103189 53 0 0 20 0 10 0 838885109 854097920 29412 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29412 13086 16 0 208504 0
vsize: 834080
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 104091 53 0 0 22 0 10 0 838885109 854097920 29444 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29444 13086 16 0 208504 0
vsize: 834080
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 104984 54 0 0 17 0 10 0 838885109 854097920 29461 4294967295 134512640 134569956 3221224368 3221214496 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29461 13086 16 0 208504 0
vsize: 834080
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 105884 54 0 0 21 0 10 0 838885109 854097920 29503 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29503 13086 16 0 208504 0
vsize: 834080
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 106778 54 0 0 18 0 10 0 838885109 854097920 29556 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29556 13086 16 0 208504 0
vsize: 834080
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 107682 54 0 0 21 0 10 0 838885109 854097920 29610 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29610 13086 16 0 208504 0
vsize: 834080
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) S 7204 22056 22055 0 -1 0 18019 0 1 0 108584 54 0 0 23 0 10 0 838885109 854097920 29629 4294967295 134512640 134569956 3221224368 3221213736 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29629 13086 16 0 208504 0
vsize: 834080
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 109484 54 0 0 20 0 10 0 838885109 854097920 29651 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29651 13086 16 0 208504 0
vsize: 834080
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 110386 54 0 0 22 0 10 0 838885109 854097920 29690 4294967295 134512640 134569956 3221224368 3221214772 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29690 13086 16 0 208504 0
vsize: 834080
[startup+1220.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 111282 54 0 0 18 0 10 0 838885109 854097920 29741 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29741 13086 16 0 208504 0
vsize: 834080
[startup+1230.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 112184 54 0 0 21 0 10 0 838885109 854097920 29787 4294967295 134512640 134569956 3221224368 3221214600 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29787 13086 16 0 208504 0
vsize: 834080
[startup+1240.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 113081 54 0 0 18 0 10 0 838885109 854097920 29816 4294967295 134512640 134569956 3221224368 3221214240 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29816 13086 16 0 208504 0
vsize: 834080
[startup+1250.13 s]
Raw data (loadavg): 0.99 0.99 0.99 3/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 113980 54 0 0 19 0 10 0 838885109 854097920 29837 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29837 13086 16 0 208504 0
vsize: 834080
[startup+1260.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 114885 55 0 0 23 0 10 0 838885109 854097920 29918 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29918 13086 16 0 208504 0
vsize: 834080
[startup+1270.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 115786 55 0 0 19 0 10 0 838885109 854097920 29953 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 29953 13086 16 0 208504 0
vsize: 834080
[startup+1280.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 116693 55 0 0 23 0 10 0 838885109 854097920 30038 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 30038 13086 16 0 208504 0
vsize: 834080
[startup+1290.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 117596 55 0 0 19 0 10 0 838885109 854097920 30065 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 30065 13086 16 0 208504 0
vsize: 834080
[startup+1300.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 118504 55 0 0 25 0 10 0 838885109 854097920 30309 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 30309 13086 16 0 208504 0
vsize: 834080
[startup+1310.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 119407 55 0 0 24 0 10 0 838885109 854097920 30309 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 30309 13086 16 0 208504 0
vsize: 834080
[startup+1320.13 s]
Raw data (loadavg): 0.99 0.99 0.99 2/63 7214
Raw data (stat): 7205 (java) R 7204 22056 22055 0 -1 0 18019 0 1 0 120309 55 0 0 25 0 10 0 838885109 854097920 30317 4294967295 134512640 134569956 3221224368 3221214376 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208520 30317 13086 16 0 208504 0
vsize: 834080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1320.22 s]
Raw data (loadavg): 0.99 0.99 0.99 1/54 7216
Raw data (stat): 7205 (java) Z 7204 22056 22055 0 -1 1036 18019 12792 1 0 120311 61 11919 56 25 0 1 0 838885109 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): 1320.22
CPU time (s): 1323.49
CPU user time (s): 1322.31
CPU system time (s): 1.18082
CPU usage (%): 100.248
Max. virtual memory (Kb): 834752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####