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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39195741828
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39195741828
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.998847
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 30077

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 14:31:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21481 boxname=wulflinc13 idbench=1469 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 21481
/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:        391776 kB
Buffers:         34660 kB
Cached:         586796 kB
SwapCached:        608 kB
Active:          84480 kB
Inactive:       539536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        391524 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            13280 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 14:53:52 (client local time) WITH STATUS 143 IN 1310.94 SECONDS
stats: 21481 7 1310.94 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/wulflinc13/normalized-mps-v2-13-7-n3707.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) : 1309.203
#### 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.93 0.98 0.99 2/54 13564
Raw data (stat): 13564 (runsolver) R 13563 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781407012 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18007 0 1 0 866 39 0 0 25 0 10 0 781407012 853692416 19301 4294967295 134512640 134569956 3221224368 3221213248 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 19301 13086 16 0 208405 0
vsize: 833684
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 1760 39 0 0 24 0 10 0 781407012 854179840 19945 4294967295 134512640 134569956 3221224368 3221214644 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208540 19945 13086 16 0 208524 0
vsize: 834160
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 2652 40 0 0 24 0 10 0 781407012 853692416 20340 4294967295 134512640 134569956 3221224368 3221214464 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 20340 13086 16 0 208405 0
vsize: 833684
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 3569 40 0 0 25 0 10 0 781407012 853925888 20678 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 20678 13086 16 0 208462 0
vsize: 833912
[startup+50.0043 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 4489 41 0 0 25 0 10 0 781407012 853925888 20838 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 20838 13086 16 0 208462 0
vsize: 833912
[startup+60.005 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 5410 41 0 0 25 0 10 0 781407012 853925888 20961 4294967295 134512640 134569956 3221224368 3221214232 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208478 20961 13086 16 0 208462 0
vsize: 833912
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 6338 42 0 0 25 0 10 0 781407012 853692416 21151 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21151 13086 16 0 208405 0
vsize: 833684
[startup+80.0102 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 7278 42 0 0 25 0 10 0 781407012 853692416 21248 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21248 13086 16 0 208405 0
vsize: 833684
[startup+90.0109 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 8220 42 0 0 25 0 10 0 781407012 853692416 21338 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21338 13086 16 0 208405 0
vsize: 833684
[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 9161 43 0 0 25 0 10 0 781407012 853692416 21424 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21424 13086 16 0 208405 0
vsize: 833684
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 10102 43 0 0 25 0 10 0 781407012 853692416 21504 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21504 13086 16 0 208405 0
vsize: 833684
[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 3/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 11043 43 0 0 24 0 10 0 781407012 853692416 21580 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21580 13086 16 0 208405 0
vsize: 833684
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 11988 43 0 0 25 0 10 0 781407012 853692416 21647 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21647 13086 16 0 208405 0
vsize: 833684
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 12930 44 0 0 25 0 10 0 781407012 853692416 21716 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21716 13086 16 0 208405 0
vsize: 833684
[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 13872 44 0 0 25 0 10 0 781407012 853692416 21782 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21782 13086 16 0 208405 0
vsize: 833684
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 14814 44 0 0 25 0 10 0 781407012 853692416 21845 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21845 13086 16 0 208405 0
vsize: 833684
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 15753 45 0 0 25 0 10 0 781407012 853692416 21902 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21902 13086 16 0 208405 0
vsize: 833684
[startup+180.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 16665 45 0 0 24 0 10 0 781407012 853692416 21961 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 21961 13086 16 0 208405 0
vsize: 833684
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 17590 45 0 0 25 0 10 0 781407012 853692416 22272 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22272 13086 16 0 208405 0
vsize: 833684
[startup+200.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 18529 45 0 0 25 0 10 0 781407012 853692416 22327 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22327 13086 16 0 208405 0
vsize: 833684
[startup+210.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 19466 46 0 0 24 0 10 0 781407012 853692416 22381 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22381 13086 16 0 208405 0
vsize: 833684
[startup+220.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 20408 46 0 0 25 0 10 0 781407012 853692416 22431 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22431 13086 16 0 208405 0
vsize: 833684
[startup+230.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 21345 46 0 0 25 0 10 0 781407012 853692416 22482 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22482 13086 16 0 208405 0
vsize: 833684
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 22282 46 0 0 25 0 10 0 781407012 853692416 22532 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22532 13086 16 0 208405 0
vsize: 833684
[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 23222 46 0 0 25 0 10 0 781407012 853692416 22578 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22578 13086 16 0 208405 0
vsize: 833684
[startup+260.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 24158 46 0 0 25 0 10 0 781407012 853692416 22626 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22626 13086 16 0 208405 0
vsize: 833684
[startup+270.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 25094 46 0 0 25 0 10 0 781407012 853692416 22673 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22673 13086 16 0 208405 0
vsize: 833684
[startup+280.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 26033 47 0 0 25 0 10 0 781407012 853692416 22716 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22716 13086 16 0 208405 0
vsize: 833684
[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 26967 47 0 0 25 0 10 0 781407012 853692416 22760 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22760 13086 16 0 208405 0
vsize: 833684
[startup+300.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 27902 47 0 0 24 0 10 0 781407012 853692416 22804 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22804 13086 16 0 208405 0
vsize: 833684
[startup+310.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 28839 48 0 0 25 0 10 0 781407012 853692416 22845 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22845 13086 16 0 208405 0
vsize: 833684
[startup+320.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 29773 48 0 0 25 0 10 0 781407012 853692416 22887 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22887 13086 16 0 208405 0
vsize: 833684
[startup+330.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 30706 48 0 0 24 0 10 0 781407012 853692416 22929 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 22929 13086 16 0 208405 0
vsize: 833684
[startup+340.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 31643 48 0 0 25 0 10 0 781407012 853692416 22968 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 22968 13086 16 0 208405 0
vsize: 833684
[startup+350.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 32575 49 0 0 25 0 10 0 781407012 853692416 23008 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23008 13086 16 0 208405 0
vsize: 833684
[startup+360.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 33511 49 0 0 25 0 10 0 781407012 853692416 23046 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23046 13086 16 0 208405 0
vsize: 833684
[startup+370.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 34443 49 0 0 25 0 10 0 781407012 853692416 23086 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23086 13086 16 0 208405 0
vsize: 833684
[startup+380.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 35377 49 0 0 25 0 10 0 781407012 853692416 23122 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23122 13086 16 0 208405 0
vsize: 833684
[startup+390.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 36307 49 0 0 25 0 10 0 781407012 853692416 23160 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23160 13086 16 0 208405 0
vsize: 833684
[startup+400.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 37241 49 0 0 25 0 10 0 781407012 853692416 23195 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23195 13086 16 0 208405 0
vsize: 833684
[startup+410.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 38171 50 0 0 25 0 10 0 781407012 853692416 23233 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23233 13086 16 0 208405 0
vsize: 833684
[startup+420.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 39104 50 0 0 25 0 10 0 781407012 853692416 23267 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23267 13086 16 0 208405 0
vsize: 833684
[startup+430.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 40033 50 0 0 25 0 10 0 781407012 853692416 23303 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23303 13086 16 0 208405 0
vsize: 833684
[startup+440.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 40965 50 0 0 25 0 10 0 781407012 853692416 23337 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23337 13086 16 0 208405 0
vsize: 833684
[startup+450.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 41893 50 0 0 25 0 10 0 781407012 853692416 23372 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23372 13086 16 0 208405 0
vsize: 833684
[startup+460.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 42824 50 0 0 25 0 10 0 781407012 853692416 23405 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23405 13086 16 0 208405 0
vsize: 833684
[startup+470.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 43752 50 0 0 25 0 10 0 781407012 853692416 23439 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23439 13086 16 0 208405 0
vsize: 833684
[startup+480.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 44682 51 0 0 25 0 10 0 781407012 853692416 23471 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 23471 13086 16 0 208405 0
vsize: 833684
[startup+490.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 45608 51 0 0 24 0 10 0 781407012 853692416 23505 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23505 13086 16 0 208405 0
vsize: 833684
[startup+500.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 46538 51 0 0 25 0 10 0 781407012 853692416 23537 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23537 13086 16 0 208405 0
vsize: 833684
[startup+510.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 47466 52 0 0 25 0 10 0 781407012 853692416 23569 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23569 13086 16 0 208405 0
vsize: 833684
[startup+520.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 48393 52 0 0 25 0 10 0 781407012 853692416 23600 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23600 13086 16 0 208405 0
vsize: 833684
[startup+530.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 49320 52 0 0 25 0 10 0 781407012 853692416 23632 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23632 13086 16 0 208405 0
vsize: 833684
[startup+540.056 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 50248 53 0 0 25 0 10 0 781407012 853692416 23662 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23662 13086 16 0 208405 0
vsize: 833684
[startup+550.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 51175 53 0 0 21 0 10 0 781407012 853692416 23692 4294967295 134512640 134569956 3221224368 3221214216 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23692 13086 16 0 208405 0
vsize: 833684
[startup+560.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 52099 53 0 0 24 0 10 0 781407012 853692416 23723 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23723 13086 16 0 208405 0
vsize: 833684
[startup+570.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 53026 54 0 0 25 0 10 0 781407012 853692416 23752 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23752 13086 16 0 208405 0
vsize: 833684
[startup+580.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 53952 54 0 0 25 0 10 0 781407012 853692416 23782 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23782 13086 16 0 208405 0
vsize: 833684
[startup+590.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 54879 54 0 0 25 0 10 0 781407012 853692416 23810 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23810 13086 16 0 208405 0
vsize: 833684
[startup+600.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 55800 55 0 0 25 0 10 0 781407012 853692416 23840 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23840 13086 16 0 208405 0
vsize: 833684
[startup+610.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 56726 55 0 0 25 0 10 0 781407012 853692416 23869 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23869 13086 16 0 208405 0
vsize: 833684
[startup+620.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 57652 55 0 0 25 0 10 0 781407012 853692416 23897 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23897 13086 16 0 208405 0
vsize: 833684
[startup+630.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 58576 56 0 0 25 0 10 0 781407012 853692416 23925 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23925 13086 16 0 208405 0
vsize: 833684
[startup+640.063 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 59502 56 0 0 25 0 10 0 781407012 853692416 23953 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23953 13086 16 0 208405 0
vsize: 833684
[startup+650.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 60423 57 0 0 24 0 10 0 781407012 853692416 23982 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 23982 13086 16 0 208405 0
vsize: 833684
[startup+660.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 61337 57 0 0 24 0 10 0 781407012 853692416 24918 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24918 13086 16 0 208405 0
vsize: 833684
[startup+670.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 62267 57 0 0 25 0 10 0 781407012 853692416 24918 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24918 13086 16 0 208405 0
vsize: 833684
[startup+680.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 63186 58 0 0 25 0 10 0 781407012 853692416 24921 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24921 13086 16 0 208405 0
vsize: 833684
[startup+690.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 64101 58 0 0 25 0 10 0 781407012 853692416 24949 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24949 13086 16 0 208405 0
vsize: 833684
[startup+700.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 65015 58 0 0 25 0 10 0 781407012 853692416 24975 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 24975 13086 16 0 208405 0
vsize: 833684
[startup+710.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 65927 58 0 0 25 0 10 0 781407012 853692416 25002 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25002 13086 16 0 208405 0
vsize: 833684
[startup+720.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 66839 58 0 0 25 0 10 0 781407012 853692416 25028 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25028 13086 16 0 208405 0
vsize: 833684
[startup+730.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 67752 59 0 0 25 0 10 0 781407012 853692416 25053 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25053 13086 16 0 208405 0
vsize: 833684
[startup+740.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 68665 59 0 0 25 0 10 0 781407012 853692416 25079 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25079 13086 16 0 208405 0
vsize: 833684
[startup+750.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 69578 59 0 0 25 0 10 0 781407012 853692416 25105 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25105 13086 16 0 208405 0
vsize: 833684
[startup+760.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 70490 60 0 0 25 0 10 0 781407012 853692416 25130 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25130 13086 16 0 208405 0
vsize: 833684
[startup+770.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 71403 60 0 0 24 0 10 0 781407012 853692416 25155 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25155 13086 16 0 208405 0
vsize: 833684
[startup+780.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 72313 60 0 0 20 0 10 0 781407012 853692416 25180 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25180 13086 16 0 208405 0
vsize: 833684
[startup+790.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 73224 60 0 0 24 0 10 0 781407012 853692416 25205 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25205 13086 16 0 208405 0
vsize: 833684
[startup+800.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 74141 60 0 0 25 0 10 0 781407012 853692416 25228 4294967295 134512640 134569956 3221224368 3221214264 1079300802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25228 13086 16 0 208405 0
vsize: 833684
[startup+810.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 75052 60 0 0 25 0 10 0 781407012 853692416 25252 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25252 13086 16 0 208405 0
vsize: 833684
[startup+820.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 75962 61 0 0 25 0 10 0 781407012 853692416 25277 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25277 13086 16 0 208405 0
vsize: 833684
[startup+830.073 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 76873 61 0 0 25 0 10 0 781407012 853692416 25301 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25301 13086 16 0 208405 0
vsize: 833684
[startup+840.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 77783 61 0 0 25 0 10 0 781407012 853692416 25325 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25325 13086 16 0 208405 0
vsize: 833684
[startup+850.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 78692 62 0 0 25 0 10 0 781407012 853692416 25349 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25349 13086 16 0 208405 0
vsize: 833684
[startup+860.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 79600 62 0 0 25 0 10 0 781407012 853692416 25373 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25373 13086 16 0 208405 0
vsize: 833684
[startup+870.075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 80509 63 0 0 24 0 10 0 781407012 853692416 25396 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25396 13086 16 0 208405 0
vsize: 833684
[startup+880.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 81424 63 0 0 25 0 10 0 781407012 853692416 25418 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25418 13086 16 0 208405 0
vsize: 833684
[startup+890.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 82332 63 0 0 25 0 10 0 781407012 853692416 25442 4294967295 134512640 134569956 3221224368 3221214216 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25442 13086 16 0 208405 0
vsize: 833684
[startup+900.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 83240 64 0 0 25 0 10 0 781407012 853692416 25466 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25466 13086 16 0 208405 0
vsize: 833684
[startup+910.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 84147 64 0 0 25 0 10 0 781407012 853692416 25489 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25489 13086 16 0 208405 0
vsize: 833684
[startup+920.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 85053 65 0 0 24 0 10 0 781407012 853692416 25520 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25520 13086 16 0 208405 0
vsize: 833684
[startup+930.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 85962 65 0 0 25 0 10 0 781407012 853692416 25546 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25546 13086 16 0 208405 0
vsize: 833684
[startup+940.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 86873 66 0 0 25 0 10 0 781407012 853692416 25569 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25569 13086 16 0 208405 0
vsize: 833684
[startup+950.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 87779 66 0 0 25 0 10 0 781407012 853692416 25598 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25598 13086 16 0 208405 0
vsize: 833684
[startup+960.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 88683 67 0 0 20 0 10 0 781407012 853692416 25624 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25624 13086 16 0 208405 0
vsize: 833684
[startup+970.081 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 89590 67 0 0 19 0 10 0 781407012 853692416 25647 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25647 13086 16 0 208405 0
vsize: 833684
[startup+980.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 90501 68 0 0 24 0 10 0 781407012 853692416 25673 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25673 13086 16 0 208405 0
vsize: 833684
[startup+990.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 91406 68 0 0 22 0 10 0 781407012 853692416 25696 4294967295 134512640 134569956 3221224368 3221214200 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25696 13086 16 0 208405 0
vsize: 833684
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 92311 68 0 0 20 0 10 0 781407012 853692416 25726 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25726 13086 16 0 208405 0
vsize: 833684
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 93216 68 0 0 19 0 10 0 781407012 853692416 25748 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25748 13086 16 0 208405 0
vsize: 833684
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 94127 69 0 0 22 0 10 0 781407012 853692416 25768 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25768 13086 16 0 208405 0
vsize: 833684
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 95031 69 0 0 22 0 10 0 781407012 853692416 25801 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25801 13086 16 0 208405 0
vsize: 833684
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 95936 70 0 0 20 0 10 0 781407012 853692416 25822 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 25822 13086 16 0 208405 0
vsize: 833684
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 96841 70 0 0 24 0 10 0 781407012 853692416 25849 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25849 13086 16 0 208405 0
vsize: 833684
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 97747 70 0 0 22 0 10 0 781407012 853692416 25875 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25875 13086 16 0 208405 0
vsize: 833684
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 98647 71 0 0 22 0 10 0 781407012 853692416 25900 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25900 13086 16 0 208405 0
vsize: 833684
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 99548 71 0 0 19 0 10 0 781407012 853692416 25922 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25922 13086 16 0 208405 0
vsize: 833684
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 100449 71 0 0 19 0 10 0 781407012 853692416 25950 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25950 13086 16 0 208405 0
vsize: 833684
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 101356 71 0 0 23 0 10 0 781407012 853692416 25972 4294967295 134512640 134569956 3221224368 3221214712 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25972 13086 16 0 208405 0
vsize: 833684
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 102256 72 0 0 22 0 10 0 781407012 853692416 25996 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 25996 13086 16 0 208405 0
vsize: 833684
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 103157 72 0 0 20 0 10 0 781407012 853692416 26021 4294967295 134512640 134569956 3221224368 3221214200 1077558387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26021 13086 16 0 208405 0
vsize: 833684
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 104058 72 0 0 19 0 10 0 781407012 853692416 26046 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26046 13086 16 0 208405 0
vsize: 833684
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 104964 73 0 0 23 0 10 0 781407012 853692416 26067 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26067 13086 16 0 208405 0
vsize: 833684
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 105863 73 0 0 21 0 10 0 781407012 853692416 26094 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26094 13086 16 0 208405 0
vsize: 833684
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 106763 73 0 0 20 0 10 0 781407012 853692416 26115 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26115 13086 16 0 208405 0
vsize: 833684
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) S 13563 1269 1268 0 -1 0 18008 0 1 0 107663 73 0 0 23 0 10 0 781407012 853692416 26139 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26139 13086 16 0 208405 0
vsize: 833684
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 108568 73 0 0 22 0 10 0 781407012 853692416 26159 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26159 13086 16 0 208405 0
vsize: 833684
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 109467 74 0 0 20 0 10 0 781407012 853692416 26187 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26187 13086 16 0 208405 0
vsize: 833684
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 110363 74 0 0 19 0 10 0 781407012 853692416 26211 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26211 13086 16 0 208405 0
vsize: 833684
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 111266 74 0 0 23 0 10 0 781407012 853692416 26232 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26232 13086 16 0 208405 0
vsize: 833684
[startup+1220.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 112164 74 0 0 21 0 10 0 781407012 853692416 26255 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26255 13086 16 0 208405 0
vsize: 833684
[startup+1230.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 113062 74 0 0 18 0 10 0 781407012 853692416 26275 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26275 13086 16 0 208405 0
vsize: 833684
[startup+1240.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 113966 75 0 0 23 0 10 0 781407012 853692416 26293 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26293 13086 16 0 208405 0
vsize: 833684
[startup+1250.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 114864 76 0 0 21 0 10 0 781407012 853692416 26314 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 26314 13086 16 0 208405 0
vsize: 833684
[startup+1260.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 115763 76 0 0 19 0 10 0 781407012 853692416 26344 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26344 13086 16 0 208405 0
vsize: 833684
[startup+1270.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 116666 76 0 0 22 0 10 0 781407012 853692416 26375 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26375 13086 16 0 208405 0
vsize: 833684
[startup+1280.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 117566 76 0 0 20 0 10 0 781407012 853692416 26398 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26398 13086 16 0 208405 0
vsize: 833684
[startup+1290.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 118471 77 0 0 23 0 10 0 781407012 853692416 26410 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26410 13086 16 0 208405 0
vsize: 833684
[startup+1300.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 119372 77 0 0 21 0 10 0 781407012 853692416 26447 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26447 13086 16 0 208405 0
vsize: 833684
[startup+1310.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 13573
Raw data (stat): 13564 (java) R 13563 1269 1268 0 -1 0 18008 0 1 0 120276 77 0 0 19 0 10 0 781407012 853692416 26460 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208421 26460 13086 16 0 208405 0
vsize: 833684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.23 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 13575
Raw data (stat): 13564 (java) Z 13563 1269 1268 0 -1 1036 18008 8526 1 0 120281 78 10689 45 20 0 1 0 781407012 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): 1310.22
CPU time (s): 1310.94
CPU user time (s): 1309.7
CPU system time (s): 1.23481
CPU usage (%): 100.055
Max. virtual memory (Kb): 834160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####