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/miplib2003/normalized-mps-v2-20-10-misc07.opb
MD5SUM	b8ad25b48a93aa2545086c9eaeaee0ef
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1076879360
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	3287948287
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1227.3
Number of variables	290
Total number of constraints	471
Number of constraints which are clauses	127
Number of constraints which are cardinality constraints (but not clauses)	272
Number of constraints which are nor clauses,nor cardinality constraints	72
Minimum length of a constraint	1
Maximum length of a constraint	263
Trace number 29587

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 09:14:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20989 boxname=wulflinc1 idbench=977 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  b8ad25b48a93aa2545086c9eaeaee0ef  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-misc07.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-misc07.opb
IDLAUNCH: 20989
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        698688 kB
Buffers:         27972 kB
Cached:         278544 kB
SwapCached:       3972 kB
Active:          61732 kB
Inactive:       251728 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698436 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16820 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 09:34:49 (client local time) WITH STATUS 143 IN 1227.3 SECONDS
stats: 20989 0 1227.3 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/wulflinc1/normalized-mps-v2-20-10-misc07.opb
c reading problem ... done. Time 2.634 ms.
c #vars     290
c #constraints  247
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=          1078302720 		Current CPU time: 13.16 ms
c CURRENT OPTIMUM=          1078282240 		Current CPU time: 14.49 ms
c CURRENT OPTIMUM=          1078159360 		Current CPU time: 28.07 ms
c CURRENT OPTIMUM=          1078026240 		Current CPU time: 143.22 ms
c CURRENT OPTIMUM=          1077084160 		Current CPU time: 217.38 ms
c CURRENT OPTIMUM=          1076992000 		Current CPU time: 439.37 ms
c CURRENT OPTIMUM=          1076940800 		Current CPU time: 507.84 ms
c CURRENT OPTIMUM=          1076930560 		Current CPU time: 1032.03 ms
c CURRENT OPTIMUM=          1076879360 		Current CPU time: 1190.41 ms
c starts	: 16
c conflicts	: 1021
c decisions	: 4419
c propagations	: 21982
c inspects	: 1593714
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 1021
c root simplifications	: 23
s SATISFIABLE
v -x260_bit_10 -x260_bit_9 -x260_bit_8 -x260_bit_7 -x260_bit_6 -x260_bit_5 -x260_bit_4 -x260_bit_3 -x260_bit_2 -x260_bit_1 -x260_bit0 -x260_bit1 -x260_bit2 x260_bit3 x260_bit4 x260_bit5 x260_bit6 x260_bit7 x260_bit8 x260_bit9 -x260_bit10 x260_bit11 -x260_bit12 -x260_bit13 -x260_bit14 -x260_bit15 -x260_bit16 -x260_bit17 -x260_bit18 -x260_bit19 x260_bit20 -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 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 -x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 x244_bit0 x245_bit0 -x246_bit0 x247_bit0 -x248_bit0 x249_bit0 -x250_bit0 x251_bit0 x252_bit0 -x253_bit0 x254_bit0 -x255_bit0 x256_bit0 -x257_bit0 x258_bit0 -x259_bit0 
c objectif function=1076879360
c Total CPU time (ms) : 1229.24
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 20260
Raw data (stat): 20260 (runsolver) R 20259 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 722637569 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+9.9999 s]
Raw data (loadavg): 0.95 0.98 0.99 3/65 20270
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18082 0 1 0 677 38 0 0 25 0 11 0 722637569 868356096 22629 4294967295 134512640 134569956 3221224368 3221214448 1131356750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212001 22629 13086 16 0 211985 0
vsize: 848004
[startup+20.0006 s]
Raw data (loadavg): 0.96 0.98 0.99 2/65 20272
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 1599 38 0 0 24 0 11 0 722637569 866492416 22956 4294967295 134512640 134569956 3221224368 3221214432 1131427534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211546 22956 13086 16 0 211530 0
vsize: 846184
[startup+30.0004 s]
Raw data (loadavg): 0.96 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 2539 39 0 0 25 0 11 0 722637569 860602368 21771 4294967295 134512640 134569956 3221224368 3221214568 1131291365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 21771 13086 16 0 210092 0
vsize: 840432
[startup+40.0011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 3471 39 0 0 25 0 11 0 722637569 860602368 22158 4294967295 134512640 134569956 3221224368 3221214528 1131356784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 22158 13086 16 0 210092 0
vsize: 840432
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 4407 39 0 0 25 0 11 0 722637569 860602368 22246 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 22246 13086 16 0 210092 0
vsize: 840432
[startup+60.0019 s]
Raw data (loadavg): 0.98 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 5328 40 0 0 25 0 11 0 722637569 860602368 22632 4294967295 134512640 134569956 3221224368 3221214568 1131291066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 22632 13086 16 0 210092 0
vsize: 840432
[startup+70.0026 s]
Raw data (loadavg): 0.98 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 6272 40 0 0 25 0 11 0 722637569 860602368 22772 4294967295 134512640 134569956 3221224368 3221214568 1131290593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 22772 13086 16 0 210092 0
vsize: 840432
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/65 20273
Raw data (stat): 20260 (java) S 20259 8378 8377 0 -1 0 18134 4 1 0 7214 40 0 0 25 0 11 0 722637569 860602368 22992 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 22992 13086 16 0 210092 0
vsize: 840432
[startup+90.0042 s]
Raw data (loadavg): 1.06 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 8160 40 0 0 25 0 11 0 722637569 860602368 23261 4294967295 134512640 134569956 3221224368 3221214672 1131333781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 23261 13086 16 0 210092 0
vsize: 840432
[startup+100.004 s]
Raw data (loadavg): 1.05 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 9108 40 0 0 25 0 11 0 722637569 860602368 23345 4294967295 134512640 134569956 3221224368 3221214500 1130885222 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 23345 13086 16 0 210092 0
vsize: 840432
[startup+110.004 s]
Raw data (loadavg): 1.04 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 10053 40 0 0 25 0 11 0 722637569 860602368 23485 4294967295 134512640 134569956 3221224368 3221214568 1131291292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 23485 13086 16 0 210092 0
vsize: 840432
[startup+120.005 s]
Raw data (loadavg): 1.03 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 10996 41 0 0 25 0 11 0 722637569 860602368 23703 4294967295 134512640 134569956 3221224368 3221214480 1131209709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 23703 13086 16 0 210092 0
vsize: 840432
[startup+130.004 s]
Raw data (loadavg): 1.03 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 11956 41 0 0 25 0 11 0 722637569 860602368 23917 4294967295 134512640 134569956 3221224368 3221214568 1131291027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 23917 13086 16 0 210092 0
vsize: 840432
[startup+140.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/65 20273
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 12938 41 0 0 25 0 11 0 722637569 860602368 24095 4294967295 134512640 134569956 3221224368 3221214568 1131291318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24095 13086 16 0 210092 0
vsize: 840432
[startup+150.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 13922 42 0 0 25 0 11 0 722637569 860602368 24113 4294967295 134512640 134569956 3221224368 3221214568 1131291266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24113 13086 16 0 210092 0
vsize: 840432
[startup+160.005 s]
Raw data (loadavg): 1.02 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 14907 42 0 0 25 0 11 0 722637569 860602368 24130 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24130 13086 16 0 210092 0
vsize: 840432
[startup+170.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 15891 42 0 0 25 0 11 0 722637569 860602368 24179 4294967295 134512640 134569956 3221224368 3221214672 1131334786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24179 13086 16 0 210092 0
vsize: 840432
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 16878 43 0 0 25 0 11 0 722637569 860602368 24211 4294967295 134512640 134569956 3221224368 3221214672 1131336492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24211 13086 16 0 210092 0
vsize: 840432
[startup+190.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 17863 43 0 0 25 0 11 0 722637569 860602368 24219 4294967295 134512640 134569956 3221224368 3221214568 1131291579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24219 13086 16 0 210092 0
vsize: 840432
[startup+200.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 18848 44 0 0 25 0 11 0 722637569 860602368 24259 4294967295 134512640 134569956 3221224368 3221214480 1131210772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24259 13086 16 0 210092 0
vsize: 840432
[startup+210.008 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 20274
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 19834 44 0 0 25 0 11 0 722637569 860602368 24280 4294967295 134512640 134569956 3221224368 3221214568 1131290597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24280 13086 16 0 210092 0
vsize: 840432
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 20820 44 0 0 25 0 11 0 722637569 860602368 24309 4294967295 134512640 134569956 3221224368 3221214568 1131290597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24309 13086 16 0 210092 0
vsize: 840432
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18134 4 1 0 21807 45 0 0 25 0 11 0 722637569 860602368 24337 4294967295 134512640 134569956 3221224368 3221214568 1131291174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24337 13086 16 0 210092 0
vsize: 840432
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 22796 45 0 0 25 0 11 0 722637569 860602368 24363 4294967295 134512640 134569956 3221224368 3221214672 1131333726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24363 13086 16 0 210092 0
vsize: 840432
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 23786 45 0 0 25 0 11 0 722637569 860602368 24377 4294967295 134512640 134569956 3221224368 3221214568 1131291284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24377 13086 16 0 210092 0
vsize: 840432
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 24774 46 0 0 25 0 11 0 722637569 860602368 24387 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24387 13086 16 0 210092 0
vsize: 840432
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 25763 46 0 0 25 0 11 0 722637569 860602368 24409 4294967295 134512640 134569956 3221224368 3221214480 1131209717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24409 13086 16 0 210092 0
vsize: 840432
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 26750 46 0 0 25 0 11 0 722637569 860602368 24415 4294967295 134512640 134569956 3221224368 3221214568 1131290829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24415 13086 16 0 210092 0
vsize: 840432
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 27736 46 0 0 25 0 11 0 722637569 860602368 24448 4294967295 134512640 134569956 3221224368 3221214672 1131335809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24448 13086 16 0 210092 0
vsize: 840432
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 28724 47 0 0 25 0 11 0 722637569 860602368 24471 4294967295 134512640 134569956 3221224368 3221214568 1131291306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24471 13086 16 0 210092 0
vsize: 840432
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 29713 47 0 0 25 0 11 0 722637569 860602368 24493 4294967295 134512640 134569956 3221224368 3221214568 1131291322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24493 13086 16 0 210092 0
vsize: 840432
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 30702 48 0 0 25 0 11 0 722637569 860602368 24509 4294967295 134512640 134569956 3221224368 3221214328 1131369102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24509 13086 16 0 210092 0
vsize: 840432
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 31692 48 0 0 25 0 11 0 722637569 860602368 24521 4294967295 134512640 134569956 3221224368 3221214720 1131352626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24521 13086 16 0 210092 0
vsize: 840432
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 32681 48 0 0 25 0 11 0 722637569 860602368 24536 4294967295 134512640 134569956 3221224368 3221214136 1079667993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24536 13086 16 0 210092 0
vsize: 840432
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 33669 49 0 0 25 0 11 0 722637569 860602368 24547 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24547 13086 16 0 210092 0
vsize: 840432
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 34655 49 0 0 25 0 11 0 722637569 860602368 24565 4294967295 134512640 134569956 3221224368 3221214568 1131291242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24565 13086 16 0 210092 0
vsize: 840432
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 35641 49 0 0 25 0 11 0 722637569 860602368 24580 4294967295 134512640 134569956 3221224368 3221214568 1131291326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24580 13086 16 0 210092 0
vsize: 840432
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 36626 50 0 0 25 0 11 0 722637569 860602368 24603 4294967295 134512640 134569956 3221224368 3221214568 1131291145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24603 13086 16 0 210092 0
vsize: 840432
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 37615 50 0 0 25 0 11 0 722637569 860602368 24646 4294967295 134512640 134569956 3221224368 3221214568 1131291640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24646 13086 16 0 210092 0
vsize: 840432
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 38604 50 0 0 25 0 11 0 722637569 860602368 24649 4294967295 134512640 134569956 3221224368 3221214672 1131334903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24649 13086 16 0 210092 0
vsize: 840432
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 39592 51 0 0 25 0 11 0 722637569 860602368 24651 4294967295 134512640 134569956 3221224368 3221214672 1131335617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24651 13086 16 0 210092 0
vsize: 840432
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 40579 51 0 0 25 0 11 0 722637569 860602368 24675 4294967295 134512640 134569956 3221224368 3221214568 1131291154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24675 13086 16 0 210092 0
vsize: 840432
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 41570 52 0 0 25 0 11 0 722637569 860602368 24704 4294967295 134512640 134569956 3221224368 3221214568 1131290681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24704 13086 16 0 210092 0
vsize: 840432
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20275
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 42562 52 0 0 25 0 11 0 722637569 860602368 24705 4294967295 134512640 134569956 3221224368 3221214672 1131333781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24705 13086 16 0 210092 0
vsize: 840432
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 43553 52 0 0 25 0 11 0 722637569 860602368 24707 4294967295 134512640 134569956 3221224368 3221214568 1131291029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24707 13086 16 0 210092 0
vsize: 840432
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 44543 53 0 0 25 0 11 0 722637569 860602368 24709 4294967295 134512640 134569956 3221224368 3221214568 1131291166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24709 13086 16 0 210092 0
vsize: 840432
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 45530 53 0 0 25 0 11 0 722637569 860602368 24724 4294967295 134512640 134569956 3221224368 3221214672 1131334959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24724 13086 16 0 210092 0
vsize: 840432
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 46514 53 0 0 25 0 11 0 722637569 860602368 24727 4294967295 134512640 134569956 3221224368 3221214568 1131291658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24727 13086 16 0 210092 0
vsize: 840432
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 47497 54 0 0 25 0 11 0 722637569 860602368 24743 4294967295 134512640 134569956 3221224368 3221214568 1131291246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 24743 13086 16 0 210092 0
vsize: 840432
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20276
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 48478 54 0 0 25 0 11 0 722637569 860602368 24778 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24778 13086 16 0 210092 0
vsize: 840432
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 49463 54 0 0 25 0 11 0 722637569 860602368 24823 4294967295 134512640 134569956 3221224368 3221214568 1131291166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24823 13086 16 0 210092 0
vsize: 840432
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 50448 54 0 0 25 0 11 0 722637569 860602368 24851 4294967295 134512640 134569956 3221224368 3221214672 1131334966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24851 13086 16 0 210092 0
vsize: 840432
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 51436 54 0 0 25 0 11 0 722637569 860602368 24889 4294967295 134512640 134569956 3221224368 3221214672 1131335752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24889 13086 16 0 210092 0
vsize: 840432
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 52422 54 0 0 25 0 11 0 722637569 860602368 24900 4294967295 134512640 134569956 3221224368 3221214672 1131335837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24900 13086 16 0 210092 0
vsize: 840432
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 53403 54 0 0 24 0 11 0 722637569 860602368 24902 4294967295 134512640 134569956 3221224368 3221214568 1131291242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24902 13086 16 0 210092 0
vsize: 840432
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 54384 54 0 0 25 0 11 0 722637569 860602368 24940 4294967295 134512640 134569956 3221224368 3221214672 1131336474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24940 13086 16 0 210092 0
vsize: 840432
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 55366 54 0 0 25 0 11 0 722637569 860602368 24994 4294967295 134512640 134569956 3221224368 3221214496 1131305189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 24994 13086 16 0 210092 0
vsize: 840432
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 56352 55 0 0 25 0 11 0 722637569 860602368 25041 4294967295 134512640 134569956 3221224368 3221214648 1131330956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25041 13086 16 0 210092 0
vsize: 840432
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 57339 55 0 0 25 0 11 0 722637569 860602368 25063 4294967295 134512640 134569956 3221224368 3221214568 1131291322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 25063 13086 16 0 210092 0
vsize: 840432
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 58326 55 0 0 25 0 11 0 722637569 860602368 25078 4294967295 134512640 134569956 3221224368 3221214568 1131291528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25078 13086 16 0 210092 0
vsize: 840432
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 59311 55 0 0 25 0 11 0 722637569 860602368 25107 4294967295 134512640 134569956 3221224368 3221214672 1131334816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25107 13086 16 0 210092 0
vsize: 840432
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 60298 55 0 0 25 0 11 0 722637569 860602368 25119 4294967295 134512640 134569956 3221224368 3221214568 1131290589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25119 13086 16 0 210092 0
vsize: 840432
[startup+630.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 61282 55 0 0 25 0 11 0 722637569 860602368 25150 4294967295 134512640 134569956 3221224368 3221214568 1131291246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 25150 13086 16 0 210092 0
vsize: 840432
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 62267 56 0 0 25 0 11 0 722637569 860602368 25172 4294967295 134512640 134569956 3221224368 3221214568 1131290600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25172 13086 16 0 210092 0
vsize: 840432
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 63251 56 0 0 25 0 11 0 722637569 860602368 25193 4294967295 134512640 134569956 3221224368 3221214672 1131333754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25193 13086 16 0 210092 0
vsize: 840432
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 64234 56 0 0 25 0 11 0 722637569 860602368 25229 4294967295 134512640 134569956 3221224368 3221214528 1131356563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25229 13086 16 0 210092 0
vsize: 840432
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 65219 56 0 0 25 0 11 0 722637569 860602368 25263 4294967295 134512640 134569956 3221224368 3221214568 1131291660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25263 13086 16 0 210092 0
vsize: 840432
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 66205 56 0 0 25 0 11 0 722637569 860602368 25291 4294967295 134512640 134569956 3221224368 3221214568 1131290641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25291 13086 16 0 210092 0
vsize: 840432
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 67192 56 0 0 25 0 11 0 722637569 860602368 25313 4294967295 134512640 134569956 3221224368 3221214568 1131290980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25313 13086 16 0 210092 0
vsize: 840432
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 68180 56 0 0 24 0 11 0 722637569 860602368 25351 4294967295 134512640 134569956 3221224368 3221214564 1131209696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25351 13086 16 0 210092 0
vsize: 840432
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 69171 56 0 0 25 0 11 0 722637569 860602368 25353 4294967295 134512640 134569956 3221224368 3221214672 1131333726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25353 13086 16 0 210092 0
vsize: 840432
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 70154 56 0 0 25 0 11 0 722637569 860602368 25355 4294967295 134512640 134569956 3221224368 3221214672 1131334951 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25355 13086 16 0 210092 0
vsize: 840432
[startup+730.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 71137 56 0 0 25 0 11 0 722637569 860602368 25381 4294967295 134512640 134569956 3221224368 3221214568 1131290634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25381 13086 16 0 210092 0
vsize: 840432
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 72121 56 0 0 25 0 11 0 722637569 860602368 25417 4294967295 134512640 134569956 3221224368 3221214672 1131333726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25417 13086 16 0 210092 0
vsize: 840432
[startup+750.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 73108 56 0 0 25 0 11 0 722637569 860602368 25444 4294967295 134512640 134569956 3221224368 3221214568 1131291029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25444 13086 16 0 210092 0
vsize: 840432
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 74094 57 0 0 25 0 11 0 722637569 860602368 25471 4294967295 134512640 134569956 3221224368 3221214568 1131291652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25471 13086 16 0 210092 0
vsize: 840432
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 75078 57 0 0 25 0 11 0 722637569 860602368 25482 4294967295 134512640 134569956 3221224368 3221214568 1131291334 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25482 13086 16 0 210092 0
vsize: 840432
[startup+780.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 76061 57 0 0 24 0 11 0 722637569 860602368 25508 4294967295 134512640 134569956 3221224368 3221214568 1131290613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25508 13086 16 0 210092 0
vsize: 840432
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 77045 57 0 0 25 0 11 0 722637569 860602368 25534 4294967295 134512640 134569956 3221224368 3221214672 1131335027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 25534 13086 16 0 210092 0
vsize: 840432
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 78028 57 0 0 25 0 11 0 722637569 860602368 25562 4294967295 134512640 134569956 3221224368 3221214568 1131291197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25562 13086 16 0 210092 0
vsize: 840432
[startup+810.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 79012 57 0 0 25 0 11 0 722637569 860602368 25591 4294967295 134512640 134569956 3221224368 3221214568 1131291318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25591 13086 16 0 210092 0
vsize: 840432
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 79995 57 0 0 24 0 11 0 722637569 860602368 25621 4294967295 134512640 134569956 3221224368 3221214568 1131291543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25621 13086 16 0 210092 0
vsize: 840432
[startup+830.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 80979 57 0 0 25 0 11 0 722637569 860602368 25633 4294967295 134512640 134569956 3221224368 3221214672 1131333676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25633 13086 16 0 210092 0
vsize: 840432
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 81961 57 0 0 25 0 11 0 722637569 860602368 25680 4294967295 134512640 134569956 3221224368 3221214568 1131290600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25680 13086 16 0 210092 0
vsize: 840432
[startup+850.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 82947 57 0 0 25 0 11 0 722637569 860602368 25705 4294967295 134512640 134569956 3221224368 3221214568 1131291652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25705 13086 16 0 210092 0
vsize: 840432
[startup+860.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 83931 57 0 0 25 0 11 0 722637569 860602368 25733 4294967295 134512640 134569956 3221224368 3221214672 1131333781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25733 13086 16 0 210092 0
vsize: 840432
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 84916 57 0 0 25 0 11 0 722637569 860602368 25757 4294967295 134512640 134569956 3221224368 3221214448 1131400088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25757 13086 16 0 210092 0
vsize: 840432
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 85900 57 0 0 24 0 11 0 722637569 860602368 25766 4294967295 134512640 134569956 3221224368 3221214568 1131290659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25766 13086 16 0 210092 0
vsize: 840432
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 86885 58 0 0 25 0 11 0 722637569 860602368 25796 4294967295 134512640 134569956 3221224368 3221214568 1131290589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25796 13086 16 0 210092 0
vsize: 840432
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 87871 58 0 0 25 0 11 0 722637569 860602368 25828 4294967295 134512640 134569956 3221224368 3221214440 1131239682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25828 13086 16 0 210092 0
vsize: 840432
[startup+910.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 88853 58 0 0 25 0 11 0 722637569 860602368 25843 4294967295 134512640 134569956 3221224368 3221214568 1131291242 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25843 13086 16 0 210092 0
vsize: 840432
[startup+920.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 89838 58 0 0 25 0 11 0 722637569 860602368 25863 4294967295 134512640 134569956 3221224368 3221214672 1131335726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25863 13086 16 0 210092 0
vsize: 840432
[startup+930.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 90821 58 0 0 25 0 11 0 722637569 860602368 25901 4294967295 134512640 134569956 3221224368 3221214568 1131291079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25901 13086 16 0 210092 0
vsize: 840432
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 91805 58 0 0 25 0 11 0 722637569 860602368 25925 4294967295 134512640 134569956 3221224368 3221214568 1131290597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25925 13086 16 0 210092 0
vsize: 840432
[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 92787 58 0 0 25 0 11 0 722637569 860602368 25945 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25945 13086 16 0 210092 0
vsize: 840432
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 93771 58 0 0 25 0 11 0 722637569 860602368 25973 4294967295 134512640 134569956 3221224368 3221214568 1131290613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 25973 13086 16 0 210092 0
vsize: 840432
[startup+970.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 94767 58 0 0 25 0 11 0 722637569 860602368 26003 4294967295 134512640 134569956 3221224368 3221214672 1131333726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 26003 13086 16 0 210092 0
vsize: 840432
[startup+980.181 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 95751 58 0 0 25 0 11 0 722637569 860602368 26029 4294967295 134512640 134569956 3221224368 3221214568 1131291185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 26029 13086 16 0 210092 0
vsize: 840432
[startup+990.182 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 96736 59 0 0 25 0 11 0 722637569 860602368 26033 4294967295 134512640 134569956 3221224368 3221214568 1131291166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26033 13086 16 0 210092 0
vsize: 840432
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) S 20259 8378 8377 0 -1 0 18135 4 1 0 97718 59 0 0 25 0 11 0 722637569 860602368 26054 4294967295 134512640 134569956 3221224368 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26054 13086 16 0 210092 0
vsize: 840432
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 98701 60 0 0 25 0 11 0 722637569 860602368 26079 4294967295 134512640 134569956 3221224368 3221214568 1131291149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26079 13086 16 0 210092 0
vsize: 840432
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 99683 60 0 0 25 0 11 0 722637569 860602368 26087 4294967295 134512640 134569956 3221224368 3221214672 1131336538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26087 13086 16 0 210092 0
vsize: 840432
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20277
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 100662 60 0 0 25 0 11 0 722637569 860602368 26125 4294967295 134512640 134569956 3221224368 3221214568 1131290613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26125 13086 16 0 210092 0
vsize: 840432
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 101644 61 0 0 25 0 11 0 722637569 860602368 26163 4294967295 134512640 134569956 3221224368 3221214384 1131407277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 26163 13086 16 0 210092 0
vsize: 840432
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 102629 61 0 0 25 0 11 0 722637569 860602368 26190 4294967295 134512640 134569956 3221224368 3221214672 1131334924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26190 13086 16 0 210092 0
vsize: 840432
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 103617 61 0 0 25 0 11 0 722637569 860602368 26205 4294967295 134512640 134569956 3221224368 3221214568 1131290831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26205 13086 16 0 210092 0
vsize: 840432
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 104601 62 0 0 25 0 11 0 722637569 860602368 26210 4294967295 134512640 134569956 3221224368 3221214792 1131416026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 26210 13086 16 0 210092 0
vsize: 840432
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 105582 62 0 0 24 0 11 0 722637569 860602368 26214 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26214 13086 16 0 210092 0
vsize: 840432
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 106564 62 0 0 25 0 11 0 722637569 860602368 26242 4294967295 134512640 134569956 3221224368 3221214568 1131291692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26242 13086 16 0 210092 0
vsize: 840432
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 107547 62 0 0 25 0 11 0 722637569 860602368 26259 4294967295 134512640 134569956 3221224368 3221214672 1131333760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26259 13086 16 0 210092 0
vsize: 840432
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 108528 63 0 0 25 0 11 0 722637569 860602368 26295 4294967295 134512640 134569956 3221224368 3221214672 1131333781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26295 13086 16 0 210092 0
vsize: 840432
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 109511 63 0 0 20 0 11 0 722637569 860602368 26308 4294967295 134512640 134569956 3221224368 3221214568 1131291073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26308 13086 16 0 210092 0
vsize: 840432
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 1.00 3/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 110490 64 0 0 24 0 11 0 722637569 860602368 26341 4294967295 134512640 134569956 3221224368 3221214568 1131291009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26341 13086 16 0 210092 0
vsize: 840432
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 111472 64 0 0 25 0 11 0 722637569 860602368 26363 4294967295 134512640 134569956 3221224368 3221214568 1131291324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26363 13086 16 0 210092 0
vsize: 840432
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 112452 64 0 0 25 0 11 0 722637569 860602368 26402 4294967295 134512640 134569956 3221224368 3221214568 1131291528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26402 13086 16 0 210092 0
vsize: 840432
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 113433 65 0 0 25 0 11 0 722637569 860602368 26430 4294967295 134512640 134569956 3221224368 3221214536 1131357090 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210108 26430 13086 16 0 210092 0
vsize: 840432
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 114412 65 0 0 25 0 11 0 722637569 860602368 26454 4294967295 134512640 134569956 3221224368 3221214440 1131239680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26454 13086 16 0 210092 0
vsize: 840432
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 115393 65 0 0 25 0 11 0 722637569 860602368 26494 4294967295 134512640 134569956 3221224368 3221214672 1131334903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26494 13086 16 0 210092 0
vsize: 840432
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20278
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 116374 65 0 0 25 0 11 0 722637569 860602368 26529 4294967295 134512640 134569956 3221224368 3221214568 1131291179 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26529 13086 16 0 210092 0
vsize: 840432
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20279
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 117356 65 0 0 25 0 11 0 722637569 860602368 26560 4294967295 134512640 134569956 3221224368 3221214672 1131335809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26560 13086 16 0 210092 0
vsize: 840432
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20279
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 118341 66 0 0 25 0 11 0 722637569 860602368 26583 4294967295 134512640 134569956 3221224368 3221214568 1131291246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26583 13086 16 0 210092 0
vsize: 840432
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20279
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 119327 66 0 0 25 0 11 0 722637569 860602368 26607 4294967295 134512640 134569956 3221224368 3221214672 1131333781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26607 13086 16 0 210092 0
vsize: 840432
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 20279
Raw data (stat): 20260 (java) R 20259 8378 8377 0 -1 0 18135 4 1 0 120312 67 0 0 25 0 11 0 722637569 860602368 26610 4294967295 134512640 134569956 3221224368 3221214568 1131291576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210108 26610 13086 16 0 210092 0
vsize: 840432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.28 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 20281
Raw data (stat): 20260 (java) Z 20259 8378 8377 0 -1 1036 18135 6598 1 0 120315 67 2314 32 25 0 1 0 722637569 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.28
CPU time (s): 1227.3
CPU user time (s): 1226.3
CPU system time (s): 1.00285
CPU usage (%): 99.7583
Max. virtual memory (Kb): 848004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1076879360
#### END VERIFIER DATA ####