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-misc03.opb
MD5SUM	a9018751ab90bc03ab8cd95317ace234
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1478528
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	11386239
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	1.20882
Number of variables	180
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	159
Trace number 30037

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        537712 kB
Buffers:         31776 kB
Cached:         443852 kB
SwapCached:       1052 kB
Active:          54164 kB
Inactive:       424056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        537460 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            13132 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:24:57 (client local time) WITH STATUS 143 IN 1244.56 SECONDS
stats: 21440 0 1244.56 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/wulflinc28/normalized-mps-v2-13-7-misc03.opb
c reading problem ... done. Time 0.988 ms.
c #vars     180
c #constraints  123
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=             1662208 		Current CPU time: 12.58 ms
c CURRENT OPTIMUM=             1650688 		Current CPU time: 13.10 ms
c CURRENT OPTIMUM=             1635328 		Current CPU time: 20.03 ms
c CURRENT OPTIMUM=             1548288 		Current CPU time: 22.19 ms
c CURRENT OPTIMUM=             1529088 		Current CPU time: 827.39 ms
c CURRENT OPTIMUM=             1527168 		Current CPU time: 840.03 ms
c CURRENT OPTIMUM=             1488128 		Current CPU time: 871.18 ms
c starts	: 16
c conflicts	: 2222
c decisions	: 4702
c propagations	: 30529
c inspects	: 3486439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2222
c root simplifications	: 19
s SATISFIABLE
v -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 -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=1488128
c Total CPU time (ms) : 1239.22
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.96 0.99 2/54 6036
Raw data (stat): 6036 (runsolver) R 6035 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839461707 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.18 1.03 1.01 2/64 6046
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18121 0 1 0 762 41 0 0 25 0 11 0 839461707 869601280 22315 4294967295 134512640 134569956 3221224368 3221214240 1078128033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212305 22315 13086 16 0 212289 0
vsize: 849220
[startup+20.0051 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 6048
Raw data (stat): 6036 (java) S 6035 24821 24820 0 -1 0 18169 3 1 0 1703 41 0 0 25 0 11 0 839461707 869404672 23081 4294967295 134512640 134569956 3221224368 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23081 13086 16 0 212241 0
vsize: 849028
[startup+30.0062 s]
Raw data (loadavg): 1.13 1.03 1.01 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 2649 42 0 0 25 0 11 0 839461707 869404672 23561 4294967295 134512640 134569956 3221224368 3221214784 1131234905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23561 13086 16 0 212241 0
vsize: 849028
[startup+40.0063 s]
Raw data (loadavg): 1.11 1.03 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 3580 42 0 0 25 0 11 0 839461707 869404672 23943 4294967295 134512640 134569956 3221224368 3221214480 1131455879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 23943 13086 16 0 212241 0
vsize: 849028
[startup+50.0061 s]
Raw data (loadavg): 1.09 1.03 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 4513 42 0 0 25 0 11 0 839461707 869404672 24140 4294967295 134512640 134569956 3221224368 3221214624 1131365471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24140 13086 16 0 212241 0
vsize: 849028
[startup+60.0062 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 5447 42 0 0 25 0 11 0 839461707 869404672 24544 4294967295 134512640 134569956 3221224368 3221214520 1131221711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24544 13086 16 0 212241 0
vsize: 849028
[startup+70.0064 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 6400 42 0 0 25 0 11 0 839461707 869404672 24729 4294967295 134512640 134569956 3221224368 3221214664 1131479303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24729 13086 16 0 212241 0
vsize: 849028
[startup+80.0072 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 7355 42 0 0 25 0 11 0 839461707 869404672 24893 4294967295 134512640 134569956 3221224368 3221214624 1131368792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 24893 13086 16 0 212241 0
vsize: 849028
[startup+90.0073 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6050
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 8313 42 0 0 24 0 11 0 839461707 869404672 25016 4294967295 134512640 134569956 3221224368 3221214624 1131371287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25016 13086 16 0 212241 0
vsize: 849028
[startup+100.007 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 9280 42 0 0 25 0 11 0 839461707 869404672 25157 4294967295 134512640 134569956 3221224368 3221214624 1131360666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25157 13086 16 0 212241 0
vsize: 849028
[startup+110.007 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 10249 42 0 0 25 0 11 0 839461707 869404672 25299 4294967295 134512640 134569956 3221224368 3221214624 1131369848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25299 13086 16 0 212241 0
vsize: 849028
[startup+120.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 11224 42 0 0 25 0 11 0 839461707 869404672 25377 4294967295 134512640 134569956 3221224368 3221214624 1131367175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25377 13086 16 0 212241 0
vsize: 849028
[startup+130.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 12201 42 0 0 25 0 11 0 839461707 869404672 25454 4294967295 134512640 134569956 3221224368 3221214624 1131365355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212257 25454 13086 16 0 212241 0
vsize: 849028
[startup+140.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 13177 42 0 0 25 0 11 0 839461707 869404672 25518 4294967295 134512640 134569956 3221224368 3221214576 1131204774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25518 13086 16 0 212241 0
vsize: 849028
[startup+150.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 14152 42 0 0 25 0 11 0 839461707 869404672 25582 4294967295 134512640 134569956 3221224368 3221214408 1131213785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25582 13086 16 0 212241 0
vsize: 849028
[startup+160.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 15127 42 0 0 25 0 11 0 839461707 869404672 25645 4294967295 134512640 134569956 3221224368 3221214624 1131365385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25645 13086 16 0 212241 0
vsize: 849028
[startup+170.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18169 3 1 0 16102 43 0 0 25 0 11 0 839461707 869404672 25718 4294967295 134512640 134569956 3221224368 3221214624 1131371287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25718 13086 16 0 212241 0
vsize: 849028
[startup+180.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 17075 43 0 0 25 0 11 0 839461707 869404672 25806 4294967295 134512640 134569956 3221224368 3221214624 1131360735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25806 13086 16 0 212241 0
vsize: 849028
[startup+190.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 18050 43 0 0 25 0 11 0 839461707 869404672 25885 4294967295 134512640 134569956 3221224368 3221214624 1131372370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25885 13086 16 0 212241 0
vsize: 849028
[startup+200.009 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 19025 43 0 0 25 0 11 0 839461707 869404672 25953 4294967295 134512640 134569956 3221224368 3221214624 1131370248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 25953 13086 16 0 212241 0
vsize: 849028
[startup+210.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 19997 43 0 0 25 0 11 0 839461707 869404672 26032 4294967295 134512640 134569956 3221224368 3221214576 1131204224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26032 13086 16 0 212241 0
vsize: 849028
[startup+220.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 20964 43 0 0 24 0 11 0 839461707 869404672 26098 4294967295 134512640 134569956 3221224368 3221214624 1131365437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26098 13086 16 0 212241 0
vsize: 849028
[startup+230.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 21933 43 0 0 25 0 11 0 839461707 869404672 26180 4294967295 134512640 134569956 3221224368 3221214624 1131371437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26180 13086 16 0 212241 0
vsize: 849028
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 22901 43 0 0 25 0 11 0 839461707 869404672 26273 4294967295 134512640 134569956 3221224368 3221214176 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26273 13086 16 0 212241 0
vsize: 849028
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 23870 43 0 0 25 0 11 0 839461707 869404672 26363 4294967295 134512640 134569956 3221224368 3221214416 1131213607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26363 13086 16 0 212241 0
vsize: 849028
[startup+260.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 24839 43 0 0 25 0 11 0 839461707 869404672 26454 4294967295 134512640 134569956 3221224368 3221214624 1131362720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26454 13086 16 0 212241 0
vsize: 849028
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 25804 43 0 0 25 0 11 0 839461707 869404672 26559 4294967295 134512640 134569956 3221224368 3221214624 1131364542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26559 13086 16 0 212241 0
vsize: 849028
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 26773 43 0 0 25 0 11 0 839461707 869404672 26647 4294967295 134512640 134569956 3221224368 3221214624 1131364503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26647 13086 16 0 212241 0
vsize: 849028
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 27739 43 0 0 25 0 11 0 839461707 869404672 26744 4294967295 134512640 134569956 3221224368 3221214624 1131364360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26744 13086 16 0 212241 0
vsize: 849028
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 28702 43 0 0 24 0 11 0 839461707 869404672 26845 4294967295 134512640 134569956 3221224368 3221214624 1131362846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26845 13086 16 0 212241 0
vsize: 849028
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 29669 43 0 0 25 0 11 0 839461707 869404672 26947 4294967295 134512640 134569956 3221224368 3221214496 1131235327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 26947 13086 16 0 212241 0
vsize: 849028
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 30644 43 0 0 25 0 11 0 839461707 869404672 27036 4294967295 134512640 134569956 3221224368 3221214624 1131373159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27036 13086 16 0 212241 0
vsize: 849028
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 31620 43 0 0 25 0 11 0 839461707 869404672 27139 4294967295 134512640 134569956 3221224368 3221214624 1131372498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27139 13086 16 0 212241 0
vsize: 849028
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 32601 43 0 0 25 0 11 0 839461707 869404672 27197 4294967295 134512640 134569956 3221224368 3221214624 1131365492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27197 13086 16 0 212241 0
vsize: 849028
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 33582 43 0 0 25 0 11 0 839461707 869404672 27249 4294967295 134512640 134569956 3221224368 3221214624 1131360666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27249 13086 16 0 212241 0
vsize: 849028
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 34561 43 0 0 25 0 11 0 839461707 869404672 27288 4294967295 134512640 134569956 3221224368 3221214624 1131365520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27288 13086 16 0 212241 0
vsize: 849028
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 35541 43 0 0 25 0 11 0 839461707 869404672 27327 4294967295 134512640 134569956 3221224368 3221214624 1131364446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27327 13086 16 0 212241 0
vsize: 849028
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 36518 43 0 0 25 0 11 0 839461707 869404672 27382 4294967295 134512640 134569956 3221224368 3221214624 1131367175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27382 13086 16 0 212241 0
vsize: 849028
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 37497 43 0 0 25 0 11 0 839461707 869404672 27434 4294967295 134512640 134569956 3221224368 3221214624 1131368060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27434 13086 16 0 212241 0
vsize: 849028
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 38474 43 0 0 25 0 11 0 839461707 869404672 27480 4294967295 134512640 134569956 3221224368 3221214784 1131234905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27480 13086 16 0 212241 0
vsize: 849028
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 39455 43 0 0 25 0 11 0 839461707 869404672 27535 4294967295 134512640 134569956 3221224368 3221214624 1131372307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27535 13086 16 0 212241 0
vsize: 849028
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 40436 43 0 0 25 0 11 0 839461707 869404672 27595 4294967295 134512640 134569956 3221224368 3221214624 1131365555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27595 13086 16 0 212241 0
vsize: 849028
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 41418 43 0 0 24 0 11 0 839461707 869404672 27643 4294967295 134512640 134569956 3221224368 3221214576 1131204263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27643 13086 16 0 212241 0
vsize: 849028
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 42402 44 0 0 25 0 11 0 839461707 869404672 27676 4294967295 134512640 134569956 3221224368 3221214696 1131484172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27676 13086 16 0 212241 0
vsize: 849028
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 43385 44 0 0 25 0 11 0 839461707 869404672 27701 4294967295 134512640 134569956 3221224368 3221214624 1131372307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27701 13086 16 0 212241 0
vsize: 849028
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 44365 44 0 0 25 0 11 0 839461707 869404672 27739 4294967295 134512640 134569956 3221224368 3221214624 1131364542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27739 13086 16 0 212241 0
vsize: 849028
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 45343 44 0 0 25 0 11 0 839461707 869404672 27784 4294967295 134512640 134569956 3221224368 3221214624 1131362678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27784 13086 16 0 212241 0
vsize: 849028
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 46325 44 0 0 25 0 11 0 839461707 869404672 27832 4294967295 134512640 134569956 3221224368 3221214624 1131365471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27832 13086 16 0 212241 0
vsize: 849028
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 47308 44 0 0 25 0 11 0 839461707 869404672 27888 4294967295 134512640 134569956 3221224368 3221214624 1131362775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27888 13086 16 0 212241 0
vsize: 849028
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 48293 44 0 0 25 0 11 0 839461707 869404672 27922 4294967295 134512640 134569956 3221224368 3221214424 1131213607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27922 13086 16 0 212241 0
vsize: 849028
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 49278 44 0 0 25 0 11 0 839461707 869404672 27958 4294967295 134512640 134569956 3221224368 3221214624 1131371536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27958 13086 16 0 212241 0
vsize: 849028
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 50261 44 0 0 25 0 11 0 839461707 869404672 27992 4294967295 134512640 134569956 3221224368 3221214624 1131360495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 27992 13086 16 0 212241 0
vsize: 849028
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 51245 44 0 0 25 0 11 0 839461707 869404672 28025 4294967295 134512640 134569956 3221224368 3221214624 1131364568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28025 13086 16 0 212241 0
vsize: 849028
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 52228 44 0 0 25 0 11 0 839461707 869404672 28062 4294967295 134512640 134569956 3221224368 3221214624 1131369643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28062 13086 16 0 212241 0
vsize: 849028
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 53212 44 0 0 25 0 11 0 839461707 869404672 28100 4294967295 134512640 134569956 3221224368 3221214624 1131367004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28100 13086 16 0 212241 0
vsize: 849028
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 54196 44 0 0 25 0 11 0 839461707 869404672 28130 4294967295 134512640 134569956 3221224368 3221214624 1131372328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28130 13086 16 0 212241 0
vsize: 849028
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 55178 44 0 0 25 0 11 0 839461707 869404672 28165 4294967295 134512640 134569956 3221224368 3221214624 1131372307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28165 13086 16 0 212241 0
vsize: 849028
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 56162 44 0 0 25 0 11 0 839461707 869404672 28200 4294967295 134512640 134569956 3221224368 3221214624 1131371379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28200 13086 16 0 212241 0
vsize: 849028
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 57145 44 0 0 25 0 11 0 839461707 869404672 28237 4294967295 134512640 134569956 3221224368 3221214424 1131226555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28237 13086 16 0 212241 0
vsize: 849028
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 58126 44 0 0 24 0 11 0 839461707 869404672 28280 4294967295 134512640 134569956 3221224368 3221214624 1131360735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28280 13086 16 0 212241 0
vsize: 849028
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 59109 44 0 0 25 0 11 0 839461707 869404672 28314 4294967295 134512640 134569956 3221224368 3221214624 1131363055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28314 13086 16 0 212241 0
vsize: 849028
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 60092 44 0 0 25 0 11 0 839461707 869404672 28353 4294967295 134512640 134569956 3221224368 3221214056 1131467484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28353 13086 16 0 212241 0
vsize: 849028
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 61075 44 0 0 25 0 11 0 839461707 869404672 28392 4294967295 134512640 134569956 3221224368 3221214624 1131362891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28392 13086 16 0 212241 0
vsize: 849028
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 62057 44 0 0 24 0 11 0 839461707 869404672 28434 4294967295 134512640 134569956 3221224368 3221214624 1131362775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28434 13086 16 0 212241 0
vsize: 849028
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 63040 44 0 0 25 0 11 0 839461707 869404672 28472 4294967295 134512640 134569956 3221224368 3221214624 1131360666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28472 13086 16 0 212241 0
vsize: 849028
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 64022 44 0 0 25 0 11 0 839461707 869404672 28505 4294967295 134512640 134569956 3221224368 3221214624 1131367154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28505 13086 16 0 212241 0
vsize: 849028
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 65004 44 0 0 25 0 11 0 839461707 869404672 28544 4294967295 134512640 134569956 3221224368 3221214624 1131365492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28544 13086 16 0 212241 0
vsize: 849028
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 65986 44 0 0 25 0 11 0 839461707 869404672 28581 4294967295 134512640 134569956 3221224368 3221214728 1131242529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28581 13086 16 0 212241 0
vsize: 849028
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 66962 45 0 0 25 0 11 0 839461707 869404672 28616 4294967295 134512640 134569956 3221224368 3221214624 1131364522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28616 13086 16 0 212241 0
vsize: 849028
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 67936 45 0 0 25 0 11 0 839461707 869404672 28656 4294967295 134512640 134569956 3221224368 3221214624 1131364591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28656 13086 16 0 212241 0
vsize: 849028
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 68912 45 0 0 25 0 11 0 839461707 869404672 28689 4294967295 134512640 134569956 3221224368 3221214624 1131373952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28689 13086 16 0 212241 0
vsize: 849028
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) S 6035 24821 24820 0 -1 0 18170 3 1 0 69884 45 0 0 25 0 11 0 839461707 869404672 28741 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28741 13086 16 0 212241 0
vsize: 849028
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 70862 45 0 0 25 0 11 0 839461707 869404672 28815 4294967295 134512640 134569956 3221224368 3221214416 1131213750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28815 13086 16 0 212241 0
vsize: 849028
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 71839 45 0 0 25 0 11 0 839461707 869404672 28866 4294967295 134512640 134569956 3221224368 3221214012 1077589905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28866 13086 16 0 212241 0
vsize: 849028
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 72817 45 0 0 25 0 11 0 839461707 869404672 28907 4294967295 134512640 134569956 3221224368 3221214624 1131365387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28907 13086 16 0 212241 0
vsize: 849028
[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 73794 45 0 0 25 0 11 0 839461707 869404672 28943 4294967295 134512640 134569956 3221224368 3221214624 1131362873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 28943 13086 16 0 212241 0
vsize: 849028
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 74771 45 0 0 25 0 11 0 839461707 869404672 29003 4294967295 134512640 134569956 3221224368 3221214624 1131367208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29003 13086 16 0 212241 0
vsize: 849028
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 75747 45 0 0 24 0 11 0 839461707 869404672 29057 4294967295 134512640 134569956 3221224368 3221214624 1131367138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29057 13086 16 0 212241 0
vsize: 849028
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 76725 45 0 0 25 0 11 0 839461707 869404672 29099 4294967295 134512640 134569956 3221224368 3221214368 1130894935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29099 13086 16 0 212241 0
vsize: 849028
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 77699 45 0 0 25 0 11 0 839461707 869404672 29142 4294967295 134512640 134569956 3221224368 3221214624 1131365431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29142 13086 16 0 212241 0
vsize: 849028
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 78672 45 0 0 25 0 11 0 839461707 869404672 29191 4294967295 134512640 134569956 3221224368 3221214624 1131363927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29191 13086 16 0 212241 0
vsize: 849028
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6052
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 79644 45 0 0 25 0 11 0 839461707 869404672 29257 4294967295 134512640 134569956 3221224368 3221214464 1131248132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29257 13086 16 0 212241 0
vsize: 849028
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6053
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 80621 45 0 0 20 0 11 0 839461707 869404672 29310 4294967295 134512640 134569956 3221224368 3221214624 1131365555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29310 13086 16 0 212241 0
vsize: 849028
[startup+840.037 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 6053
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 81599 45 0 0 25 0 11 0 839461707 869404672 29362 4294967295 134512640 134569956 3221224368 3221214624 1131368095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29362 13086 16 0 212241 0
vsize: 849028
[startup+850.037 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 6054
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 82581 45 0 0 25 0 11 0 839461707 869404672 29391 4294967295 134512640 134569956 3221224368 3221214576 1131204593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29391 13086 16 0 212241 0
vsize: 849028
[startup+860.038 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 6054
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 83558 45 0 0 24 0 11 0 839461707 869404672 29434 4294967295 134512640 134569956 3221224368 3221214624 1131370780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29434 13086 16 0 212241 0
vsize: 849028
[startup+870.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6054
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 84538 45 0 0 25 0 11 0 839461707 869404672 29473 4294967295 134512640 134569956 3221224368 3221214496 1131233614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29473 13086 16 0 212241 0
vsize: 849028
[startup+880.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 85517 45 0 0 25 0 11 0 839461707 869404672 29482 4294967295 134512640 134569956 3221224368 3221214624 1131364557 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29482 13086 16 0 212241 0
vsize: 849028
[startup+890.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 86491 45 0 0 25 0 11 0 839461707 869404672 29538 4294967295 134512640 134569956 3221224368 3221214624 1131368087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29538 13086 16 0 212241 0
vsize: 849028
[startup+900.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) S 6035 24821 24820 0 -1 0 18170 3 1 0 87465 45 0 0 25 0 11 0 839461707 869404672 29563 4294967295 134512640 134569956 3221224368 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29563 13086 16 0 212241 0
vsize: 849028
[startup+910.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 88437 45 0 0 24 0 11 0 839461707 869404672 29624 4294967295 134512640 134569956 3221224368 3221214624 1131374847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29624 13086 16 0 212241 0
vsize: 849028
[startup+920.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 89412 46 0 0 25 0 11 0 839461707 869404672 29680 4294967295 134512640 134569956 3221224368 3221214624 1131367330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29680 13086 16 0 212241 0
vsize: 849028
[startup+930.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 90389 46 0 0 25 0 11 0 839461707 869404672 29730 4294967295 134512640 134569956 3221224368 3221214624 1131369643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29730 13086 16 0 212241 0
vsize: 849028
[startup+940.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 91367 46 0 0 25 0 11 0 839461707 869404672 29778 4294967295 134512640 134569956 3221224368 3221214360 1131349866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29778 13086 16 0 212241 0
vsize: 849028
[startup+950.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 92344 46 0 0 25 0 11 0 839461707 869404672 29820 4294967295 134512640 134569956 3221224368 3221214624 1131360659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29820 13086 16 0 212241 0
vsize: 849028
[startup+960.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 93317 46 0 0 25 0 11 0 839461707 869404672 29871 4294967295 134512640 134569956 3221224368 3221214624 1131360735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29871 13086 16 0 212241 0
vsize: 849028
[startup+970.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 94295 46 0 0 25 0 11 0 839461707 869404672 29920 4294967295 134512640 134569956 3221224368 3221214624 1131365364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29920 13086 16 0 212241 0
vsize: 849028
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 95274 46 0 0 25 0 11 0 839461707 869404672 29964 4294967295 134512640 134569956 3221224368 3221214624 1131374022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29964 13086 16 0 212241 0
vsize: 849028
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 96254 46 0 0 25 0 11 0 839461707 869404672 29993 4294967295 134512640 134569956 3221224368 3221214624 1131367208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 29993 13086 16 0 212241 0
vsize: 849028
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 97234 46 0 0 25 0 11 0 839461707 869404672 30013 4294967295 134512640 134569956 3221224368 3221214624 1131360768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30013 13086 16 0 212241 0
vsize: 849028
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 98209 46 0 0 25 0 11 0 839461707 869404672 30048 4294967295 134512640 134569956 3221224368 3221214624 1131360666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30048 13086 16 0 212241 0
vsize: 849028
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 99185 46 0 0 25 0 11 0 839461707 869404672 30076 4294967295 134512640 134569956 3221224368 3221214624 1131367175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30076 13086 16 0 212241 0
vsize: 849028
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 100163 46 0 0 25 0 11 0 839461707 869404672 30129 4294967295 134512640 134569956 3221224368 3221214624 1131364283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30129 13086 16 0 212241 0
vsize: 849028
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 101144 46 0 0 25 0 11 0 839461707 869404672 30154 4294967295 134512640 134569956 3221224368 3221214624 1131370372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30154 13086 16 0 212241 0
vsize: 849028
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 102123 46 0 0 25 0 11 0 839461707 869404672 30198 4294967295 134512640 134569956 3221224368 3221214624 1131369643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30198 13086 16 0 212241 0
vsize: 849028
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 103105 46 0 0 25 0 11 0 839461707 869404672 30222 4294967295 134512640 134569956 3221224368 3221214624 1131361585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30222 13086 16 0 212241 0
vsize: 849028
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 104082 47 0 0 25 0 11 0 839461707 869404672 30245 4294967295 134512640 134569956 3221224368 3221214624 1131365546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30245 13086 16 0 212241 0
vsize: 849028
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 105059 47 0 0 25 0 11 0 839461707 869404672 30280 4294967295 134512640 134569956 3221224368 3221214520 1131213286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30280 13086 16 0 212241 0
vsize: 849028
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 106040 47 0 0 25 0 11 0 839461707 869404672 30300 4294967295 134512640 134569956 3221224368 3221214624 1131365471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30300 13086 16 0 212241 0
vsize: 849028
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 107015 47 0 0 25 0 11 0 839461707 869404672 30342 4294967295 134512640 134569956 3221224368 3221214624 1131362775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30342 13086 16 0 212241 0
vsize: 849028
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) S 6035 24821 24820 0 -1 0 18170 3 1 0 107990 47 0 0 25 0 11 0 839461707 869404672 30371 4294967295 134512640 134569956 3221224368 3221213368 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30371 13086 16 0 212241 0
vsize: 849028
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 108966 47 0 0 25 0 11 0 839461707 869404672 30420 4294967295 134512640 134569956 3221224368 3221214624 1131366190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30420 13086 16 0 212241 0
vsize: 849028
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 109939 47 0 0 25 0 11 0 839461707 869404672 30458 4294967295 134512640 134569956 3221224368 3221214496 1131234905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30458 13086 16 0 212241 0
vsize: 849028
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 110916 47 0 0 25 0 11 0 839461707 869404672 30500 4294967295 134512640 134569956 3221224368 3221214624 1131364404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30500 13086 16 0 212241 0
vsize: 849028
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 111890 47 0 0 25 0 11 0 839461707 869404672 30554 4294967295 134512640 134569956 3221224368 3221214576 1131204216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30554 13086 16 0 212241 0
vsize: 849028
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 112868 47 0 0 25 0 11 0 839461707 869404672 30594 4294967295 134512640 134569956 3221224368 3221214624 1131365708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30594 13086 16 0 212241 0
vsize: 849028
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 113844 47 0 0 24 0 11 0 839461707 869404672 30642 4294967295 134512640 134569956 3221224368 3221214624 1131369605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30642 13086 16 0 212241 0
vsize: 849028
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 114823 47 0 0 25 0 11 0 839461707 869404672 30678 4294967295 134512640 134569956 3221224368 3221214624 1131365385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30678 13086 16 0 212241 0
vsize: 849028
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 115801 47 0 0 25 0 11 0 839461707 869404672 30713 4294967295 134512640 134569956 3221224368 3221214624 1131364434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30713 13086 16 0 212241 0
vsize: 849028
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 116788 47 0 0 25 0 11 0 839461707 869404672 30740 4294967295 134512640 134569956 3221224368 3221214624 1131368690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30740 13086 16 0 212241 0
vsize: 849028
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 117763 47 0 0 25 0 11 0 839461707 869404672 30768 4294967295 134512640 134569956 3221224368 3221214624 1131360495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30768 13086 16 0 212241 0
vsize: 849028
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 118740 47 0 0 25 0 11 0 839461707 869404672 30824 4294967295 134512640 134569956 3221224368 3221214624 1131363599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30824 13086 16 0 212241 0
vsize: 849028
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 119714 47 0 0 24 0 11 0 839461707 869404672 30868 4294967295 134512640 134569956 3221224368 3221214624 1131361984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30868 13086 16 0 212241 0
vsize: 849028
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6055
Raw data (stat): 6036 (java) R 6035 24821 24820 0 -1 0 18170 3 1 0 120690 47 0 0 24 0 11 0 839461707 869404672 30916 4294967295 134512640 134569956 3221224368 3221214624 1131369643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212257 30916 13086 16 0 212241 0
vsize: 849028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6057
Raw data (stat): 6036 (java) Z 6035 24821 24820 0 -1 1036 18170 14166 1 0 120695 47 3666 46 25 0 1 0 839461707 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.28
CPU time (s): 1244.56
CPU user time (s): 1243.62
CPU system time (s): 0.939857
CPU usage (%): 100.345
Max. virtual memory (Kb): 849220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1488128
#### END VERIFIER DATA ####