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/miplib/normalized-mps-v2-20-10-misc03.opb
MD5SUM	91a12c778773a00a6198e856654cd609
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1077181440
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	3287149567
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	17.5123
Number of variables	190
Total number of constraints	255
Number of constraints which are clauses	31
Number of constraints which are cardinality constraints (but not clauses)	170
Number of constraints which are nor clauses,nor cardinality constraints	54
Minimum length of a constraint	1
Maximum length of a constraint	169
Trace number 29534

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-25 08:43:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20933 boxname=wulflinc23 idbench=921 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  91a12c778773a00a6198e856654cd609  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-misc03.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-misc03.opb
IDLAUNCH: 20933
/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:        727232 kB
Buffers:         32528 kB
Cached:         253656 kB
SwapCached:        640 kB
Active:          76960 kB
Inactive:       211688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        726980 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5628 kB
Slab:            13164 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:03:47 (client local time) WITH STATUS 143 IN 1252.02 SECONDS
stats: 20933 0 1252.02 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/wulflinc23/normalized-mps-v2-20-10-misc03.opb
c reading problem ... done. Time 1.04 ms.
c #vars     190
c #constraints  123
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=          1079045120 		Current CPU time: 11.22 ms
c CURRENT OPTIMUM=          1077816320 		Current CPU time: 17.21 ms
c CURRENT OPTIMUM=          1077795840 		Current CPU time: 28.12 ms
c CURRENT OPTIMUM=          1077744640 		Current CPU time: 47.82 ms
c CURRENT OPTIMUM=          1077544960 		Current CPU time: 279.11 ms
c CURRENT OPTIMUM=          1077509120 		Current CPU time: 349.05 ms
c CURRENT OPTIMUM=          1077468160 		Current CPU time: 455.14 ms
c CURRENT OPTIMUM=          1077181440 		Current CPU time: 565.86 ms
c starts	: 17
c conflicts	: 1554
c decisions	: 4785
c propagations	: 31128
c inspects	: 2574169
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1554
c root simplifications	: 32
s SATISFIABLE
v -COL160_bit_10 -COL160_bit_9 -COL160_bit_8 -COL160_bit_7 -COL160_bit_6 -COL160_bit_5 -COL160_bit_4 -COL160_bit_3 -COL160_bit_2 -COL160_bit_1 COL160_bit0 COL160_bit1 COL160_bit2 COL160_bit3 COL160_bit4 -COL160_bit5 -COL160_bit6 -COL160_bit7 COL160_bit8 -COL160_bit9 COL160_bit10 COL160_bit11 -COL160_bit12 -COL160_bit13 -COL160_bit14 -COL160_bit15 -COL160_bit16 -COL160_bit17 -COL160_bit18 -COL160_bit19 COL160_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 
c objectif function=1077181440
c Total CPU time (ms) : 1229.123
#### 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.94 0.97 0.99 2/54 14809
Raw data (stat): 14809 (runsolver) R 14808 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837531279 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.10 1.00 1.00 3/64 14819
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18099 0 1 0 645 38 0 0 25 0 11 0 837531279 871718912 22930 4294967295 134512640 134569956 3221224368 3221214732 1131153132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212822 22930 13086 16 0 212806 0
vsize: 851288
[startup+20.0005 s]
Raw data (loadavg): 1.32 1.05 1.02 3/64 14821
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18147 3 1 0 1417 38 0 0 25 0 11 0 837531279 873218048 23629 4294967295 134512640 134569956 3221224368 3221214688 1131153198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213188 23629 13086 16 0 213172 0
vsize: 852752
[startup+30.0016 s]
Raw data (loadavg): 1.27 1.05 1.01 2/64 14822
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18147 3 1 0 2363 39 0 0 25 0 11 0 837531279 872448000 23760 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 23760 13086 16 0 212984 0
vsize: 852000
[startup+40.0022 s]
Raw data (loadavg): 1.23 1.05 1.01 2/64 14822
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 3311 39 0 0 25 0 11 0 837531279 872448000 24050 4294967295 134512640 134569956 3221224368 3221214560 1131190501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 24050 13086 16 0 212984 0
vsize: 852000
[startup+50.0024 s]
Raw data (loadavg): 1.19 1.05 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 4241 39 0 0 25 0 11 0 837531279 872448000 24307 4294967295 134512640 134569956 3221224368 3221214648 1131633365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 24307 13086 16 0 212984 0
vsize: 852000
[startup+60.0028 s]
Raw data (loadavg): 1.16 1.05 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 5188 40 0 0 25 0 11 0 837531279 872448000 24631 4294967295 134512640 134569956 3221224368 3221214648 1131636120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 24631 13086 16 0 212984 0
vsize: 852000
[startup+70.0032 s]
Raw data (loadavg): 1.14 1.04 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 6147 40 0 0 25 0 11 0 837531279 872448000 24804 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 24804 13086 16 0 212984 0
vsize: 852000
[startup+80.0034 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 7119 40 0 0 25 0 11 0 837531279 872448000 24986 4294967295 134512640 134569956 3221224368 3221214528 1131213338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 24986 13086 16 0 212984 0
vsize: 852000
[startup+90.0045 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 8093 41 0 0 25 0 11 0 837531279 872448000 25037 4294967295 134512640 134569956 3221224368 3221214648 1131633580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25037 13086 16 0 212984 0
vsize: 852000
[startup+100.005 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 9068 41 0 0 25 0 11 0 837531279 872448000 25100 4294967295 134512640 134569956 3221224368 3221214648 1131642421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25100 13086 16 0 212984 0
vsize: 852000
[startup+110.005 s]
Raw data (loadavg): 1.07 1.04 1.01 2/64 14823
Raw data (stat): 14809 (java) S 14808 5562 5561 0 -1 0 18148 3 1 0 10047 42 0 0 25 0 11 0 837531279 872448000 25151 4294967295 134512640 134569956 3221224368 3221213288 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25151 13086 16 0 212984 0
vsize: 852000
[startup+120.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 11028 42 0 0 25 0 11 0 837531279 872448000 25218 4294967295 134512640 134569956 3221224368 3221214648 1131642575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25218 13086 16 0 212984 0
vsize: 852000
[startup+130.007 s]
Raw data (loadavg): 1.05 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 12009 43 0 0 25 0 11 0 837531279 872448000 25267 4294967295 134512640 134569956 3221224368 3221214560 1131190501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25267 13086 16 0 212984 0
vsize: 852000
[startup+140.007 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 12990 43 0 0 24 0 11 0 837531279 872448000 25315 4294967295 134512640 134569956 3221224368 3221214648 1131636916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25315 13086 16 0 212984 0
vsize: 852000
[startup+150.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 13973 43 0 0 25 0 11 0 837531279 872448000 25357 4294967295 134512640 134569956 3221224368 3221214608 1131172113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25357 13086 16 0 212984 0
vsize: 852000
[startup+160.008 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 14953 43 0 0 25 0 11 0 837531279 872448000 25391 4294967295 134512640 134569956 3221224368 3221214368 1131700302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25391 13086 16 0 212984 0
vsize: 852000
[startup+170.008 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 15932 44 0 0 25 0 11 0 837531279 872448000 25427 4294967295 134512640 134569956 3221224368 3221214528 1131213559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25427 13086 16 0 212984 0
vsize: 852000
[startup+180.009 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 16912 44 0 0 24 0 11 0 837531279 872448000 25473 4294967295 134512640 134569956 3221224368 3221214648 1131637195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25473 13086 16 0 212984 0
vsize: 852000
[startup+190.01 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 17883 44 0 0 24 0 11 0 837531279 872448000 25513 4294967295 134512640 134569956 3221224368 3221214648 1131634663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25513 13086 16 0 212984 0
vsize: 852000
[startup+200.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 18858 45 0 0 25 0 11 0 837531279 872448000 25566 4294967295 134512640 134569956 3221224368 3221214648 1131642586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25566 13086 16 0 212984 0
vsize: 852000
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 19834 45 0 0 25 0 11 0 837531279 872448000 25653 4294967295 134512640 134569956 3221224368 3221214648 1131642575 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25653 13086 16 0 212984 0
vsize: 852000
[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 20816 46 0 0 25 0 11 0 837531279 872448000 25706 4294967295 134512640 134569956 3221224368 3221214552 1131200884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25706 13086 16 0 212984 0
vsize: 852000
[startup+230.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 21796 46 0 0 25 0 11 0 837531279 872448000 25748 4294967295 134512640 134569956 3221224368 3221214552 1131199993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25748 13086 16 0 212984 0
vsize: 852000
[startup+240.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 22769 46 0 0 25 0 11 0 837531279 872448000 25771 4294967295 134512640 134569956 3221224368 3221214544 1131362568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25771 13086 16 0 212984 0
vsize: 852000
[startup+250.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 23737 47 0 0 25 0 11 0 837531279 872448000 25793 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25793 13086 16 0 212984 0
vsize: 852000
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 24694 47 0 0 25 0 11 0 837531279 872448000 25844 4294967295 134512640 134569956 3221224368 3221214472 1131178652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25844 13086 16 0 212984 0
vsize: 852000
[startup+270.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18148 3 1 0 25648 47 0 0 25 0 11 0 837531279 872448000 25951 4294967295 134512640 134569956 3221224368 3221214648 1131642407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 25951 13086 16 0 212984 0
vsize: 852000
[startup+280.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14823
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 26606 48 0 0 25 0 11 0 837531279 872448000 26085 4294967295 134512640 134569956 3221224368 3221214648 1131635852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26085 13086 16 0 212984 0
vsize: 852000
[startup+290.012 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 27574 48 0 0 25 0 11 0 837531279 872448000 26233 4294967295 134512640 134569956 3221224368 3221214736 1131248279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26233 13086 16 0 212984 0
vsize: 852000
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 28555 49 0 0 25 0 11 0 837531279 872448000 26384 4294967295 134512640 134569956 3221224368 3221214552 1131199976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26384 13086 16 0 212984 0
vsize: 852000
[startup+310.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 29540 49 0 0 25 0 11 0 837531279 872448000 26418 4294967295 134512640 134569956 3221224368 3221214648 1131634754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26418 13086 16 0 212984 0
vsize: 852000
[startup+320.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 30525 49 0 0 25 0 11 0 837531279 872448000 26433 4294967295 134512640 134569956 3221224368 3221214648 1131634726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26433 13086 16 0 212984 0
vsize: 852000
[startup+330.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14824
Raw data (stat): 14809 (java) S 14808 5562 5561 0 -1 0 18149 3 1 0 31509 49 0 0 25 0 11 0 837531279 872448000 26444 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26444 13086 16 0 212984 0
vsize: 852000
[startup+340.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 32494 50 0 0 25 0 11 0 837531279 872448000 26477 4294967295 134512640 134569956 3221224368 3221214648 1131635933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26477 13086 16 0 212984 0
vsize: 852000
[startup+350.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/63 14824
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 33479 50 0 0 25 0 10 0 837531279 872448000 26505 4294967295 134512640 134569956 3221224368 3221214680 1130918537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 26505 13086 16 0 212984 0
vsize: 852000
[startup+360.017 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 34466 50 0 0 25 0 11 0 837531279 872448000 26522 4294967295 134512640 134569956 3221224368 3221214552 1131200111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26522 13086 16 0 212984 0
vsize: 852000
[startup+370.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 35451 50 0 0 24 0 11 0 837531279 872448000 26545 4294967295 134512640 134569956 3221224368 3221214552 1131200799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26545 13086 16 0 212984 0
vsize: 852000
[startup+380.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 36436 51 0 0 25 0 11 0 837531279 872448000 26559 4294967295 134512640 134569956 3221224368 3221214552 1131200035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26559 13086 16 0 212984 0
vsize: 852000
[startup+390.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 37420 51 0 0 25 0 11 0 837531279 872448000 26587 4294967295 134512640 134569956 3221224368 3221214552 1131199935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26587 13086 16 0 212984 0
vsize: 852000
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 38404 51 0 0 25 0 11 0 837531279 872448000 26611 4294967295 134512640 134569956 3221224368 3221214648 1131642535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26611 13086 16 0 212984 0
vsize: 852000
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 39387 52 0 0 25 0 11 0 837531279 872448000 26635 4294967295 134512640 134569956 3221224368 3221214648 1131643733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26635 13086 16 0 212984 0
vsize: 852000
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 40372 52 0 0 25 0 11 0 837531279 872448000 26657 4294967295 134512640 134569956 3221224368 3221214552 1131200304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26657 13086 16 0 212984 0
vsize: 852000
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 41353 53 0 0 25 0 11 0 837531279 872448000 26689 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26689 13086 16 0 212984 0
vsize: 852000
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 42335 54 0 0 25 0 11 0 837531279 872448000 26706 4294967295 134512640 134569956 3221224368 3221214436 1131452624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26706 13086 16 0 212984 0
vsize: 852000
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14825
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 43314 54 0 0 25 0 11 0 837531279 872448000 26753 4294967295 134512640 134569956 3221224368 3221214552 1131200118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26753 13086 16 0 212984 0
vsize: 852000
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 44296 54 0 0 25 0 11 0 837531279 872448000 26793 4294967295 134512640 134569956 3221224368 3221214648 1131634880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26793 13086 16 0 212984 0
vsize: 852000
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 45280 54 0 0 25 0 11 0 837531279 872448000 26830 4294967295 134512640 134569956 3221224368 3221214648 1131642421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26830 13086 16 0 212984 0
vsize: 852000
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 46266 55 0 0 25 0 11 0 837531279 872448000 26860 4294967295 134512640 134569956 3221224368 3221214552 1131200170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26860 13086 16 0 212984 0
vsize: 852000
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 47249 55 0 0 25 0 11 0 837531279 872448000 26875 4294967295 134512640 134569956 3221224368 3221214648 1131642501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26875 13086 16 0 212984 0
vsize: 852000
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 48232 55 0 0 25 0 11 0 837531279 872448000 26898 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26898 13086 16 0 212984 0
vsize: 852000
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 49215 55 0 0 25 0 11 0 837531279 872448000 26931 4294967295 134512640 134569956 3221224368 3221214552 1131200209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26931 13086 16 0 212984 0
vsize: 852000
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 50197 56 0 0 24 0 11 0 837531279 872448000 26972 4294967295 134512640 134569956 3221224368 3221214648 1131633552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26972 13086 16 0 212984 0
vsize: 852000
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 51182 56 0 0 25 0 11 0 837531279 872448000 26999 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 26999 13086 16 0 212984 0
vsize: 852000
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 52166 56 0 0 25 0 11 0 837531279 872448000 27018 4294967295 134512640 134569956 3221224368 3221214600 1131681201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27018 13086 16 0 212984 0
vsize: 852000
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 53151 56 0 0 25 0 11 0 837531279 872448000 27042 4294967295 134512640 134569956 3221224368 3221214552 1131200201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27042 13086 16 0 212984 0
vsize: 852000
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14826
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 54133 57 0 0 25 0 11 0 837531279 872448000 27067 4294967295 134512640 134569956 3221224368 3221214648 1131636173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27067 13086 16 0 212984 0
vsize: 852000
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 55117 57 0 0 25 0 11 0 837531279 872448000 27091 4294967295 134512640 134569956 3221224368 3221214648 1131644472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27091 13086 16 0 212984 0
vsize: 852000
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 56100 58 0 0 25 0 11 0 837531279 872448000 27125 4294967295 134512640 134569956 3221224368 3221214648 1131637124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27125 13086 16 0 212984 0
vsize: 852000
[startup+590.025 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 57086 58 0 0 25 0 11 0 837531279 872448000 27142 4294967295 134512640 134569956 3221224368 3221214648 1131634854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27142 13086 16 0 212984 0
vsize: 852000
[startup+600.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 58069 59 0 0 25 0 11 0 837531279 872448000 27152 4294967295 134512640 134569956 3221224368 3221214552 1131200191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27152 13086 16 0 212984 0
vsize: 852000
[startup+610.026 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 59051 59 0 0 25 0 11 0 837531279 872448000 27179 4294967295 134512640 134569956 3221224368 3221214552 1131200118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27179 13086 16 0 212984 0
vsize: 852000
[startup+620.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 60034 60 0 0 25 0 11 0 837531279 872448000 27199 4294967295 134512640 134569956 3221224368 3221214648 1131635725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27199 13086 16 0 212984 0
vsize: 852000
[startup+630.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 61016 60 0 0 25 0 11 0 837531279 872448000 27228 4294967295 134512640 134569956 3221224368 3221214560 1131190458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27228 13086 16 0 212984 0
vsize: 852000
[startup+640.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 61999 60 0 0 25 0 11 0 837531279 872448000 27250 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27250 13086 16 0 212984 0
vsize: 852000
[startup+650.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 62980 61 0 0 24 0 11 0 837531279 872448000 27277 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27277 13086 16 0 212984 0
vsize: 852000
[startup+660.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 63963 61 0 0 25 0 11 0 837531279 872448000 27306 4294967295 134512640 134569956 3221224368 3221214560 1131190908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27306 13086 16 0 212984 0
vsize: 852000
[startup+670.029 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 64946 61 0 0 24 0 11 0 837531279 872448000 27338 4294967295 134512640 134569956 3221224368 3221214552 1131200061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27338 13086 16 0 212984 0
vsize: 852000
[startup+680.029 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 65930 62 0 0 25 0 11 0 837531279 872448000 27359 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27359 13086 16 0 212984 0
vsize: 852000
[startup+690.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 66914 62 0 0 25 0 11 0 837531279 872448000 27382 4294967295 134512640 134569956 3221224368 3221214648 1131643733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27382 13086 16 0 212984 0
vsize: 852000
[startup+700.031 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 67897 63 0 0 25 0 11 0 837531279 872448000 27400 4294967295 134512640 134569956 3221224368 3221214648 1131633580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27400 13086 16 0 212984 0
vsize: 852000
[startup+710.031 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 68879 63 0 0 25 0 11 0 837531279 872448000 27429 4294967295 134512640 134569956 3221224368 3221214648 1131633384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27429 13086 16 0 212984 0
vsize: 852000
[startup+720.032 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 69861 63 0 0 25 0 11 0 837531279 872448000 27462 4294967295 134512640 134569956 3221224368 3221214552 1131199993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27462 13086 16 0 212984 0
vsize: 852000
[startup+730.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 70844 64 0 0 25 0 11 0 837531279 872448000 27471 4294967295 134512640 134569956 3221224368 3221214648 1131633381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27471 13086 16 0 212984 0
vsize: 852000
[startup+740.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 71825 65 0 0 25 0 11 0 837531279 872448000 27500 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27500 13086 16 0 212984 0
vsize: 852000
[startup+750.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 72808 65 0 0 25 0 11 0 837531279 872448000 27532 4294967295 134512640 134569956 3221224368 3221214552 1131200222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27532 13086 16 0 212984 0
vsize: 852000
[startup+760.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 73792 65 0 0 25 0 11 0 837531279 872448000 27551 4294967295 134512640 134569956 3221224368 3221214648 1131643766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27551 13086 16 0 212984 0
vsize: 852000
[startup+770.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 74775 66 0 0 25 0 11 0 837531279 872448000 27571 4294967295 134512640 134569956 3221224368 3221214552 1131200287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27571 13086 16 0 212984 0
vsize: 852000
[startup+780.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 75757 66 0 0 25 0 11 0 837531279 872448000 27588 4294967295 134512640 134569956 3221224368 3221214648 1131638114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27588 13086 16 0 212984 0
vsize: 852000
[startup+790.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 76741 67 0 0 25 0 11 0 837531279 872448000 27613 4294967295 134512640 134569956 3221224368 3221214552 1131200095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27613 13086 16 0 212984 0
vsize: 852000
[startup+800.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 77725 67 0 0 25 0 11 0 837531279 872448000 27637 4294967295 134512640 134569956 3221224368 3221214644 1131199872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27637 13086 16 0 212984 0
vsize: 852000
[startup+810.035 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 78706 68 0 0 24 0 11 0 837531279 872448000 27653 4294967295 134512640 134569956 3221224368 3221214552 1131199953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27653 13086 16 0 212984 0
vsize: 852000
[startup+820.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 79687 68 0 0 25 0 11 0 837531279 872448000 27671 4294967295 134512640 134569956 3221224368 3221214648 1131644419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27671 13086 16 0 212984 0
vsize: 852000
[startup+830.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 80666 69 0 0 24 0 11 0 837531279 872448000 27689 4294967295 134512640 134569956 3221224368 3221214552 1131200119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27689 13086 16 0 212984 0
vsize: 852000
[startup+840.041 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 81647 69 0 0 25 0 11 0 837531279 872448000 27731 4294967295 134512640 134569956 3221224368 3221214648 1131634783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27731 13086 16 0 212984 0
vsize: 852000
[startup+850.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 82629 70 0 0 25 0 11 0 837531279 872448000 27763 4294967295 134512640 134569956 3221224368 3221214648 1131633580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27763 13086 16 0 212984 0
vsize: 852000
[startup+860.042 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 83611 71 0 0 25 0 11 0 837531279 872448000 27795 4294967295 134512640 134569956 3221224368 3221213768 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27795 13086 16 0 212984 0
vsize: 852000
[startup+870.043 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 84594 71 0 0 25 0 11 0 837531279 872448000 27825 4294967295 134512640 134569956 3221224368 3221214552 1131200030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27825 13086 16 0 212984 0
vsize: 852000
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 85578 71 0 0 25 0 11 0 837531279 872448000 27852 4294967295 134512640 134569956 3221224368 3221214552 1131200342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27852 13086 16 0 212984 0
vsize: 852000
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 86561 72 0 0 25 0 11 0 837531279 872448000 27876 4294967295 134512640 134569956 3221224368 3221214552 1131200229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27876 13086 16 0 212984 0
vsize: 852000
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 87543 72 0 0 25 0 11 0 837531279 872448000 27892 4294967295 134512640 134569956 3221224368 3221214552 1131199919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27892 13086 16 0 212984 0
vsize: 852000
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 88524 72 0 0 25 0 11 0 837531279 872448000 27906 4294967295 134512640 134569956 3221224368 3221214648 1131642504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27906 13086 16 0 212984 0
vsize: 852000
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 89504 73 0 0 25 0 11 0 837531279 872448000 27950 4294967295 134512640 134569956 3221224368 3221214552 1131200759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27950 13086 16 0 212984 0
vsize: 852000
[startup+930.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 90487 73 0 0 25 0 11 0 837531279 872448000 27989 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 27989 13086 16 0 212984 0
vsize: 852000
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 91470 74 0 0 25 0 11 0 837531279 872448000 28003 4294967295 134512640 134569956 3221224368 3221214644 1131199872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28003 13086 16 0 212984 0
vsize: 852000
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 92454 74 0 0 25 0 11 0 837531279 872448000 28027 4294967295 134512640 134569956 3221224368 3221214552 1131199993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28027 13086 16 0 212984 0
vsize: 852000
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 93438 74 0 0 25 0 11 0 837531279 872448000 28049 4294967295 134512640 134569956 3221224368 3221214648 1131633552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28049 13086 16 0 212984 0
vsize: 852000
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 94422 74 0 0 25 0 11 0 837531279 872448000 28060 4294967295 134512640 134569956 3221224368 3221214544 1131213529 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28060 13086 16 0 212984 0
vsize: 852000
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 95404 75 0 0 24 0 11 0 837531279 872448000 28090 4294967295 134512640 134569956 3221224368 3221214648 1131633552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28090 13086 16 0 212984 0
vsize: 852000
[startup+990.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 96388 75 0 0 25 0 11 0 837531279 872448000 28105 4294967295 134512640 134569956 3221224368 3221214648 1131642411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28105 13086 16 0 212984 0
vsize: 852000
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 14827
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 97372 75 0 0 25 0 11 0 837531279 872448000 28127 4294967295 134512640 134569956 3221224368 3221214648 1131633511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28127 13086 16 0 212984 0
vsize: 852000
[startup+1010.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/67 14830
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 98350 79 0 0 25 0 11 0 837531279 872448000 28154 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213000 28154 13086 16 0 212984 0
vsize: 852000
[startup+1020.05 s]
Raw data (loadavg): 1.14 1.03 1.01 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 99324 82 0 0 25 0 11 0 837531279 872448000 28180 4294967295 134512640 134569956 3221224368 3221214552 1131201540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28180 13086 16 0 212984 0
vsize: 852000
[startup+1030.05 s]
Raw data (loadavg): 1.12 1.03 1.01 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 100304 82 0 0 25 0 11 0 837531279 872448000 28199 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28199 13086 16 0 212984 0
vsize: 852000
[startup+1040.05 s]
Raw data (loadavg): 1.10 1.03 1.01 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 101286 83 0 0 25 0 11 0 837531279 872448000 28236 4294967295 134512640 134569956 3221224368 3221214648 1131638194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28236 13086 16 0 212984 0
vsize: 852000
[startup+1050.05 s]
Raw data (loadavg): 1.08 1.03 1.01 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 102268 83 0 0 25 0 11 0 837531279 872448000 28271 4294967295 134512640 134569956 3221224368 3221214552 1131200191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28271 13086 16 0 212984 0
vsize: 852000
[startup+1060.05 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 103251 83 0 0 25 0 11 0 837531279 872448000 28284 4294967295 134512640 134569956 3221224368 3221214648 1131637195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28284 13086 16 0 212984 0
vsize: 852000
[startup+1070.05 s]
Raw data (loadavg): 1.06 1.03 1.00 2/64 14880
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 104235 83 0 0 25 0 11 0 837531279 872448000 28304 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28304 13086 16 0 212984 0
vsize: 852000
[startup+1080.05 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 105217 83 0 0 24 0 11 0 837531279 872448000 28331 4294967295 134512640 134569956 3221224368 3221214648 1131642450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28331 13086 16 0 212984 0
vsize: 852000
[startup+1090.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 106201 83 0 0 25 0 11 0 837531279 872448000 28345 4294967295 134512640 134569956 3221224368 3221214648 1131642504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28345 13086 16 0 212984 0
vsize: 852000
[startup+1100.05 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 107183 83 0 0 25 0 11 0 837531279 872448000 28360 4294967295 134512640 134569956 3221224368 3221214648 1131633688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28360 13086 16 0 212984 0
vsize: 852000
[startup+1110.05 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 108165 83 0 0 25 0 11 0 837531279 872448000 28385 4294967295 134512640 134569956 3221224368 3221214648 1131638114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28385 13086 16 0 212984 0
vsize: 852000
[startup+1120.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 109144 84 0 0 25 0 11 0 837531279 872448000 28407 4294967295 134512640 134569956 3221224368 3221214648 1131638217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28407 13086 16 0 212984 0
vsize: 852000
[startup+1130.05 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 110127 84 0 0 25 0 11 0 837531279 872448000 28444 4294967295 134512640 134569956 3221224368 3221214648 1131636202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28444 13086 16 0 212984 0
vsize: 852000
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 111110 84 0 0 25 0 11 0 837531279 872448000 28472 4294967295 134512640 134569956 3221224368 3221214648 1131633193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28472 13086 16 0 212984 0
vsize: 852000
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 112091 84 0 0 25 0 11 0 837531279 872448000 28496 4294967295 134512640 134569956 3221224368 3221214648 1131633545 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28496 13086 16 0 212984 0
vsize: 852000
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) S 14808 5562 5561 0 -1 0 18149 3 1 0 113073 85 0 0 25 0 11 0 837531279 872448000 28507 4294967295 134512640 134569956 3221224368 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28507 13086 16 0 212984 0
vsize: 852000
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 114055 85 0 0 25 0 11 0 837531279 872448000 28535 4294967295 134512640 134569956 3221224368 3221214648 1131643630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28535 13086 16 0 212984 0
vsize: 852000
[startup+1180.06 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 115037 85 0 0 25 0 11 0 837531279 872448000 28558 4294967295 134512640 134569956 3221224368 3221214560 1131190501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28558 13086 16 0 212984 0
vsize: 852000
[startup+1190.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 116018 85 0 0 25 0 11 0 837531279 872448000 28574 4294967295 134512640 134569956 3221224368 3221214648 1131633580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28574 13086 16 0 212984 0
vsize: 852000
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 117000 85 0 0 25 0 11 0 837531279 872448000 28597 4294967295 134512640 134569956 3221224368 3221214648 1131635961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28597 13086 16 0 212984 0
vsize: 852000
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 117982 85 0 0 24 0 11 0 837531279 872448000 28615 4294967295 134512640 134569956 3221224368 3221214552 1131200567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28615 13086 16 0 212984 0
vsize: 852000
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 118963 85 0 0 25 0 11 0 837531279 872448000 28652 4294967295 134512640 134569956 3221224368 3221214552 1131200033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28652 13086 16 0 212984 0
vsize: 852000
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 14882
Raw data (stat): 14809 (java) R 14808 5562 5561 0 -1 0 18149 3 1 0 119946 86 0 0 25 0 11 0 837531279 872448000 28660 4294967295 134512640 134569956 3221224368 3221214648 1131641393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213000 28660 13086 16 0 212984 0
vsize: 852000
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 14884
Raw data (stat): 14809 (java) Z 14808 5562 5561 0 -1 1036 18149 21077 1 0 119949 91 5094 67 24 0 1 0 837531279 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.18
CPU time (s): 1252.02
CPU user time (s): 1250.43
CPU system time (s): 1.58976
CPU usage (%): 101.776
Max. virtual memory (Kb): 852752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1077181440
#### END VERIFIER DATA ####