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/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM	9cc94d1db4d494288ef67a8d5ad5d77e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1408128
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	11486079
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	280
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	253
Trace number 29921

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        437480 kB
Buffers:         34432 kB
Cached:         536080 kB
SwapCached:        416 kB
Active:          52048 kB
Inactive:       520736 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        437228 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18704 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:05:52 (client local time) WITH STATUS 143 IN 1256.52 SECONDS
stats: 21321 0 1256.52 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/wulflinc19/normalized-mps-v2-13-7-misc07.opb
c reading problem ... done. Time 2.315 ms.
c #vars     280
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1759488 		Current CPU time: 21.11 ms
c CURRENT OPTIMUM=             1536128 		Current CPU time: 22.12 ms
c CURRENT OPTIMUM=             1532928 		Current CPU time: 77.91 ms
c CURRENT OPTIMUM=             1518848 		Current CPU time: 228.07 ms
c CURRENT OPTIMUM=             1442688 		Current CPU time: 264.72 ms
c CURRENT OPTIMUM=             1441408 		Current CPU time: 687.06 ms
c CURRENT OPTIMUM=             1431808 		Current CPU time: 960.19 ms
c CURRENT OPTIMUM=             1419008 		Current CPU time: 1003.82 ms
c starts	: 17
c conflicts	: 1271
c decisions	: 5024
c propagations	: 28022
c inspects	: 2085098
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1271
c root simplifications	: 19
s SATISFIABLE
v -COL260_bit_7 -COL260_bit_6 -COL260_bit_5 -COL260_bit_4 -COL260_bit_3 -COL260_bit_2 -COL260_bit_1 -COL260_bit0 COL260_bit1 COL260_bit2 COL260_bit3 -COL260_bit4 -COL260_bit5 COL260_bit6 -COL260_bit7 COL260_bit8 COL260_bit9 -COL260_bit10 COL260_bit11 -COL260_bit12 COL260_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 -COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 -COL015_bit0 -COL016_bit0 -COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 COL055_bit0 -COL056_bit0 -COL057_bit0 -COL058_bit0 -COL059_bit0 -COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL074_bit0 -COL075_bit0 -COL076_bit0 -COL077_bit0 -COL078_bit0 -COL079_bit0 -COL080_bit0 -COL081_bit0 -COL082_bit0 -COL083_bit0 -COL084_bit0 -COL085_bit0 -COL086_bit0 -COL087_bit0 -COL088_bit0 -COL089_bit0 -COL090_bit0 -COL091_bit0 -COL092_bit0 -COL093_bit0 -COL094_bit0 -COL095_bit0 COL096_bit0 -COL097_bit0 -COL098_bit0 -COL099_bit0 -COL100_bit0 -COL101_bit0 -COL102_bit0 -COL103_bit0 -COL104_bit0 -COL105_bit0 -COL106_bit0 -COL107_bit0 -COL108_bit0 -COL109_bit0 -COL110_bit0 -COL111_bit0 -COL112_bit0 -COL113_bit0 -COL114_bit0 -COL115_bit0 -COL116_bit0 -COL117_bit0 -COL118_bit0 -COL119_bit0 -COL120_bit0 -COL121_bit0 -COL122_bit0 -COL123_bit0 -COL124_bit0 -COL125_bit0 COL126_bit0 -COL127_bit0 -COL128_bit0 -COL129_bit0 -COL130_bit0 -COL131_bit0 -COL132_bit0 -COL133_bit0 -COL134_bit0 -COL135_bit0 -COL136_bit0 -COL137_bit0 -COL138_bit0 -COL139_bit0 -COL140_bit0 -COL141_bit0 -COL142_bit0 -COL143_bit0 -COL144_bit0 -COL145_bit0 -COL146_bit0 -COL147_bit0 -COL148_bit0 -COL149_bit0 -COL150_bit0 -COL151_bit0 -COL152_bit0 -COL153_bit0 -COL154_bit0 -COL155_bit0 -COL156_bit0 -COL157_bit0 -COL158_bit0 COL159_bit0 -COL160_bit0 -COL161_bit0 -COL162_bit0 -COL163_bit0 -COL164_bit0 -COL165_bit0 -COL166_bit0 -COL167_bit0 -COL168_bit0 -COL169_bit0 -COL170_bit0 -COL171_bit0 -COL172_bit0 -COL173_bit0 -COL174_bit0 -COL175_bit0 -COL176_bit0 -COL177_bit0 -COL178_bit0 -COL179_bit0 -COL180_bit0 -COL181_bit0 -COL182_bit0 -COL183_bit0 -COL184_bit0 COL185_bit0 -COL186_bit0 -COL187_bit0 -COL188_bit0 -COL189_bit0 -COL190_bit0 -COL191_bit0 -COL192_bit0 COL193_bit0 -COL194_bit0 -COL195_bit0 -COL196_bit0 -COL197_bit0 -COL198_bit0 -COL199_bit0 -COL200_bit0 COL201_bit0 -COL202_bit0 -COL203_bit0 -COL204_bit0 -COL205_bit0 -COL206_bit0 -COL207_bit0 -COL208_bit0 COL209_bit0 -COL210_bit0 -COL211_bit0 -COL212_bit0 -COL213_bit0 -COL214_bit0 -COL215_bit0 -COL216_bit0 -COL217_bit0 -COL218_bit0 -COL219_bit0 -COL220_bit0 -COL221_bit0 -COL222_bit0 -COL223_bit0 -COL224_bit0 -COL225_bit0 -COL226_bit0 -COL227_bit0 -COL228_bit0 -COL229_bit0 -COL230_bit0 -COL231_bit0 -COL232_bit0 -COL233_bit0 -COL234_bit0 -COL235_bit0 -COL236_bit0 -COL237_bit0 -COL238_bit0 -COL239_bit0 -COL240_bit0 -COL241_bit0 -COL242_bit0 -COL243_bit0 COL244_bit0 -COL245_bit0 COL246_bit0 -COL247_bit0 COL248_bit0 -COL249_bit0 COL250_bit0 -COL251_bit0 COL252_bit0 -COL253_bit0 COL254_bit0 -COL255_bit0 COL256_bit0 -COL257_bit0 COL258_bit0 -COL259_bit0 
c objectif function=1419008
c Total CPU time (ms) : 1239.125
#### 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 23837
Raw data (stat): 23837 (runsolver) R 23836 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838973490 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.24 1.05 1.02 4/64 23847
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 15800 0 1 0 526 32 0 0 25 0 11 0 838973490 871059456 19933 4294967295 134512640 134569956 3221224368 3221214308 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212661 19939 13086 16 0 212645 0
vsize: 850644
[startup+20.0027 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 23847
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18119 0 1 0 1224 38 0 0 25 0 11 0 838973490 871870464 23860 4294967295 134512640 134569956 3221224368 3221214616 1131366463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212859 23860 13086 16 0 212843 0
vsize: 851436
[startup+30.0032 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 23849
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 2152 39 0 0 24 0 11 0 838973490 870223872 23903 4294967295 134512640 134569956 3221224368 3221214552 1131266653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 23903 13086 16 0 212441 0
vsize: 849828
[startup+40.003 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 23849
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 3077 39 0 0 25 0 11 0 838973490 870223872 24053 4294967295 134512640 134569956 3221224368 3221214448 1131247338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 24053 13086 16 0 212441 0
vsize: 849828
[startup+50.0042 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 23849
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 3987 39 0 0 25 0 11 0 838973490 870223872 24593 4294967295 134512640 134569956 3221224368 3221214552 1131266494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 24593 13086 16 0 212441 0
vsize: 849828
[startup+60.0036 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 23849
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 4941 39 0 0 25 0 11 0 838973490 870223872 24952 4294967295 134512640 134569956 3221224368 3221214552 1131267217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 24952 13086 16 0 212441 0
vsize: 849828
[startup+70.0044 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 23849
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 5904 39 0 0 25 0 11 0 838973490 870223872 25030 4294967295 134512640 134569956 3221224368 3221214552 1131267085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25030 13086 16 0 212441 0
vsize: 849828
[startup+80.0056 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 6865 40 0 0 25 0 11 0 838973490 870223872 25160 4294967295 134512640 134569956 3221224368 3221214552 1131266839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25160 13086 16 0 212441 0
vsize: 849828
[startup+90.0051 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 23850
Raw data (stat): 23837 (java) S 23836 10795 10794 0 -1 0 18164 3 1 0 7833 40 0 0 25 0 11 0 838973490 870223872 25300 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25300 13086 16 0 212441 0
vsize: 849828
[startup+100.006 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 8801 41 0 0 25 0 11 0 838973490 870223872 25365 4294967295 134512640 134569956 3221224368 3221214544 1131247659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25365 13086 16 0 212441 0
vsize: 849828
[startup+110.006 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 9766 41 0 0 25 0 11 0 838973490 870223872 25449 4294967295 134512640 134569956 3221224368 3221214552 1131267200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25449 13086 16 0 212441 0
vsize: 849828
[startup+120.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 10726 41 0 0 25 0 11 0 838973490 870223872 25504 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25504 13086 16 0 212441 0
vsize: 849828
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 11681 41 0 0 25 0 11 0 838973490 870223872 25641 4294967295 134512640 134569956 3221224368 3221214552 1131266989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25641 13086 16 0 212441 0
vsize: 849828
[startup+140.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 12646 42 0 0 25 0 11 0 838973490 870223872 25771 4294967295 134512640 134569956 3221224368 3221214552 1131266535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25771 13086 16 0 212441 0
vsize: 849828
[startup+150.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 13612 42 0 0 25 0 11 0 838973490 870223872 25875 4294967295 134512640 134569956 3221224368 3221214536 1131397679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 25875 13086 16 0 212441 0
vsize: 849828
[startup+160.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 14575 42 0 0 25 0 11 0 838973490 870223872 25941 4294967295 134512640 134569956 3221224368 3221214552 1131266574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25941 13086 16 0 212441 0
vsize: 849828
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 15536 42 0 0 25 0 11 0 838973490 870223872 25995 4294967295 134512640 134569956 3221224368 3221214656 1131591123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 25995 13086 16 0 212441 0
vsize: 849828
[startup+180.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 16483 42 0 0 25 0 11 0 838973490 870223872 26137 4294967295 134512640 134569956 3221224368 3221214588 1130885225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26137 13086 16 0 212441 0
vsize: 849828
[startup+190.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 17439 43 0 0 25 0 11 0 838973490 870223872 26261 4294967295 134512640 134569956 3221224368 3221214552 1131266907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26261 13086 16 0 212441 0
vsize: 849828
[startup+200.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 18391 43 0 0 25 0 11 0 838973490 870223872 26442 4294967295 134512640 134569956 3221224368 3221214552 1131267148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26442 13086 16 0 212441 0
vsize: 849828
[startup+210.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 19358 43 0 0 25 0 11 0 838973490 870223872 26542 4294967295 134512640 134569956 3221224368 3221214552 1131267494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26542 13086 16 0 212441 0
vsize: 849828
[startup+220.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23850
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 20337 43 0 0 25 0 11 0 838973490 870223872 26665 4294967295 134512640 134569956 3221224368 3221214536 1131247620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26665 13086 16 0 212441 0
vsize: 849828
[startup+230.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23851
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 21319 44 0 0 25 0 11 0 838973490 870223872 26707 4294967295 134512640 134569956 3221224368 3221214656 1131592321 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26707 13086 16 0 212441 0
vsize: 849828
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23851
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 22303 44 0 0 25 0 11 0 838973490 870223872 26748 4294967295 134512640 134569956 3221224368 3221214656 1131594765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 26748 13086 16 0 212441 0
vsize: 849828
[startup+250.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 23851
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 23288 44 0 0 25 0 11 0 838973490 870223872 26769 4294967295 134512640 134569956 3221224368 3221214656 1131591092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26769 13086 16 0 212441 0
vsize: 849828
[startup+260.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23851
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 24271 45 0 0 25 0 11 0 838973490 870223872 26786 4294967295 134512640 134569956 3221224368 3221214632 1131366640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26786 13086 16 0 212441 0
vsize: 849828
[startup+270.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 25256 45 0 0 25 0 11 0 838973490 870223872 26822 4294967295 134512640 134569956 3221224368 3221214552 1131266461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26822 13086 16 0 212441 0
vsize: 849828
[startup+280.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 26240 46 0 0 25 0 11 0 838973490 870223872 26849 4294967295 134512640 134569956 3221224368 3221214656 1131596045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26849 13086 16 0 212441 0
vsize: 849828
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 27224 46 0 0 25 0 11 0 838973490 870223872 26880 4294967295 134512640 134569956 3221224368 3221214656 1131590915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26880 13086 16 0 212441 0
vsize: 849828
[startup+300.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 28207 47 0 0 25 0 11 0 838973490 870223872 26893 4294967295 134512640 134569956 3221224368 3221214552 1131267044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26893 13086 16 0 212441 0
vsize: 849828
[startup+310.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 29189 47 0 0 25 0 11 0 838973490 870223872 26925 4294967295 134512640 134569956 3221224368 3221214552 1131266461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26925 13086 16 0 212441 0
vsize: 849828
[startup+320.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 30166 48 0 0 25 0 11 0 838973490 870223872 26958 4294967295 134512640 134569956 3221224368 3221214552 1131266465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 26958 13086 16 0 212441 0
vsize: 849828
[startup+330.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 31144 48 0 0 25 0 11 0 838973490 870223872 27007 4294967295 134512640 134569956 3221224368 3221214552 1131266901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27007 13086 16 0 212441 0
vsize: 849828
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) S 23836 10795 10794 0 -1 0 18164 3 1 0 32121 48 0 0 25 0 11 0 838973490 870223872 27047 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27047 13086 16 0 212441 0
vsize: 849828
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 33099 49 0 0 25 0 11 0 838973490 870223872 27104 4294967295 134512640 134569956 3221224368 3221214552 1131267023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27104 13086 16 0 212441 0
vsize: 849828
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 34079 49 0 0 25 0 11 0 838973490 870223872 27152 4294967295 134512640 134569956 3221224368 3221214552 1131266555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27152 13086 16 0 212441 0
vsize: 849828
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 35057 49 0 0 25 0 11 0 838973490 870223872 27208 4294967295 134512640 134569956 3221224368 3221214640 1131374212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27208 13086 16 0 212441 0
vsize: 849828
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 36037 49 0 0 17 0 11 0 838973490 870223872 27248 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27248 13086 16 0 212441 0
vsize: 849828
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18164 3 1 0 37019 49 0 0 25 0 11 0 838973490 870223872 27290 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27290 13086 16 0 212441 0
vsize: 849828
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 38000 49 0 0 25 0 11 0 838973490 870223872 27333 4294967295 134512640 134569956 3221224368 3221214552 1131266503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27333 13086 16 0 212441 0
vsize: 849828
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 38982 49 0 0 25 0 11 0 838973490 870223872 27375 4294967295 134512640 134569956 3221224368 3221214588 1130885179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27375 13086 16 0 212441 0
vsize: 849828
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 39960 49 0 0 25 0 11 0 838973490 870223872 27408 4294967295 134512640 134569956 3221224368 3221214464 1131201524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27408 13086 16 0 212441 0
vsize: 849828
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 40935 49 0 0 25 0 11 0 838973490 870223872 27446 4294967295 134512640 134569956 3221224368 3221214720 1131317056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27446 13086 16 0 212441 0
vsize: 849828
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 41910 49 0 0 25 0 11 0 838973490 870223872 27516 4294967295 134512640 134569956 3221224368 3221214612 1131199152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27516 13086 16 0 212441 0
vsize: 849828
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 42885 49 0 0 24 0 11 0 838973490 870223872 27575 4294967295 134512640 134569956 3221224368 3221214552 1131266989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 27575 13086 16 0 212441 0
vsize: 849828
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 43860 50 0 0 25 0 11 0 838973490 870223872 27614 4294967295 134512640 134569956 3221224368 3221214656 1131596096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27614 13086 16 0 212441 0
vsize: 849828
[startup+470.022 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 44836 50 0 0 25 0 11 0 838973490 870223872 27668 4294967295 134512640 134569956 3221224368 3221214552 1131267501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27668 13086 16 0 212441 0
vsize: 849828
[startup+480.022 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 45810 50 0 0 25 0 11 0 838973490 870223872 27741 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27741 13086 16 0 212441 0
vsize: 849828
[startup+490.022 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 46784 51 0 0 25 0 11 0 838973490 870223872 27781 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27781 13086 16 0 212441 0
vsize: 849828
[startup+500.023 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 47763 51 0 0 25 0 11 0 838973490 870223872 27853 4294967295 134512640 134569956 3221224368 3221214120 1079667921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27853 13086 16 0 212441 0
vsize: 849828
[startup+510.024 s]
Raw data (loadavg): 1.11 1.03 1.01 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 48744 51 0 0 25 0 11 0 838973490 870223872 27905 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27905 13086 16 0 212441 0
vsize: 849828
[startup+520.024 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 49721 51 0 0 25 0 11 0 838973490 870223872 27929 4294967295 134512640 134569956 3221224368 3221214656 1131596045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27929 13086 16 0 212441 0
vsize: 849828
[startup+530.025 s]
Raw data (loadavg): 1.08 1.03 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 50698 52 0 0 25 0 11 0 838973490 870223872 27963 4294967295 134512640 134569956 3221224368 3221214536 1131398914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27963 13086 16 0 212441 0
vsize: 849828
[startup+540.025 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 51676 52 0 0 25 0 11 0 838973490 870223872 27999 4294967295 134512640 134569956 3221224368 3221214464 1131202140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 27999 13086 16 0 212441 0
vsize: 849828
[startup+550.026 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 52655 53 0 0 25 0 11 0 838973490 870223872 28057 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28057 13086 16 0 212441 0
vsize: 849828
[startup+560.026 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 53631 53 0 0 25 0 11 0 838973490 870223872 28094 4294967295 134512640 134569956 3221224368 3221214552 1131266555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28094 13086 16 0 212441 0
vsize: 849828
[startup+570.027 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 54606 53 0 0 25 0 11 0 838973490 870223872 28139 4294967295 134512640 134569956 3221224368 3221214552 1131267108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28139 13086 16 0 212441 0
vsize: 849828
[startup+580.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 55582 54 0 0 25 0 11 0 838973490 870223872 28189 4294967295 134512640 134569956 3221224368 3221214552 1131267572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28189 13086 16 0 212441 0
vsize: 849828
[startup+590.028 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 56559 54 0 0 25 0 11 0 838973490 870223872 28243 4294967295 134512640 134569956 3221224368 3221214552 1131267253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28243 13086 16 0 212441 0
vsize: 849828
[startup+600.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 57538 55 0 0 25 0 11 0 838973490 870223872 28288 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28288 13086 16 0 212441 0
vsize: 849828
[startup+610.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 58517 55 0 0 25 0 11 0 838973490 870223872 28342 4294967295 134512640 134569956 3221224368 3221214656 1131591095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28342 13086 16 0 212441 0
vsize: 849828
[startup+620.029 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 59501 55 0 0 24 0 11 0 838973490 870223872 28387 4294967295 134512640 134569956 3221224368 3221214552 1131266907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28387 13086 16 0 212441 0
vsize: 849828
[startup+630.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 60485 56 0 0 25 0 11 0 838973490 870223872 28413 4294967295 134512640 134569956 3221224368 3221214656 1131591123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28413 13086 16 0 212441 0
vsize: 849828
[startup+640.03 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 61468 56 0 0 25 0 11 0 838973490 870223872 28430 4294967295 134512640 134569956 3221224368 3221214656 1131592371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28430 13086 16 0 212441 0
vsize: 849828
[startup+650.031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 62452 56 0 0 25 0 11 0 838973490 870223872 28451 4294967295 134512640 134569956 3221224368 3221214552 1131267494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28451 13086 16 0 212441 0
vsize: 849828
[startup+660.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 63432 57 0 0 25 0 11 0 838973490 870223872 28481 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28481 13086 16 0 212441 0
vsize: 849828
[startup+670.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 64411 57 0 0 25 0 11 0 838973490 870223872 28501 4294967295 134512640 134569956 3221224368 3221214552 1131267529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28501 13086 16 0 212441 0
vsize: 849828
[startup+680.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23852
Raw data (stat): 23837 (java) S 23836 10795 10794 0 -1 0 18165 3 1 0 65386 58 0 0 25 0 11 0 838973490 870223872 28531 4294967295 134512640 134569956 3221224368 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28531 13086 16 0 212441 0
vsize: 849828
[startup+690.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 66364 58 0 0 25 0 11 0 838973490 870223872 28585 4294967295 134512640 134569956 3221224368 3221214552 1131267011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28585 13086 16 0 212441 0
vsize: 849828
[startup+700.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 67345 58 0 0 25 0 11 0 838973490 870223872 28632 4294967295 134512640 134569956 3221224368 3221214552 1131266808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28632 13086 16 0 212441 0
vsize: 849828
[startup+710.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 68327 59 0 0 25 0 11 0 838973490 870223872 28668 4294967295 134512640 134569956 3221224368 3221214552 1131267225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28668 13086 16 0 212441 0
vsize: 849828
[startup+720.034 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 69309 59 0 0 25 0 11 0 838973490 870223872 28695 4294967295 134512640 134569956 3221224368 3221214392 1131645456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28695 13086 16 0 212441 0
vsize: 849828
[startup+730.035 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 70291 59 0 0 25 0 11 0 838973490 870223872 28718 4294967295 134512640 134569956 3221224368 3221214552 1131266630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28718 13086 16 0 212441 0
vsize: 849828
[startup+740.035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 71272 59 0 0 25 0 11 0 838973490 870223872 28746 4294967295 134512640 134569956 3221224368 3221214656 1131591095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28746 13086 16 0 212441 0
vsize: 849828
[startup+750.036 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 72254 59 0 0 25 0 11 0 838973490 870223872 28775 4294967295 134512640 134569956 3221224368 3221214656 1131591268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28775 13086 16 0 212441 0
vsize: 849828
[startup+760.036 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) S 23836 10795 10794 0 -1 0 18165 3 1 0 73234 60 0 0 25 0 11 0 838973490 870223872 28805 4294967295 134512640 134569956 3221224368 3221213256 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28805 13086 16 0 212441 0
vsize: 849828
[startup+770.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 74213 60 0 0 25 0 11 0 838973490 870223872 28836 4294967295 134512640 134569956 3221224368 3221214552 1131267465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28836 13086 16 0 212441 0
vsize: 849828
[startup+780.038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 75192 60 0 0 24 0 11 0 838973490 870223872 28877 4294967295 134512640 134569956 3221224368 3221214552 1131267011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28877 13086 16 0 212441 0
vsize: 849828
[startup+790.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 76174 61 0 0 25 0 11 0 838973490 870223872 28903 4294967295 134512640 134569956 3221224368 3221214464 1131201077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28903 13086 16 0 212441 0
vsize: 849828
[startup+800.039 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 77155 61 0 0 25 0 11 0 838973490 870223872 28938 4294967295 134512640 134569956 3221224368 3221214720 1131317036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28938 13086 16 0 212441 0
vsize: 849828
[startup+810.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 78134 61 0 0 25 0 11 0 838973490 870223872 28963 4294967295 134512640 134569956 3221224368 3221214656 1131593039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 28963 13086 16 0 212441 0
vsize: 849828
[startup+820.041 s]
Raw data (loadavg): 1.01 1.02 1.00 3/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 79116 62 0 0 25 0 11 0 838973490 870223872 28998 4294967295 134512640 134569956 3221224368 3221214656 1131590736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212457 28998 13086 16 0 212441 0
vsize: 849828
[startup+830.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) S 23836 10795 10794 0 -1 0 18165 3 1 0 80095 62 0 0 25 0 11 0 838973490 870223872 29024 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29024 13086 16 0 212441 0
vsize: 849828
[startup+840.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 81075 62 0 0 25 0 11 0 838973490 870223872 29062 4294967295 134512640 134569956 3221224368 3221214552 1131267522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29062 13086 16 0 212441 0
vsize: 849828
[startup+850.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 82058 63 0 0 25 0 11 0 838973490 870223872 29103 4294967295 134512640 134569956 3221224368 3221214552 1131267219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29103 13086 16 0 212441 0
vsize: 849828
[startup+860.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 83038 63 0 0 25 0 11 0 838973490 870223872 29125 4294967295 134512640 134569956 3221224368 3221214592 1131199176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29125 13086 16 0 212441 0
vsize: 849828
[startup+870.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 84018 63 0 0 25 0 11 0 838973490 870223872 29142 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29142 13086 16 0 212441 0
vsize: 849828
[startup+880.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 84996 64 0 0 25 0 11 0 838973490 870223872 29190 4294967295 134512640 134569956 3221224368 3221214552 1131266555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29190 13086 16 0 212441 0
vsize: 849828
[startup+890.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23853
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 85978 64 0 0 25 0 11 0 838973490 870223872 29224 4294967295 134512640 134569956 3221224368 3221214656 1131591095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29224 13086 16 0 212441 0
vsize: 849828
[startup+900.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 86955 66 0 0 25 0 11 0 838973490 870223872 29258 4294967295 134512640 134569956 3221224368 3221214552 1131266880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29258 13086 16 0 212441 0
vsize: 849828
[startup+910.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 87936 67 0 0 25 0 11 0 838973490 870223872 29274 4294967295 134512640 134569956 3221224368 3221214536 1131247620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29274 13086 16 0 212441 0
vsize: 849828
[startup+920.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 88912 67 0 0 24 0 11 0 838973490 870223872 29315 4294967295 134512640 134569956 3221224368 3221214552 1131266555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29315 13086 16 0 212441 0
vsize: 849828
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 89893 67 0 0 25 0 11 0 838973490 870223872 29342 4294967295 134512640 134569956 3221224368 3221214552 1131267447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29342 13086 16 0 212441 0
vsize: 849828
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 90873 67 0 0 25 0 11 0 838973490 870223872 29380 4294967295 134512640 134569956 3221224368 3221214552 1131266905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29380 13086 16 0 212441 0
vsize: 849828
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 91855 67 0 0 25 0 11 0 838973490 870223872 29415 4294967295 134512640 134569956 3221224368 3221214464 1131202140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29415 13086 16 0 212441 0
vsize: 849828
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23906
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 92835 67 0 0 25 0 11 0 838973490 870223872 29439 4294967295 134512640 134569956 3221224368 3221214552 1131266905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29439 13086 16 0 212441 0
vsize: 849828
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23909
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 93816 67 0 0 25 0 11 0 838973490 870223872 29464 4294967295 134512640 134569956 3221224368 3221214656 1131591032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29464 13086 16 0 212441 0
vsize: 849828
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23909
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 94795 67 0 0 25 0 11 0 838973490 870223872 29496 4294967295 134512640 134569956 3221224368 3221214656 1131596233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29496 13086 16 0 212441 0
vsize: 849828
[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23909
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 95776 67 0 0 25 0 11 0 838973490 870223872 29519 4294967295 134512640 134569956 3221224368 3221214552 1131266494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29519 13086 16 0 212441 0
vsize: 849828
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23909
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 96755 67 0 0 24 0 11 0 838973490 870223872 29541 4294967295 134512640 134569956 3221224368 3221214552 1131267444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29541 13086 16 0 212441 0
vsize: 849828
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 97737 68 0 0 25 0 11 0 838973490 870223872 29571 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29571 13086 16 0 212441 0
vsize: 849828
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 98719 68 0 0 25 0 11 0 838973490 870223872 29604 4294967295 134512640 134569956 3221224368 3221214656 1131592107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29604 13086 16 0 212441 0
vsize: 849828
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 99699 68 0 0 25 0 11 0 838973490 870223872 29635 4294967295 134512640 134569956 3221224368 3221214552 1131266955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29635 13086 16 0 212441 0
vsize: 849828
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 100681 68 0 0 25 0 11 0 838973490 870223872 29638 4294967295 134512640 134569956 3221224368 3221214632 1131366473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29638 13086 16 0 212441 0
vsize: 849828
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 101663 68 0 0 25 0 11 0 838973490 870223872 29670 4294967295 134512640 134569956 3221224368 3221214656 1131596034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29670 13086 16 0 212441 0
vsize: 849828
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 102646 68 0 0 25 0 11 0 838973490 870223872 29694 4294967295 134512640 134569956 3221224368 3221214552 1131267456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29694 13086 16 0 212441 0
vsize: 849828
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 103628 68 0 0 25 0 11 0 838973490 870223872 29711 4294967295 134512640 134569956 3221224368 3221214656 1131596932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29711 13086 16 0 212441 0
vsize: 849828
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 104609 69 0 0 24 0 11 0 838973490 870223872 29740 4294967295 134512640 134569956 3221224368 3221214552 1131266465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29740 13086 16 0 212441 0
vsize: 849828
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 105593 69 0 0 25 0 11 0 838973490 870223872 29752 4294967295 134512640 134569956 3221224368 3221214552 1131266808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29752 13086 16 0 212441 0
vsize: 849828
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 106574 69 0 0 25 0 11 0 838973490 870223872 29765 4294967295 134512640 134569956 3221224368 3221214552 1131266810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29765 13086 16 0 212441 0
vsize: 849828
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 107557 69 0 0 25 0 11 0 838973490 870223872 29789 4294967295 134512640 134569956 3221224368 3221214552 1131267480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29789 13086 16 0 212441 0
vsize: 849828
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 108537 69 0 0 25 0 11 0 838973490 870223872 29807 4294967295 134512640 134569956 3221224368 3221214552 1131267200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29807 13086 16 0 212441 0
vsize: 849828
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 109518 69 0 0 25 0 11 0 838973490 870223872 29834 4294967295 134512640 134569956 3221224368 3221214656 1131591123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29834 13086 16 0 212441 0
vsize: 849828
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 110499 69 0 0 25 0 11 0 838973490 870223872 29850 4294967295 134512640 134569956 3221224368 3221214552 1131266469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29850 13086 16 0 212441 0
vsize: 849828
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 111479 69 0 0 25 0 11 0 838973490 870223872 29880 4294967295 134512640 134569956 3221224368 3221214552 1131267212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29880 13086 16 0 212441 0
vsize: 849828
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 112460 69 0 0 25 0 11 0 838973490 870223872 29906 4294967295 134512640 134569956 3221224368 3221214552 1131267202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29906 13086 16 0 212441 0
vsize: 849828
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 113441 69 0 0 25 0 11 0 838973490 870223872 29927 4294967295 134512640 134569956 3221224368 3221214656 1131593063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29927 13086 16 0 212441 0
vsize: 849828
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 114421 69 0 0 25 0 11 0 838973490 870223872 29957 4294967295 134512640 134569956 3221224368 3221214552 1131267501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29957 13086 16 0 212441 0
vsize: 849828
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 115403 69 0 0 25 0 11 0 838973490 870223872 29978 4294967295 134512640 134569956 3221224368 3221214552 1131266907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29978 13086 16 0 212441 0
vsize: 849828
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 116383 69 0 0 24 0 11 0 838973490 870223872 29997 4294967295 134512640 134569956 3221224368 3221214656 1131591095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 29997 13086 16 0 212441 0
vsize: 849828
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 117363 69 0 0 24 0 11 0 838973490 870223872 30027 4294967295 134512640 134569956 3221224368 3221214656 1131596034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 30027 13086 16 0 212441 0
vsize: 849828
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23910
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 118343 69 0 0 25 0 11 0 838973490 870223872 30048 4294967295 134512640 134569956 3221224368 3221214652 1131266444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 30048 13086 16 0 212441 0
vsize: 849828
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23912
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 119322 69 0 0 24 0 11 0 838973490 870223872 30085 4294967295 134512640 134569956 3221224368 3221214552 1131266968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 30085 13086 16 0 212441 0
vsize: 849828
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23912
Raw data (stat): 23837 (java) R 23836 10795 10794 0 -1 0 18165 3 1 0 120302 69 0 0 25 0 11 0 838973490 870223872 30107 4294967295 134512640 134569956 3221224368 3221214552 1131267572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212457 30107 13086 16 0 212441 0
vsize: 849828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23914
Raw data (stat): 23837 (java) Z 23836 10795 10794 0 -1 1036 18165 24498 1 0 120305 75 5198 71 25 0 1 0 838973490 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): 1240.17
CPU time (s): 1256.52
CPU user time (s): 1255.04
CPU system time (s): 1.47378
CPU usage (%): 101.318
Max. virtual memory (Kb): 851436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1419008
#### END VERIFIER DATA ####