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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/logic-synthesis/normalized-count.b.opb
MD5SUMf13ba9c997276002b5bd6db1f679a6f5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of terms in the objective function 467
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 467
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 467
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.04584
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint78

Trace number 29123 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-25 04:51:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20475 boxname=wulflinc3 idbench=65 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f13ba9c997276002b5bd6db1f679a6f5  /oldhome/oroussel/tmp/wulflinc3/normalized-count.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc3/normalized-count.b.opb
IDLAUNCH: 20475
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        876840 kB
Buffers:         21384 kB
Cached:         117132 kB
SwapCached:          0 kB
Active:          43496 kB
Inactive:        97688 kB
HighTotal:      131008 kB
HighFree:        12544 kB
LowTotal:       903652 kB
LowFree:        864296 kB
SwapTotal:     2097136 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6576 kB
Slab:            11052 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:12:46 (client local time) WITH STATUS 143 IN 1263.6 SECONDS
stats: 20475 0 1263.6 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/wulflinc3/normalized-count.b.opb
c reading problem ... done. Time 3.29 ms.
c #vars     467
c #constraints  694
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  31 		Current CPU time: 4.06 ms
c CURRENT OPTIMUM=                  30 		Current CPU time: 18.45 ms
c CURRENT OPTIMUM=                  29 		Current CPU time: 24.35 ms
c CURRENT OPTIMUM=                  28 		Current CPU time: 134.29 ms
c CURRENT OPTIMUM=                  27 		Current CPU time: 138.08 ms
c CURRENT OPTIMUM=                  26 		Current CPU time: 373.68 ms
c CURRENT OPTIMUM=                  25 		Current CPU time: 581.62 ms
c starts	: 17
c conflicts	: 1582
c decisions	: 31262
c propagations	: 73095
c inspects	: 933010
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1582
c root simplifications	: 17
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 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 
c objectif function=25
c Total CPU time (ms) : 1255.728
#### 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.84 0.94 0.94 2/54 30176
Raw data (stat): 30176 (runsolver) R 30175 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777911169 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 0.95 0.96 0.94 5/64 30187
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 12899 3 93 0 388 32 0 0 25 0 11 0 777911169 856326144 13911 4294967295 134512640 134569956 3221224384 3221213728 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 13911 13086 16 0 209048 0
vsize: 836256
[startup+20.0184 s]
Raw data (loadavg): 0.95 0.96 0.94 2/64 30187
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18021 3 93 0 1293 40 0 0 24 0 11 0 777911169 856326144 20900 4294967295 134512640 134569956 3221224384 3221214552 1131285327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 20900 13086 16 0 209048 0
vsize: 836256
[startup+30.0197 s]
Raw data (loadavg): 0.96 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 2231 41 0 0 22 0 11 0 777911169 856326144 21680 4294967295 134512640 134569956 3221224384 3221214680 1131158230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209064 21680 13086 16 0 209048 0
vsize: 836256
[startup+40.0201 s]
Raw data (loadavg): 0.97 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 3159 41 0 0 25 0 11 0 777911169 856326144 22199 4294967295 134512640 134569956 3221224384 3221214640 1131443912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22199 13086 16 0 209048 0
vsize: 836256
[startup+50.0262 s]
Raw data (loadavg): 0.97 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18022 3 93 0 4098 41 0 0 25 0 11 0 777911169 856326144 22440 4294967295 134512640 134569956 3221224384 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22440 13086 16 0 209048 0
vsize: 836256
[startup+60.0263 s]
Raw data (loadavg): 0.97 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 5034 41 0 0 24 0 11 0 777911169 856326144 22440 4294967295 134512640 134569956 3221224384 3221214552 1131285218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22440 13086 16 0 209048 0
vsize: 836256
[startup+70.0266 s]
Raw data (loadavg): 0.98 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 5969 41 0 0 25 0 11 0 777911169 856326144 22499 4294967295 134512640 134569956 3221224384 3221214640 1131444301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22499 13086 16 0 209048 0
vsize: 836256
[startup+80.0273 s]
Raw data (loadavg): 0.98 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 6909 41 0 0 25 0 11 0 777911169 856326144 22855 4294967295 134512640 134569956 3221224384 3221214640 1131443942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 22855 13086 16 0 209048 0
vsize: 836256
[startup+90.0287 s]
Raw data (loadavg): 0.98 0.96 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 7849 41 0 0 24 0 11 0 777911169 856326144 23080 4294967295 134512640 134569956 3221224384 3221214704 1131337458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 23080 13086 16 0 209048 0
vsize: 836256
[startup+100.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 8787 41 0 0 25 0 11 0 777911169 856326144 23221 4294967295 134512640 134569956 3221224384 3221214568 1131284944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 23221 13086 16 0 209048 0
vsize: 836256
[startup+110.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 9716 41 0 0 25 0 11 0 777911169 856326144 23343 4294967295 134512640 134569956 3221224384 3221214560 1131284996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 23343 13086 16 0 209048 0
vsize: 836256
[startup+120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 10654 41 0 0 25 0 11 0 777911169 856326144 23577 4294967295 134512640 134569956 3221224384 3221214652 1131201376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 23577 13086 16 0 209048 0
vsize: 836256
[startup+130.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30189
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 11604 42 0 0 25 0 11 0 777911169 856326144 23771 4294967295 134512640 134569956 3221224384 3221214696 1131284996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 23771 13086 16 0 209048 0
vsize: 836256
[startup+140.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30190
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 12548 42 0 0 25 0 11 0 777911169 856326144 24163 4294967295 134512640 134569956 3221224384 3221214744 1131142211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 24163 13086 16 0 209048 0
vsize: 836256
[startup+150.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 13486 42 0 0 24 0 11 0 777911169 856326144 24372 4294967295 134512640 134569956 3221224384 3221214512 1131285218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 24372 13086 16 0 209048 0
vsize: 836256
[startup+160.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 14424 42 0 0 24 0 11 0 777911169 856326144 24508 4294967295 134512640 134569956 3221224384 3221214584 1131201433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 24508 13086 16 0 209048 0
vsize: 836256
[startup+170.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 15366 42 0 0 25 0 11 0 777911169 856326144 24508 4294967295 134512640 134569956 3221224384 3221214128 1131527920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 24508 13086 16 0 209048 0
vsize: 836256
[startup+180.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 16301 42 0 0 25 0 11 0 777911169 856326144 24706 4294967295 134512640 134569956 3221224384 3221214656 1131337446 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 24706 13086 16 0 209048 0
vsize: 836256
[startup+190.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 17257 42 0 0 25 0 11 0 777911169 856326144 25109 4294967295 134512640 134569956 3221224384 3221213992 1085679735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25109 13086 16 0 209048 0
vsize: 836256
[startup+200.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 18233 42 0 0 25 0 11 0 777911169 856326144 25261 4294967295 134512640 134569956 3221224384 3221214608 1131444390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25261 13086 16 0 209048 0
vsize: 836256
[startup+210.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 19204 43 0 0 25 0 11 0 777911169 856326144 25399 4294967295 134512640 134569956 3221224384 3221214608 1131435795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25399 13086 16 0 209048 0
vsize: 836256
[startup+220.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 20175 43 0 0 25 0 11 0 777911169 856326144 25412 4294967295 134512640 134569956 3221224384 3221214512 1131285732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25412 13086 16 0 209048 0
vsize: 836256
[startup+230.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18022 3 93 0 21148 43 0 0 25 0 11 0 777911169 856326144 25464 4294967295 134512640 134569956 3221224384 3221214048 1085679325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25464 13086 16 0 209048 0
vsize: 836256
[startup+240.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 22124 43 0 0 25 0 11 0 777911169 856326144 25493 4294967295 134512640 134569956 3221224384 3221214752 1131349379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25493 13086 16 0 209048 0
vsize: 836256
[startup+250.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 23075 43 0 0 25 0 11 0 777911169 856326144 25605 4294967295 134512640 134569956 3221224384 3221214512 1131284703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25605 13086 16 0 209048 0
vsize: 836256
[startup+260.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 24026 43 0 0 25 0 11 0 777911169 856326144 25695 4294967295 134512640 134569956 3221224384 3221214232 1131527849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25695 13086 16 0 209048 0
vsize: 836256
[startup+270.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 24970 44 0 0 25 0 11 0 777911169 856326144 25733 4294967295 134512640 134569956 3221224384 3221214608 1131444068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25733 13086 16 0 209048 0
vsize: 836256
[startup+280.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 25917 44 0 0 25 0 11 0 777911169 856326144 25810 4294967295 134512640 134569956 3221224384 3221214512 1131285035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 25810 13086 16 0 209048 0
vsize: 836256
[startup+290.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 26877 44 0 0 25 0 11 0 777911169 856326144 26168 4294967295 134512640 134569956 3221224384 3221214608 1131428902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26168 13086 16 0 209048 0
vsize: 836256
[startup+300.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 27851 44 0 0 25 0 11 0 777911169 856326144 26314 4294967295 134512640 134569956 3221224384 3221214552 1131338182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26314 13086 16 0 209048 0
vsize: 836256
[startup+310.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 28823 44 0 0 25 0 11 0 777911169 856326144 26386 4294967295 134512640 134569956 3221224384 3221214632 1131158196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26386 13086 16 0 209048 0
vsize: 836256
[startup+320.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18023 3 93 0 29794 44 0 0 25 0 11 0 777911169 856326144 26421 4294967295 134512640 134569956 3221224384 3221213256 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26421 13086 16 0 209048 0
vsize: 836256
[startup+330.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 30768 44 0 0 25 0 11 0 777911169 856326144 26435 4294967295 134512640 134569956 3221224384 3221214608 1131444059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26435 13086 16 0 209048 0
vsize: 836256
[startup+340.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 31733 44 0 0 25 0 11 0 777911169 856326144 26547 4294967295 134512640 134569956 3221224384 3221214520 1131285035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26547 13086 16 0 209048 0
vsize: 836256
[startup+350.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 32701 44 0 0 25 0 11 0 777911169 856326144 26651 4294967295 134512640 134569956 3221224384 3221214512 1131284996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26651 13086 16 0 209048 0
vsize: 836256
[startup+360.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 33680 44 0 0 25 0 11 0 777911169 856326144 26721 4294967295 134512640 134569956 3221224384 3221214384 1131247651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26721 13086 16 0 209048 0
vsize: 836256
[startup+370.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30191
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 34662 44 0 0 25 0 11 0 777911169 856326144 26762 4294967295 134512640 134569956 3221224384 3221214284 1131520000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26762 13086 16 0 209048 0
vsize: 836256
[startup+380.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 35639 44 0 0 25 0 11 0 777911169 856326144 26849 4294967295 134512640 134569956 3221224384 3221214800 1131359941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26849 13086 16 0 209048 0
vsize: 836256
[startup+390.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 36607 44 0 0 25 0 11 0 777911169 856326144 26876 4294967295 134512640 134569956 3221224384 3221214536 1131285135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26876 13086 16 0 209048 0
vsize: 836256
[startup+400.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 37577 45 0 0 24 0 11 0 777911169 856326144 26896 4294967295 134512640 134569956 3221224384 3221214624 1131443948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26896 13086 16 0 209048 0
vsize: 836256
[startup+410.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 38541 45 0 0 25 0 11 0 777911169 856326144 26909 4294967295 134512640 134569956 3221224384 3221214184 1131527936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26909 13086 16 0 209048 0
vsize: 836256
[startup+420.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 39507 45 0 0 25 0 11 0 777911169 856326144 26985 4294967295 134512640 134569956 3221224384 3221214496 1131545604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 26985 13086 16 0 209048 0
vsize: 836256
[startup+430.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 40475 45 0 0 25 0 11 0 777911169 856326144 27110 4294967295 134512640 134569956 3221224384 3221214784 1131142211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27110 13086 16 0 209048 0
vsize: 836256
[startup+440.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 41442 45 0 0 25 0 11 0 777911169 856326144 27294 4294967295 134512640 134569956 3221224384 3221214696 1131337189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27294 13086 16 0 209048 0
vsize: 836256
[startup+450.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 42409 45 0 0 25 0 11 0 777911169 856326144 27363 4294967295 134512640 134569956 3221224384 3221214624 1131444068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27363 13086 16 0 209048 0
vsize: 836256
[startup+460.064 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 43380 45 0 0 25 0 11 0 777911169 856326144 27392 4294967295 134512640 134569956 3221224384 3221214672 1131158196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27392 13086 16 0 209048 0
vsize: 836256
[startup+470.064 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 44344 45 0 0 24 0 11 0 777911169 856326144 27428 4294967295 134512640 134569956 3221224384 3221214596 1130885132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27428 13086 16 0 209048 0
vsize: 836256
[startup+480.064 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 45317 45 0 0 25 0 11 0 777911169 856326144 27586 4294967295 134512640 134569956 3221224384 3221214620 1131201392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27586 13086 16 0 209048 0
vsize: 836256
[startup+490.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/64 30192
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 46294 45 0 0 25 0 11 0 777911169 856326144 27662 4294967295 134512640 134569956 3221224384 3221214624 1131444065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27662 13086 16 0 209048 0
vsize: 836256
[startup+500.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/67 30197
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 47270 45 0 0 25 0 11 0 777911169 856326144 27733 4294967295 134512640 134569956 3221224384 3221214624 1131444398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27733 13086 16 0 209048 0
vsize: 836256
[startup+510.066 s]
Raw data (loadavg): 1.07 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 48244 45 0 0 25 0 11 0 777911169 856326144 27775 4294967295 134512640 134569956 3221224384 3221214784 1131142211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27775 13086 16 0 209048 0
vsize: 836256
[startup+520.067 s]
Raw data (loadavg): 1.06 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 49215 45 0 0 25 0 11 0 777911169 856326144 27817 4294967295 134512640 134569956 3221224384 3221214624 1131444103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27817 13086 16 0 209048 0
vsize: 836256
[startup+530.067 s]
Raw data (loadavg): 1.05 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 50179 45 0 0 25 0 11 0 777911169 856326144 27868 4294967295 134512640 134569956 3221224384 3221214672 1131158196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27868 13086 16 0 209048 0
vsize: 836256
[startup+540.067 s]
Raw data (loadavg): 1.04 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 51144 46 0 0 25 0 11 0 777911169 856326144 27927 4294967295 134512640 134569956 3221224384 3221214620 1131158176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 27927 13086 16 0 209048 0
vsize: 836256
[startup+550.075 s]
Raw data (loadavg): 1.03 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 52105 46 0 0 25 0 11 0 777911169 856326144 28035 4294967295 134512640 134569956 3221224384 3221214528 1131284757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28035 13086 16 0 209048 0
vsize: 836256
[startup+560.075 s]
Raw data (loadavg): 1.03 0.99 0.95 2/64 30245
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 53079 46 0 0 25 0 11 0 777911169 856326144 28095 4294967295 134512640 134569956 3221224384 3221214696 1131337641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28095 13086 16 0 209048 0
vsize: 836256
[startup+570.075 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 30247
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 54048 46 0 0 25 0 11 0 777911169 856326144 28197 4294967295 134512640 134569956 3221224384 3221214624 1131443919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28197 13086 16 0 209048 0
vsize: 836256
[startup+580.076 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 30247
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 55026 47 0 0 25 0 11 0 777911169 856326144 28204 4294967295 134512640 134569956 3221224384 3221214800 1131359781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28204 13086 16 0 209048 0
vsize: 836256
[startup+590.076 s]
Raw data (loadavg): 1.02 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 55999 47 0 0 25 0 11 0 777911169 856326144 28251 4294967295 134512640 134569956 3221224384 3221214408 1131529233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28251 13086 16 0 209048 0
vsize: 836256
[startup+600.076 s]
Raw data (loadavg): 1.01 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 56953 47 0 0 25 0 11 0 777911169 856326144 28331 4294967295 134512640 134569956 3221224384 3221214528 1131284996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28331 13086 16 0 209048 0
vsize: 836256
[startup+610.077 s]
Raw data (loadavg): 1.01 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 57901 48 0 0 25 0 11 0 777911169 856326144 28426 4294967295 134512640 134569956 3221224384 3221214696 1131338273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28426 13086 16 0 209048 0
vsize: 836256
[startup+620.078 s]
Raw data (loadavg): 1.01 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 58848 48 0 0 25 0 11 0 777911169 856326144 28563 4294967295 134512640 134569956 3221224384 3221214512 1131158219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28563 13086 16 0 209048 0
vsize: 836256
[startup+630.078 s]
Raw data (loadavg): 1.01 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 59786 48 0 0 25 0 11 0 777911169 856326144 28641 4294967295 134512640 134569956 3221224384 3221214696 1131337181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28641 13086 16 0 209048 0
vsize: 836256
[startup+640.081 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18023 3 93 0 60752 49 0 0 25 0 11 0 777911169 856326144 28741 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28743 13086 16 0 209048 0
vsize: 836256
[startup+650.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 61710 49 0 0 25 0 11 0 777911169 856326144 28934 4294967295 134512640 134569956 3221224384 3221214696 1131337319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 28934 13086 16 0 209048 0
vsize: 836256
[startup+660.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 62652 49 0 0 25 0 11 0 777911169 856326144 29058 4294967295 134512640 134569956 3221224384 3221214696 1131337205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29058 13086 16 0 209048 0
vsize: 836256
[startup+670.083 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 63614 49 0 0 25 0 11 0 777911169 856326144 29211 4294967295 134512640 134569956 3221224384 3221214784 1131142211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29211 13086 16 0 209048 0
vsize: 836256
[startup+680.084 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 64559 49 0 0 24 0 11 0 777911169 856326144 29394 4294967295 134512640 134569956 3221224384 3221214496 1131381754 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29394 13086 16 0 209048 0
vsize: 836256
[startup+690.084 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 65516 49 0 0 25 0 11 0 777911169 856326144 29476 4294967295 134512640 134569956 3221224384 3221214800 1131359914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29476 13086 16 0 209048 0
vsize: 836256
[startup+700.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 66459 50 0 0 25 0 11 0 777911169 856326144 29723 4294967295 134512640 134569956 3221224384 3221214600 1131201433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29723 13086 16 0 209048 0
vsize: 836256
[startup+710.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 67418 50 0 0 25 0 11 0 777911169 856326144 29794 4294967295 134512640 134569956 3221224384 3221214400 1131527786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29794 13086 16 0 209048 0
vsize: 836256
[startup+720.087 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 68379 50 0 0 25 0 11 0 777911169 856326144 29947 4294967295 134512640 134569956 3221224384 3221214536 1131285035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 29947 13086 16 0 209048 0
vsize: 836256
[startup+730.087 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 69353 51 0 0 25 0 11 0 777911169 856326144 30068 4294967295 134512640 134569956 3221224384 3221214176 1131528008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30068 13086 16 0 209048 0
vsize: 836256
[startup+740.088 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 70339 51 0 0 25 0 11 0 777911169 856326144 30113 4294967295 134512640 134569956 3221224384 3221214428 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30113 13086 16 0 209048 0
vsize: 836256
[startup+750.088 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 71310 51 0 0 25 0 11 0 777911169 856326144 30175 4294967295 134512640 134569956 3221224384 3221214672 1131158196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30175 13086 16 0 209048 0
vsize: 836256
[startup+760.088 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 72279 52 0 0 25 0 11 0 777911169 856326144 30278 4294967295 134512640 134569956 3221224384 3221214624 1131435828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30278 13086 16 0 209048 0
vsize: 836256
[startup+770.089 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 73250 52 0 0 25 0 11 0 777911169 856326144 30307 4294967295 134512640 134569956 3221224384 3221214620 1131285802 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30307 13086 16 0 209048 0
vsize: 836256
[startup+780.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 74226 52 0 0 25 0 11 0 777911169 856326144 30362 4294967295 134512640 134569956 3221224384 3221214512 1131527852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30362 13086 16 0 209048 0
vsize: 836256
[startup+790.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 75196 53 0 0 25 0 11 0 777911169 856326144 30362 4294967295 134512640 134569956 3221224384 3221214696 1131337319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30362 13086 16 0 209048 0
vsize: 836256
[startup+800.091 s]
Raw data (loadavg): 1.00 0.99 0.95 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 76168 53 0 0 25 0 11 0 777911169 856326144 30422 4294967295 134512640 134569956 3221224384 3221214464 1131529282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30422 13086 16 0 209048 0
vsize: 836256
[startup+810.091 s]
Raw data (loadavg): 1.16 1.02 0.96 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 77154 53 0 0 25 0 11 0 777911169 856326144 30454 4294967295 134512640 134569956 3221224384 3221214672 1131158258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30454 13086 16 0 209048 0
vsize: 836256
[startup+820.092 s]
Raw data (loadavg): 1.13 1.02 0.96 2/64 30248
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 78115 54 0 0 25 0 11 0 777911169 856326144 30513 4294967295 134512640 134569956 3221224384 3221214624 1131444254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30513 13086 16 0 209048 0
vsize: 836256
[startup+830.093 s]
Raw data (loadavg): 1.11 1.02 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 79077 54 0 0 25 0 11 0 777911169 856326144 30623 4294967295 134512640 134569956 3221224384 3221214232 1131527849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30623 13086 16 0 209048 0
vsize: 836256
[startup+840.093 s]
Raw data (loadavg): 1.10 1.02 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 80042 55 0 0 25 0 11 0 777911169 856326144 30723 4294967295 134512640 134569956 3221224384 3221214408 1131529233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30723 13086 16 0 209048 0
vsize: 836256
[startup+850.095 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 81008 55 0 0 25 0 11 0 777911169 856326144 30799 4294967295 134512640 134569956 3221224384 3221214624 1131444286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30799 13086 16 0 209048 0
vsize: 836256
[startup+860.095 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 81980 55 0 0 25 0 11 0 777911169 856326144 30827 4294967295 134512640 134569956 3221224384 3221214528 1131284878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30827 13086 16 0 209048 0
vsize: 836256
[startup+870.096 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 82934 56 0 0 25 0 11 0 777911169 856326144 30973 4294967295 134512640 134569956 3221224384 3221214528 1131284736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 30973 13086 16 0 209048 0
vsize: 836256
[startup+880.097 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 83907 56 0 0 25 0 11 0 777911169 856326144 31093 4294967295 134512640 134569956 3221224384 3221214800 1131359949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31093 13086 16 0 209048 0
vsize: 836256
[startup+890.097 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18023 3 93 0 84878 56 0 0 25 0 11 0 777911169 856326144 31129 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31129 13086 16 0 209048 0
vsize: 836256
[startup+900.099 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 85842 57 0 0 25 0 11 0 777911169 856326144 31209 4294967295 134512640 134569956 3221224384 3221214696 1131337512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31209 13086 16 0 209048 0
vsize: 836256
[startup+910.1 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 86791 57 0 0 25 0 11 0 777911169 856326144 31310 4294967295 134512640 134569956 3221224384 3221214624 1131444034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31310 13086 16 0 209048 0
vsize: 836256
[startup+920.1 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 87754 57 0 0 25 0 11 0 777911169 856326144 31449 4294967295 134512640 134569956 3221224384 3221214528 1131284992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31449 13086 16 0 209048 0
vsize: 836256
[startup+930.101 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 88723 58 0 0 24 0 11 0 777911169 856326144 31569 4294967295 134512640 134569956 3221224384 3221214624 1131435511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31569 13086 16 0 209048 0
vsize: 836256
[startup+940.101 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 89701 58 0 0 25 0 11 0 777911169 856326144 31671 4294967295 134512640 134569956 3221224384 3221214608 1131209909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31671 13086 16 0 209048 0
vsize: 836256
[startup+950.102 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 90687 58 0 0 25 0 11 0 777911169 856326144 31732 4294967295 134512640 134569956 3221224384 3221214656 1131291042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31732 13086 16 0 209048 0
vsize: 836256
[startup+960.103 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 91670 59 0 0 25 0 11 0 777911169 856326144 31740 4294967295 134512640 134569956 3221224384 3221214288 1131527956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31740 13086 16 0 209048 0
vsize: 836256
[startup+970.103 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 92648 59 0 0 25 0 11 0 777911169 856326144 31757 4294967295 134512640 134569956 3221224384 3221214696 1131337689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31757 13086 16 0 209048 0
vsize: 836256
[startup+980.103 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 93619 59 0 0 25 0 11 0 777911169 856326144 31774 4294967295 134512640 134569956 3221224384 3221214624 1131444380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31774 13086 16 0 209048 0
vsize: 836256
[startup+990.103 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 94587 60 0 0 25 0 11 0 777911169 856326144 31796 4294967295 134512640 134569956 3221224384 3221214536 1131285035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31796 13086 16 0 209048 0
vsize: 836256
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 95553 60 0 0 25 0 11 0 777911169 856326144 31852 4294967295 134512640 134569956 3221224384 3221214368 1076619294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31852 13086 16 0 209048 0
vsize: 836256
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 96516 60 0 0 25 0 11 0 777911169 856326144 31955 4294967295 134512640 134569956 3221224384 3221214528 1131284742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 31955 13086 16 0 209048 0
vsize: 836256
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 97488 60 0 0 25 0 11 0 777911169 856326144 32044 4294967295 134512640 134569956 3221224384 3221214624 1131444301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32044 13086 16 0 209048 0
vsize: 836256
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 98462 61 0 0 25 0 11 0 777911169 856326144 32093 4294967295 134512640 134569956 3221224384 3221214600 1131201456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32093 13086 16 0 209048 0
vsize: 836256
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 99435 61 0 0 25 0 11 0 777911169 856326144 32167 4294967295 134512640 134569956 3221224384 3221214624 1131444684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32167 13086 16 0 209048 0
vsize: 836256
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 100413 62 0 0 25 0 11 0 777911169 856326144 32205 4294967295 134512640 134569956 3221224384 3221214520 1131337476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32205 13086 16 0 209048 0
vsize: 836256
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 101393 62 0 0 25 0 11 0 777911169 856326144 32256 4294967295 134512640 134569956 3221224384 3221214624 1131435904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32256 13086 16 0 209048 0
vsize: 836256
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 102375 62 0 0 25 0 11 0 777911169 856326144 32292 4294967295 134512640 134569956 3221224384 3221214512 1131158219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32292 13086 16 0 209048 0
vsize: 836256
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 103365 62 0 0 25 0 11 0 777911169 856326144 32300 4294967295 134512640 134569956 3221224384 3221214800 1131359781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32300 13086 16 0 209048 0
vsize: 836256
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18023 3 93 0 104351 63 0 0 25 0 11 0 777911169 856326144 32307 4294967295 134512640 134569956 3221224384 3221213336 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32307 13086 16 0 209048 0
vsize: 836256
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 105331 63 0 0 25 0 11 0 777911169 856326144 32337 4294967295 134512640 134569956 3221224384 3221214024 1131529233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32337 13086 16 0 209048 0
vsize: 836256
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 106321 63 0 0 25 0 11 0 777911169 856326144 32344 4294967295 134512640 134569956 3221224384 3221214400 1131527852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32344 13086 16 0 209048 0
vsize: 836256
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 107305 63 0 0 25 0 11 0 777911169 856326144 32358 4294967295 134512640 134569956 3221224384 3221214672 1131158196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32358 13086 16 0 209048 0
vsize: 836256
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 108271 64 0 0 25 0 11 0 777911169 856326144 32366 4294967295 134512640 134569956 3221224384 3221214800 1131359960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32366 13086 16 0 209048 0
vsize: 836256
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) S 30175 20224 20223 0 -1 0 18023 3 93 0 109231 64 0 0 25 0 11 0 777911169 856326144 32414 4294967295 134512640 134569956 3221224384 3221213272 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32414 13086 16 0 209048 0
vsize: 836256
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 110194 64 0 0 25 0 11 0 777911169 856326144 32507 4294967295 134512640 134569956 3221224384 3221214596 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32507 13086 16 0 209048 0
vsize: 836256
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 111163 64 0 0 25 0 11 0 777911169 856326144 32609 4294967295 134512640 134569956 3221224384 3221214624 1131444199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32609 13086 16 0 209048 0
vsize: 836256
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 112133 65 0 0 25 0 11 0 777911169 856326144 32740 4294967295 134512640 134569956 3221224384 3221214784 1131142211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32740 13086 16 0 209048 0
vsize: 836256
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 113110 65 0 0 25 0 11 0 777911169 856326144 32783 4294967295 134512640 134569956 3221224384 3221214624 1131444286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32783 13086 16 0 209048 0
vsize: 836256
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 114087 65 0 0 24 0 11 0 777911169 856326144 32840 4294967295 134512640 134569956 3221224384 3221214672 1131158264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32840 13086 16 0 209048 0
vsize: 836256
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 115066 65 0 0 25 0 11 0 777911169 856326144 32887 4294967295 134512640 134569956 3221224384 3221214528 1131284827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32887 13086 16 0 209048 0
vsize: 836256
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 116035 65 0 0 25 0 11 0 777911169 856326144 32917 4294967295 134512640 134569956 3221224384 3221214376 1076614593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32917 13086 16 0 209048 0
vsize: 836256
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 117021 66 0 0 25 0 11 0 777911169 856326144 32925 4294967295 134512640 134569956 3221224384 3221214536 1131285118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32925 13086 16 0 209048 0
vsize: 836256
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 117993 66 0 0 25 0 11 0 777911169 856326144 32965 4294967295 134512640 134569956 3221224384 3221214592 1131508513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 32965 13086 16 0 209048 0
vsize: 836256
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 118963 66 0 0 24 0 11 0 777911169 856326144 33030 4294967295 134512640 134569956 3221224384 3221214672 1131158292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 33030 13086 16 0 209048 0
vsize: 836256
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 119933 66 0 0 25 0 11 0 777911169 856326144 33133 4294967295 134512640 134569956 3221224384 3221214672 1131158372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 33133 13086 16 0 209048 0
vsize: 836256
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 30250
Raw data (stat): 30176 (java) R 30175 20224 20223 0 -1 0 18023 3 93 0 120907 67 0 0 25 0 11 0 777911169 856326144 33194 4294967295 134512640 134569956 3221224384 3221214664 1131284996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209064 33194 13086 16 0 209048 0
vsize: 836256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.24 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 30252
Raw data (stat): 30176 (java) Z 30175 20224 20223 0 -1 1036 18023 15511 93 0 120912 73 5328 45 25 0 1 0 777911169 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): 1260.24
CPU time (s): 1263.6
CPU user time (s): 1262.41
CPU system time (s): 1.18782
CPU usage (%): 100.266
Max. virtual memory (Kb): 836256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	25
#### END VERIFIER DATA ####