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-ii32b1.opb
MD5SUM	c4653389ddee2820797c664a0856c651
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	456
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	456
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	456
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.02784
Number of variables	456
Total number of constraints	1602
Number of constraints which are clauses	1602
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 29154

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 05:14:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20557 boxname=wulflinc26 idbench=147 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  c4653389ddee2820797c664a0856c651  /oldhome/oroussel/tmp/wulflinc26/normalized-ii32b1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc26/normalized-ii32b1.opb
IDLAUNCH: 20557
/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:        413844 kB
Buffers:         34696 kB
Cached:         562912 kB
SwapCached:        656 kB
Active:         134152 kB
Inactive:       466096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        413592 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            14896 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:34:57 (client local time) WITH STATUS 143 IN 1236.28 SECONDS
stats: 20557 0 1236.28 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-ii32b1.opb
c reading problem ... done. Time 2.284 ms.
c #vars     456
c #constraints  1602
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 225 		Current CPU time: 3.41 ms
c CURRENT OPTIMUM=                 222 		Current CPU time: 8.88 ms
c CURRENT OPTIMUM=                 221 		Current CPU time: 9.32 ms
c CURRENT OPTIMUM=                 220 		Current CPU time: 9.57 ms
c CURRENT OPTIMUM=                 199 		Current CPU time: 10.43 ms
c CURRENT OPTIMUM=                 198 		Current CPU time: 14.79 ms
c CURRENT OPTIMUM=                 197 		Current CPU time: 23.56 ms
c CURRENT OPTIMUM=                 196 		Current CPU time: 245.49 ms
c CURRENT OPTIMUM=                 195 		Current CPU time: 375.22 ms
c CURRENT OPTIMUM=                 194 		Current CPU time: 877.39 ms
c CURRENT OPTIMUM=                 193 		Current CPU time: 1054.51 ms
c starts	: 21
c conflicts	: 1837
c decisions	: 9814
c propagations	: 106179
c inspects	: 3856684
c learned literals	: 0
c learned binary clauses	: 9
c learned ternary clauses	: 11
c learned clauses	: 1837
c root simplifications	: 21
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 -x451 x452 -x453 x454 x455 -x456 
c objectif function=193
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.93 2/54 32639
Raw data (stat): 32639 (runsolver) R 32638 20687 20686 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 836281569 1052672 98 4294967295 134512640 135381576 3221224416 3221219644 134979554 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 98 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.23 1.05 0.95 3/64 32651
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18130 3 1 0 600 38 0 0 25 0 11 0 836281569 875122688 23780 4294967295 134512640 134569956 3221224384 3221214560 1131199265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213653 23780 13086 16 0 213637 0
vsize: 854612
[startup+20.0017 s]
Raw data (loadavg): 1.20 1.05 0.95 2/64 32655
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 1522 38 0 0 25 0 11 0 836281569 872800256 24417 4294967295 134512640 134569956 3221224384 3221214584 1131199226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213086 24417 13086 16 0 213070 0
vsize: 852344
[startup+30.002 s]
Raw data (loadavg): 1.17 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 2452 39 0 0 25 0 11 0 836281569 868446208 24009 4294967295 134512640 134569956 3221224384 3221214632 1131177389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212023 24009 13086 16 0 212007 0
vsize: 848092
[startup+40.0031 s]
Raw data (loadavg): 1.14 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 3408 39 0 0 25 0 11 0 836281569 868446208 24010 4294967295 134512640 134569956 3221224384 3221214672 1131284389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24010 13086 16 0 212007 0
vsize: 848092
[startup+50.0038 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 4347 39 0 0 25 0 11 0 836281569 868446208 24015 4294967295 134512640 134569956 3221224384 3221214560 1131258994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212023 24015 13086 16 0 212007 0
vsize: 848092
[startup+60.004 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 5287 39 0 0 25 0 11 0 836281569 868446208 24091 4294967295 134512640 134569956 3221224384 3221214776 1131543638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24091 13086 16 0 212007 0
vsize: 848092
[startup+70.0052 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 6245 39 0 0 25 0 11 0 836281569 868446208 24487 4294967295 134512640 134569956 3221224384 3221214664 1131172024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24487 13086 16 0 212007 0
vsize: 848092
[startup+80.0058 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 7214 39 0 0 25 0 11 0 836281569 868446208 24668 4294967295 134512640 134569956 3221224384 3221214704 1131259488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24668 13086 16 0 212007 0
vsize: 848092
[startup+90.006 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 8185 39 0 0 25 0 11 0 836281569 868446208 24720 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24720 13086 16 0 212007 0
vsize: 848092
[startup+100.006 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 9150 39 0 0 25 0 11 0 836281569 868446208 24795 4294967295 134512640 134569956 3221224384 3221214672 1131284802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24795 13086 16 0 212007 0
vsize: 848092
[startup+110.007 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 10110 39 0 0 25 0 11 0 836281569 868446208 24836 4294967295 134512640 134569956 3221224384 3221214760 1131177479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24836 13086 16 0 212007 0
vsize: 848092
[startup+120.007 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 11065 39 0 0 25 0 11 0 836281569 868446208 24901 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 24901 13086 16 0 212007 0
vsize: 848092
[startup+130.008 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 12017 40 0 0 25 0 11 0 836281569 868446208 25007 4294967295 134512640 134569956 3221224384 3221214672 1131284593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25007 13086 16 0 212007 0
vsize: 848092
[startup+140.008 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 12972 40 0 0 25 0 11 0 836281569 868446208 25158 4294967295 134512640 134569956 3221224384 3221214672 1131285043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25158 13086 16 0 212007 0
vsize: 848092
[startup+150.008 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18132 3 1 0 13924 40 0 0 25 0 11 0 836281569 868446208 25355 4294967295 134512640 134569956 3221224384 3221214672 1131284473 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25355 13086 16 0 212007 0
vsize: 848092
[startup+160.009 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 14861 40 0 0 25 0 11 0 836281569 868446208 25659 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25659 13086 16 0 212007 0
vsize: 848092
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) S 32638 20687 20686 0 -1 0 18133 3 1 0 15802 40 0 0 25 0 11 0 836281569 868446208 25718 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25718 13086 16 0 212007 0
vsize: 848092
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 16740 40 0 0 25 0 11 0 836281569 868446208 25856 4294967295 134512640 134569956 3221224384 3221214584 1131199232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25856 13086 16 0 212007 0
vsize: 848092
[startup+190.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 17684 40 0 0 25 0 11 0 836281569 868446208 25953 4294967295 134512640 134569956 3221224384 3221214776 1131543653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25953 13086 16 0 212007 0
vsize: 848092
[startup+200.014 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 18640 40 0 0 25 0 11 0 836281569 868446208 25976 4294967295 134512640 134569956 3221224384 3221214672 1131284381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 25976 13086 16 0 212007 0
vsize: 848092
[startup+210.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 19616 40 0 0 25 0 11 0 836281569 868446208 26571 4294967295 134512640 134569956 3221224384 3221214776 1131544167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26571 13086 16 0 212007 0
vsize: 848092
[startup+220.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 20601 40 0 0 25 0 11 0 836281569 868446208 26582 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26582 13086 16 0 212007 0
vsize: 848092
[startup+230.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 21576 40 0 0 25 0 11 0 836281569 868446208 26617 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26617 13086 16 0 212007 0
vsize: 848092
[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 32656
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 22550 41 0 0 25 0 11 0 836281569 868446208 26636 4294967295 134512640 134569956 3221224384 3221214776 1131544114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26636 13086 16 0 212007 0
vsize: 848092
[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 23516 41 0 0 25 0 11 0 836281569 868446208 26653 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26653 13086 16 0 212007 0
vsize: 848092
[startup+260.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 24471 41 0 0 24 0 11 0 836281569 868446208 26693 4294967295 134512640 134569956 3221224384 3221214776 1131543787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26693 13086 16 0 212007 0
vsize: 848092
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 25443 41 0 0 25 0 11 0 836281569 868446208 26860 4294967295 134512640 134569956 3221224384 3221214672 1131284593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26860 13086 16 0 212007 0
vsize: 848092
[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 26413 41 0 0 25 0 11 0 836281569 868446208 26907 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 26907 13086 16 0 212007 0
vsize: 848092
[startup+290.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 27387 41 0 0 25 0 11 0 836281569 868446208 27042 4294967295 134512640 134569956 3221224384 3221214720 1131288791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27042 13086 16 0 212007 0
vsize: 848092
[startup+300.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 28362 41 0 0 25 0 11 0 836281569 868446208 27055 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27055 13086 16 0 212007 0
vsize: 848092
[startup+310.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 29334 41 0 0 25 0 11 0 836281569 868446208 27117 4294967295 134512640 134569956 3221224384 3221214776 1131543653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27117 13086 16 0 212007 0
vsize: 848092
[startup+320.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 30307 41 0 0 25 0 11 0 836281569 868446208 27166 4294967295 134512640 134569956 3221224384 3221214608 1131192444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27166 13086 16 0 212007 0
vsize: 848092
[startup+330.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 31273 41 0 0 25 0 11 0 836281569 868446208 27282 4294967295 134512640 134569956 3221224384 3221214644 1131177376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27282 13086 16 0 212007 0
vsize: 848092
[startup+340.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 32242 41 0 0 25 0 11 0 836281569 868446208 27372 4294967295 134512640 134569956 3221224384 3221214576 1131259006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27372 13086 16 0 212007 0
vsize: 848092
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 33214 42 0 0 25 0 11 0 836281569 868446208 27457 4294967295 134512640 134569956 3221224384 3221214664 1131171949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27457 13086 16 0 212007 0
vsize: 848092
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 34187 42 0 0 25 0 11 0 836281569 868446208 27535 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27535 13086 16 0 212007 0
vsize: 848092
[startup+370.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32657
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 35163 42 0 0 25 0 11 0 836281569 868446208 27597 4294967295 134512640 134569956 3221224384 3221214672 1131284418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27597 13086 16 0 212007 0
vsize: 848092
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 36140 42 0 0 25 0 11 0 836281569 868446208 27688 4294967295 134512640 134569956 3221224384 3221214776 1131544066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27688 13086 16 0 212007 0
vsize: 848092
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 37123 42 0 0 25 0 11 0 836281569 868446208 27756 4294967295 134512640 134569956 3221224384 3221214776 1131543501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27756 13086 16 0 212007 0
vsize: 848092
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 38111 42 0 0 25 0 11 0 836281569 868446208 27818 4294967295 134512640 134569956 3221224384 3221214776 1131543638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27818 13086 16 0 212007 0
vsize: 848092
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 39094 42 0 0 25 0 11 0 836281569 868446208 27827 4294967295 134512640 134569956 3221224384 3221214672 1131284385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27827 13086 16 0 212007 0
vsize: 848092
[startup+420.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 40072 42 0 0 25 0 11 0 836281569 868446208 27836 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27836 13086 16 0 212007 0
vsize: 848092
[startup+430.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 41048 43 0 0 24 0 11 0 836281569 868446208 27862 4294967295 134512640 134569956 3221224384 3221214664 1131171949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27862 13086 16 0 212007 0
vsize: 848092
[startup+440.025 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 42024 43 0 0 25 0 11 0 836281569 868446208 27880 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27880 13086 16 0 212007 0
vsize: 848092
[startup+450.025 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 42999 43 0 0 25 0 11 0 836281569 868446208 27895 4294967295 134512640 134569956 3221224384 3221214672 1131284381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 27895 13086 16 0 212007 0
vsize: 848092
[startup+460.026 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 43984 43 0 0 25 0 11 0 836281569 868446208 28073 4294967295 134512640 134569956 3221224384 3221214664 1131171975 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28073 13086 16 0 212007 0
vsize: 848092
[startup+470.026 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 44969 43 0 0 25 0 11 0 836281569 868446208 28078 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28078 13086 16 0 212007 0
vsize: 848092
[startup+480.026 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 45955 43 0 0 25 0 11 0 836281569 868446208 28090 4294967295 134512640 134569956 3221224384 3221214776 1131543914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28090 13086 16 0 212007 0
vsize: 848092
[startup+490.027 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 46935 43 0 0 25 0 11 0 836281569 868446208 28103 4294967295 134512640 134569956 3221224384 3221214664 1131172062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28103 13086 16 0 212007 0
vsize: 848092
[startup+500.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 47914 43 0 0 25 0 11 0 836281569 868446208 28135 4294967295 134512640 134569956 3221224384 3221214776 1131544080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28135 13086 16 0 212007 0
vsize: 848092
[startup+510.028 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 48892 43 0 0 25 0 11 0 836281569 868446208 28169 4294967295 134512640 134569956 3221224384 3221214576 1131258853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28169 13086 16 0 212007 0
vsize: 848092
[startup+520.029 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 49870 43 0 0 25 0 11 0 836281569 868446208 28197 4294967295 134512640 134569956 3221224384 3221214720 1131288791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28197 13086 16 0 212007 0
vsize: 848092
[startup+530.028 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 50844 43 0 0 25 0 11 0 836281569 868446208 28258 4294967295 134512640 134569956 3221224384 3221214672 1131284771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28258 13086 16 0 212007 0
vsize: 848092
[startup+540.029 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 51813 44 0 0 25 0 11 0 836281569 868446208 28294 4294967295 134512640 134569956 3221224384 3221214668 1131199200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28294 13086 16 0 212007 0
vsize: 848092
[startup+550.03 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 52784 44 0 0 25 0 11 0 836281569 868446208 28328 4294967295 134512640 134569956 3221224384 3221214776 1131543634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28328 13086 16 0 212007 0
vsize: 848092
[startup+560.03 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 53753 44 0 0 25 0 11 0 836281569 868446208 28418 4294967295 134512640 134569956 3221224384 3221214648 1131208024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28418 13086 16 0 212007 0
vsize: 848092
[startup+570.031 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 54723 44 0 0 25 0 11 0 836281569 868446208 28488 4294967295 134512640 134569956 3221224384 3221214672 1131278518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28488 13086 16 0 212007 0
vsize: 848092
[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 55693 44 0 0 25 0 11 0 836281569 868446208 28573 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28573 13086 16 0 212007 0
vsize: 848092
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 56663 44 0 0 25 0 11 0 836281569 868446208 28657 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28657 13086 16 0 212007 0
vsize: 848092
[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 57629 44 0 0 25 0 11 0 836281569 868446208 28738 4294967295 134512640 134569956 3221224384 3221214776 1131543513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28738 13086 16 0 212007 0
vsize: 848092
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 58597 44 0 0 24 0 11 0 836281569 868446208 28821 4294967295 134512640 134569956 3221224384 3221214672 1131284539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28821 13086 16 0 212007 0
vsize: 848092
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 59573 44 0 0 25 0 11 0 836281569 868446208 28882 4294967295 134512640 134569956 3221224384 3221214672 1131285085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28882 13086 16 0 212007 0
vsize: 848092
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 60543 44 0 0 25 0 11 0 836281569 868446208 28965 4294967295 134512640 134569956 3221224384 3221214480 1131643086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 28965 13086 16 0 212007 0
vsize: 848092
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 61529 44 0 0 25 0 11 0 836281569 868446208 29063 4294967295 134512640 134569956 3221224384 3221214776 1131543732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29063 13086 16 0 212007 0
vsize: 848092
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 62512 45 0 0 25 0 11 0 836281569 868446208 29077 4294967295 134512640 134569956 3221224384 3221214664 1131171949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29077 13086 16 0 212007 0
vsize: 848092
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 63492 45 0 0 25 0 11 0 836281569 868446208 29172 4294967295 134512640 134569956 3221224384 3221214672 1131285360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29172 13086 16 0 212007 0
vsize: 848092
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 64478 45 0 0 25 0 11 0 836281569 868446208 29217 4294967295 134512640 134569956 3221224384 3221214480 1131642401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29217 13086 16 0 212007 0
vsize: 848092
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 65459 45 0 0 24 0 11 0 836281569 868446208 29225 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29225 13086 16 0 212007 0
vsize: 848092
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 66445 45 0 0 25 0 11 0 836281569 868446208 29236 4294967295 134512640 134569956 3221224384 3221214616 1131250435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29236 13086 16 0 212007 0
vsize: 848092
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 67425 45 0 0 25 0 11 0 836281569 868446208 29241 4294967295 134512640 134569956 3221224384 3221214672 1131285102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29241 13086 16 0 212007 0
vsize: 848092
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 68396 45 0 0 25 0 11 0 836281569 868446208 29254 4294967295 134512640 134569956 3221224384 3221214672 1131285252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29254 13086 16 0 212007 0
vsize: 848092
[startup+720.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 69354 45 0 0 25 0 11 0 836281569 868446208 29286 4294967295 134512640 134569956 3221224384 3221214776 1131543653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29286 13086 16 0 212007 0
vsize: 848092
[startup+730.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 70313 45 0 0 25 0 11 0 836281569 868446208 29362 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29362 13086 16 0 212007 0
vsize: 848092
[startup+740.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 71276 45 0 0 25 0 11 0 836281569 868446208 29486 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29486 13086 16 0 212007 0
vsize: 848092
[startup+750.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 72250 45 0 0 25 0 11 0 836281569 868446208 29689 4294967295 134512640 134569956 3221224384 3221214672 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29689 13086 16 0 212007 0
vsize: 848092
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 73232 45 0 0 25 0 11 0 836281569 868446208 29753 4294967295 134512640 134569956 3221224384 3221214672 1131284823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29753 13086 16 0 212007 0
vsize: 848092
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 74214 45 0 0 24 0 11 0 836281569 868446208 29773 4294967295 134512640 134569956 3221224384 3221214776 1131543997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29773 13086 16 0 212007 0
vsize: 848092
[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 75200 45 0 0 25 0 11 0 836281569 868446208 29823 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29823 13086 16 0 212007 0
vsize: 848092
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 76187 45 0 0 25 0 11 0 836281569 868446208 29849 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29849 13086 16 0 212007 0
vsize: 848092
[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 77172 45 0 0 25 0 11 0 836281569 868446208 29865 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29865 13086 16 0 212007 0
vsize: 848092
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 78164 45 0 0 25 0 11 0 836281569 868446208 29866 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29866 13086 16 0 212007 0
vsize: 848092
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 79147 45 0 0 25 0 11 0 836281569 868446208 29876 4294967295 134512640 134569956 3221224384 3221214672 1131284900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29876 13086 16 0 212007 0
vsize: 848092
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 80128 46 0 0 25 0 11 0 836281569 868446208 29894 4294967295 134512640 134569956 3221224384 3221214776 1131544233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29894 13086 16 0 212007 0
vsize: 848092
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 81115 46 0 0 25 0 11 0 836281569 868446208 29940 4294967295 134512640 134569956 3221224384 3221214672 1131284719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29940 13086 16 0 212007 0
vsize: 848092
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 82101 46 0 0 25 0 11 0 836281569 868446208 29948 4294967295 134512640 134569956 3221224384 3221214672 1131284738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29948 13086 16 0 212007 0
vsize: 848092
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 83085 46 0 0 25 0 11 0 836281569 868446208 29980 4294967295 134512640 134569956 3221224384 3221214672 1131284900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29980 13086 16 0 212007 0
vsize: 848092
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32658
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 84063 46 0 0 25 0 11 0 836281569 868446208 29988 4294967295 134512640 134569956 3221224384 3221214616 1131250521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 29988 13086 16 0 212007 0
vsize: 848092
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 85038 46 0 0 25 0 11 0 836281569 868446208 29996 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212023 29996 13086 16 0 212007 0
vsize: 848092
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 85989 46 0 0 25 0 11 0 836281569 868446208 30007 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30007 13086 16 0 212007 0
vsize: 848092
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 86946 46 0 0 25 0 11 0 836281569 868446208 30008 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30008 13086 16 0 212007 0
vsize: 848092
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 87902 46 0 0 25 0 11 0 836281569 868446208 30010 4294967295 134512640 134569956 3221224384 3221214664 1131171949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30010 13086 16 0 212007 0
vsize: 848092
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 88848 46 0 0 25 0 11 0 836281569 868446208 30185 4294967295 134512640 134569956 3221224384 3221214672 1131284738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30185 13086 16 0 212007 0
vsize: 848092
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 89804 46 0 0 25 0 11 0 836281569 868446208 30462 4294967295 134512640 134569956 3221224384 3221214776 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30462 13086 16 0 212007 0
vsize: 848092
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 90772 47 0 0 25 0 11 0 836281569 868446208 30541 4294967295 134512640 134569956 3221224384 3221214664 1131172052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30541 13086 16 0 212007 0
vsize: 848092
[startup+950.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 91748 47 0 0 25 0 11 0 836281569 868446208 30733 4294967295 134512640 134569956 3221224384 3221214776 1131543907 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30733 13086 16 0 212007 0
vsize: 848092
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 92730 47 0 0 25 0 11 0 836281569 868446208 30758 4294967295 134512640 134569956 3221224384 3221214672 1131284595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30758 13086 16 0 212007 0
vsize: 848092
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 93711 47 0 0 25 0 11 0 836281569 868446208 30781 4294967295 134512640 134569956 3221224384 3221214664 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30781 13086 16 0 212007 0
vsize: 848092
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 94694 47 0 0 25 0 11 0 836281569 868446208 30847 4294967295 134512640 134569956 3221224384 3221214584 1131199221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30847 13086 16 0 212007 0
vsize: 848092
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 95679 47 0 0 25 0 11 0 836281569 868446208 30865 4294967295 134512640 134569956 3221224384 3221214672 1131284385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30865 13086 16 0 212007 0
vsize: 848092
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 96666 47 0 0 25 0 11 0 836281569 868446208 30875 4294967295 134512640 134569956 3221224384 3221214776 1131543653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30875 13086 16 0 212007 0
vsize: 848092
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 97650 47 0 0 25 0 11 0 836281569 868446208 30881 4294967295 134512640 134569956 3221224384 3221214732 1130885186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30881 13086 16 0 212007 0
vsize: 848092
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 98636 47 0 0 25 0 11 0 836281569 868446208 30904 4294967295 134512640 134569956 3221224384 3221214776 1131543616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30904 13086 16 0 212007 0
vsize: 848092
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 99620 47 0 0 25 0 11 0 836281569 868446208 30911 4294967295 134512640 134569956 3221224384 3221214672 1131284418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30911 13086 16 0 212007 0
vsize: 848092
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 100603 47 0 0 25 0 11 0 836281569 868446208 30916 4294967295 134512640 134569956 3221224384 3221214776 1131543643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30916 13086 16 0 212007 0
vsize: 848092
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32659
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 101586 48 0 0 25 0 11 0 836281569 868446208 30971 4294967295 134512640 134569956 3221224384 3221214664 1131172659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30971 13086 16 0 212007 0
vsize: 848092
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 102574 48 0 0 25 0 11 0 836281569 868446208 30987 4294967295 134512640 134569956 3221224384 3221214240 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30987 13086 16 0 212007 0
vsize: 848092
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 103555 48 0 0 25 0 11 0 836281569 868446208 30994 4294967295 134512640 134569956 3221224384 3221214704 1131543787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 30994 13086 16 0 212007 0
vsize: 848092
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 104534 48 0 0 25 0 11 0 836281569 868446208 31009 4294967295 134512640 134569956 3221224384 3221214704 1131543719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31009 13086 16 0 212007 0
vsize: 848092
[startup+1090.05 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 105510 48 0 0 25 0 11 0 836281569 868446208 31010 4294967295 134512640 134569956 3221224384 3221214592 1131208067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31010 13086 16 0 212007 0
vsize: 848092
[startup+1100.05 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 106484 48 0 0 25 0 11 0 836281569 868446208 31020 4294967295 134512640 134569956 3221224384 3221214592 1131208060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31020 13086 16 0 212007 0
vsize: 848092
[startup+1110.05 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 107454 48 0 0 25 0 11 0 836281569 868446208 31141 4294967295 134512640 134569956 3221224384 3221214612 1131207977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31141 13086 16 0 212007 0
vsize: 848092
[startup+1120.05 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 108427 48 0 0 25 0 11 0 836281569 868446208 31147 4294967295 134512640 134569956 3221224384 3221214792 1131631745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31147 13086 16 0 212007 0
vsize: 848092
[startup+1130.05 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) S 32638 20687 20686 0 -1 0 18133 3 1 0 109390 48 0 0 25 0 11 0 836281569 868446208 31159 4294967295 134512640 134569956 3221224384 3221213360 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31159 13086 16 0 212007 0
vsize: 848092
[startup+1140.05 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 110354 48 0 0 25 0 11 0 836281569 868446208 31162 4294967295 134512640 134569956 3221224384 3221214704 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31162 13086 16 0 212007 0
vsize: 848092
[startup+1150.05 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 111310 48 0 0 25 0 11 0 836281569 868446208 31281 4294967295 134512640 134569956 3221224384 3221214064 1131623764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31281 13086 16 0 212007 0
vsize: 848092
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 112260 48 0 0 25 0 11 0 836281569 868446208 31459 4294967295 134512640 134569956 3221224384 3221214592 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31459 13086 16 0 212007 0
vsize: 848092
[startup+1170.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 113232 48 0 0 25 0 11 0 836281569 868446208 31552 4294967295 134512640 134569956 3221224384 3221214704 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31552 13086 16 0 212007 0
vsize: 848092
[startup+1180.05 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 114199 48 0 0 25 0 11 0 836281569 868446208 31669 4294967295 134512640 134569956 3221224384 3221214592 1131171956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31669 13086 16 0 212007 0
vsize: 848092
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 115176 48 0 0 25 0 11 0 836281569 868446208 31778 4294967295 134512640 134569956 3221224384 3221214704 1131543656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31778 13086 16 0 212007 0
vsize: 848092
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 116157 48 0 0 25 0 11 0 836281569 868446208 31829 4294967295 134512640 134569956 3221224384 3221214600 1131284857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31829 13086 16 0 212007 0
vsize: 848092
[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 117139 48 0 0 25 0 11 0 836281569 868446208 31895 4294967295 134512640 134569956 3221224384 3221214064 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31895 13086 16 0 212007 0
vsize: 848092
[startup+1220.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 118126 48 0 0 25 0 11 0 836281569 868446208 31910 4294967295 134512640 134569956 3221224384 3221214704 1131544202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31910 13086 16 0 212007 0
vsize: 848092
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 119110 49 0 0 25 0 11 0 836281569 868446208 31916 4294967295 134512640 134569956 3221224384 3221214592 1131171990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31916 13086 16 0 212007 0
vsize: 848092
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 32660
Raw data (stat): 32639 (java) R 32638 20687 20686 0 -1 0 18133 3 1 0 120094 49 0 0 25 0 11 0 836281569 868446208 31928 4294967295 134512640 134569956 3221224384 3221214560 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212023 31928 13086 16 0 212007 0
vsize: 848092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 32662
Raw data (stat): 32639 (java) Z 32638 20687 20686 0 -1 1036 18133 10105 1 0 120099 49 3450 29 25 0 1 0 836281569 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): 1240.16
CPU time (s): 1236.28
CPU user time (s): 1235.49
CPU system time (s): 0.78788
CPU usage (%): 99.6868
Max. virtual memory (Kb): 854612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	193
#### END VERIFIER DATA ####