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/miplib3/normalized-mps-v2-13-7-misc07.opb
MD5SUM	54df16ee65da54d5975ffedee80d2bb9
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 30040

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 14:07:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21442 boxname=wulflinc19 idbench=1430 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  54df16ee65da54d5975ffedee80d2bb9  /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: 21442
/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:        434808 kB
Buffers:         35276 kB
Cached:         537820 kB
SwapCached:        416 kB
Active:          54496 kB
Inactive:       520872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        434556 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            18696 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:28:36 (client local time) WITH STATUS 143 IN 1253.29 SECONDS
stats: 21442 0 1253.29 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.528 ms.
c #vars     280
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1759488 		Current CPU time: 17.73 ms
c CURRENT OPTIMUM=             1536128 		Current CPU time: 18.79 ms
c CURRENT OPTIMUM=             1532928 		Current CPU time: 75.97 ms
c CURRENT OPTIMUM=             1518848 		Current CPU time: 229.89 ms
c CURRENT OPTIMUM=             1442688 		Current CPU time: 267.57 ms
c CURRENT OPTIMUM=             1441408 		Current CPU time: 697.10 ms
c CURRENT OPTIMUM=             1431808 		Current CPU time: 974.48 ms
c CURRENT OPTIMUM=             1419008 		Current CPU time: 1018.86 ms
c starts	: 17
c conflicts	: 1260
c decisions	: 5007
c propagations	: 27862
c inspects	: 2054394
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1260
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.122
#### 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 24389
Raw data (stat): 24389 (runsolver) R 24388 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839469925 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.0004 s]
Raw data (loadavg): 1.24 1.05 1.02 3/64 24399
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18111 0 1 0 585 41 0 0 25 0 11 0 839469925 869892096 22460 4294967295 134512640 134569956 3221224368 3221214160 1080216945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212376 22460 13086 16 0 212360 0
vsize: 849504
[startup+20.0018 s]
Raw data (loadavg): 1.21 1.05 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 1459 41 0 0 25 0 11 0 839469925 864505856 22220 4294967295 134512640 134569956 3221224368 3221214652 1131248467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 22220 13086 16 0 211045 0
vsize: 844244
[startup+30.0022 s]
Raw data (loadavg): 1.17 1.05 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 2382 41 0 0 25 0 11 0 839469925 864505856 22524 4294967295 134512640 134569956 3221224368 3221214576 1131267799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 22524 13086 16 0 211045 0
vsize: 844244
[startup+40.0034 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 3306 42 0 0 25 0 11 0 839469925 864505856 22711 4294967295 134512640 134569956 3221224368 3221214576 1131267849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 22711 13086 16 0 211045 0
vsize: 844244
[startup+50.0043 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 4232 42 0 0 25 0 11 0 839469925 864505856 23276 4294967295 134512640 134569956 3221224368 3221214680 1131282992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23276 13086 16 0 211045 0
vsize: 844244
[startup+60.0037 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 5191 42 0 0 25 0 11 0 839469925 864505856 23534 4294967295 134512640 134569956 3221224368 3221214624 1131393558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23534 13086 16 0 211045 0
vsize: 844244
[startup+70.0049 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 24401
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 6155 43 0 0 25 0 11 0 839469925 864505856 23609 4294967295 134512640 134569956 3221224368 3221214576 1131268308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23609 13086 16 0 211045 0
vsize: 844244
[startup+80.0057 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 7118 43 0 0 25 0 11 0 839469925 864505856 23749 4294967295 134512640 134569956 3221224368 3221214576 1131267310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23749 13086 16 0 211045 0
vsize: 844244
[startup+90.0061 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 8088 43 0 0 25 0 11 0 839469925 864505856 23873 4294967295 134512640 134569956 3221224368 3221214576 1131267663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23873 13086 16 0 211045 0
vsize: 844244
[startup+100.006 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 9058 43 0 0 25 0 11 0 839469925 864505856 23942 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 23942 13086 16 0 211045 0
vsize: 844244
[startup+110.007 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 10019 44 0 0 24 0 11 0 839469925 864505856 24026 4294967295 134512640 134569956 3221224368 3221214624 1131393489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24026 13086 16 0 211045 0
vsize: 844244
[startup+120.008 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 10984 44 0 0 25 0 11 0 839469925 864505856 24068 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24068 13086 16 0 211045 0
vsize: 844244
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 11940 45 0 0 24 0 11 0 839469925 864505856 24229 4294967295 134512640 134569956 3221224368 3221214680 1131283770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24229 13086 16 0 211045 0
vsize: 844244
[startup+140.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 12909 45 0 0 25 0 11 0 839469925 864505856 24334 4294967295 134512640 134569956 3221224368 3221214464 1131638621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24334 13086 16 0 211045 0
vsize: 844244
[startup+150.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 13875 46 0 0 25 0 11 0 839469925 864505856 24437 4294967295 134512640 134569956 3221224368 3221214576 1131267878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24437 13086 16 0 211045 0
vsize: 844244
[startup+160.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 14839 46 0 0 25 0 11 0 839469925 864505856 24503 4294967295 134512640 134569956 3221224368 3221214680 1131286143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24503 13086 16 0 211045 0
vsize: 844244
[startup+170.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 15801 47 0 0 25 0 11 0 839469925 864505856 24558 4294967295 134512640 134569956 3221224368 3221214680 1131281893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24558 13086 16 0 211045 0
vsize: 844244
[startup+180.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 16749 47 0 0 25 0 11 0 839469925 864505856 24700 4294967295 134512640 134569956 3221224368 3221214680 1131281770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24700 13086 16 0 211045 0
vsize: 844244
[startup+190.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 17706 48 0 0 24 0 11 0 839469925 864505856 24824 4294967295 134512640 134569956 3221224368 3221214576 1131267964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24824 13086 16 0 211045 0
vsize: 844244
[startup+200.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 18662 48 0 0 25 0 11 0 839469925 864505856 24977 4294967295 134512640 134569956 3221224368 3221214488 1131202663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 24977 13086 16 0 211045 0
vsize: 844244
[startup+210.012 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 19632 49 0 0 25 0 11 0 839469925 864505856 25069 4294967295 134512640 134569956 3221224368 3221214520 1131248487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25069 13086 16 0 211045 0
vsize: 844244
[startup+220.013 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 20609 49 0 0 25 0 11 0 839469925 864505856 25224 4294967295 134512640 134569956 3221224368 3221214576 1131267353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25224 13086 16 0 211045 0
vsize: 844244
[startup+230.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24402
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 21592 50 0 0 25 0 11 0 839469925 864505856 25261 4294967295 134512640 134569956 3221224368 3221214680 1131286107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25261 13086 16 0 211045 0
vsize: 844244
[startup+240.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24403
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 22578 50 0 0 25 0 11 0 839469925 864505856 25297 4294967295 134512640 134569956 3221224368 3221214680 1131281913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25297 13086 16 0 211045 0
vsize: 844244
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24403
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 23562 50 0 0 25 0 11 0 839469925 864505856 25323 4294967295 134512640 134569956 3221224368 3221214680 1131281751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25323 13086 16 0 211045 0
vsize: 844244
[startup+260.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24403
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 24547 51 0 0 25 0 11 0 839469925 864505856 25345 4294967295 134512640 134569956 3221224368 3221214576 1131267976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25345 13086 16 0 211045 0
vsize: 844244
[startup+270.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 25532 52 0 0 25 0 11 0 839469925 864505856 25368 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25368 13086 16 0 211045 0
vsize: 844244
[startup+280.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 26517 52 0 0 25 0 11 0 839469925 864505856 25410 4294967295 134512640 134569956 3221224368 3221214680 1131282862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25410 13086 16 0 211045 0
vsize: 844244
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 27503 53 0 0 25 0 11 0 839469925 864505856 25429 4294967295 134512640 134569956 3221224368 3221214576 1131268180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25429 13086 16 0 211045 0
vsize: 844244
[startup+300.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 28487 53 0 0 25 0 11 0 839469925 864505856 25451 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25451 13086 16 0 211045 0
vsize: 844244
[startup+310.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 29470 53 0 0 25 0 11 0 839469925 864505856 25473 4294967295 134512640 134569956 3221224368 3221214576 1131267666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25473 13086 16 0 211045 0
vsize: 844244
[startup+320.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 30451 54 0 0 25 0 11 0 839469925 864505856 25508 4294967295 134512640 134569956 3221224368 3221214680 1131282992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25508 13086 16 0 211045 0
vsize: 844244
[startup+330.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 31428 54 0 0 25 0 11 0 839469925 864505856 25548 4294967295 134512640 134569956 3221224368 3221214680 1131283019 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25548 13086 16 0 211045 0
vsize: 844244
[startup+340.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 32407 55 0 0 25 0 11 0 839469925 864505856 25586 4294967295 134512640 134569956 3221224368 3221214576 1131268037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25586 13086 16 0 211045 0
vsize: 844244
[startup+350.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 33383 55 0 0 24 0 11 0 839469925 864505856 25648 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25648 13086 16 0 211045 0
vsize: 844244
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 34362 55 0 0 25 0 11 0 839469925 864505856 25687 4294967295 134512640 134569956 3221224368 3221214576 1131268134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25687 13086 16 0 211045 0
vsize: 844244
[startup+370.023 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 35341 56 0 0 25 0 11 0 839469925 864505856 25735 4294967295 134512640 134569956 3221224368 3221214680 1131283821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25735 13086 16 0 211045 0
vsize: 844244
[startup+380.023 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 36321 56 0 0 25 0 11 0 839469925 864505856 25792 4294967295 134512640 134569956 3221224368 3221214576 1131268314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25792 13086 16 0 211045 0
vsize: 844244
[startup+390.024 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18159 4 1 0 37302 56 0 0 25 0 11 0 839469925 864505856 25826 4294967295 134512640 134569956 3221224368 3221214576 1131267708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25826 13086 16 0 211045 0
vsize: 844244
[startup+400.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 38281 56 0 0 25 0 11 0 839469925 864505856 25882 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25882 13086 16 0 211045 0
vsize: 844244
[startup+410.025 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 39263 57 0 0 25 0 11 0 839469925 864505856 25920 4294967295 134512640 134569956 3221224368 3221214576 1131267726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211061 25920 13086 16 0 211045 0
vsize: 844244
[startup+420.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 40244 57 0 0 25 0 11 0 839469925 864505856 25946 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 25946 13086 16 0 211045 0
vsize: 844244
[startup+430.026 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 41220 57 0 0 25 0 11 0 839469925 864505856 25980 4294967295 134512640 134569956 3221224368 3221214488 1131203246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 25980 13086 16 0 211045 0
vsize: 844244
[startup+440.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 42193 57 0 0 25 0 11 0 839469925 864505856 26013 4294967295 134512640 134569956 3221224368 3221214680 1131286139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26013 13086 16 0 211045 0
vsize: 844244
[startup+450.027 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 43168 57 0 0 25 0 11 0 839469925 864505856 26096 4294967295 134512640 134569956 3221224368 3221214680 1131282992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26096 13086 16 0 211045 0
vsize: 844244
[startup+460.027 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 44146 58 0 0 25 0 11 0 839469925 864505856 26157 4294967295 134512640 134569956 3221224368 3221214600 1131192514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26157 13086 16 0 211045 0
vsize: 844244
[startup+470.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 45121 58 0 0 25 0 11 0 839469925 864505856 26203 4294967295 134512640 134569956 3221224368 3221214576 1131267972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26203 13086 16 0 211045 0
vsize: 844244
[startup+480.029 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 46095 58 0 0 25 0 11 0 839469925 864505856 26258 4294967295 134512640 134569956 3221224368 3221214584 1131267463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26258 13086 16 0 211045 0
vsize: 844244
[startup+490.03 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 47072 58 0 0 25 0 11 0 839469925 864505856 26311 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26311 13086 16 0 211045 0
vsize: 844244
[startup+500.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 48047 58 0 0 25 0 11 0 839469925 864505856 26363 4294967295 134512640 134569956 3221224368 3221214680 1131283770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26363 13086 16 0 211045 0
vsize: 844244
[startup+510.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 49027 58 0 0 25 0 11 0 839469925 864505856 26432 4294967295 134512640 134569956 3221224368 3221214576 1131267387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26432 13086 16 0 211045 0
vsize: 844244
[startup+520.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 50009 58 0 0 25 0 11 0 839469925 864505856 26480 4294967295 134512640 134569956 3221224368 3221214576 1131267395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26480 13086 16 0 211045 0
vsize: 844244
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 50986 58 0 0 24 0 11 0 839469925 864505856 26503 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26503 13086 16 0 211045 0
vsize: 844244
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 51966 58 0 0 25 0 11 0 839469925 864505856 26533 4294967295 134512640 134569956 3221224368 3221214576 1131267706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26533 13086 16 0 211045 0
vsize: 844244
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 52944 58 0 0 25 0 11 0 839469925 864505856 26573 4294967295 134512640 134569956 3221224368 3221214576 1131268360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26573 13086 16 0 211045 0
vsize: 844244
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 53921 58 0 0 25 0 11 0 839469925 864505856 26643 4294967295 134512640 134569956 3221224368 3221214576 1131268238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26643 13086 16 0 211045 0
vsize: 844244
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 54898 58 0 0 25 0 11 0 839469925 864505856 26665 4294967295 134512640 134569956 3221224368 3221214680 1131283851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26665 13086 16 0 211045 0
vsize: 844244
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 55874 58 0 0 25 0 11 0 839469925 864505856 26710 4294967295 134512640 134569956 3221224368 3221214576 1131268189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26710 13086 16 0 211045 0
vsize: 844244
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 56853 58 0 0 25 0 11 0 839469925 864505856 26753 4294967295 134512640 134569956 3221224368 3221214544 1131248974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26753 13086 16 0 211045 0
vsize: 844244
[startup+600.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 57828 58 0 0 25 0 11 0 839469925 864505856 26824 4294967295 134512640 134569956 3221224368 3221214576 1131267795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26824 13086 16 0 211045 0
vsize: 844244
[startup+610.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 58807 58 0 0 25 0 11 0 839469925 864505856 26857 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26857 13086 16 0 211045 0
vsize: 844244
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 59790 58 0 0 25 0 11 0 839469925 864505856 26918 4294967295 134512640 134569956 3221224368 3221214576 1131267308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26918 13086 16 0 211045 0
vsize: 844244
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 60773 58 0 0 25 0 11 0 839469925 864505856 26951 4294967295 134512640 134569956 3221224368 3221214488 1131203668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26951 13086 16 0 211045 0
vsize: 844244
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 61758 58 0 0 25 0 11 0 839469925 864505856 26977 4294967295 134512640 134569956 3221224368 3221214576 1131267334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26977 13086 16 0 211045 0
vsize: 844244
[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 62741 58 0 0 24 0 11 0 839469925 864505856 26996 4294967295 134512640 134569956 3221224368 3221214576 1131268298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 26996 13086 16 0 211045 0
vsize: 844244
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 63725 59 0 0 25 0 11 0 839469925 864505856 27021 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27021 13086 16 0 211045 0
vsize: 844244
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 64707 59 0 0 25 0 11 0 839469925 864505856 27045 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27045 13086 16 0 211045 0
vsize: 844244
[startup+680.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 65687 59 0 0 25 0 11 0 839469925 864505856 27065 4294967295 134512640 134569956 3221224368 3221214544 1131399476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27065 13086 16 0 211045 0
vsize: 844244
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24404
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 66661 59 0 0 24 0 11 0 839469925 864505856 27104 4294967295 134512640 134569956 3221224368 3221214536 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27104 13086 16 0 211045 0
vsize: 844244
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 67640 59 0 0 24 0 11 0 839469925 864505856 27149 4294967295 134512640 134569956 3221224368 3221214680 1131283058 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27149 13086 16 0 211045 0
vsize: 844244
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 68621 59 0 0 25 0 11 0 839469925 864505856 27196 4294967295 134512640 134569956 3221224368 3221214576 1131267636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27196 13086 16 0 211045 0
vsize: 844244
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 69603 59 0 0 25 0 11 0 839469925 864505856 27232 4294967295 134512640 134569956 3221224368 3221214576 1131267308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27232 13086 16 0 211045 0
vsize: 844244
[startup+730.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 70587 59 0 0 25 0 11 0 839469925 864505856 27258 4294967295 134512640 134569956 3221224368 3221214576 1131267357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27258 13086 16 0 211045 0
vsize: 844244
[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 71567 59 0 0 24 0 11 0 839469925 864505856 27282 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27282 13086 16 0 211045 0
vsize: 844244
[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 72550 59 0 0 25 0 11 0 839469925 864505856 27309 4294967295 134512640 134569956 3221224368 3221214600 1131190681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27309 13086 16 0 211045 0
vsize: 844244
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 73531 59 0 0 25 0 11 0 839469925 864505856 27330 4294967295 134512640 134569956 3221224368 3221214576 1131267293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27330 13086 16 0 211045 0
vsize: 844244
[startup+770.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 74513 59 0 0 25 0 11 0 839469925 864505856 27369 4294967295 134512640 134569956 3221224368 3221214576 1131267380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27369 13086 16 0 211045 0
vsize: 844244
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 75492 59 0 0 25 0 11 0 839469925 864505856 27391 4294967295 134512640 134569956 3221224368 3221214552 1131248723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27391 13086 16 0 211045 0
vsize: 844244
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 76472 60 0 0 25 0 11 0 839469925 864505856 27441 4294967295 134512640 134569956 3221224368 3221214680 1131282992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27441 13086 16 0 211045 0
vsize: 844244
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 77453 60 0 0 25 0 11 0 839469925 864505856 27467 4294967295 134512640 134569956 3221224368 3221214576 1131267398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27467 13086 16 0 211045 0
vsize: 844244
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 78435 60 0 0 25 0 11 0 839469925 864505856 27494 4294967295 134512640 134569956 3221224368 3221214680 1131281599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27494 13086 16 0 211045 0
vsize: 844244
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 79414 60 0 0 24 0 11 0 839469925 864505856 27522 4294967295 134512640 134569956 3221224368 3221214576 1131267297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27522 13086 16 0 211045 0
vsize: 844244
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 80396 60 0 0 25 0 11 0 839469925 864505856 27554 4294967295 134512640 134569956 3221224368 3221214544 1131345857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27554 13086 16 0 211045 0
vsize: 844244
[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 81377 60 0 0 25 0 11 0 839469925 864505856 27582 4294967295 134512640 134569956 3221224368 3221214576 1131267547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27582 13086 16 0 211045 0
vsize: 844244
[startup+850.057 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 82357 60 0 0 25 0 11 0 839469925 864505856 27620 4294967295 134512640 134569956 3221224368 3221214576 1131268210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27620 13086 16 0 211045 0
vsize: 844244
[startup+860.057 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 83338 60 0 0 24 0 11 0 839469925 864505856 27660 4294967295 134512640 134569956 3221224368 3221214680 1131286264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27660 13086 16 0 211045 0
vsize: 844244
[startup+870.058 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 84319 60 0 0 25 0 11 0 839469925 864505856 27677 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27677 13086 16 0 211045 0
vsize: 844244
[startup+880.058 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 85301 60 0 0 25 0 11 0 839469925 864505856 27701 4294967295 134512640 134569956 3221224368 3221214576 1131267960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27701 13086 16 0 211045 0
vsize: 844244
[startup+890.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 86279 60 0 0 25 0 11 0 839469925 864505856 27742 4294967295 134512640 134569956 3221224368 3221214680 1131283152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27742 13086 16 0 211045 0
vsize: 844244
[startup+900.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 87260 60 0 0 25 0 11 0 839469925 864505856 27774 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27774 13086 16 0 211045 0
vsize: 844244
[startup+910.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 88241 60 0 0 25 0 11 0 839469925 864505856 27816 4294967295 134512640 134569956 3221224368 3221214576 1131267978 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27816 13086 16 0 211045 0
vsize: 844244
[startup+920.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 89222 60 0 0 25 0 11 0 839469925 864505856 27832 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27832 13086 16 0 211045 0
vsize: 844244
[startup+930.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 90201 60 0 0 25 0 11 0 839469925 864505856 27863 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27863 13086 16 0 211045 0
vsize: 844244
[startup+940.062 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 91181 60 0 0 25 0 11 0 839469925 864505856 27897 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27897 13086 16 0 211045 0
vsize: 844244
[startup+950.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 92160 60 0 0 18 0 11 0 839469925 864505856 27935 4294967295 134512640 134569956 3221224368 3221214576 1131267661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27935 13086 16 0 211045 0
vsize: 844244
[startup+960.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 93142 61 0 0 25 0 11 0 839469925 864505856 27974 4294967295 134512640 134569956 3221224368 3221214576 1131268033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27974 13086 16 0 211045 0
vsize: 844244
[startup+970.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24405
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 94124 61 0 0 25 0 11 0 839469925 864505856 27987 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 27987 13086 16 0 211045 0
vsize: 844244
[startup+980.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24406
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 95105 61 0 0 25 0 11 0 839469925 864505856 28009 4294967295 134512640 134569956 3221224368 3221214576 1131267764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28009 13086 16 0 211045 0
vsize: 844244
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24406
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 96084 61 0 0 25 0 11 0 839469925 864505856 28050 4294967295 134512640 134569956 3221224368 3221214576 1131267293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28050 13086 16 0 211045 0
vsize: 844244
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24406
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 97065 61 0 0 25 0 11 0 839469925 864505856 28076 4294967295 134512640 134569956 3221224368 3221214544 1131399423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28076 13086 16 0 211045 0
vsize: 844244
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24406
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 98045 61 0 0 24 0 11 0 839469925 864505856 28088 4294967295 134512640 134569956 3221224368 3221214576 1131267450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28088 13086 16 0 211045 0
vsize: 844244
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 99025 61 0 0 25 0 11 0 839469925 864505856 28122 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28122 13086 16 0 211045 0
vsize: 844244
[startup+1030.07 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 100007 61 0 0 25 0 11 0 839469925 864505856 28154 4294967295 134512640 134569956 3221224368 3221214488 1131203060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28154 13086 16 0 211045 0
vsize: 844244
[startup+1040.07 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 100989 61 0 0 25 0 11 0 839469925 864505856 28173 4294967295 134512640 134569956 3221224368 3221214488 1131202661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28173 13086 16 0 211045 0
vsize: 844244
[startup+1050.07 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 101971 61 0 0 25 0 11 0 839469925 864505856 28199 4294967295 134512640 134569956 3221224368 3221214576 1131267301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28199 13086 16 0 211045 0
vsize: 844244
[startup+1060.07 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 102953 61 0 0 24 0 11 0 839469925 864505856 28215 4294967295 134512640 134569956 3221224368 3221214488 1131202661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28215 13086 16 0 211045 0
vsize: 844244
[startup+1070.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 103935 61 0 0 25 0 11 0 839469925 864505856 28245 4294967295 134512640 134569956 3221224368 3221214576 1131267334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28245 13086 16 0 211045 0
vsize: 844244
[startup+1080.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 104918 61 0 0 25 0 11 0 839469925 864505856 28271 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28271 13086 16 0 211045 0
vsize: 844244
[startup+1090.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 105900 62 0 0 25 0 11 0 839469925 864505856 28284 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28284 13086 16 0 211045 0
vsize: 844244
[startup+1100.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 106884 62 0 0 25 0 11 0 839469925 864505856 28308 4294967295 134512640 134569956 3221224368 3221214676 1131267276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28308 13086 16 0 211045 0
vsize: 844244
[startup+1110.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 107866 62 0 0 25 0 11 0 839469925 864505856 28322 4294967295 134512640 134569956 3221224368 3221214680 1131286158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28322 13086 16 0 211045 0
vsize: 844244
[startup+1120.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 108848 62 0 0 25 0 11 0 839469925 864505856 28339 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28339 13086 16 0 211045 0
vsize: 844244
[startup+1130.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 109829 62 0 0 24 0 11 0 839469925 864505856 28362 4294967295 134512640 134569956 3221224368 3221214680 1131283770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28362 13086 16 0 211045 0
vsize: 844244
[startup+1140.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 110810 62 0 0 25 0 11 0 839469925 864505856 28377 4294967295 134512640 134569956 3221224368 3221214576 1131268199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28377 13086 16 0 211045 0
vsize: 844244
[startup+1150.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 111791 62 0 0 25 0 11 0 839469925 864505856 28402 4294967295 134512640 134569956 3221224368 3221214680 1131281819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28402 13086 16 0 211045 0
vsize: 844244
[startup+1160.08 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 112771 62 0 0 25 0 11 0 839469925 864505856 28424 4294967295 134512640 134569956 3221224368 3221214576 1131267608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28424 13086 16 0 211045 0
vsize: 844244
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 113751 62 0 0 24 0 11 0 839469925 864505856 28448 4294967295 134512640 134569956 3221224368 3221214576 1131267816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28448 13086 16 0 211045 0
vsize: 844244
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 114734 62 0 0 25 0 11 0 839469925 864505856 28470 4294967295 134512640 134569956 3221224368 3221214576 1131267733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28470 13086 16 0 211045 0
vsize: 844244
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 115714 62 0 0 25 0 11 0 839469925 864505856 28501 4294967295 134512640 134569956 3221224368 3221214680 1131286136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28501 13086 16 0 211045 0
vsize: 844244
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 116696 62 0 0 25 0 11 0 839469925 864505856 28526 4294967295 134512640 134569956 3221224368 3221214680 1131283019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28526 13086 16 0 211045 0
vsize: 844244
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 117678 63 0 0 25 0 11 0 839469925 864505856 28544 4294967295 134512640 134569956 3221224368 3221214680 1131281874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28544 13086 16 0 211045 0
vsize: 844244
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 118659 63 0 0 25 0 11 0 839469925 864505856 28561 4294967295 134512640 134569956 3221224368 3221214576 1131267404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28561 13086 16 0 211045 0
vsize: 844244
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 119639 63 0 0 25 0 11 0 839469925 864505856 28591 4294967295 134512640 134569956 3221224368 3221214576 1131267387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28591 13086 16 0 211045 0
vsize: 844244
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24407
Raw data (stat): 24389 (java) R 24388 10795 10794 0 -1 0 18160 4 1 0 120619 63 0 0 25 0 11 0 839469925 864505856 28612 4294967295 134512640 134569956 3221224368 3221214676 1131267283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211061 28612 13086 16 0 211045 0
vsize: 844244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24409
Raw data (stat): 24389 (java) Z 24388 10795 10794 0 -1 1036 18160 18559 1 0 120623 63 4583 58 24 0 1 0 839469925 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.2
CPU time (s): 1253.29
CPU user time (s): 1252.07
CPU system time (s): 1.21781
CPU usage (%): 101.055
Max. virtual memory (Kb): 849504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1419008
#### END VERIFIER DATA ####