PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29645337650291
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29645337650291
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43078
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 29692

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 10:31:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21096 boxname=wulflinc25 idbench=1084 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  9e0552681bd542cf776486fc35ee9977  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-n3706.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-n3706.opb
IDLAUNCH: 21096
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        416488 kB
Buffers:         30828 kB
Cached:         562972 kB
SwapCached:        588 kB
Active:         108416 kB
Inactive:       487620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        416236 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16280 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:53:01 (client local time) WITH STATUS 143 IN 1312.27 SECONDS
stats: 21096 7 1312.27 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/wulflinc25/normalized-mps-v2-20-10-n3706.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) : 1308.895
#### 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.86 0.97 0.99 2/54 12867
Raw data (stat): 12867 (runsolver) R 12866 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838191098 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.0006 s]
Raw data (loadavg): 0.88 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18008 0 1 0 857 40 0 0 25 0 10 0 838191098 853397504 19261 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208349 19261 13086 16 0 208333 0
vsize: 833396
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 1753 40 0 0 25 0 10 0 838191098 854339584 19969 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208579 19969 13086 16 0 208563 0
vsize: 834316
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 2645 40 0 0 20 0 10 0 838191098 854339584 20464 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208579 20464 13086 16 0 208563 0
vsize: 834316
[startup+40.0024 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 3560 41 0 0 24 0 10 0 838191098 854339584 20764 4294967295 134512640 134569956 3221224368 3221214768 1131245312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208579 20764 13086 16 0 208563 0
vsize: 834316
[startup+50.009 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 4483 42 0 0 25 0 10 0 838191098 854339584 20926 4294967295 134512640 134569956 3221224368 3221214768 1131244670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208579 20926 13086 16 0 208563 0
vsize: 834316
[startup+60.01 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 5404 42 0 0 25 0 10 0 838191098 854339584 21050 4294967295 134512640 134569956 3221224368 3221214768 1131244870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208579 21050 13086 16 0 208563 0
vsize: 834316
[startup+70.0103 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 6331 43 0 0 25 0 10 0 838191098 855388160 21493 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21493 13086 16 0 208819 0
vsize: 835340
[startup+80.0109 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 7273 43 0 0 25 0 10 0 838191098 855388160 21589 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21589 13086 16 0 208819 0
vsize: 835340
[startup+90.012 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 8213 44 0 0 25 0 10 0 838191098 855388160 21682 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21682 13086 16 0 208819 0
vsize: 835340
[startup+100.012 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 9155 44 0 0 24 0 10 0 838191098 855388160 21768 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21768 13086 16 0 208819 0
vsize: 835340
[startup+110.014 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 10100 45 0 0 25 0 10 0 838191098 855388160 21843 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21843 13086 16 0 208819 0
vsize: 835340
[startup+120.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 11042 45 0 0 25 0 10 0 838191098 855388160 21920 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21920 13086 16 0 208819 0
vsize: 835340
[startup+130.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 11984 45 0 0 25 0 10 0 838191098 855388160 21992 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 21992 13086 16 0 208819 0
vsize: 835340
[startup+140.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 12930 45 0 0 25 0 10 0 838191098 855388160 22056 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22056 13086 16 0 208819 0
vsize: 835340
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 13873 46 0 0 25 0 10 0 838191098 855388160 22122 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22122 13086 16 0 208819 0
vsize: 835340
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 14815 46 0 0 25 0 10 0 838191098 855388160 22185 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22185 13086 16 0 208819 0
vsize: 835340
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 15758 46 0 0 25 0 10 0 838191098 855388160 22241 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22241 13086 16 0 208819 0
vsize: 835340
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 16670 46 0 0 24 0 10 0 838191098 855388160 22300 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22300 13086 16 0 208819 0
vsize: 835340
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 17594 47 0 0 25 0 10 0 838191098 855388160 22610 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22610 13086 16 0 208819 0
vsize: 835340
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 18533 47 0 0 24 0 10 0 838191098 855388160 22665 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22665 13086 16 0 208819 0
vsize: 835340
[startup+210.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 19475 47 0 0 25 0 10 0 838191098 855388160 22715 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22715 13086 16 0 208819 0
vsize: 835340
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 20413 48 0 0 25 0 10 0 838191098 855388160 22767 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22767 13086 16 0 208819 0
vsize: 835340
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 21353 48 0 0 25 0 10 0 838191098 855388160 22816 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22816 13086 16 0 208819 0
vsize: 835340
[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 22292 49 0 0 25 0 10 0 838191098 855388160 22865 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22865 13086 16 0 208819 0
vsize: 835340
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.99 3/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 23229 49 0 0 25 0 10 0 838191098 855388160 22914 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22914 13086 16 0 208819 0
vsize: 835340
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 24169 50 0 0 25 0 10 0 838191098 855388160 22958 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 22958 13086 16 0 208819 0
vsize: 835340
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 25106 50 0 0 25 0 10 0 838191098 855388160 23005 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23005 13086 16 0 208819 0
vsize: 835340
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 26045 50 0 0 25 0 10 0 838191098 855388160 23048 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23048 13086 16 0 208819 0
vsize: 835340
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 26980 50 0 0 25 0 10 0 838191098 855388160 23093 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23093 13086 16 0 208819 0
vsize: 835340
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 27917 51 0 0 25 0 10 0 838191098 855388160 23136 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23136 13086 16 0 208819 0
vsize: 835340
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 28853 51 0 0 25 0 10 0 838191098 855388160 23178 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23178 13086 16 0 208819 0
vsize: 835340
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 29790 52 0 0 25 0 10 0 838191098 855388160 23219 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23219 13086 16 0 208819 0
vsize: 835340
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 30724 52 0 0 25 0 10 0 838191098 855388160 23261 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23261 13086 16 0 208819 0
vsize: 835340
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 31660 53 0 0 25 0 10 0 838191098 855388160 23300 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23300 13086 16 0 208819 0
vsize: 835340
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 32593 53 0 0 25 0 10 0 838191098 855388160 23340 4294967295 134512640 134569956 3221224368 3221213968 1079276737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23340 13086 16 0 208819 0
vsize: 835340
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 33528 53 0 0 25 0 10 0 838191098 855388160 23378 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23378 13086 16 0 208819 0
vsize: 835340
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 34459 54 0 0 25 0 10 0 838191098 855388160 23418 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23418 13086 16 0 208819 0
vsize: 835340
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 35394 54 0 0 25 0 10 0 838191098 855388160 23455 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23455 13086 16 0 208819 0
vsize: 835340
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 36326 54 0 0 24 0 10 0 838191098 855388160 23494 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23494 13086 16 0 208819 0
vsize: 835340
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 37261 54 0 0 25 0 10 0 838191098 855388160 23529 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23529 13086 16 0 208819 0
vsize: 835340
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 38195 55 0 0 25 0 10 0 838191098 855388160 23564 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23564 13086 16 0 208819 0
vsize: 835340
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 39124 55 0 0 25 0 10 0 838191098 855388160 23601 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23601 13086 16 0 208819 0
vsize: 835340
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 40057 55 0 0 25 0 10 0 838191098 855388160 23636 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23636 13086 16 0 208819 0
vsize: 835340
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 40989 56 0 0 25 0 10 0 838191098 855388160 23669 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23669 13086 16 0 208819 0
vsize: 835340
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 41918 56 0 0 25 0 10 0 838191098 855388160 23705 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23705 13086 16 0 208819 0
vsize: 835340
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 42850 57 0 0 25 0 10 0 838191098 855388160 23738 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23738 13086 16 0 208819 0
vsize: 835340
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 43777 57 0 0 24 0 10 0 838191098 855388160 23773 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23773 13086 16 0 208819 0
vsize: 835340
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 44709 57 0 0 25 0 10 0 838191098 855388160 23805 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23805 13086 16 0 208819 0
vsize: 835340
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 45639 58 0 0 25 0 10 0 838191098 855388160 23837 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23837 13086 16 0 208819 0
vsize: 835340
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 46565 59 0 0 25 0 10 0 838191098 855388160 23871 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23871 13086 16 0 208819 0
vsize: 835340
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 47494 59 0 0 25 0 10 0 838191098 855388160 23902 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23902 13086 16 0 208819 0
vsize: 835340
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 48424 59 0 0 25 0 10 0 838191098 855388160 23934 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23934 13086 16 0 208819 0
vsize: 835340
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 49349 59 0 0 25 0 10 0 838191098 855388160 23966 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23966 13086 16 0 208819 0
vsize: 835340
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 50278 60 0 0 25 0 10 0 838191098 855388160 23997 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 23997 13086 16 0 208819 0
vsize: 835340
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 51206 60 0 0 25 0 10 0 838191098 855388160 24027 4294967295 134512640 134569956 3221224368 3221214644 1076614592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24027 13086 16 0 208819 0
vsize: 835340
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 52134 60 0 0 25 0 10 0 838191098 855388160 24057 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24057 13086 16 0 208819 0
vsize: 835340
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 53058 60 0 0 25 0 10 0 838191098 855388160 24088 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24088 13086 16 0 208819 0
vsize: 835340
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 53985 61 0 0 25 0 10 0 838191098 855388160 24118 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24118 13086 16 0 208819 0
vsize: 835340
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 54913 61 0 0 25 0 10 0 838191098 855388160 24147 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24147 13086 16 0 208819 0
vsize: 835340
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 55836 62 0 0 25 0 10 0 838191098 855388160 24176 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24176 13086 16 0 208819 0
vsize: 835340
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 56759 62 0 0 25 0 10 0 838191098 855388160 24206 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24206 13086 16 0 208819 0
vsize: 835340
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 57685 62 0 0 25 0 10 0 838191098 855388160 24234 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24234 13086 16 0 208819 0
vsize: 835340
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 58610 63 0 0 25 0 10 0 838191098 855388160 24262 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24262 13086 16 0 208819 0
vsize: 835340
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 59536 63 0 0 25 0 10 0 838191098 855388160 24290 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24290 13086 16 0 208819 0
vsize: 835340
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 60456 64 0 0 24 0 10 0 838191098 855388160 24319 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24319 13086 16 0 208819 0
vsize: 835340
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 61380 64 0 0 25 0 10 0 838191098 855388160 24347 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 24347 13086 16 0 208819 0
vsize: 835340
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 62299 64 0 0 25 0 10 0 838191098 855388160 25273 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25273 13086 16 0 208819 0
vsize: 835340
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 63220 65 0 0 25 0 10 0 838191098 855388160 25273 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25273 13086 16 0 208819 0
vsize: 835340
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 64134 65 0 0 25 0 10 0 838191098 855388160 25296 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25296 13086 16 0 208819 0
vsize: 835340
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 65049 65 0 0 25 0 10 0 838191098 855388160 25324 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25324 13086 16 0 208819 0
vsize: 835340
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 65962 65 0 0 25 0 10 0 838191098 855388160 25350 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25350 13086 16 0 208819 0
vsize: 835340
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 66874 66 0 0 25 0 10 0 838191098 855388160 25376 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25376 13086 16 0 208819 0
vsize: 835340
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 67787 66 0 0 24 0 10 0 838191098 855388160 25402 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25402 13086 16 0 208819 0
vsize: 835340
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 68700 67 0 0 24 0 10 0 838191098 855388160 25428 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25428 13086 16 0 208819 0
vsize: 835340
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 69614 67 0 0 24 0 10 0 838191098 855388160 25454 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25454 13086 16 0 208819 0
vsize: 835340
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 70526 68 0 0 25 0 10 0 838191098 855388160 25478 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25478 13086 16 0 208819 0
vsize: 835340
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 71442 68 0 0 25 0 10 0 838191098 855388160 25503 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25503 13086 16 0 208819 0
vsize: 835340
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 72354 68 0 0 25 0 10 0 838191098 855388160 25528 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25528 13086 16 0 208819 0
vsize: 835340
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 73266 68 0 0 25 0 10 0 838191098 855388160 25553 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25553 13086 16 0 208819 0
vsize: 835340
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 74177 69 0 0 25 0 10 0 838191098 855388160 25578 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25578 13086 16 0 208819 0
vsize: 835340
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 75088 69 0 0 25 0 10 0 838191098 855388160 25603 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25603 13086 16 0 208819 0
vsize: 835340
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 75997 70 0 0 25 0 10 0 838191098 855388160 25627 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25627 13086 16 0 208819 0
vsize: 835340
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 76907 70 0 0 25 0 10 0 838191098 855388160 25652 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25652 13086 16 0 208819 0
vsize: 835340
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 77816 71 0 0 24 0 10 0 838191098 855388160 25676 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25676 13086 16 0 208819 0
vsize: 835340
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 78726 71 0 0 19 0 10 0 838191098 855388160 25700 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25700 13086 16 0 208819 0
vsize: 835340
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) S 12866 1586 1585 0 -1 0 18009 0 1 0 79636 71 0 0 25 0 10 0 838191098 855388160 25723 4294967295 134512640 134569956 3221224368 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25723 13086 16 0 208819 0
vsize: 835340
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 80550 72 0 0 25 0 10 0 838191098 855388160 25746 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25746 13086 16 0 208819 0
vsize: 835340
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 81458 72 0 0 25 0 10 0 838191098 855388160 25770 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25770 13086 16 0 208819 0
vsize: 835340
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 82367 73 0 0 25 0 10 0 838191098 855388160 25793 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25793 13086 16 0 208819 0
vsize: 835340
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 83275 73 0 0 25 0 10 0 838191098 855388160 25818 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25818 13086 16 0 208819 0
vsize: 835340
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 84182 74 0 0 25 0 10 0 838191098 855388160 25841 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25841 13086 16 0 208819 0
vsize: 835340
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 85089 74 0 0 20 0 10 0 838191098 855388160 25868 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25868 13086 16 0 208819 0
vsize: 835340
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 85996 74 0 0 19 0 10 0 838191098 855388160 25895 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25895 13086 16 0 208819 0
vsize: 835340
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 86908 75 0 0 23 0 10 0 838191098 855388160 25917 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25917 13086 16 0 208819 0
vsize: 835340
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 87815 75 0 0 23 0 10 0 838191098 855388160 25947 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25947 13086 16 0 208819 0
vsize: 835340
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 88720 75 0 0 21 0 10 0 838191098 855388160 25975 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25975 13086 16 0 208819 0
vsize: 835340
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 89625 75 0 0 21 0 10 0 838191098 855388160 25999 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 25999 13086 16 0 208819 0
vsize: 835340
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 90530 76 0 0 19 0 10 0 838191098 855388160 26027 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26027 13086 16 0 208819 0
vsize: 835340
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 91442 76 0 0 24 0 10 0 838191098 855388160 26048 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26048 13086 16 0 208819 0
vsize: 835340
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 92347 76 0 0 23 0 10 0 838191098 855388160 26076 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26076 13086 16 0 208819 0
vsize: 835340
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 93251 77 0 0 21 0 10 0 838191098 855388160 26100 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26100 13086 16 0 208819 0
vsize: 835340
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 94155 77 0 0 20 0 10 0 838191098 855388160 26122 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26122 13086 16 0 208819 0
vsize: 835340
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 95059 77 0 0 19 0 10 0 838191098 855388160 26154 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26154 13086 16 0 208819 0
vsize: 835340
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 95969 77 0 0 24 0 10 0 838191098 855388160 26175 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26175 13086 16 0 208819 0
vsize: 835340
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 96873 78 0 0 23 0 10 0 838191098 855388160 26203 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26203 13086 16 0 208819 0
vsize: 835340
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 97776 78 0 0 20 0 10 0 838191098 855388160 26229 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26229 13086 16 0 208819 0
vsize: 835340
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 98676 78 0 0 19 0 10 0 838191098 855388160 26254 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26254 13086 16 0 208819 0
vsize: 835340
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 99584 79 0 0 22 0 10 0 838191098 855388160 26277 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26277 13086 16 0 208819 0
vsize: 835340
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 100486 79 0 0 21 0 10 0 838191098 855388160 26302 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26302 13086 16 0 208819 0
vsize: 835340
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 101388 79 0 0 19 0 10 0 838191098 855388160 26327 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26327 13086 16 0 208819 0
vsize: 835340
[startup+1110.04 s]
Raw data (loadavg): 1.07 0.99 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 102296 79 0 0 23 0 10 0 838191098 855388160 26348 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26348 13086 16 0 208819 0
vsize: 835340
[startup+1120.04 s]
Raw data (loadavg): 1.06 0.99 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 103198 80 0 0 21 0 10 0 838191098 855388160 26375 4294967295 134512640 134569956 3221224368 3221213960 1077101172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26375 13086 16 0 208819 0
vsize: 835340
[startup+1130.04 s]
Raw data (loadavg): 1.05 0.99 0.99 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 104099 80 0 0 19 0 10 0 838191098 855388160 26399 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26399 13086 16 0 208819 0
vsize: 835340
[startup+1140.04 s]
Raw data (loadavg): 1.11 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 105006 80 0 0 23 0 10 0 838191098 855388160 26421 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26421 13086 16 0 208819 0
vsize: 835340
[startup+1150.04 s]
Raw data (loadavg): 1.10 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 105907 80 0 0 22 0 10 0 838191098 855388160 26442 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26442 13086 16 0 208819 0
vsize: 835340
[startup+1160.04 s]
Raw data (loadavg): 1.08 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 106807 81 0 0 20 0 10 0 838191098 855388160 26470 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26470 13086 16 0 208819 0
vsize: 835340
[startup+1170.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 107714 81 0 0 23 0 10 0 838191098 855388160 26492 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26492 13086 16 0 208819 0
vsize: 835340
[startup+1180.04 s]
Raw data (loadavg): 1.06 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 108614 81 0 0 21 0 10 0 838191098 855388160 26514 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26514 13086 16 0 208819 0
vsize: 835340
[startup+1190.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 109513 82 0 0 18 0 10 0 838191098 855388160 26541 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26541 13086 16 0 208819 0
vsize: 835340
[startup+1200.04 s]
Raw data (loadavg): 1.04 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 110417 82 0 0 22 0 10 0 838191098 855388160 26563 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26563 13086 16 0 208819 0
vsize: 835340
[startup+1210.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 111313 82 0 0 21 0 10 0 838191098 855388160 26587 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26587 13086 16 0 208819 0
vsize: 835340
[startup+1220.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 112212 83 0 0 19 0 10 0 838191098 855388160 26610 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26610 13086 16 0 208819 0
vsize: 835340
[startup+1230.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 113119 83 0 0 23 0 10 0 838191098 855388160 26628 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26628 13086 16 0 208819 0
vsize: 835340
[startup+1240.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 114017 84 0 0 20 0 10 0 838191098 855388160 26648 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26648 13086 16 0 208819 0
vsize: 835340
[startup+1250.07 s]
Raw data (loadavg): 1.02 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 114915 84 0 0 19 0 10 0 838191098 855388160 26668 4294967295 134512640 134569956 3221224368 3221214224 1080019733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26668 13086 16 0 208819 0
vsize: 835340
[startup+1260.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 115819 85 0 0 22 0 10 0 838191098 855388160 26700 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26700 13086 16 0 208819 0
vsize: 835340
[startup+1270.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 116717 85 0 0 19 0 10 0 838191098 855388160 26718 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26718 13086 16 0 208819 0
vsize: 835340
[startup+1280.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 117616 85 0 0 19 0 10 0 838191098 855388160 26754 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26754 13086 16 0 208819 0
vsize: 835340
[startup+1290.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 118522 85 0 0 22 0 10 0 838191098 855388160 26772 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26772 13086 16 0 208819 0
vsize: 835340
[startup+1300.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 119423 86 0 0 21 0 10 0 838191098 855388160 26800 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26800 13086 16 0 208819 0
vsize: 835340
[startup+1310.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/63 12876
Raw data (stat): 12867 (java) R 12866 1586 1585 0 -1 0 18009 0 1 0 120326 87 0 0 19 0 10 0 838191098 855388160 26822 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208835 26822 13086 16 0 208819 0
vsize: 835340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1310.19 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 12878
Raw data (stat): 12867 (java) Z 12866 1586 1585 0 -1 1036 18009 9681 1 0 120330 87 10763 44 20 0 1 0 838191098 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): 1310.19
CPU time (s): 1312.27
CPU user time (s): 1310.95
CPU system time (s): 1.3208
CPU usage (%): 100.158
Max. virtual memory (Kb): 835340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####