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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 29168

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 05:18:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20561 boxname=wulflinc1 idbench=151 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc1/normalized-ii32c1.opb
IDLAUNCH: 20561
/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:        750728 kB
Buffers:         18228 kB
Cached:         236404 kB
SwapCached:       3972 kB
Active:          52216 kB
Inactive:       209368 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        750476 kB
SwapTotal:     2097136 kB
SwapFree:      2092844 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6960 kB
Slab:            16648 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:39:47 (client local time) WITH STATUS 143 IN 1246.88 SECONDS
stats: 20561 0 1246.88 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-ii32c1.opb
c reading problem ... done. Time 2.137 ms.
c #vars     450
c #constraints  1505
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 192 		Current CPU time: 3.22 ms
c CURRENT OPTIMUM=                 191 		Current CPU time: 42.31 ms
c CURRENT OPTIMUM=                 190 		Current CPU time: 52.65 ms
c CURRENT OPTIMUM=                 189 		Current CPU time: 59.65 ms
c CURRENT OPTIMUM=                 181 		Current CPU time: 79.93 ms
c CURRENT OPTIMUM=                 180 		Current CPU time: 760.62 ms
c starts	: 14
c conflicts	: 1422
c decisions	: 6712
c propagations	: 46019
c inspects	: 2706594
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 1
c learned clauses	: 1422
c root simplifications	: 14
s SATISFIABLE
v x1 -x2 x3 -x4 -x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 -x87 -x88 -x89 x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 -x129 -x130 x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 x409 -x410 -x411 x412 -x413 -x414 -x415 x416 -x417 x418 x419 -x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 
c objectif function=180
c Total CPU time (ms) : 1249.096
#### 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.92 0.98 0.95 2/55 18525
Raw data (stat): 18525 (runsolver) R 18524 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 721225258 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 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.0006 s]
Raw data (loadavg): 1.01 1.00 0.95 2/65 18536
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18134 3 1 0 701 39 0 0 25 0 11 0 721225258 871997440 23176 4294967295 134512640 134569956 3221224384 3221214568 1131303083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212890 23176 13086 16 0 212874 0
vsize: 851560
[startup+20.0019 s]
Raw data (loadavg): 1.08 1.02 0.96 2/65 18536
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18135 3 1 0 1648 39 0 0 25 0 11 0 721225258 871899136 23966 4294967295 134512640 134569956 3221224384 3221214656 1131396480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212866 23966 13086 16 0 212850 0
vsize: 851464
[startup+30.0022 s]
Raw data (loadavg): 1.15 1.03 0.96 2/65 18536
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18135 3 1 0 2589 39 0 0 24 0 11 0 721225258 870199296 23865 4294967295 134512640 134569956 3221224384 3221214616 1131261157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 23865 13086 16 0 212435 0
vsize: 849804
[startup+40.0021 s]
Raw data (loadavg): 1.13 1.03 0.96 2/65 18536
Raw data (stat): 18525 (java) S 18524 8378 8377 0 -1 0 18135 3 1 0 3539 39 0 0 25 0 11 0 721225258 870199296 24014 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 24014 13086 16 0 212435 0
vsize: 849804
[startup+50.0031 s]
Raw data (loadavg): 1.11 1.03 0.96 2/65 18537
Raw data (stat): 18525 (java) S 18524 8378 8377 0 -1 0 18135 3 1 0 4482 39 0 0 25 0 11 0 721225258 870199296 24566 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 24566 13086 16 0 212435 0
vsize: 849804
[startup+60.0036 s]
Raw data (loadavg): 1.09 1.03 0.96 2/65 18538
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18135 3 1 0 5412 39 0 0 25 0 11 0 721225258 870199296 25002 4294967295 134512640 134569956 3221224384 3221214792 1131429200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 25002 13086 16 0 212435 0
vsize: 849804
[startup+70.0043 s]
Raw data (loadavg): 1.08 1.03 0.96 2/65 18539
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 6352 40 0 0 25 0 11 0 721225258 870199296 25122 4294967295 134512640 134569956 3221224384 3221214792 1131428672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 25122 13086 16 0 212435 0
vsize: 849804
[startup+80.0046 s]
Raw data (loadavg): 1.06 1.03 0.96 2/65 18539
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 7285 40 0 0 25 0 11 0 721225258 870199296 25189 4294967295 134512640 134569956 3221224384 3221214672 1131396508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 25189 13086 16 0 212435 0
vsize: 849804
[startup+90.005 s]
Raw data (loadavg): 1.05 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 8202 40 0 0 25 0 11 0 721225258 870199296 26130 4294967295 134512640 134569956 3221224384 3221214688 1131290302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 26130 13086 16 0 212435 0
vsize: 849804
[startup+100.005 s]
Raw data (loadavg): 1.04 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 9140 40 0 0 25 0 11 0 721225258 870199296 26501 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 26501 13086 16 0 212435 0
vsize: 849804
[startup+110.005 s]
Raw data (loadavg): 1.04 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 10077 40 0 0 25 0 11 0 721225258 870199296 26799 4294967295 134512640 134569956 3221224384 3221214560 1130863167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 26799 13086 16 0 212435 0
vsize: 849804
[startup+120.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 11021 40 0 0 25 0 11 0 721225258 870199296 26799 4294967295 134512640 134569956 3221224384 3221214664 1131302780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 26799 13086 16 0 212435 0
vsize: 849804
[startup+130.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 11962 40 0 0 25 0 11 0 721225258 870199296 26993 4294967295 134512640 134569956 3221224384 3221214704 1131250845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 26993 13086 16 0 212435 0
vsize: 849804
[startup+140.006 s]
Raw data (loadavg): 1.02 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 12895 40 0 0 25 0 11 0 721225258 870199296 27270 4294967295 134512640 134569956 3221224384 3221214688 1131290775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 27270 13086 16 0 212435 0
vsize: 849804
[startup+150.007 s]
Raw data (loadavg): 1.02 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 13835 40 0 0 25 0 11 0 721225258 870199296 27439 4294967295 134512640 134569956 3221224384 3221214644 1131224821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 27439 13086 16 0 212435 0
vsize: 849804
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 14790 40 0 0 25 0 11 0 721225258 870199296 27605 4294967295 134512640 134569956 3221224384 3221214576 1131250784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 27605 13086 16 0 212435 0
vsize: 849804
[startup+170.007 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 15750 40 0 0 25 0 11 0 721225258 870199296 27745 4294967295 134512640 134569956 3221224384 3221214664 1131303224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 27745 13086 16 0 212435 0
vsize: 849804
[startup+180.007 s]
Raw data (loadavg): 1.01 1.02 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 16711 40 0 0 25 0 11 0 721225258 870199296 27932 4294967295 134512640 134569956 3221224384 3221214648 1131224857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 27932 13086 16 0 212435 0
vsize: 849804
[startup+190.008 s]
Raw data (loadavg): 1.01 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 17680 40 0 0 25 0 11 0 721225258 870199296 28044 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 28044 13086 16 0 212435 0
vsize: 849804
[startup+200.008 s]
Raw data (loadavg): 1.01 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 18649 40 0 0 25 0 11 0 721225258 870199296 28143 4294967295 134512640 134569956 3221224384 3221214664 1131302929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 28143 13086 16 0 212435 0
vsize: 849804
[startup+210.008 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 19615 40 0 0 25 0 11 0 721225258 870199296 28211 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 28211 13086 16 0 212435 0
vsize: 849804
[startup+220.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 20574 40 0 0 25 0 11 0 721225258 870199296 28289 4294967295 134512640 134569956 3221224384 3221214664 1131302780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 28289 13086 16 0 212435 0
vsize: 849804
[startup+230.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 21538 41 0 0 25 0 11 0 721225258 870199296 28348 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 28348 13086 16 0 212435 0
vsize: 849804
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 22498 41 0 0 25 0 11 0 721225258 870199296 28495 4294967295 134512640 134569956 3221224384 3221214688 1131290273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28495 13086 16 0 212435 0
vsize: 849804
[startup+250.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 23461 41 0 0 25 0 11 0 721225258 870199296 28622 4294967295 134512640 134569956 3221224384 3221214688 1131290725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28622 13086 16 0 212435 0
vsize: 849804
[startup+260.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 24425 41 0 0 24 0 11 0 721225258 870199296 28769 4294967295 134512640 134569956 3221224384 3221214792 1131429193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28769 13086 16 0 212435 0
vsize: 849804
[startup+270.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 25402 41 0 0 25 0 11 0 721225258 870199296 28828 4294967295 134512640 134569956 3221224384 3221214688 1131290753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28828 13086 16 0 212435 0
vsize: 849804
[startup+280.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 26372 41 0 0 25 0 11 0 721225258 870199296 28918 4294967295 134512640 134569956 3221224384 3221214664 1131302903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28918 13086 16 0 212435 0
vsize: 849804
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 27348 42 0 0 25 0 11 0 721225258 870199296 28990 4294967295 134512640 134569956 3221224384 3221214688 1131290753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 28990 13086 16 0 212435 0
vsize: 849804
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 28321 42 0 0 25 0 11 0 721225258 870199296 29062 4294967295 134512640 134569956 3221224384 3221214576 1131251037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29062 13086 16 0 212435 0
vsize: 849804
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 29292 42 0 0 25 0 11 0 721225258 870199296 29100 4294967295 134512640 134569956 3221224384 3221214620 1130885189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29100 13086 16 0 212435 0
vsize: 849804
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 30262 42 0 0 25 0 11 0 721225258 870199296 29144 4294967295 134512640 134569956 3221224384 3221214792 1131428694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29144 13086 16 0 212435 0
vsize: 849804
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) S 18524 8378 8377 0 -1 0 18136 3 1 0 31230 43 0 0 25 0 11 0 721225258 870199296 29233 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29233 13086 16 0 212435 0
vsize: 849804
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 32198 43 0 0 25 0 11 0 721225258 870199296 29319 4294967295 134512640 134569956 3221224384 3221214440 1078033476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29319 13086 16 0 212435 0
vsize: 849804
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 33169 43 0 0 25 0 11 0 721225258 870199296 29389 4294967295 134512640 134569956 3221224384 3221214664 1131302763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29389 13086 16 0 212435 0
vsize: 849804
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 34139 44 0 0 25 0 11 0 721225258 870199296 29451 4294967295 134512640 134569956 3221224384 3221214568 1131250925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29451 13086 16 0 212435 0
vsize: 849804
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 35108 44 0 0 25 0 11 0 721225258 870199296 29526 4294967295 134512640 134569956 3221224384 3221214688 1131290571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29526 13086 16 0 212435 0
vsize: 849804
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 36069 44 0 0 24 0 11 0 721225258 870199296 29605 4294967295 134512640 134569956 3221224384 3221214672 1131396560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29605 13086 16 0 212435 0
vsize: 849804
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 37033 44 0 0 25 0 11 0 721225258 870199296 29705 4294967295 134512640 134569956 3221224384 3221214688 1131290753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29705 13086 16 0 212435 0
vsize: 849804
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 37999 45 0 0 25 0 11 0 721225258 870199296 29831 4294967295 134512640 134569956 3221224384 3221214688 1131290417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29831 13086 16 0 212435 0
vsize: 849804
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 38969 45 0 0 25 0 11 0 721225258 870199296 29901 4294967295 134512640 134569956 3221224384 3221214568 1131250925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29901 13086 16 0 212435 0
vsize: 849804
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 39937 45 0 0 25 0 11 0 721225258 870199296 29969 4294967295 134512640 134569956 3221224384 3221214688 1131290302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 29969 13086 16 0 212435 0
vsize: 849804
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 40908 46 0 0 25 0 11 0 721225258 870199296 30066 4294967295 134512640 134569956 3221224384 3221214660 1131248932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30066 13086 16 0 212435 0
vsize: 849804
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 41877 46 0 0 25 0 11 0 721225258 870199296 30128 4294967295 134512640 134569956 3221224384 3221214664 1131302780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30128 13086 16 0 212435 0
vsize: 849804
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 42843 46 0 0 25 0 11 0 721225258 870199296 30196 4294967295 134512640 134569956 3221224384 3221214776 1131180489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30196 13086 16 0 212435 0
vsize: 849804
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 43813 46 0 0 25 0 11 0 721225258 870199296 30255 4294967295 134512640 134569956 3221224384 3221214432 1131506467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30255 13086 16 0 212435 0
vsize: 849804
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 44777 47 0 0 25 0 11 0 721225258 870199296 30339 4294967295 134512640 134569956 3221224384 3221214576 1131250600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30339 13086 16 0 212435 0
vsize: 849804
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 45735 47 0 0 24 0 11 0 721225258 870199296 30444 4294967295 134512640 134569956 3221224384 3221214688 1131290350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30444 13086 16 0 212435 0
vsize: 849804
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 46698 47 0 0 25 0 11 0 721225258 870199296 30512 4294967295 134512640 134569956 3221224384 3221214688 1131291191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30512 13086 16 0 212435 0
vsize: 849804
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 47651 47 0 0 25 0 11 0 721225258 870199296 30603 4294967295 134512640 134569956 3221224384 3221214664 1131303118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30603 13086 16 0 212435 0
vsize: 849804
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 48610 47 0 0 25 0 11 0 721225258 870199296 30700 4294967295 134512640 134569956 3221224384 3221214568 1131251056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30700 13086 16 0 212435 0
vsize: 849804
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 49561 48 0 0 25 0 11 0 721225258 870199296 30845 4294967295 134512640 134569956 3221224384 3221214648 1131335695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30845 13086 16 0 212435 0
vsize: 849804
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 50515 48 0 0 24 0 11 0 721225258 870199296 30978 4294967295 134512640 134569956 3221224384 3221214664 1131303129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 30978 13086 16 0 212435 0
vsize: 849804
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 51478 48 0 0 25 0 11 0 721225258 870199296 31080 4294967295 134512640 134569956 3221224384 3221214680 1131168908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31080 13086 16 0 212435 0
vsize: 849804
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 52443 48 0 0 25 0 11 0 721225258 870199296 31225 4294967295 134512640 134569956 3221224384 3221214688 1131290753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31225 13086 16 0 212435 0
vsize: 849804
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 53408 48 0 0 25 0 11 0 721225258 870199296 31342 4294967295 134512640 134569956 3221224384 3221214656 1131397355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 31342 13086 16 0 212435 0
vsize: 849804
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 54374 48 0 0 25 0 11 0 721225258 870199296 31451 4294967295 134512640 134569956 3221224384 3221214792 1131273366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31451 13086 16 0 212435 0
vsize: 849804
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 55348 49 0 0 25 0 11 0 721225258 870199296 31544 4294967295 134512640 134569956 3221224384 3221214552 1131250925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31544 13086 16 0 212435 0
vsize: 849804
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 56322 49 0 0 24 0 11 0 721225258 870199296 31582 4294967295 134512640 134569956 3221224384 3221214656 1131396517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31582 13086 16 0 212435 0
vsize: 849804
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 57291 49 0 0 25 0 11 0 721225258 870199296 31630 4294967295 134512640 134569956 3221224384 3221214616 1131261093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31630 13086 16 0 212435 0
vsize: 849804
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 58256 50 0 0 25 0 11 0 721225258 870199296 31750 4294967295 134512640 134569956 3221224384 3221214448 1131487724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31750 13086 16 0 212435 0
vsize: 849804
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 59228 50 0 0 25 0 11 0 721225258 870199296 31810 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 31810 13086 16 0 212435 0
vsize: 849804
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 60201 50 0 0 25 0 11 0 721225258 870199296 31876 4294967295 134512640 134569956 3221224384 3221214688 1131290839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31876 13086 16 0 212435 0
vsize: 849804
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 61176 50 0 0 25 0 11 0 721225258 870199296 31958 4294967295 134512640 134569956 3221224384 3221214600 1131199156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 31958 13086 16 0 212435 0
vsize: 849804
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 62147 51 0 0 25 0 11 0 721225258 870199296 32016 4294967295 134512640 134569956 3221224384 3221214648 1131303053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 32016 13086 16 0 212435 0
vsize: 849804
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 63121 51 0 0 25 0 11 0 721225258 870199296 32067 4294967295 134512640 134569956 3221224384 3221214688 1131290886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32067 13086 16 0 212435 0
vsize: 849804
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 64094 51 0 0 25 0 11 0 721225258 870199296 32113 4294967295 134512640 134569956 3221224384 3221214688 1131290314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32113 13086 16 0 212435 0
vsize: 849804
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 65062 51 0 0 25 0 11 0 721225258 870199296 32169 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 32169 13086 16 0 212435 0
vsize: 849804
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 66028 52 0 0 25 0 11 0 721225258 870199296 32223 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32223 13086 16 0 212435 0
vsize: 849804
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 66998 52 0 0 25 0 11 0 721225258 870199296 32305 4294967295 134512640 134569956 3221224384 3221214612 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 32305 13086 16 0 212435 0
vsize: 849804
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 67967 52 0 0 25 0 11 0 721225258 870199296 32388 4294967295 134512640 134569956 3221224384 3221214624 1131261163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32388 13086 16 0 212435 0
vsize: 849804
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 68941 52 0 0 25 0 11 0 721225258 870199296 32499 4294967295 134512640 134569956 3221224384 3221214612 1130885204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32499 13086 16 0 212435 0
vsize: 849804
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 69919 52 0 0 25 0 11 0 721225258 870199296 32538 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32538 13086 16 0 212435 0
vsize: 849804
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 70893 52 0 0 25 0 11 0 721225258 870199296 32604 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32604 13086 16 0 212435 0
vsize: 849804
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 71859 53 0 0 25 0 11 0 721225258 870199296 32689 4294967295 134512640 134569956 3221224384 3221214688 1131290611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32689 13086 16 0 212435 0
vsize: 849804
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18540
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 72825 53 0 0 25 0 11 0 721225258 870199296 32756 4294967295 134512640 134569956 3221224384 3221214748 1131127952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32756 13086 16 0 212435 0
vsize: 849804
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 73799 54 0 0 25 0 11 0 721225258 870199296 32807 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 32807 13086 16 0 212435 0
vsize: 849804
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 74758 54 0 0 25 0 11 0 721225258 870199296 32881 4294967295 134512640 134569956 3221224384 3221214688 1131290350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32881 13086 16 0 212435 0
vsize: 849804
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 75724 54 0 0 25 0 11 0 721225258 870199296 32906 4294967295 134512640 134569956 3221224384 3221214688 1131290413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 32906 13086 16 0 212435 0
vsize: 849804
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 76693 55 0 0 25 0 11 0 721225258 870199296 33073 4294967295 134512640 134569956 3221224384 3221214688 1131290719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33073 13086 16 0 212435 0
vsize: 849804
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 77659 55 0 0 25 0 11 0 721225258 870199296 33165 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33165 13086 16 0 212435 0
vsize: 849804
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 78631 55 0 0 25 0 11 0 721225258 870199296 33181 4294967295 134512640 134569956 3221224384 3221214792 1131429182 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33181 13086 16 0 212435 0
vsize: 849804
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 79592 55 0 0 25 0 11 0 721225258 870199296 33196 4294967295 134512640 134569956 3221224384 3221214688 1131290302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33196 13086 16 0 212435 0
vsize: 849804
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 80564 55 0 0 25 0 11 0 721225258 870199296 33342 4294967295 134512640 134569956 3221224384 3221213956 1131552203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33342 13086 16 0 212435 0
vsize: 849804
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 81537 56 0 0 25 0 11 0 721225258 870199296 33380 4294967295 134512640 134569956 3221224384 3221214664 1131396504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33380 13086 16 0 212435 0
vsize: 849804
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 82508 56 0 0 25 0 11 0 721225258 870199296 33466 4294967295 134512640 134569956 3221224384 3221214552 1131168832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33466 13086 16 0 212435 0
vsize: 849804
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 83487 56 0 0 25 0 11 0 721225258 870199296 33576 4294967295 134512640 134569956 3221224384 3221214680 1131168244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33576 13086 16 0 212435 0
vsize: 849804
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 84466 57 0 0 25 0 11 0 721225258 870199296 33591 4294967295 134512640 134569956 3221224384 3221214792 1131428721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33591 13086 16 0 212435 0
vsize: 849804
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 85445 57 0 0 25 0 11 0 721225258 870199296 33638 4294967295 134512640 134569956 3221224384 3221213992 1131554792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33638 13086 16 0 212435 0
vsize: 849804
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 86425 57 0 0 25 0 11 0 721225258 870199296 33694 4294967295 134512640 134569956 3221224384 3221214680 1131168259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33694 13086 16 0 212435 0
vsize: 849804
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 87407 57 0 0 25 0 11 0 721225258 870199296 33736 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33736 13086 16 0 212435 0
vsize: 849804
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 88384 57 0 0 24 0 11 0 721225258 870199296 33756 4294967295 134512640 134569956 3221224384 3221214688 1131291263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33756 13086 16 0 212435 0
vsize: 849804
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 89367 57 0 0 25 0 11 0 721225258 870199296 33760 4294967295 134512640 134569956 3221224384 3221214688 1131290876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33760 13086 16 0 212435 0
vsize: 849804
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 90347 57 0 0 25 0 11 0 721225258 870199296 33803 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33803 13086 16 0 212435 0
vsize: 849804
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 91325 57 0 0 25 0 11 0 721225258 870199296 33859 4294967295 134512640 134569956 3221224384 3221214096 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33859 13086 16 0 212435 0
vsize: 849804
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) S 18524 8378 8377 0 -1 0 18136 3 1 0 92305 57 0 0 25 0 11 0 721225258 870199296 33872 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33872 13086 16 0 212435 0
vsize: 849804
[startup+970.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 93283 57 0 0 25 0 11 0 721225258 870199296 33890 4294967295 134512640 134569956 3221224384 3221214788 1131168224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33890 13086 16 0 212435 0
vsize: 849804
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 94265 58 0 0 25 0 11 0 721225258 870199296 33932 4294967295 134512640 134569956 3221224384 3221214688 1131290286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33932 13086 16 0 212435 0
vsize: 849804
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 95243 58 0 0 25 0 11 0 721225258 870199296 33995 4294967295 134512640 134569956 3221224384 3221214600 1131198759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 33995 13086 16 0 212435 0
vsize: 849804
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 96221 58 0 0 25 0 11 0 721225258 870199296 34015 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34015 13086 16 0 212435 0
vsize: 849804
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 97200 58 0 0 25 0 11 0 721225258 870199296 34073 4294967295 134512640 134569956 3221224384 3221214232 1131553724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34073 13086 16 0 212435 0
vsize: 849804
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 98181 59 0 0 25 0 11 0 721225258 870199296 34110 4294967295 134512640 134569956 3221224384 3221214768 1131180560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34110 13086 16 0 212435 0
vsize: 849804
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 99162 59 0 0 25 0 11 0 721225258 870199296 34144 4294967295 134512640 134569956 3221224384 3221214688 1131290725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34144 13086 16 0 212435 0
vsize: 849804
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 100146 59 0 0 25 0 11 0 721225258 870199296 34182 4294967295 134512640 134569956 3221224384 3221214656 1131302820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34182 13086 16 0 212435 0
vsize: 849804
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 101125 59 0 0 25 0 11 0 721225258 870199296 34206 4294967295 134512640 134569956 3221224384 3221214600 1131198736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34206 13086 16 0 212435 0
vsize: 849804
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 102102 59 0 0 25 0 11 0 721225258 870199296 34224 4294967295 134512640 134569956 3221224384 3221214688 1131291285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34224 13086 16 0 212435 0
vsize: 849804
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 103080 59 0 0 25 0 11 0 721225258 870199296 34276 4294967295 134512640 134569956 3221224384 3221214680 1131168312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34276 13086 16 0 212435 0
vsize: 849804
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 104059 59 0 0 25 0 11 0 721225258 870199296 34290 4294967295 134512640 134569956 3221224384 3221214688 1131291148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34290 13086 16 0 212435 0
vsize: 849804
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 105040 60 0 0 25 0 11 0 721225258 870199296 34348 4294967295 134512640 134569956 3221224384 3221214688 1131290753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34348 13086 16 0 212435 0
vsize: 849804
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 106021 60 0 0 25 0 11 0 721225258 870199296 34399 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 34399 13086 16 0 212435 0
vsize: 849804
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 107001 60 0 0 25 0 11 0 721225258 870199296 34433 4294967295 134512640 134569956 3221224384 3221214688 1131291148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34433 13086 16 0 212435 0
vsize: 849804
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 107980 60 0 0 25 0 11 0 721225258 870199296 34459 4294967295 134512640 134569956 3221224384 3221214688 1131290357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34459 13086 16 0 212435 0
vsize: 849804
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 108962 60 0 0 25 0 11 0 721225258 870199296 34490 4294967295 134512640 134569956 3221224384 3221214688 1131290677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34490 13086 16 0 212435 0
vsize: 849804
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 109945 61 0 0 25 0 11 0 721225258 870199296 34565 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34565 13086 16 0 212435 0
vsize: 849804
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 110928 61 0 0 25 0 11 0 721225258 870199296 34581 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34581 13086 16 0 212435 0
vsize: 849804
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 111908 61 0 0 25 0 11 0 721225258 870199296 34589 4294967295 134512640 134569956 3221224384 3221213988 1131553778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34589 13086 16 0 212435 0
vsize: 849804
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 112889 62 0 0 25 0 11 0 721225258 870199296 34598 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34598 13086 16 0 212435 0
vsize: 849804
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 113863 62 0 0 25 0 11 0 721225258 870199296 34629 4294967295 134512640 134569956 3221224384 3221214688 1131291282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34629 13086 16 0 212435 0
vsize: 849804
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 114839 62 0 0 25 0 11 0 721225258 870199296 34634 4294967295 134512640 134569956 3221224384 3221214688 1131290571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34634 13086 16 0 212435 0
vsize: 849804
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 115818 63 0 0 25 0 11 0 721225258 870199296 34723 4294967295 134512640 134569956 3221224384 3221214688 1131290479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34723 13086 16 0 212435 0
vsize: 849804
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 116798 63 0 0 25 0 11 0 721225258 870199296 34758 4294967295 134512640 134569956 3221224384 3221214680 1131168371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34758 13086 16 0 212435 0
vsize: 849804
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 117776 63 0 0 24 0 11 0 721225258 870199296 34792 4294967295 134512640 134569956 3221224384 3221214688 1131290314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34792 13086 16 0 212435 0
vsize: 849804
[startup+1230.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 118760 63 0 0 25 0 11 0 721225258 870199296 34835 4294967295 134512640 134569956 3221224384 3221214792 1131428709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212451 34835 13086 16 0 212435 0
vsize: 849804
[startup+1240.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 119738 63 0 0 24 0 11 0 721225258 870199296 34862 4294967295 134512640 134569956 3221224384 3221214792 1131428712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 34862 13086 16 0 212435 0
vsize: 849804
[startup+1250.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/65 18541
Raw data (stat): 18525 (java) R 18524 8378 8377 0 -1 0 18136 3 1 0 120719 63 0 0 24 0 11 0 721225258 870199296 34882 4294967295 134512640 134569956 3221224384 3221214792 1131428585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212451 34882 13086 16 0 212435 0
vsize: 849804
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 18543
Raw data (stat): 18525 (java) Z 18524 8378 8377 0 -1 1036 18136 12612 1 0 120724 64 3860 39 25 0 1 0 721225258 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): 1250.16
CPU time (s): 1246.88
CPU user time (s): 1245.85
CPU system time (s): 1.03184
CPU usage (%): 99.7375
Max. virtual memory (Kb): 851560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	180
#### END VERIFIER DATA ####