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/MIPLIB/miplib3/normalized-mps-v2-20-10-misc07.opb
MD5SUM	b95827c7e083aae37933a3b226b8189b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076833280
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287948287
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.78
Number of variables	290
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	263
Trace number 29657

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-25 10:07:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21058 boxname=wulflinc10 idbench=1046 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b95827c7e083aae37933a3b226b8189b  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 21058
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        793208 kB
Buffers:         27528 kB
Cached:         192156 kB
SwapCached:         92 kB
Active:          45456 kB
Inactive:       176852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792956 kB
SwapTotal:     2097136 kB
SwapFree:      2096752 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6392 kB
Slab:            13456 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:28:21 (client local time) WITH STATUS 143 IN 1243.78 SECONDS
stats: 21058 0 1243.78 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/wulflinc10/normalized-mps-v2-20-10-misc07.opb
c reading problem ... done. Time 2.361 ms.
c #vars     290
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=          1077944320 		Current CPU time: 86.60 ms
c CURRENT OPTIMUM=          1077662720 		Current CPU time: 152.35 ms
c CURRENT OPTIMUM=          1077529600 		Current CPU time: 169.05 ms
c CURRENT OPTIMUM=          1077452800 		Current CPU time: 206.38 ms
c CURRENT OPTIMUM=          1077350400 		Current CPU time: 225.90 ms
c CURRENT OPTIMUM=          1077324800 		Current CPU time: 285.96 ms
c CURRENT OPTIMUM=          1077002240 		Current CPU time: 316.54 ms
c CURRENT OPTIMUM=          1076997120 		Current CPU time: 1049.21 ms
c CURRENT OPTIMUM=          1076986880 		Current CPU time: 1089.51 ms
c CURRENT OPTIMUM=          1076833280 		Current CPU time: 1144.48 ms
c starts	: 16
c conflicts	: 1030
c decisions	: 3889
c propagations	: 22522
c inspects	: 1627092
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1030
c root simplifications	: 19
s SATISFIABLE
v -COL260_bit_10 -COL260_bit_9 -COL260_bit_8 -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 -COL260_bit14 -COL260_bit15 -COL260_bit16 -COL260_bit17 -COL260_bit18 -COL260_bit19 COL260_bit20 -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=1076833280
c Total CPU time (ms) : 1229.067
#### 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.85 0.97 0.99 2/54 29664
Raw data (stat): 29664 (runsolver) R 29663 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779828575 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 s]
Raw data (loadavg): 1.18 1.03 1.01 3/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 16890 0 1 0 566 41 0 0 25 0 11 0 779828575 867131392 20316 4294967295 134512640 134569956 3221224368 3221214312 1130918828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211702 20316 13086 16 0 211686 0
vsize: 846808
[startup+20.0005 s]
Raw data (loadavg): 1.23 1.05 1.02 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18107 0 1 0 1475 44 0 0 25 0 11 0 779828575 866508800 22654 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 22654 13086 16 0 211534 0
vsize: 846200
[startup+30.0017 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18108 0 1 0 2407 44 0 0 25 0 11 0 779828575 866508800 22875 4294967295 134512640 134569956 3221224368 3221214632 1131387751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 22875 13086 16 0 211534 0
vsize: 846200
[startup+40.0015 s]
Raw data (loadavg): 1.16 1.04 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18108 0 1 0 3330 44 0 0 25 0 11 0 779828575 866508800 23278 4294967295 134512640 134569956 3221224368 3221214648 1131328547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 23278 13086 16 0 211534 0
vsize: 846200
[startup+50.0011 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18109 0 1 0 4264 44 0 0 25 0 11 0 779828575 866508800 23603 4294967295 134512640 134569956 3221224368 3221214688 1131280262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 23603 13086 16 0 211534 0
vsize: 846200
[startup+60.0012 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18109 0 1 0 5205 45 0 0 25 0 11 0 779828575 866508800 23948 4294967295 134512640 134569956 3221224368 3221214552 1131255087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 23948 13086 16 0 211534 0
vsize: 846200
[startup+70.0013 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18109 0 1 0 6140 45 0 0 25 0 11 0 779828575 866508800 24049 4294967295 134512640 134569956 3221224368 3221214688 1131280236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24049 13086 16 0 211534 0
vsize: 846200
[startup+80.0019 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 29674
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18109 0 1 0 7079 45 0 0 24 0 11 0 779828575 866508800 24295 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24295 13086 16 0 211534 0
vsize: 846200
[startup+90.0021 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 8039 45 0 0 25 0 11 0 779828575 866508800 24567 4294967295 134512640 134569956 3221224368 3221214688 1131281239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24567 13086 16 0 211534 0
vsize: 846200
[startup+100.002 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 9024 46 0 0 25 0 11 0 779828575 866508800 24752 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24752 13086 16 0 211534 0
vsize: 846200
[startup+110.003 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 10015 46 0 0 25 0 11 0 779828575 866508800 24779 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24779 13086 16 0 211534 0
vsize: 846200
[startup+120.004 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 11006 46 0 0 25 0 11 0 779828575 866508800 24795 4294967295 134512640 134569956 3221224368 3221214688 1131281160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24795 13086 16 0 211534 0
vsize: 846200
[startup+130.004 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 11996 46 0 0 24 0 11 0 779828575 866508800 24802 4294967295 134512640 134569956 3221224368 3221214688 1131280758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24802 13086 16 0 211534 0
vsize: 846200
[startup+140.003 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 12984 46 0 0 25 0 11 0 779828575 866508800 24812 4294967295 134512640 134569956 3221224368 3221214688 1131280888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24812 13086 16 0 211534 0
vsize: 846200
[startup+150.004 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 29675
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 13968 47 0 0 25 0 11 0 779828575 866508800 24833 4294967295 134512640 134569956 3221224368 3221214688 1131280634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24833 13086 16 0 211534 0
vsize: 846200
[startup+160.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29676
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 14951 47 0 0 25 0 11 0 779828575 866508800 24870 4294967295 134512640 134569956 3221224368 3221214688 1131280733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24870 13086 16 0 211534 0
vsize: 846200
[startup+170.003 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29676
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 15938 47 0 0 25 0 11 0 779828575 866508800 24911 4294967295 134512640 134569956 3221224368 3221214688 1131378476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24911 13086 16 0 211534 0
vsize: 846200
[startup+180.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29677
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 16928 47 0 0 25 0 11 0 779828575 866508800 24942 4294967295 134512640 134569956 3221224368 3221214688 1131280713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24942 13086 16 0 211534 0
vsize: 846200
[startup+190.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29677
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 17920 47 0 0 25 0 11 0 779828575 866508800 24949 4294967295 134512640 134569956 3221224368 3221214688 1131280357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24949 13086 16 0 211534 0
vsize: 846200
[startup+200.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29677
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 18910 47 0 0 25 0 11 0 779828575 866508800 24962 4294967295 134512640 134569956 3221224368 3221214688 1131280225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24962 13086 16 0 211534 0
vsize: 846200
[startup+210.004 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29678
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 19900 47 0 0 25 0 11 0 779828575 866508800 24967 4294967295 134512640 134569956 3221224368 3221214688 1131280305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24967 13086 16 0 211534 0
vsize: 846200
[startup+220.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29678
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 20889 47 0 0 25 0 11 0 779828575 866508800 24988 4294967295 134512640 134569956 3221224368 3221214792 1131583011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 24988 13086 16 0 211534 0
vsize: 846200
[startup+230.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 21878 48 0 0 24 0 11 0 779828575 866508800 25005 4294967295 134512640 134569956 3221224368 3221214768 1131380209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25005 13086 16 0 211534 0
vsize: 846200
[startup+240.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 22868 48 0 0 25 0 11 0 779828575 866508800 25016 4294967295 134512640 134569956 3221224368 3221214744 1131160208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25016 13086 16 0 211534 0
vsize: 846200
[startup+250.003 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 23854 48 0 0 25 0 11 0 779828575 866508800 25038 4294967295 134512640 134569956 3221224368 3221214792 1131583229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25038 13086 16 0 211534 0
vsize: 846200
[startup+260.004 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 24840 48 0 0 25 0 11 0 779828575 866508800 25058 4294967295 134512640 134569956 3221224368 3221214688 1131280262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25058 13086 16 0 211534 0
vsize: 846200
[startup+270.004 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 25825 48 0 0 24 0 11 0 779828575 866508800 25077 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25077 13086 16 0 211534 0
vsize: 846200
[startup+280.005 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 29679
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 26810 48 0 0 25 0 11 0 779828575 866508800 25117 4294967295 134512640 134569956 3221224368 3221214688 1131281160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25117 13086 16 0 211534 0
vsize: 846200
[startup+290.006 s]
Raw data (loadavg): 1.07 1.03 1.00 2/64 29680
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 27793 49 0 0 25 0 11 0 779828575 866508800 25144 4294967295 134512640 134569956 3221224368 3221214688 1131281397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25144 13086 16 0 211534 0
vsize: 846200
[startup+300.006 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 29680
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 28781 49 0 0 25 0 11 0 779828575 866508800 25170 4294967295 134512640 134569956 3221224368 3221214688 1131280858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25170 13086 16 0 211534 0
vsize: 846200
[startup+310.006 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 29680
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 29768 49 0 0 25 0 11 0 779828575 866508800 25215 4294967295 134512640 134569956 3221224368 3221214744 1131160145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25215 13086 16 0 211534 0
vsize: 846200
[startup+320.005 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 30758 50 0 0 25 0 11 0 779828575 866508800 25221 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25221 13086 16 0 211534 0
vsize: 846200
[startup+330.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 31747 50 0 0 25 0 11 0 779828575 866508800 25229 4294967295 134512640 134569956 3221224368 3221214792 1131583244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25229 13086 16 0 211534 0
vsize: 846200
[startup+340.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 32734 50 0 0 24 0 11 0 779828575 866508800 25247 4294967295 134512640 134569956 3221224368 3221214688 1131280636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25247 13086 16 0 211534 0
vsize: 846200
[startup+350.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 33720 51 0 0 25 0 11 0 779828575 866508800 25259 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25259 13086 16 0 211534 0
vsize: 846200
[startup+360.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 34703 51 0 0 25 0 11 0 779828575 866508800 25273 4294967295 134512640 134569956 3221224368 3221214688 1131280947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25273 13086 16 0 211534 0
vsize: 846200
[startup+370.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 35683 52 0 0 24 0 11 0 779828575 866508800 25311 4294967295 134512640 134569956 3221224368 3221214744 1131160145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25311 13086 16 0 211534 0
vsize: 846200
[startup+380.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 36665 52 0 0 25 0 11 0 779828575 866508800 25358 4294967295 134512640 134569956 3221224368 3221214192 1131636135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25358 13086 16 0 211534 0
vsize: 846200
[startup+390.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 37650 52 0 0 25 0 11 0 779828575 866508800 25387 4294967295 134512640 134569956 3221224368 3221214688 1131280723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25387 13086 16 0 211534 0
vsize: 846200
[startup+400.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 38631 53 0 0 25 0 11 0 779828575 866508800 25426 4294967295 134512640 134569956 3221224368 3221214688 1131280262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25426 13086 16 0 211534 0
vsize: 846200
[startup+410.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 39615 53 0 0 25 0 11 0 779828575 866508800 25456 4294967295 134512640 134569956 3221224368 3221214544 1131419865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25456 13086 16 0 211534 0
vsize: 846200
[startup+420.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 40598 54 0 0 25 0 11 0 779828575 866508800 25484 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25484 13086 16 0 211534 0
vsize: 846200
[startup+430.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 41581 54 0 0 25 0 11 0 779828575 866508800 25520 4294967295 134512640 134569956 3221224368 3221214688 1131280315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25520 13086 16 0 211534 0
vsize: 846200
[startup+440.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 42566 54 0 0 25 0 11 0 779828575 866508800 25558 4294967295 134512640 134569956 3221224368 3221214688 1131280727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25558 13086 16 0 211534 0
vsize: 846200
[startup+450.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 43552 55 0 0 25 0 11 0 779828575 866508800 25579 4294967295 134512640 134569956 3221224368 3221214600 1131210261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 25579 13086 16 0 211534 0
vsize: 846200
[startup+460.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 44538 55 0 0 25 0 11 0 779828575 866508800 25606 4294967295 134512640 134569956 3221224368 3221214688 1131280866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25606 13086 16 0 211534 0
vsize: 846200
[startup+470.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 45527 55 0 0 25 0 11 0 779828575 866508800 25630 4294967295 134512640 134569956 3221224368 3221214688 1131280862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25630 13086 16 0 211534 0
vsize: 846200
[startup+480.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 46511 55 0 0 24 0 11 0 779828575 866508800 25653 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25653 13086 16 0 211534 0
vsize: 846200
[startup+490.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 47492 55 0 0 25 0 11 0 779828575 866508800 25660 4294967295 134512640 134569956 3221224368 3221214688 1131280221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25660 13086 16 0 211534 0
vsize: 846200
[startup+500.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 48470 56 0 0 25 0 11 0 779828575 866508800 25689 4294967295 134512640 134569956 3221224368 3221214552 1131255211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25689 13086 16 0 211534 0
vsize: 846200
[startup+510.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 49449 56 0 0 25 0 11 0 779828575 866508800 25742 4294967295 134512640 134569956 3221224368 3221214688 1131281108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25742 13086 16 0 211534 0
vsize: 846200
[startup+520.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 50431 56 0 0 25 0 11 0 779828575 866508800 25793 4294967295 134512640 134569956 3221224368 3221214688 1131280856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25793 13086 16 0 211534 0
vsize: 846200
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 51413 56 0 0 25 0 11 0 779828575 866508800 25826 4294967295 134512640 134569956 3221224368 3221214600 1131210277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25826 13086 16 0 211534 0
vsize: 846200
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 52393 56 0 0 25 0 11 0 779828575 866508800 25874 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25874 13086 16 0 211534 0
vsize: 846200
[startup+550.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 53372 57 0 0 25 0 11 0 779828575 866508800 25898 4294967295 134512640 134569956 3221224368 3221214688 1131280908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25898 13086 16 0 211534 0
vsize: 846200
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 54350 57 0 0 25 0 11 0 779828575 866508800 25945 4294967295 134512640 134569956 3221224368 3221214688 1131280699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25945 13086 16 0 211534 0
vsize: 846200
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 55327 57 0 0 25 0 11 0 779828575 866508800 25999 4294967295 134512640 134569956 3221224368 3221214688 1131280378 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 25999 13086 16 0 211534 0
vsize: 846200
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 56304 58 0 0 25 0 11 0 779828575 866508800 26045 4294967295 134512640 134569956 3221224368 3221214688 1131281108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26045 13086 16 0 211534 0
vsize: 846200
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 57282 58 0 0 25 0 11 0 779828575 866508800 26091 4294967295 134512640 134569956 3221224368 3221214688 1131280217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26091 13086 16 0 211534 0
vsize: 846200
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 58260 58 0 0 25 0 11 0 779828575 866508800 26145 4294967295 134512640 134569956 3221224368 3221214688 1131280888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26145 13086 16 0 211534 0
vsize: 846200
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 59237 58 0 0 24 0 11 0 779828575 866508800 26194 4294967295 134512640 134569956 3221224368 3221214688 1131280634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26194 13086 16 0 211534 0
vsize: 846200
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 60215 59 0 0 24 0 11 0 779828575 866508800 26240 4294967295 134512640 134569956 3221224368 3221214744 1131160149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26240 13086 16 0 211534 0
vsize: 846200
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 61198 59 0 0 25 0 11 0 779828575 866508800 26292 4294967295 134512640 134569956 3221224368 3221214688 1131280906 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26292 13086 16 0 211534 0
vsize: 846200
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 62180 60 0 0 25 0 11 0 779828575 866508800 26336 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26336 13086 16 0 211534 0
vsize: 846200
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 63166 60 0 0 25 0 11 0 779828575 866508800 26356 4294967295 134512640 134569956 3221224368 3221214744 1131160160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 26356 13086 16 0 211534 0
vsize: 846200
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 64149 60 0 0 24 0 11 0 779828575 866508800 26388 4294967295 134512640 134569956 3221224368 3221214744 1131160253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26388 13086 16 0 211534 0
vsize: 846200
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 65131 61 0 0 25 0 11 0 779828575 866508800 26398 4294967295 134512640 134569956 3221224368 3221214688 1131280411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26398 13086 16 0 211534 0
vsize: 846200
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18155 3 1 0 66110 61 0 0 25 0 11 0 779828575 866508800 26407 4294967295 134512640 134569956 3221224368 3221214688 1131280573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26407 13086 16 0 211534 0
vsize: 846200
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 67089 61 0 0 25 0 11 0 779828575 866508800 26447 4294967295 134512640 134569956 3221224368 3221214744 1131160344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26447 13086 16 0 211534 0
vsize: 846200
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 68069 62 0 0 25 0 11 0 779828575 866508800 26503 4294967295 134512640 134569956 3221224368 3221214568 1131255366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 26503 13086 16 0 211534 0
vsize: 846200
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 69049 62 0 0 25 0 11 0 779828575 866508800 26535 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26535 13086 16 0 211534 0
vsize: 846200
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 70031 63 0 0 25 0 11 0 779828575 866508800 26579 4294967295 134512640 134569956 3221224368 3221214792 1131582390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26579 13086 16 0 211534 0
vsize: 846200
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 71015 63 0 0 25 0 11 0 779828575 866508800 26613 4294967295 134512640 134569956 3221224368 3221214744 1131160318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26613 13086 16 0 211534 0
vsize: 846200
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 71997 63 0 0 25 0 11 0 779828575 866508800 26649 4294967295 134512640 134569956 3221224368 3221214688 1131280619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26649 13086 16 0 211534 0
vsize: 846200
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) S 29663 15547 15546 0 -1 0 18156 3 1 0 72979 63 0 0 25 0 11 0 779828575 866508800 26661 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26661 13086 16 0 211534 0
vsize: 846200
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 73957 63 0 0 25 0 11 0 779828575 866508800 26689 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26689 13086 16 0 211534 0
vsize: 846200
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 74935 64 0 0 25 0 11 0 779828575 866508800 26715 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26715 13086 16 0 211534 0
vsize: 846200
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 75917 64 0 0 25 0 11 0 779828575 866508800 26782 4294967295 134512640 134569956 3221224368 3221214688 1131280882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26782 13086 16 0 211534 0
vsize: 846200
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 76899 64 0 0 25 0 11 0 779828575 866508800 26812 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26812 13086 16 0 211534 0
vsize: 846200
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 77881 65 0 0 24 0 11 0 779828575 866508800 26851 4294967295 134512640 134569956 3221224368 3221214792 1131582405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26851 13086 16 0 211534 0
vsize: 846200
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 78863 65 0 0 25 0 11 0 779828575 866508800 26872 4294967295 134512640 134569956 3221224368 3221214792 1131582368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26872 13086 16 0 211534 0
vsize: 846200
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 79844 66 0 0 25 0 11 0 779828575 866508800 26894 4294967295 134512640 134569956 3221224368 3221214688 1131281151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26894 13086 16 0 211534 0
vsize: 846200
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 80826 66 0 0 25 0 11 0 779828575 866508800 26914 4294967295 134512640 134569956 3221224368 3221214792 1131582709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26914 13086 16 0 211534 0
vsize: 846200
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 81805 67 0 0 25 0 11 0 779828575 866508800 26958 4294967295 134512640 134569956 3221224368 3221214632 1131380720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 26958 13086 16 0 211534 0
vsize: 846200
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 82785 67 0 0 25 0 11 0 779828575 866508800 27006 4294967295 134512640 134569956 3221224368 3221214688 1131281205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27006 13086 16 0 211534 0
vsize: 846200
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 83765 67 0 0 25 0 11 0 779828575 866508800 27031 4294967295 134512640 134569956 3221224368 3221214688 1131280850 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27031 13086 16 0 211534 0
vsize: 846200
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 84745 68 0 0 25 0 11 0 779828575 866508800 27075 4294967295 134512640 134569956 3221224368 3221214520 1131531896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27075 13086 16 0 211534 0
vsize: 846200
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 85724 68 0 0 25 0 11 0 779828575 866508800 27114 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27114 13086 16 0 211534 0
vsize: 846200
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 86703 69 0 0 25 0 11 0 779828575 866508800 27146 4294967295 134512640 134569956 3221224368 3221214688 1131281154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27146 13086 16 0 211534 0
vsize: 846200
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 87685 69 0 0 25 0 11 0 779828575 866508800 27196 4294967295 134512640 134569956 3221224368 3221214792 1131583284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27196 13086 16 0 211534 0
vsize: 846200
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 88666 70 0 0 25 0 11 0 779828575 866508800 27229 4294967295 134512640 134569956 3221224368 3221214792 1131583173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27229 13086 16 0 211534 0
vsize: 846200
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 89649 70 0 0 25 0 11 0 779828575 866508800 27254 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27254 13086 16 0 211534 0
vsize: 846200
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 90633 71 0 0 25 0 11 0 779828575 866508800 27276 4294967295 134512640 134569956 3221224368 3221214688 1131280822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27276 13086 16 0 211534 0
vsize: 846200
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 91618 71 0 0 25 0 11 0 779828575 866508800 27309 4294967295 134512640 134569956 3221224368 3221214688 1131280787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27309 13086 16 0 211534 0
vsize: 846200
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 92600 72 0 0 25 0 11 0 779828575 866508800 27330 4294967295 134512640 134569956 3221224368 3221214792 1131582728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27330 13086 16 0 211534 0
vsize: 846200
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) S 29663 15547 15546 0 -1 0 18156 3 1 0 93579 72 0 0 25 0 11 0 779828575 866508800 27335 4294967295 134512640 134569956 3221224368 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27335 13086 16 0 211534 0
vsize: 846200
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 94556 73 0 0 25 0 11 0 779828575 866508800 27376 4294967295 134512640 134569956 3221224368 3221214744 1131160145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27376 13086 16 0 211534 0
vsize: 846200
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 95535 73 0 0 25 0 11 0 779828575 866508800 27412 4294967295 134512640 134569956 3221224368 3221214744 1131160145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27412 13086 16 0 211534 0
vsize: 846200
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 96515 74 0 0 25 0 11 0 779828575 866508800 27454 4294967295 134512640 134569956 3221224368 3221214788 1131280204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27454 13086 16 0 211534 0
vsize: 846200
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 97496 74 0 0 25 0 11 0 779828575 866508800 27495 4294967295 134512640 134569956 3221224368 3221214688 1131280262 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27495 13086 16 0 211534 0
vsize: 846200
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 98479 74 0 0 25 0 11 0 779828575 866508800 27520 4294967295 134512640 134569956 3221224368 3221214688 1131280305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211550 27520 13086 16 0 211534 0
vsize: 846200
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 99463 74 0 0 25 0 11 0 779828575 866508800 27552 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27552 13086 16 0 211534 0
vsize: 846200
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 100445 75 0 0 25 0 11 0 779828575 866508800 27567 4294967295 134512640 134569956 3221224368 3221214688 1131280686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27567 13086 16 0 211534 0
vsize: 846200
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 101424 75 0 0 25 0 11 0 779828575 866508800 27599 4294967295 134512640 134569956 3221224368 3221214560 1131421394 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27599 13086 16 0 211534 0
vsize: 846200
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29681
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 102406 75 0 0 25 0 11 0 779828575 866508800 27621 4294967295 134512640 134569956 3221224368 3221214600 1131210279 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27621 13086 16 0 211534 0
vsize: 846200
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29682
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 103390 76 0 0 25 0 11 0 779828575 866508800 27657 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27657 13086 16 0 211534 0
vsize: 846200
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29682
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 104376 76 0 0 25 0 11 0 779828575 866508800 27690 4294967295 134512640 134569956 3221224368 3221214688 1131280758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27690 13086 16 0 211534 0
vsize: 846200
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29682
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 105362 77 0 0 25 0 11 0 779828575 866508800 27702 4294967295 134512640 134569956 3221224368 3221214688 1131280285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27702 13086 16 0 211534 0
vsize: 846200
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29682
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 106347 77 0 0 25 0 11 0 779828575 866508800 27705 4294967295 134512640 134569956 3221224368 3221214744 1131160153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27705 13086 16 0 211534 0
vsize: 846200
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29683
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 107332 77 0 0 25 0 11 0 779828575 866508800 27721 4294967295 134512640 134569956 3221224368 3221214600 1131210684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27721 13086 16 0 211534 0
vsize: 846200
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29683
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 108318 78 0 0 25 0 11 0 779828575 866508800 27739 4294967295 134512640 134569956 3221224368 3221214160 1131182201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27739 13086 16 0 211534 0
vsize: 846200
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29683
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 109302 78 0 0 24 0 11 0 779828575 866508800 27751 4294967295 134512640 134569956 3221224368 3221214792 1131583269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27751 13086 16 0 211534 0
vsize: 846200
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29683
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 110284 79 0 0 25 0 11 0 779828575 866508800 27754 4294967295 134512640 134569956 3221224368 3221214688 1131281212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27754 13086 16 0 211534 0
vsize: 846200
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29683
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 111266 79 0 0 25 0 11 0 779828575 866508800 27768 4294967295 134512640 134569956 3221224368 3221214688 1131280411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27768 13086 16 0 211534 0
vsize: 846200
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 112249 80 0 0 25 0 11 0 779828575 866508800 27802 4294967295 134512640 134569956 3221224368 3221214788 1131280204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27802 13086 16 0 211534 0
vsize: 846200
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 113234 80 0 0 25 0 11 0 779828575 866508800 27832 4294967295 134512640 134569956 3221224368 3221214768 1131380174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27832 13086 16 0 211534 0
vsize: 846200
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 114219 80 0 0 25 0 11 0 779828575 866508800 27846 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27846 13086 16 0 211534 0
vsize: 846200
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 115203 81 0 0 25 0 11 0 779828575 866508800 27855 4294967295 134512640 134569956 3221224368 3221214688 1131280661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27855 13086 16 0 211534 0
vsize: 846200
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 116185 81 0 0 25 0 11 0 779828575 866508800 27858 4294967295 134512640 134569956 3221224368 3221214744 1131160128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27858 13086 16 0 211534 0
vsize: 846200
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 117166 81 0 0 25 0 11 0 779828575 866508800 27873 4294967295 134512640 134569956 3221224368 3221214688 1131280699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27873 13086 16 0 211534 0
vsize: 846200
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 118145 81 0 0 25 0 11 0 779828575 866508800 27917 4294967295 134512640 134569956 3221224368 3221214688 1131280589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27917 13086 16 0 211534 0
vsize: 846200
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 119128 81 0 0 25 0 11 0 779828575 866508800 27933 4294967295 134512640 134569956 3221224368 3221214688 1131281242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27933 13086 16 0 211534 0
vsize: 846200
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 29684
Raw data (stat): 29664 (java) R 29663 15547 15546 0 -1 0 18156 3 1 0 120110 82 0 0 25 0 11 0 779828575 866508800 27966 4294967295 134512640 134569956 3221224368 3221214688 1131280339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211550 27966 13086 16 0 211534 0
vsize: 846200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 29686
Raw data (stat): 29664 (java) Z 29663 15547 15546 0 -1 1036 18156 14562 1 0 120116 87 4121 52 25 0 1 0 779828575 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): 1230.15
CPU time (s): 1243.78
CPU user time (s): 1242.38
CPU system time (s): 1.40179
CPU usage (%): 101.108
Max. virtual memory (Kb): 846808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1076833280
#### END VERIFIER DATA ####