PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
MD5SUM	111dddb6adf389a5275ab413feff6076
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	429056
Optimality of the best value was proved	NO
Number of terms in the objective function	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	7516192761
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.36
Number of variables	270
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	90
Trace number 29652

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 10:02:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21053 boxname=wulflinc17 idbench=1041 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  111dddb6adf389a5275ab413feff6076  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 21053
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        906984 kB
Buffers:         18156 kB
Cached:          87260 kB
SwapCached:        528 kB
Active:          24416 kB
Inactive:        83104 kB
HighTotal:      131008 kB
HighFree:        86828 kB
LowTotal:       903652 kB
LowFree:        820156 kB
SwapTotal:     2097892 kB
SwapFree:      2096544 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            14488 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 10:22:35 (client local time) WITH STATUS 143 IN 1218 SECONDS
stats: 21053 0 1218 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/wulflinc17/normalized-mps-v2-20-10-markshare2.opb
c reading problem ... done. Time 0.663 ms.
c #vars     270
c #constraints  14
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=            10764288 		Current CPU time: 2.21 ms
c CURRENT OPTIMUM=            10482688 		Current CPU time: 4.56 ms
c CURRENT OPTIMUM=            10434560 		Current CPU time: 7.00 ms
c CURRENT OPTIMUM=            10091520 		Current CPU time: 7.55 ms
c CURRENT OPTIMUM=            10042368 		Current CPU time: 10.33 ms
c CURRENT OPTIMUM=            10002432 		Current CPU time: 13.50 ms
c CURRENT OPTIMUM=              912384 		Current CPU time: 15.47 ms
c starts	: 10
c conflicts	: 503
c decisions	: 9535
c propagations	: 26199
c inspects	: 2588009
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 503
c root simplifications	: 471
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 s01_bit0 s01_bit1 s01_bit2 s01_bit3 s01_bit4 -s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 s21_bit0 s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s61_bit_10 -s61_bit_9 -s61_bit_8 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 s61_bit1 -s61_bit2 s61_bit3 -s61_bit4 s61_bit5 s61_bit6 -s61_bit7 s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 -x0_bit0 -x1_bit0 -x2_bit0 x3_bit0 x4_bit0 x5_bit0 -x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 -x55_bit0 x56_bit0 x57_bit0 -x58_bit0 -x59_bit0 
c objectif function=912384
c Total CPU time (ms) : 1219.094
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/54 20848
Raw data (stat): 20848 (runsolver) R 20847 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838015123 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.0004 s]
Raw data (loadavg): 1.10 1.02 1.01 2/64 20862
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18117 3 1 0 746 43 0 0 25 0 11 0 838015123 857989120 19764 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 19764 13086 16 0 209454 0
vsize: 837880
[startup+20.0015 s]
Raw data (loadavg): 1.08 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18118 3 1 0 1710 44 0 0 25 0 11 0 838015123 857989120 19894 4294967295 134512640 134569956 3221224368 3221214544 1131205216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 19894 13086 16 0 209454 0
vsize: 837880
[startup+30.0021 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18118 3 1 0 2684 44 0 0 25 0 11 0 838015123 857989120 19975 4294967295 134512640 134569956 3221224368 3221214688 1131187242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 19975 13086 16 0 209454 0
vsize: 837880
[startup+40.0011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18118 3 1 0 3657 44 0 0 25 0 11 0 838015123 857989120 20039 4294967295 134512640 134569956 3221224368 3221214688 1131187199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20039 13086 16 0 209454 0
vsize: 837880
[startup+50.0022 s]
Raw data (loadavg): 1.05 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 4636 44 0 0 25 0 11 0 838015123 857989120 20235 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20235 13086 16 0 209454 0
vsize: 837880
[startup+60.0019 s]
Raw data (loadavg): 1.04 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 5624 44 0 0 25 0 11 0 838015123 857989120 20294 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20294 13086 16 0 209454 0
vsize: 837880
[startup+70.0019 s]
Raw data (loadavg): 1.03 1.02 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 6613 44 0 0 25 0 11 0 838015123 857989120 20331 4294967295 134512640 134569956 3221224368 3221214688 1131187303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20331 13086 16 0 209454 0
vsize: 837880
[startup+80.0032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 7601 44 0 0 25 0 11 0 838015123 857989120 20372 4294967295 134512640 134569956 3221224368 3221214736 1131147688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20372 13086 16 0 209454 0
vsize: 837880
[startup+90.0028 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 8590 44 0 0 25 0 11 0 838015123 857989120 20392 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20392 13086 16 0 209454 0
vsize: 837880
[startup+100.003 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 9579 45 0 0 25 0 11 0 838015123 857989120 20427 4294967295 134512640 134569956 3221224368 3221214792 1131173144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20427 13086 16 0 209454 0
vsize: 837880
[startup+110.004 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 10568 45 0 0 25 0 11 0 838015123 857989120 20460 4294967295 134512640 134569956 3221224368 3221214876 1130919491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20460 13086 16 0 209454 0
vsize: 837880
[startup+120.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 11558 45 0 0 25 0 11 0 838015123 857989120 20488 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20488 13086 16 0 209454 0
vsize: 837880
[startup+130.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 12547 45 0 0 25 0 11 0 838015123 857989120 20512 4294967295 134512640 134569956 3221224368 3221214688 1131187293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20512 13086 16 0 209454 0
vsize: 837880
[startup+140.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 13538 45 0 0 25 0 11 0 838015123 857989120 20533 4294967295 134512640 134569956 3221224368 3221214688 1131187252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 20533 13086 16 0 209454 0
vsize: 837880
[startup+150.006 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 14528 45 0 0 25 0 11 0 838015123 857989120 20554 4294967295 134512640 134569956 3221224368 3221214688 1131187238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20554 13086 16 0 209454 0
vsize: 837880
[startup+160.005 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 15519 45 0 0 25 0 11 0 838015123 857989120 20576 4294967295 134512640 134569956 3221224368 3221214736 1131147481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20576 13086 16 0 209454 0
vsize: 837880
[startup+170.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 16509 45 0 0 25 0 11 0 838015123 857989120 20595 4294967295 134512640 134569956 3221224368 3221214736 1131147554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20595 13086 16 0 209454 0
vsize: 837880
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 17499 45 0 0 25 0 11 0 838015123 857989120 20618 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20618 13086 16 0 209454 0
vsize: 837880
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 18490 45 0 0 25 0 11 0 838015123 857989120 20639 4294967295 134512640 134569956 3221224368 3221214688 1131188208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20639 13086 16 0 209454 0
vsize: 837880
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 19482 45 0 0 25 0 11 0 838015123 857989120 20657 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20657 13086 16 0 209454 0
vsize: 837880
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 20474 46 0 0 25 0 11 0 838015123 857989120 20674 4294967295 134512640 134569956 3221224368 3221214688 1131187576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20674 13086 16 0 209454 0
vsize: 837880
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20865
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 21465 46 0 0 25 0 11 0 838015123 857989120 20688 4294967295 134512640 134569956 3221224368 3221214688 1131186867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20688 13086 16 0 209454 0
vsize: 837880
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 22458 46 0 0 25 0 11 0 838015123 857989120 20700 4294967295 134512640 134569956 3221224368 3221214688 1131186812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20700 13086 16 0 209454 0
vsize: 837880
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 23449 46 0 0 25 0 11 0 838015123 857989120 20715 4294967295 134512640 134569956 3221224368 3221214768 1131170033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20715 13086 16 0 209454 0
vsize: 837880
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 24440 46 0 0 25 0 11 0 838015123 857989120 20731 4294967295 134512640 134569956 3221224368 3221214792 1131173424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20731 13086 16 0 209454 0
vsize: 837880
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 25431 46 0 0 25 0 11 0 838015123 857989120 20744 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20744 13086 16 0 209454 0
vsize: 837880
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 26422 47 0 0 25 0 11 0 838015123 857989120 20761 4294967295 134512640 134569956 3221224368 3221214688 1131187133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20761 13086 16 0 209454 0
vsize: 837880
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 27414 47 0 0 25 0 11 0 838015123 857989120 20775 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20775 13086 16 0 209454 0
vsize: 837880
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 28404 47 0 0 25 0 11 0 838015123 857989120 20789 4294967295 134512640 134569956 3221224368 3221214688 1131188023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20789 13086 16 0 209454 0
vsize: 837880
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 29394 47 0 0 25 0 11 0 838015123 857989120 20803 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20803 13086 16 0 209454 0
vsize: 837880
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 30386 47 0 0 25 0 11 0 838015123 857989120 20821 4294967295 134512640 134569956 3221224368 3221214688 1131186717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20821 13086 16 0 209454 0
vsize: 837880
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 31377 48 0 0 25 0 11 0 838015123 857989120 20835 4294967295 134512640 134569956 3221224368 3221214688 1131187327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20835 13086 16 0 209454 0
vsize: 837880
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 32369 48 0 0 25 0 11 0 838015123 857989120 20845 4294967295 134512640 134569956 3221224368 3221214688 1131186966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20845 13086 16 0 209454 0
vsize: 837880
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 33361 48 0 0 25 0 11 0 838015123 857989120 20855 4294967295 134512640 134569956 3221224368 3221214736 1131147453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20855 13086 16 0 209454 0
vsize: 837880
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 34352 48 0 0 25 0 11 0 838015123 857989120 20868 4294967295 134512640 134569956 3221224368 3221214688 1131187126 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20868 13086 16 0 209454 0
vsize: 837880
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 35343 48 0 0 25 0 11 0 838015123 857989120 20880 4294967295 134512640 134569956 3221224368 3221214792 1131173736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20880 13086 16 0 209454 0
vsize: 837880
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 36334 48 0 0 25 0 11 0 838015123 857989120 20889 4294967295 134512640 134569956 3221224368 3221214736 1131147501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20889 13086 16 0 209454 0
vsize: 837880
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 37326 48 0 0 25 0 11 0 838015123 857989120 20899 4294967295 134512640 134569956 3221224368 3221214768 1131170033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20899 13086 16 0 209454 0
vsize: 837880
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 38318 48 0 0 25 0 11 0 838015123 857989120 20914 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20914 13086 16 0 209454 0
vsize: 837880
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 39310 48 0 0 25 0 11 0 838015123 857989120 20925 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20925 13086 16 0 209454 0
vsize: 837880
[startup+410.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 40303 48 0 0 25 0 11 0 838015123 857989120 20932 4294967295 134512640 134569956 3221224368 3221214792 1131173285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20932 13086 16 0 209454 0
vsize: 837880
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 41295 48 0 0 25 0 11 0 838015123 857989120 20940 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20940 13086 16 0 209454 0
vsize: 837880
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 42287 48 0 0 25 0 11 0 838015123 857989120 20949 4294967295 134512640 134569956 3221224368 3221214688 1131187252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20949 13086 16 0 209454 0
vsize: 837880
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 43280 48 0 0 25 0 11 0 838015123 857989120 20958 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20958 13086 16 0 209454 0
vsize: 837880
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 44273 48 0 0 25 0 11 0 838015123 857989120 20964 4294967295 134512640 134569956 3221224368 3221214736 1131147481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20964 13086 16 0 209454 0
vsize: 837880
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 45265 49 0 0 25 0 11 0 838015123 857989120 20972 4294967295 134512640 134569956 3221224368 3221214688 1131187400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20972 13086 16 0 209454 0
vsize: 837880
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 46256 49 0 0 25 0 11 0 838015123 857989120 20984 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20984 13086 16 0 209454 0
vsize: 837880
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 47248 49 0 0 25 0 11 0 838015123 857989120 20992 4294967295 134512640 134569956 3221224368 3221214560 1131434220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 20992 13086 16 0 209454 0
vsize: 837880
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 48240 49 0 0 25 0 11 0 838015123 857989120 21000 4294967295 134512640 134569956 3221224368 3221214736 1131147477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21000 13086 16 0 209454 0
vsize: 837880
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 49231 49 0 0 25 0 11 0 838015123 857989120 21007 4294967295 134512640 134569956 3221224368 3221214688 1131186725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21007 13086 16 0 209454 0
vsize: 837880
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 50222 49 0 0 25 0 11 0 838015123 857989120 21017 4294967295 134512640 134569956 3221224368 3221214688 1131186958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21017 13086 16 0 209454 0
vsize: 837880
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 51213 49 0 0 25 0 11 0 838015123 857989120 21029 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21029 13086 16 0 209454 0
vsize: 837880
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 52204 49 0 0 25 0 11 0 838015123 857989120 21048 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21048 13086 16 0 209454 0
vsize: 837880
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 53195 49 0 0 25 0 11 0 838015123 857989120 21056 4294967295 134512640 134569956 3221224368 3221214792 1131173336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21056 13086 16 0 209454 0
vsize: 837880
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 54187 49 0 0 25 0 11 0 838015123 857989120 21062 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21062 13086 16 0 209454 0
vsize: 837880
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 55178 49 0 0 25 0 11 0 838015123 857989120 21075 4294967295 134512640 134569956 3221224368 3221214688 1131187797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21075 13086 16 0 209454 0
vsize: 837880
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 56169 49 0 0 25 0 11 0 838015123 857989120 21081 4294967295 134512640 134569956 3221224368 3221214688 1131186750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21081 13086 16 0 209454 0
vsize: 837880
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 57161 49 0 0 25 0 11 0 838015123 857989120 21092 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21092 13086 16 0 209454 0
vsize: 837880
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 58153 50 0 0 25 0 11 0 838015123 857989120 21100 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21100 13086 16 0 209454 0
vsize: 837880
[startup+600.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 59144 50 0 0 25 0 11 0 838015123 857989120 21110 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21110 13086 16 0 209454 0
vsize: 837880
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 60135 50 0 0 25 0 11 0 838015123 857989120 21119 4294967295 134512640 134569956 3221224368 3221214688 1131187492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21119 13086 16 0 209454 0
vsize: 837880
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 61127 50 0 0 25 0 11 0 838015123 857989120 21125 4294967295 134512640 134569956 3221224368 3221214688 1131187307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21125 13086 16 0 209454 0
vsize: 837880
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 62118 50 0 0 25 0 11 0 838015123 857989120 21135 4294967295 134512640 134569956 3221224368 3221214688 1131187924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21135 13086 16 0 209454 0
vsize: 837880
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 63110 50 0 0 25 0 11 0 838015123 857989120 21145 4294967295 134512640 134569956 3221224368 3221214688 1131187327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21145 13086 16 0 209454 0
vsize: 837880
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 64101 50 0 0 25 0 11 0 838015123 857989120 21152 4294967295 134512640 134569956 3221224368 3221214688 1131186853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21152 13086 16 0 209454 0
vsize: 837880
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 65091 50 0 0 25 0 11 0 838015123 857989120 21164 4294967295 134512640 134569956 3221224368 3221214688 1131187351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21164 13086 16 0 209454 0
vsize: 837880
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 66081 50 0 0 25 0 11 0 838015123 857989120 21173 4294967295 134512640 134569956 3221224368 3221214736 1131147481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21173 13086 16 0 209454 0
vsize: 837880
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 67071 50 0 0 25 0 11 0 838015123 857989120 21188 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21188 13086 16 0 209454 0
vsize: 837880
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 68061 50 0 0 25 0 11 0 838015123 857989120 21196 4294967295 134512640 134569956 3221224368 3221214768 1131170017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21196 13086 16 0 209454 0
vsize: 837880
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 69051 51 0 0 25 0 11 0 838015123 857989120 21213 4294967295 134512640 134569956 3221224368 3221214688 1131186717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21213 13086 16 0 209454 0
vsize: 837880
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 70042 51 0 0 25 0 11 0 838015123 857989120 21226 4294967295 134512640 134569956 3221224368 3221214736 1131147506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21226 13086 16 0 209454 0
vsize: 837880
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 71033 51 0 0 25 0 11 0 838015123 857989120 21236 4294967295 134512640 134569956 3221224368 3221214688 1131186725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21236 13086 16 0 209454 0
vsize: 837880
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 72024 51 0 0 25 0 11 0 838015123 857989120 21243 4294967295 134512640 134569956 3221224368 3221214736 1131147499 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21243 13086 16 0 209454 0
vsize: 837880
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 73015 51 0 0 25 0 11 0 838015123 857989120 21249 4294967295 134512640 134569956 3221224368 3221214688 1131187133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21249 13086 16 0 209454 0
vsize: 837880
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 74005 51 0 0 25 0 11 0 838015123 857989120 21256 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21256 13086 16 0 209454 0
vsize: 837880
[startup+760.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 74995 51 0 0 25 0 11 0 838015123 857989120 21263 4294967295 134512640 134569956 3221224368 3221214792 1131173447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21263 13086 16 0 209454 0
vsize: 837880
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 75985 51 0 0 25 0 11 0 838015123 857989120 21271 4294967295 134512640 134569956 3221224368 3221214688 1131187215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21271 13086 16 0 209454 0
vsize: 837880
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 76973 52 0 0 25 0 11 0 838015123 857989120 21284 4294967295 134512640 134569956 3221224368 3221214688 1131187359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21284 13086 16 0 209454 0
vsize: 837880
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 77963 52 0 0 25 0 11 0 838015123 857989120 21292 4294967295 134512640 134569956 3221224368 3221214736 1131147453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21292 13086 16 0 209454 0
vsize: 837880
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 78953 52 0 0 25 0 11 0 838015123 857989120 21303 4294967295 134512640 134569956 3221224368 3221214688 1131187208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21303 13086 16 0 209454 0
vsize: 837880
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 79943 52 0 0 25 0 11 0 838015123 857989120 21311 4294967295 134512640 134569956 3221224368 3221214688 1131187205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21311 13086 16 0 209454 0
vsize: 837880
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 80933 53 0 0 25 0 11 0 838015123 857989120 21316 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21316 13086 16 0 209454 0
vsize: 837880
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 81922 53 0 0 25 0 11 0 838015123 857989120 21325 4294967295 134512640 134569956 3221224368 3221214688 1131187205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21325 13086 16 0 209454 0
vsize: 837880
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 82911 53 0 0 25 0 11 0 838015123 857989120 21333 4294967295 134512640 134569956 3221224368 3221214688 1131187252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21333 13086 16 0 209454 0
vsize: 837880
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 83900 53 0 0 25 0 11 0 838015123 857989120 21344 4294967295 134512640 134569956 3221224368 3221214688 1131187194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21344 13086 16 0 209454 0
vsize: 837880
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 84889 53 0 0 25 0 11 0 838015123 857989120 21351 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21351 13086 16 0 209454 0
vsize: 837880
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 85877 54 0 0 25 0 11 0 838015123 857989120 21361 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21361 13086 16 0 209454 0
vsize: 837880
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 86865 54 0 0 25 0 11 0 838015123 857989120 21379 4294967295 134512640 134569956 3221224368 3221214788 1131186707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21379 13086 16 0 209454 0
vsize: 837880
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 87855 55 0 0 25 0 11 0 838015123 857989120 21385 4294967295 134512640 134569956 3221224368 3221214688 1131186721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21385 13086 16 0 209454 0
vsize: 837880
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 88845 55 0 0 25 0 11 0 838015123 857989120 21390 4294967295 134512640 134569956 3221224368 3221214688 1131187094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21390 13086 16 0 209454 0
vsize: 837880
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 89834 55 0 0 25 0 11 0 838015123 857989120 21402 4294967295 134512640 134569956 3221224368 3221214688 1131187319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21402 13086 16 0 209454 0
vsize: 837880
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 90823 55 0 0 25 0 11 0 838015123 857989120 21411 4294967295 134512640 134569956 3221224368 3221214688 1131186750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21411 13086 16 0 209454 0
vsize: 837880
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 91812 56 0 0 25 0 11 0 838015123 857989120 21421 4294967295 134512640 134569956 3221224368 3221214736 1131147453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21421 13086 16 0 209454 0
vsize: 837880
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 92802 56 0 0 25 0 11 0 838015123 857989120 21428 4294967295 134512640 134569956 3221224368 3221214624 1131204817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209470 21428 13086 16 0 209454 0
vsize: 837880
[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 93792 57 0 0 25 0 11 0 838015123 857989120 21432 4294967295 134512640 134569956 3221224368 3221214688 1131186859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21432 13086 16 0 209454 0
vsize: 837880
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 94782 57 0 0 25 0 11 0 838015123 857989120 21438 4294967295 134512640 134569956 3221224368 3221214688 1131187036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21438 13086 16 0 209454 0
vsize: 837880
[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 95772 57 0 0 25 0 11 0 838015123 857989120 21450 4294967295 134512640 134569956 3221224368 3221214736 1131147534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21450 13086 16 0 209454 0
vsize: 837880
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 96762 58 0 0 25 0 11 0 838015123 857989120 21455 4294967295 134512640 134569956 3221224368 3221214688 1131186717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21455 13086 16 0 209454 0
vsize: 837880
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 97752 58 0 0 25 0 11 0 838015123 857989120 21459 4294967295 134512640 134569956 3221224368 3221214688 1131187315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21459 13086 16 0 209454 0
vsize: 837880
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 98741 59 0 0 25 0 11 0 838015123 857989120 21466 4294967295 134512640 134569956 3221224368 3221214688 1131187135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21466 13086 16 0 209454 0
vsize: 837880
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 99731 59 0 0 25 0 11 0 838015123 857989120 21478 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21478 13086 16 0 209454 0
vsize: 837880
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 100721 60 0 0 25 0 11 0 838015123 857989120 21483 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21483 13086 16 0 209454 0
vsize: 837880
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 101711 60 0 0 25 0 11 0 838015123 857989120 21493 4294967295 134512640 134569956 3221224368 3221214792 1131172955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21493 13086 16 0 209454 0
vsize: 837880
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 102700 61 0 0 25 0 11 0 838015123 857989120 21500 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21500 13086 16 0 209454 0
vsize: 837880
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 103689 61 0 0 25 0 11 0 838015123 857989120 21506 4294967295 134512640 134569956 3221224368 3221214792 1131173336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21506 13086 16 0 209454 0
vsize: 837880
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 104679 61 0 0 25 0 11 0 838015123 857989120 21518 4294967295 134512640 134569956 3221224368 3221214688 1131187283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21518 13086 16 0 209454 0
vsize: 837880
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 105671 62 0 0 25 0 11 0 838015123 857989120 21523 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21523 13086 16 0 209454 0
vsize: 837880
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 106660 62 0 0 25 0 11 0 838015123 857989120 21528 4294967295 134512640 134569956 3221224368 3221214688 1131187959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21528 13086 16 0 209454 0
vsize: 837880
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 107650 63 0 0 25 0 11 0 838015123 857989120 21532 4294967295 134512640 134569956 3221224368 3221214688 1131187400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21532 13086 16 0 209454 0
vsize: 837880
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 108641 63 0 0 25 0 11 0 838015123 857989120 21537 4294967295 134512640 134569956 3221224368 3221214688 1131187335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21537 13086 16 0 209454 0
vsize: 837880
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 109631 63 0 0 25 0 11 0 838015123 857989120 21541 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21541 13086 16 0 209454 0
vsize: 837880
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 110620 63 0 0 25 0 11 0 838015123 857989120 21545 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21545 13086 16 0 209454 0
vsize: 837880
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 111611 64 0 0 25 0 11 0 838015123 857989120 21554 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21554 13086 16 0 209454 0
vsize: 837880
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 112600 64 0 0 25 0 11 0 838015123 857989120 21560 4294967295 134512640 134569956 3221224368 3221214792 1131173424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21560 13086 16 0 209454 0
vsize: 837880
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 113590 64 0 0 25 0 11 0 838015123 857989120 21566 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21566 13086 16 0 209454 0
vsize: 837880
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 114579 64 0 0 25 0 11 0 838015123 857989120 21573 4294967295 134512640 134569956 3221224368 3221214736 1131147456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21573 13086 16 0 209454 0
vsize: 837880
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 115567 65 0 0 24 0 11 0 838015123 857989120 21577 4294967295 134512640 134569956 3221224368 3221214688 1131187169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21577 13086 16 0 209454 0
vsize: 837880
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 116556 65 0 0 25 0 11 0 838015123 857989120 21592 4294967295 134512640 134569956 3221224368 3221214736 1131147473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21592 13086 16 0 209454 0
vsize: 837880
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 117545 65 0 0 25 0 11 0 838015123 857989120 21606 4294967295 134512640 134569956 3221224368 3221214688 1131186821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21606 13086 16 0 209454 0
vsize: 837880
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 118535 66 0 0 25 0 11 0 838015123 857989120 21611 4294967295 134512640 134569956 3221224368 3221214688 1131187199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21611 13086 16 0 209454 0
vsize: 837880
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 119526 66 0 0 25 0 11 0 838015123 857989120 21615 4294967295 134512640 134569956 3221224368 3221214832 1131196825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21615 13086 16 0 209454 0
vsize: 837880
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 20867
Raw data (stat): 20848 (java) R 20847 7475 7474 0 -1 0 18119 3 1 0 120516 66 0 0 25 0 11 0 838015123 857989120 21620 4294967295 134512640 134569956 3221224368 3221214688 1131187359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209470 21620 13086 16 0 209454 0
vsize: 837880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 20869
Raw data (stat): 20848 (java) Z 20847 7475 7474 0 -1 1036 18119 2191 1 0 120521 66 1192 18 25 0 1 0 838015123 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): 1220.15
CPU time (s): 1218
CPU user time (s): 1217.15
CPU system time (s): 0.85487
CPU usage (%): 99.8241
Max. virtual memory (Kb): 837880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	912384
#### END VERIFIER DATA ####