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/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 29416

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        405540 kB
Buffers:         35908 kB
Cached:         570200 kB
SwapCached:        656 kB
Active:         137664 kB
Inactive:       471084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        405288 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            14824 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:46:30 (client local time) WITH STATUS 143 IN 1257.8 SECONDS
stats: 20813 0 1257.8 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/wulflinc26/normalized-p0548.opb
c reading problem ... done. Time 0.918 ms.
c #vars     535
c #constraints  156
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=               40874 		Current CPU time: 2.53 ms
c CURRENT OPTIMUM=               40599 		Current CPU time: 10.31 ms
c CURRENT OPTIMUM=               24915 		Current CPU time: 11.82 ms
c CURRENT OPTIMUM=               17367 		Current CPU time: 34.47 ms
c CURRENT OPTIMUM=               17327 		Current CPU time: 42.36 ms
c CURRENT OPTIMUM=               16307 		Current CPU time: 144.58 ms
c CURRENT OPTIMUM=               14941 		Current CPU time: 181.20 ms
c CURRENT OPTIMUM=               14911 		Current CPU time: 188.91 ms
c CURRENT OPTIMUM=               14776 		Current CPU time: 357.62 ms
c CURRENT OPTIMUM=               14771 		Current CPU time: 388.13 ms
c CURRENT OPTIMUM=               14670 		Current CPU time: 1016.88 ms
c starts	: 18
c conflicts	: 1230
c decisions	: 14466
c propagations	: 42776
c inspects	: 1216352
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1230
c root simplifications	: 28
s SATISFIABLE
v -x0 -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 -x493 x494 -x496 x497 -x499 x500 -x464 -x465 -x460 x461 -x456 -x457 -x453 x454 -x449 x450 -x445 -x446 -x530 x531 -x435 x436 -x427 x428 -x527 -x528 -x431 x432 -x524 x525 -x521 x522 -x518 x519 -x424 x425 -x420 x421 -x416 x417 -x505 x506 -x502 x503 -x474 x475 -x477 x478 -x480 x481 -x483 x484 -x487 x488 -x490 x491 -x533 -x470 x471 x544 x486 -x540 -x466 x546 x547 -x437 -x438 x511 x536 x537 x538 -x539 x510 x512 x513 x514 x515 -x516 -x426 -x430 x542 x543 x459 x455 x534 x535 x463 -x418 -x419 -x447 x448 x434 x422 x423 x451 x452 -x468 -x472 -x439 -x443 -x441 x526 -x495 x492 x489 -x482 x479 -x520 x523 x508 x509 x529 x504 x532 x498 x476 x507 x501 -x485 
c objectif function=14670
c Total CPU time (ms) : 1239.102
#### 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.99 1/54 1495
Raw data (stat): 1495 (runsolver) R 1494 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837070935 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.0009 s]
Raw data (loadavg): 1.24 1.05 1.02 4/64 1506
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18187 3 1 0 616 41 0 0 25 0 11 0 837070935 882274304 24841 4294967295 134512640 134569956 3221224384 3221214772 1130863127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215399 24841 13086 16 0 215383 0
vsize: 861596
[startup+20.0216 s]
Raw data (loadavg): 1.28 1.06 1.02 2/64 1508
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18207 4 1 0 1525 41 0 0 25 0 11 0 837070935 879915008 25575 4294967295 134512640 134569956 3221224384 3221214536 1131212390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214823 25575 13086 16 0 214807 0
vsize: 859292
[startup+30.0216 s]
Raw data (loadavg): 1.23 1.06 1.02 2/64 1508
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18208 4 1 0 2469 42 0 0 25 0 11 0 837070935 877604864 25868 4294967295 134512640 134569956 3221224384 3221214680 1131553381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 25868 13086 16 0 214243 0
vsize: 857036
[startup+40.022 s]
Raw data (loadavg): 1.20 1.06 1.02 2/64 1509
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 3413 42 0 0 25 0 11 0 837070935 877604864 26032 4294967295 134512640 134569956 3221224384 3221214576 1131181953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26032 13086 16 0 214243 0
vsize: 857036
[startup+50.0227 s]
Raw data (loadavg): 1.17 1.06 1.02 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 4342 42 0 0 25 0 11 0 837070935 877604864 26032 4294967295 134512640 134569956 3221224384 3221214576 1131182006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26032 13086 16 0 214243 0
vsize: 857036
[startup+60.0238 s]
Raw data (loadavg): 1.14 1.05 1.02 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 5262 43 0 0 25 0 11 0 837070935 877604864 26285 4294967295 134512640 134569956 3221224384 3221214576 1131182085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26285 13086 16 0 214243 0
vsize: 857036
[startup+70.024 s]
Raw data (loadavg): 1.12 1.05 1.02 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 6209 43 0 0 19 0 11 0 837070935 877604864 26704 4294967295 134512640 134569956 3221224384 3221214576 1131181945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26704 13086 16 0 214243 0
vsize: 857036
[startup+80.0242 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 7164 44 0 0 25 0 11 0 837070935 877604864 26799 4294967295 134512640 134569956 3221224384 3221214440 1130904223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26799 13086 16 0 214243 0
vsize: 857036
[startup+90.0244 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 8121 44 0 0 25 0 11 0 837070935 877604864 26888 4294967295 134512640 134569956 3221224384 3221214576 1131182432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 26888 13086 16 0 214243 0
vsize: 857036
[startup+100.025 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 9081 44 0 0 25 0 11 0 837070935 877604864 27075 4294967295 134512640 134569956 3221224384 3221214576 1131182013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27075 13086 16 0 214243 0
vsize: 857036
[startup+110.025 s]
Raw data (loadavg): 1.06 1.04 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 10055 44 0 0 25 0 11 0 837070935 877604864 27162 4294967295 134512640 134569956 3221224384 3221214316 1131343218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27162 13086 16 0 214243 0
vsize: 857036
[startup+120.025 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 11026 44 0 0 25 0 11 0 837070935 877604864 27256 4294967295 134512640 134569956 3221224384 3221214576 1131182552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27256 13086 16 0 214243 0
vsize: 857036
[startup+130.026 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 11996 45 0 0 25 0 11 0 837070935 877604864 27352 4294967295 134512640 134569956 3221224384 3221214656 1131311520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27352 13086 16 0 214243 0
vsize: 857036
[startup+140.026 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 1510
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 12966 45 0 0 25 0 11 0 837070935 877604864 27421 4294967295 134512640 134569956 3221224384 3221214680 1131553349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27421 13086 16 0 214243 0
vsize: 857036
[startup+150.027 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 1511
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 13946 46 0 0 25 0 11 0 837070935 877604864 27494 4294967295 134512640 134569956 3221224384 3221214576 1131181982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27494 13086 16 0 214243 0
vsize: 857036
[startup+160.028 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 1511
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 14925 46 0 0 25 0 11 0 837070935 877604864 27568 4294967295 134512640 134569956 3221224384 3221214576 1131182307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27568 13086 16 0 214243 0
vsize: 857036
[startup+170.028 s]
Raw data (loadavg): 1.02 1.03 1.01 2/64 1511
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 15905 46 0 0 25 0 11 0 837070935 877604864 27614 4294967295 134512640 134569956 3221224384 3221214680 1131555417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27614 13086 16 0 214243 0
vsize: 857036
[startup+180.028 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 1511
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 16889 47 0 0 25 0 11 0 837070935 877604864 27643 4294967295 134512640 134569956 3221224384 3221214576 1131183168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27643 13086 16 0 214243 0
vsize: 857036
[startup+190.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 17875 47 0 0 25 0 11 0 837070935 877604864 27685 4294967295 134512640 134569956 3221224384 3221214680 1131553501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27685 13086 16 0 214243 0
vsize: 857036
[startup+200.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 18859 47 0 0 25 0 11 0 837070935 877604864 27717 4294967295 134512640 134569956 3221224384 3221214576 1131182282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27717 13086 16 0 214243 0
vsize: 857036
[startup+210.029 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 19839 48 0 0 25 0 11 0 837070935 877604864 27751 4294967295 134512640 134569956 3221224384 3221214332 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27751 13086 16 0 214243 0
vsize: 857036
[startup+220.03 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 20819 48 0 0 25 0 11 0 837070935 877604864 27761 4294967295 134512640 134569956 3221224384 3221214576 1131181964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27761 13086 16 0 214243 0
vsize: 857036
[startup+230.029 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 21797 49 0 0 25 0 11 0 837070935 877604864 27830 4294967295 134512640 134569956 3221224384 3221214576 1131182126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27830 13086 16 0 214243 0
vsize: 857036
[startup+240.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 22778 50 0 0 25 0 11 0 837070935 877604864 27889 4294967295 134512640 134569956 3221224384 3221214568 1131212378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27889 13086 16 0 214243 0
vsize: 857036
[startup+250.03 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 23762 50 0 0 25 0 11 0 837070935 877604864 27932 4294967295 134512640 134569956 3221224384 3221214120 1131345553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27932 13086 16 0 214243 0
vsize: 857036
[startup+260.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 24743 51 0 0 25 0 11 0 837070935 877604864 27960 4294967295 134512640 134569956 3221224384 3221214576 1131182355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 27960 13086 16 0 214243 0
vsize: 857036
[startup+270.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 25719 51 0 0 25 0 11 0 837070935 877604864 28003 4294967295 134512640 134569956 3221224384 3221214576 1131183114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28003 13086 16 0 214243 0
vsize: 857036
[startup+280.031 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 26697 51 0 0 25 0 11 0 837070935 877604864 28040 4294967295 134512640 134569956 3221224384 3221214640 1131189369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28040 13086 16 0 214243 0
vsize: 857036
[startup+290.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 27670 52 0 0 25 0 11 0 837070935 877604864 28096 4294967295 134512640 134569956 3221224384 3221214576 1131183279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28096 13086 16 0 214243 0
vsize: 857036
[startup+300.032 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 28632 52 0 0 25 0 11 0 837070935 877604864 28148 4294967295 134512640 134569956 3221224384 3221214568 1131212723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28148 13086 16 0 214243 0
vsize: 857036
[startup+310.033 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 29599 52 0 0 25 0 11 0 837070935 877604864 28219 4294967295 134512640 134569956 3221224384 3221214680 1131553381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28219 13086 16 0 214243 0
vsize: 857036
[startup+320.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 30573 53 0 0 25 0 11 0 837070935 877604864 28365 4294967295 134512640 134569956 3221224384 3221214680 1131553349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28365 13086 16 0 214243 0
vsize: 857036
[startup+330.034 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 31553 53 0 0 25 0 11 0 837070935 877604864 28428 4294967295 134512640 134569956 3221224384 3221214576 1131182300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28428 13086 16 0 214243 0
vsize: 857036
[startup+340.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 32532 53 0 0 25 0 11 0 837070935 877604864 28462 4294967295 134512640 134569956 3221224384 3221214680 1131554541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28462 13086 16 0 214243 0
vsize: 857036
[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1513
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 33513 53 0 0 25 0 11 0 837070935 877604864 28477 4294967295 134512640 134569956 3221224384 3221214576 1131181949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28477 13086 16 0 214243 0
vsize: 857036
[startup+360.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1515
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 34496 54 0 0 25 0 11 0 837070935 877604864 28545 4294967295 134512640 134569956 3221224384 3221214576 1131182498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28545 13086 16 0 214243 0
vsize: 857036
[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1515
Raw data (stat): 1495 (java) S 1494 20687 20686 0 -1 0 18209 4 1 0 35481 54 0 0 25 0 11 0 837070935 877604864 28575 4294967295 134512640 134569956 3221224384 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28575 13086 16 0 214243 0
vsize: 857036
[startup+380.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1515
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 36461 54 0 0 25 0 11 0 837070935 877604864 28599 4294967295 134512640 134569956 3221224384 3221214576 1131183163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28599 13086 16 0 214243 0
vsize: 857036
[startup+390.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 37444 55 0 0 25 0 11 0 837070935 877604864 28637 4294967295 134512640 134569956 3221224384 3221214680 1131553349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 28637 13086 16 0 214243 0
vsize: 857036
[startup+400.037 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 38425 55 0 0 24 0 11 0 837070935 877604864 28682 4294967295 134512640 134569956 3221224384 3221214576 1131182655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28682 13086 16 0 214243 0
vsize: 857036
[startup+410.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 39408 55 0 0 25 0 11 0 837070935 877604864 28707 4294967295 134512640 134569956 3221224384 3221214576 1131182169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28707 13086 16 0 214243 0
vsize: 857036
[startup+420.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 40391 55 0 0 25 0 11 0 837070935 877604864 28750 4294967295 134512640 134569956 3221224384 3221214576 1131182421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28750 13086 16 0 214243 0
vsize: 857036
[startup+430.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 41379 55 0 0 25 0 11 0 837070935 877604864 28774 4294967295 134512640 134569956 3221224384 3221214576 1131182552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28774 13086 16 0 214243 0
vsize: 857036
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 42367 55 0 0 25 0 11 0 837070935 877604864 28800 4294967295 134512640 134569956 3221224384 3221214680 1131558186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28800 13086 16 0 214243 0
vsize: 857036
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 43354 55 0 0 25 0 11 0 837070935 877604864 28818 4294967295 134512640 134569956 3221224384 3221214680 1131553381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28818 13086 16 0 214243 0
vsize: 857036
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 44339 55 0 0 25 0 11 0 837070935 877604864 28844 4294967295 134512640 134569956 3221224384 3221214576 1131182594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28844 13086 16 0 214243 0
vsize: 857036
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 45324 56 0 0 25 0 11 0 837070935 877604864 28870 4294967295 134512640 134569956 3221224384 3221214680 1131555227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28870 13086 16 0 214243 0
vsize: 857036
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 46308 56 0 0 25 0 11 0 837070935 877604864 28900 4294967295 134512640 134569956 3221224384 3221214576 1131182544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28900 13086 16 0 214243 0
vsize: 857036
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 47292 56 0 0 25 0 11 0 837070935 877604864 28927 4294967295 134512640 134569956 3221224384 3221214576 1131182103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28927 13086 16 0 214243 0
vsize: 857036
[startup+500.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 48277 56 0 0 25 0 11 0 837070935 877604864 28970 4294967295 134512640 134569956 3221224384 3221214680 1131557992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 28970 13086 16 0 214243 0
vsize: 857036
[startup+510.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 49262 56 0 0 25 0 11 0 837070935 877604864 29003 4294967295 134512640 134569956 3221224384 3221214680 1131553381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29003 13086 16 0 214243 0
vsize: 857036
[startup+520.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 50244 56 0 0 25 0 11 0 837070935 877604864 29026 4294967295 134512640 134569956 3221224384 3221214576 1131182039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29026 13086 16 0 214243 0
vsize: 857036
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 51224 56 0 0 25 0 11 0 837070935 877604864 29044 4294967295 134512640 134569956 3221224384 3221214568 1131212547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29044 13086 16 0 214243 0
vsize: 857036
[startup+540.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 52203 56 0 0 25 0 11 0 837070935 877604864 29081 4294967295 134512640 134569956 3221224384 3221214576 1131182598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29081 13086 16 0 214243 0
vsize: 857036
[startup+550.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 53176 56 0 0 25 0 11 0 837070935 877604864 29156 4294967295 134512640 134569956 3221224384 3221214576 1131182772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29156 13086 16 0 214243 0
vsize: 857036
[startup+560.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 54156 56 0 0 25 0 11 0 837070935 877604864 29211 4294967295 134512640 134569956 3221224384 3221214804 1131351049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29211 13086 16 0 214243 0
vsize: 857036
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 55141 56 0 0 25 0 11 0 837070935 877604864 29287 4294967295 134512640 134569956 3221224384 3221214464 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29287 13086 16 0 214243 0
vsize: 857036
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 56133 56 0 0 25 0 11 0 837070935 877604864 29304 4294967295 134512640 134569956 3221224384 3221214320 1131373229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29304 13086 16 0 214243 0
vsize: 857036
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 57117 56 0 0 25 0 11 0 837070935 877604864 29325 4294967295 134512640 134569956 3221224384 3221214576 1131182372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29325 13086 16 0 214243 0
vsize: 857036
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 58103 56 0 0 25 0 11 0 837070935 877604864 29350 4294967295 134512640 134569956 3221224384 3221214600 1131182826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29350 13086 16 0 214243 0
vsize: 857036
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 59086 56 0 0 25 0 11 0 837070935 877604864 29389 4294967295 134512640 134569956 3221224384 3221214576 1131182059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29389 13086 16 0 214243 0
vsize: 857036
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 60070 56 0 0 25 0 11 0 837070935 877604864 29421 4294967295 134512640 134569956 3221224384 3221214268 1131345496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29421 13086 16 0 214243 0
vsize: 857036
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 61052 56 0 0 25 0 11 0 837070935 877604864 29454 4294967295 134512640 134569956 3221224384 3221214576 1131182586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29454 13086 16 0 214243 0
vsize: 857036
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 62032 56 0 0 25 0 11 0 837070935 877604864 29486 4294967295 134512640 134569956 3221224384 3221214568 1131474377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29486 13086 16 0 214243 0
vsize: 857036
[startup+650.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 63011 57 0 0 25 0 11 0 837070935 877604864 29523 4294967295 134512640 134569956 3221224384 3221214636 1131181932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29523 13086 16 0 214243 0
vsize: 857036
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 63983 57 0 0 25 0 11 0 837070935 877604864 29597 4294967295 134512640 134569956 3221224384 3221214640 1131558172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29597 13086 16 0 214243 0
vsize: 857036
[startup+670.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) S 1494 20687 20686 0 -1 0 18209 4 1 0 64962 57 0 0 25 0 11 0 837070935 877604864 29657 4294967295 134512640 134569956 3221224384 3221213136 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29657 13086 16 0 214243 0
vsize: 857036
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 65944 57 0 0 25 0 11 0 837070935 877604864 29733 4294967295 134512640 134569956 3221224384 3221214784 1131236701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29733 13086 16 0 214243 0
vsize: 857036
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 66926 57 0 0 25 0 11 0 837070935 877604864 29753 4294967295 134512640 134569956 3221224384 3221214160 1131270501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29753 13086 16 0 214243 0
vsize: 857036
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 67903 57 0 0 25 0 11 0 837070935 877604864 29768 4294967295 134512640 134569956 3221224384 3221214636 1131181932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29768 13086 16 0 214243 0
vsize: 857036
[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 68881 57 0 0 25 0 11 0 837070935 877604864 29799 4294967295 134512640 134569956 3221224384 3221214536 1131182059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29799 13086 16 0 214243 0
vsize: 857036
[startup+720.055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 69856 58 0 0 25 0 11 0 837070935 877604864 29850 4294967295 134512640 134569956 3221224384 3221214536 1131182838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29850 13086 16 0 214243 0
vsize: 857036
[startup+730.055 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 70836 58 0 0 25 0 11 0 837070935 877604864 29930 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29930 13086 16 0 214243 0
vsize: 857036
[startup+740.056 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 71818 58 0 0 24 0 11 0 837070935 877604864 29963 4294967295 134512640 134569956 3221224384 3221214288 1131345528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29963 13086 16 0 214243 0
vsize: 857036
[startup+750.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 72801 58 0 0 25 0 11 0 837070935 877604864 29993 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 29993 13086 16 0 214243 0
vsize: 857036
[startup+760.057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 73784 58 0 0 25 0 11 0 837070935 877604864 30029 4294967295 134512640 134569956 3221224384 3221214640 1131553308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30029 13086 16 0 214243 0
vsize: 857036
[startup+770.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 74764 59 0 0 25 0 11 0 837070935 877604864 30070 4294967295 134512640 134569956 3221224384 3221214628 1131212172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30070 13086 16 0 214243 0
vsize: 857036
[startup+780.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 75750 59 0 0 25 0 11 0 837070935 877604864 30093 4294967295 134512640 134569956 3221224384 3221214552 1131376184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30093 13086 16 0 214243 0
vsize: 857036
[startup+790.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 76730 59 0 0 25 0 11 0 837070935 877604864 30137 4294967295 134512640 134569956 3221224384 3221214736 1131224201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30137 13086 16 0 214243 0
vsize: 857036
[startup+800.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 77707 59 0 0 25 0 11 0 837070935 877604864 30179 4294967295 134512640 134569956 3221224384 3221214536 1131182352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30179 13086 16 0 214243 0
vsize: 857036
[startup+810.058 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 78684 59 0 0 25 0 11 0 837070935 877604864 30228 4294967295 134512640 134569956 3221224384 3221214544 1131212390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30228 13086 16 0 214243 0
vsize: 857036
[startup+820.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) S 1494 20687 20686 0 -1 0 18209 4 1 0 79662 59 0 0 25 0 11 0 837070935 877604864 30270 4294967295 134512640 134569956 3221224384 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30270 13086 16 0 214243 0
vsize: 857036
[startup+830.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 80642 59 0 0 25 0 11 0 837070935 877604864 30329 4294967295 134512640 134569956 3221224384 3221214176 1131346258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30329 13086 16 0 214243 0
vsize: 857036
[startup+840.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 81622 59 0 0 25 0 11 0 837070935 877604864 30387 4294967295 134512640 134569956 3221224384 3221214640 1131554474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30387 13086 16 0 214243 0
vsize: 857036
[startup+850.063 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 82602 60 0 0 24 0 11 0 837070935 877604864 30416 4294967295 134512640 134569956 3221224384 3221214536 1131182372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30416 13086 16 0 214243 0
vsize: 857036
[startup+860.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 83583 60 0 0 25 0 11 0 837070935 877604864 30455 4294967295 134512640 134569956 3221224384 3221214640 1131555338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30455 13086 16 0 214243 0
vsize: 857036
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 84564 60 0 0 25 0 11 0 837070935 877604864 30508 4294967295 134512640 134569956 3221224384 3221214536 1131182059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30508 13086 16 0 214243 0
vsize: 857036
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 85545 60 0 0 25 0 11 0 837070935 877604864 30545 4294967295 134512640 134569956 3221224384 3221214640 1131554413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30545 13086 16 0 214243 0
vsize: 857036
[startup+890.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 86525 60 0 0 25 0 11 0 837070935 877604864 30582 4294967295 134512640 134569956 3221224384 3221214536 1131181949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30582 13086 16 0 214243 0
vsize: 857036
[startup+900.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 87501 60 0 0 25 0 11 0 837070935 877604864 30620 4294967295 134512640 134569956 3221224384 3221214536 1131182326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 30620 13086 16 0 214243 0
vsize: 857036
[startup+910.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 88470 60 0 0 24 0 11 0 837070935 877604864 30681 4294967295 134512640 134569956 3221224384 3221214536 1131181982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30681 13086 16 0 214243 0
vsize: 857036
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 89442 60 0 0 25 0 11 0 837070935 877604864 30719 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30719 13086 16 0 214243 0
vsize: 857036
[startup+930.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 90414 60 0 0 25 0 11 0 837070935 877604864 30842 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30842 13086 16 0 214243 0
vsize: 857036
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 91387 60 0 0 25 0 11 0 837070935 877604864 30904 4294967295 134512640 134569956 3221224384 3221214536 1131181957 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30904 13086 16 0 214243 0
vsize: 857036
[startup+950.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 92366 60 0 0 25 0 11 0 837070935 877604864 30967 4294967295 134512640 134569956 3221224384 3221214640 1131558020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 30967 13086 16 0 214243 0
vsize: 857036
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 93346 60 0 0 25 0 11 0 837070935 877604864 31012 4294967295 134512640 134569956 3221224384 3221214640 1131554545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31012 13086 16 0 214243 0
vsize: 857036
[startup+970.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) S 1494 20687 20686 0 -1 0 18209 4 1 0 94325 60 0 0 25 0 11 0 837070935 877604864 31024 4294967295 134512640 134569956 3221224384 3221213240 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31024 13086 16 0 214243 0
vsize: 857036
[startup+980.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 95304 60 0 0 25 0 11 0 837070935 877604864 31043 4294967295 134512640 134569956 3221224384 3221214536 1131182427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31043 13086 16 0 214243 0
vsize: 857036
[startup+990.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 96287 61 0 0 25 0 11 0 837070935 877604864 31102 4294967295 134512640 134569956 3221224384 3221214536 1131182324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31102 13086 16 0 214243 0
vsize: 857036
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 97272 61 0 0 25 0 11 0 837070935 877604864 31121 4294967295 134512640 134569956 3221224384 3221214536 1131182856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31121 13086 16 0 214243 0
vsize: 857036
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1516
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 98257 61 0 0 25 0 11 0 837070935 877604864 31131 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31131 13086 16 0 214243 0
vsize: 857036
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 99244 61 0 0 24 0 11 0 837070935 877604864 31148 4294967295 134512640 134569956 3221224384 3221214536 1131181961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31148 13086 16 0 214243 0
vsize: 857036
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 100228 61 0 0 25 0 11 0 837070935 877604864 31156 4294967295 134512640 134569956 3221224384 3221214536 1131182598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214259 31156 13086 16 0 214243 0
vsize: 857036
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 101210 61 0 0 24 0 11 0 837070935 877604864 31176 4294967295 134512640 134569956 3221224384 3221214536 1131181957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31176 13086 16 0 214243 0
vsize: 857036
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 102193 62 0 0 25 0 11 0 837070935 877604864 31191 4294967295 134512640 134569956 3221224384 3221214640 1131555399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31191 13086 16 0 214243 0
vsize: 857036
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 103178 62 0 0 25 0 11 0 837070935 877604864 31205 4294967295 134512640 134569956 3221224384 3221214536 1131182169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31205 13086 16 0 214243 0
vsize: 857036
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 104161 63 0 0 25 0 11 0 837070935 877604864 31217 4294967295 134512640 134569956 3221224384 3221214824 1131444361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31217 13086 16 0 214243 0
vsize: 857036
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 105145 63 0 0 25 0 11 0 837070935 877604864 31224 4294967295 134512640 134569956 3221224384 3221214536 1131183163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31224 13086 16 0 214243 0
vsize: 857036
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 106128 63 0 0 25 0 11 0 837070935 877604864 31247 4294967295 134512640 134569956 3221224384 3221214640 1131553342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31247 13086 16 0 214243 0
vsize: 857036
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 107112 63 0 0 25 0 11 0 837070935 877604864 31270 4294967295 134512640 134569956 3221224384 3221214640 1131554566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31270 13086 16 0 214243 0
vsize: 857036
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 108096 64 0 0 25 0 11 0 837070935 877604864 31299 4294967295 134512640 134569956 3221224384 3221214648 1131258755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31299 13086 16 0 214243 0
vsize: 857036
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 109080 64 0 0 25 0 11 0 837070935 877604864 31320 4294967295 134512640 134569956 3221224384 3221214640 1131555390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31320 13086 16 0 214243 0
vsize: 857036
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 110063 65 0 0 25 0 11 0 837070935 877604864 31353 4294967295 134512640 134569956 3221224384 3221214536 1131182544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31353 13086 16 0 214243 0
vsize: 857036
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 111049 65 0 0 25 0 11 0 837070935 877604864 31385 4294967295 134512640 134569956 3221224384 3221214536 1131181953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31385 13086 16 0 214243 0
vsize: 857036
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 112037 65 0 0 25 0 11 0 837070935 877604864 31399 4294967295 134512640 134569956 3221224384 3221214640 1131554537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31399 13086 16 0 214243 0
vsize: 857036
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 113022 65 0 0 25 0 11 0 837070935 877604864 31410 4294967295 134512640 134569956 3221224384 3221214536 1131182043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31410 13086 16 0 214243 0
vsize: 857036
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 114003 66 0 0 24 0 11 0 837070935 877604864 31445 4294967295 134512640 134569956 3221224384 3221214536 1131182516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31445 13086 16 0 214243 0
vsize: 857036
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 114987 66 0 0 25 0 11 0 837070935 877604864 31471 4294967295 134512640 134569956 3221224384 3221214640 1131553349 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31471 13086 16 0 214243 0
vsize: 857036
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 115970 67 0 0 25 0 11 0 837070935 877604864 31504 4294967295 134512640 134569956 3221224384 3221214536 1131182372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31504 13086 16 0 214243 0
vsize: 857036
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 116953 67 0 0 25 0 11 0 837070935 877604864 31525 4294967295 134512640 134569956 3221224384 3221214736 1131224366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31525 13086 16 0 214243 0
vsize: 857036
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 117939 67 0 0 25 0 11 0 837070935 877604864 31559 4294967295 134512640 134569956 3221224384 3221214536 1131182355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31559 13086 16 0 214243 0
vsize: 857036
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 118923 67 0 0 25 0 11 0 837070935 877604864 31579 4294967295 134512640 134569956 3221224384 3221214536 1131183137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31579 13086 16 0 214243 0
vsize: 857036
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 119905 68 0 0 25 0 11 0 837070935 877604864 31606 4294967295 134512640 134569956 3221224384 3221214536 1131182300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31606 13086 16 0 214243 0
vsize: 857036
[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1517
Raw data (stat): 1495 (java) R 1494 20687 20686 0 -1 0 18209 4 1 0 120889 68 0 0 24 0 11 0 837070935 877604864 31637 4294967295 134512640 134569956 3221224384 3221214536 1131182548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214259 31637 13086 16 0 214243 0
vsize: 857036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1519
Raw data (stat): 1495 (java) Z 1494 20687 20686 0 -1 1036 18209 27052 1 0 120894 74 4729 80 25 0 1 0 837070935 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.21
CPU time (s): 1257.8
CPU user time (s): 1256.24
CPU system time (s): 1.55676
CPU usage (%): 101.418
Max. virtual memory (Kb): 861596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14670
#### END VERIFIER DATA ####