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/logic-synthesis/normalized-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
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	465
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 29118

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        870104 kB
Buffers:         14128 kB
Cached:         125676 kB
SwapCached:        412 kB
Active:          57920 kB
Inactive:        84168 kB
HighTotal:      131008 kB
HighFree:        50960 kB
LowTotal:       903652 kB
LowFree:        819144 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            16928 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 05:08:46 (client local time) WITH STATUS 143 IN 1262.31 SECONDS
stats: 20469 0 1262.31 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/wulflinc6/normalized-5xp1.b.opb
c reading problem ... done. Time 3.86 ms.
c #vars     465
c #constraints  845
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  21 		Current CPU time: 4.83 ms
c CURRENT OPTIMUM=                  20 		Current CPU time: 6.88 ms
c CURRENT OPTIMUM=                  19 		Current CPU time: 15.89 ms
c CURRENT OPTIMUM=                  18 		Current CPU time: 92.70 ms
c CURRENT OPTIMUM=                  15 		Current CPU time: 158.71 ms
c CURRENT OPTIMUM=                  14 		Current CPU time: 296.26 ms
c starts	: 15
c conflicts	: 1642
c decisions	: 38662
c propagations	: 76844
c inspects	: 993512
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1642
c root simplifications	: 15
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 
c objectif function=14
c Total CPU time (ms) : 1255.838
#### 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.95 0.92 2/54 3812
Raw data (stat): 3812 (runsolver) R 3811 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777893771 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.09 0.99 0.93 4/64 3823
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 9796 3 94 0 371 32 0 0 18 0 11 0 777893771 865894400 12848 4294967295 134512640 134569956 3221224384 3221214640 1131286682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211400 12850 13086 16 0 211384 0
vsize: 845600
[startup+20.06 s]
Raw data (loadavg): 1.31 1.04 0.95 4/64 3824
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18048 3 94 0 1159 49 0 0 25 0 11 0 777893771 874078208 25772 4294967295 134512640 134569956 3221224384 3221214696 1131361257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213398 25772 13086 16 0 213382 0
vsize: 853592
[startup+30.061 s]
Raw data (loadavg): 1.26 1.04 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 2048 49 0 0 18 0 11 0 777893771 870146048 25540 4294967295 134512640 134569956 3221224384 3221214716 1130918442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 25540 13086 16 0 212422 0
vsize: 849752
[startup+40.0617 s]
Raw data (loadavg): 1.22 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 2974 50 0 0 25 0 11 0 777893771 870146048 25907 4294967295 134512640 134569956 3221224384 3221214536 1131446056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 25907 13086 16 0 212422 0
vsize: 849752
[startup+50.0622 s]
Raw data (loadavg): 1.19 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 3913 50 0 0 25 0 11 0 777893771 870146048 26075 4294967295 134512640 134569956 3221224384 3221214696 1131360239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 26075 13086 16 0 212422 0
vsize: 849752
[startup+60.0625 s]
Raw data (loadavg): 1.16 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 4837 50 0 0 16 0 11 0 777893771 870146048 26203 4294967295 134512640 134569956 3221224384 3221214640 1131452399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 26203 13086 16 0 212422 0
vsize: 849752
[startup+70.0643 s]
Raw data (loadavg): 1.13 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 5771 50 0 0 25 0 11 0 777893771 870146048 26203 4294967295 134512640 134569956 3221224384 3221214536 1131367990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 26203 13086 16 0 212422 0
vsize: 849752
[startup+80.0648 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 6710 51 0 0 25 0 11 0 777893771 870146048 26726 4294967295 134512640 134569956 3221224384 3221214832 1131211154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 26726 13086 16 0 212422 0
vsize: 849752
[startup+90.065 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 3825
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 7656 51 0 0 25 0 11 0 777893771 870146048 26822 4294967295 134512640 134569956 3221224384 3221214636 1130885132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 26822 13086 16 0 212422 0
vsize: 849752
[startup+100.066 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 8595 51 0 0 25 0 11 0 777893771 870146048 27012 4294967295 134512640 134569956 3221224384 3221214152 1131634460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27012 13086 16 0 212422 0
vsize: 849752
[startup+110.066 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 9566 51 0 0 25 0 11 0 777893771 870146048 27012 4294967295 134512640 134569956 3221224384 3221214376 1131636122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 27012 13086 16 0 212422 0
vsize: 849752
[startup+120.066 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 10510 52 0 0 25 0 11 0 777893771 870146048 27346 4294967295 134512640 134569956 3221224384 3221214552 1131367653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27346 13086 16 0 212422 0
vsize: 849752
[startup+130.067 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 11436 52 0 0 25 0 11 0 777893771 870146048 27491 4294967295 134512640 134569956 3221224384 3221214864 1131408788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27491 13086 16 0 212422 0
vsize: 849752
[startup+140.068 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 12374 53 0 0 25 0 11 0 777893771 870146048 27540 4294967295 134512640 134569956 3221224384 3221214656 1131403387 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27540 13086 16 0 212422 0
vsize: 849752
[startup+150.068 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 13304 53 0 0 25 0 11 0 777893771 870146048 27566 4294967295 134512640 134569956 3221224384 3221214656 1131367754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27566 13086 16 0 212422 0
vsize: 849752
[startup+160.068 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 3826
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 14267 53 0 0 25 0 11 0 777893771 870146048 27800 4294967295 134512640 134569956 3221224384 3221214488 1131636120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 27800 13086 16 0 212422 0
vsize: 849752
[startup+170.069 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 15229 54 0 0 25 0 11 0 777893771 870146048 28135 4294967295 134512640 134569956 3221224384 3221214696 1131360671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28135 13086 16 0 212422 0
vsize: 849752
[startup+180.07 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18049 3 94 0 16201 54 0 0 25 0 11 0 777893771 870146048 28324 4294967295 134512640 134569956 3221224384 3221214752 1131639788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28324 13086 16 0 212422 0
vsize: 849752
[startup+190.071 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 17190 54 0 0 25 0 11 0 777893771 870146048 28373 4294967295 134512640 134569956 3221224384 3221214456 1131634481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 28373 13086 16 0 212422 0
vsize: 849752
[startup+200.071 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 18184 54 0 0 25 0 11 0 777893771 870146048 28381 4294967295 134512640 134569956 3221224384 3221214096 1131634488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28381 13086 16 0 212422 0
vsize: 849752
[startup+210.073 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 19176 54 0 0 25 0 11 0 777893771 870146048 28405 4294967295 134512640 134569956 3221224384 3221214688 1131360768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28405 13086 16 0 212422 0
vsize: 849752
[startup+220.073 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 20160 55 0 0 25 0 11 0 777893771 870146048 28429 4294967295 134512640 134569956 3221224384 3221214632 1131635860 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 28429 13086 16 0 212422 0
vsize: 849752
[startup+230.074 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 21123 55 0 0 25 0 11 0 777893771 870146048 28429 4294967295 134512640 134569956 3221224384 3221214600 1131241181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28429 13086 16 0 212422 0
vsize: 849752
[startup+240.074 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 22090 55 0 0 25 0 11 0 777893771 870146048 28486 4294967295 134512640 134569956 3221224384 3221214684 1131241120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28486 13086 16 0 212422 0
vsize: 849752
[startup+250.08 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 23022 56 0 0 25 0 11 0 777893771 870146048 28991 4294967295 134512640 134569956 3221224384 3221214688 1131360225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 28991 13086 16 0 212422 0
vsize: 849752
[startup+260.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 23958 56 0 0 25 0 11 0 777893771 870146048 29179 4294967295 134512640 134569956 3221224384 3221214792 1131350720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 29179 13086 16 0 212422 0
vsize: 849752
[startup+270.081 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 24883 56 0 0 25 0 11 0 777893771 870146048 29369 4294967295 134512640 134569956 3221224384 3221214792 1131350469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 29369 13086 16 0 212422 0
vsize: 849752
[startup+280.082 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 25841 57 0 0 25 0 11 0 777893771 870146048 29494 4294967295 134512640 134569956 3221224384 3221214752 1131144576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 29494 13086 16 0 212422 0
vsize: 849752
[startup+290.083 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 26797 57 0 0 25 0 11 0 777893771 870146048 29656 4294967295 134512640 134569956 3221224384 3221214688 1131360671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 29656 13086 16 0 212422 0
vsize: 849752
[startup+300.088 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3827
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 27730 57 0 0 25 0 11 0 777893771 870146048 29967 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 29967 13086 16 0 212422 0
vsize: 849752
[startup+310.089 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 28672 58 0 0 25 0 11 0 777893771 870146048 30099 4294967295 134512640 134569956 3221224384 3221214800 1131377672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30099 13086 16 0 212422 0
vsize: 849752
[startup+320.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 29616 58 0 0 25 0 11 0 777893771 870146048 30212 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30212 13086 16 0 212422 0
vsize: 849752
[startup+330.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 30544 59 0 0 25 0 11 0 777893771 870146048 30391 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30394 13086 16 0 212422 0
vsize: 849752
[startup+340.094 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 31482 59 0 0 25 0 11 0 777893771 870146048 30529 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30529 13086 16 0 212422 0
vsize: 849752
[startup+350.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 32436 60 0 0 25 0 11 0 777893771 870146048 30723 4294967295 134512640 134569956 3221224384 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30723 13086 16 0 212422 0
vsize: 849752
[startup+360.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 33384 60 0 0 25 0 11 0 777893771 870146048 30920 4294967295 134512640 134569956 3221224384 3221214544 1131634573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 30920 13086 16 0 212422 0
vsize: 849752
[startup+370.095 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 34347 60 0 0 25 0 11 0 777893771 870146048 31010 4294967295 134512640 134569956 3221224384 3221214472 1131632776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31010 13086 16 0 212422 0
vsize: 849752
[startup+380.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 35284 60 0 0 25 0 11 0 777893771 870146048 31177 4294967295 134512640 134569956 3221224384 3221214648 1131632809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 31177 13086 16 0 212422 0
vsize: 849752
[startup+390.096 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 36224 61 0 0 25 0 11 0 777893771 870146048 31401 4294967295 134512640 134569956 3221224384 3221214560 1131446689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31401 13086 16 0 212422 0
vsize: 849752
[startup+400.097 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 37168 61 0 0 25 0 11 0 777893771 870146048 31539 4294967295 134512640 134569956 3221224384 3221214552 1131368024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31539 13086 16 0 212422 0
vsize: 849752
[startup+410.098 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 38114 61 0 0 21 0 11 0 777893771 870146048 31698 4294967295 134512640 134569956 3221224384 3221214688 1131360631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31698 13086 16 0 212422 0
vsize: 849752
[startup+420.103 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 39069 61 0 0 25 0 11 0 777893771 870146048 31814 4294967295 134512640 134569956 3221224384 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31814 13086 16 0 212422 0
vsize: 849752
[startup+430.104 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 40025 61 0 0 25 0 11 0 777893771 870146048 31990 4294967295 134512640 134569956 3221224384 3221214640 1131227545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 31990 13086 16 0 212422 0
vsize: 849752
[startup+440.104 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 40982 62 0 0 25 0 11 0 777893771 870146048 32108 4294967295 134512640 134569956 3221224384 3221214292 1131634512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 32108 13086 16 0 212422 0
vsize: 849752
[startup+450.104 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 41938 62 0 0 17 0 11 0 777893771 870146048 32248 4294967295 134512640 134569956 3221224384 3221214560 1131368106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 32248 13086 16 0 212422 0
vsize: 849752
[startup+460.106 s]
Raw data (loadavg): 1.06 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 42909 62 0 0 25 0 11 0 777893771 870146048 32338 4294967295 134512640 134569956 3221224384 3221214560 1131367827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 32338 13086 16 0 212422 0
vsize: 849752
[startup+470.107 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 43865 62 0 0 17 0 11 0 777893771 870146048 32440 4294967295 134512640 134569956 3221224384 3221214688 1131360643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 32440 13086 16 0 212422 0
vsize: 849752
[startup+480.107 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 44829 62 0 0 25 0 11 0 777893771 870146048 32537 4294967295 134512640 134569956 3221224384 3221214560 1131445041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32537 13086 16 0 212422 0
vsize: 849752
[startup+490.108 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 45795 62 0 0 24 0 11 0 777893771 870146048 32603 4294967295 134512640 134569956 3221224384 3221214664 1131452483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32603 13086 16 0 212422 0
vsize: 849752
[startup+500.11 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 46777 62 0 0 25 0 11 0 777893771 870146048 32631 4294967295 134512640 134569956 3221224384 3221214204 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32631 13086 16 0 212422 0
vsize: 849752
[startup+510.11 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 47757 63 0 0 25 0 11 0 777893771 870146048 32678 4294967295 134512640 134569956 3221224384 3221214228 1131633993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32678 13086 16 0 212422 0
vsize: 849752
[startup+520.111 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 48726 63 0 0 25 0 11 0 777893771 870146048 32801 4294967295 134512640 134569956 3221224384 3221214688 1131360246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32801 13086 16 0 212422 0
vsize: 849752
[startup+530.112 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 49698 64 0 0 25 0 11 0 777893771 870146048 32855 4294967295 134512640 134569956 3221224384 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32855 13086 16 0 212422 0
vsize: 849752
[startup+540.113 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 50659 64 0 0 25 0 11 0 777893771 870146048 32898 4294967295 134512640 134569956 3221224384 3221214664 1131453020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32898 13086 16 0 212422 0
vsize: 849752
[startup+550.113 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 51623 64 0 0 25 0 11 0 777893771 870146048 32944 4294967295 134512640 134569956 3221224384 3221214688 1131360721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 32944 13086 16 0 212422 0
vsize: 849752
[startup+560.114 s]
Raw data (loadavg): 1.09 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 52577 64 0 0 25 0 11 0 777893771 870146048 33080 4294967295 134512640 134569956 3221224384 3221214688 1131360920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33080 13086 16 0 212422 0
vsize: 849752
[startup+570.115 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 53546 64 0 0 25 0 11 0 777893771 870146048 33151 4294967295 134512640 134569956 3221224384 3221214560 1131446002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33151 13086 16 0 212422 0
vsize: 849752
[startup+580.116 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 54505 65 0 0 25 0 11 0 777893771 870146048 33256 4294967295 134512640 134569956 3221224384 3221214560 1131446019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33256 13086 16 0 212422 0
vsize: 849752
[startup+590.116 s]
Raw data (loadavg): 1.05 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 55461 65 0 0 25 0 11 0 777893771 870146048 33351 4294967295 134512640 134569956 3221224384 3221214184 1131634488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33351 13086 16 0 212422 0
vsize: 849752
[startup+600.118 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 56426 65 0 0 25 0 11 0 777893771 870146048 33400 4294967295 134512640 134569956 3221224384 3221214560 1131444556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33400 13086 16 0 212422 0
vsize: 849752
[startup+610.118 s]
Raw data (loadavg): 1.11 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 57393 66 0 0 25 0 11 0 777893771 870146048 33474 4294967295 134512640 134569956 3221224384 3221214296 1131635993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33474 13086 16 0 212422 0
vsize: 849752
[startup+620.119 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 58360 66 0 0 25 0 11 0 777893771 870146048 33516 4294967295 134512640 134569956 3221224384 3221214528 1131607343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33516 13086 16 0 212422 0
vsize: 849752
[startup+630.12 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 59325 66 0 0 25 0 11 0 777893771 870146048 33702 4294967295 134512640 134569956 3221224384 3221214664 1131452410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33702 13086 16 0 212422 0
vsize: 849752
[startup+640.121 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 60288 66 0 0 25 0 11 0 777893771 870146048 33799 4294967295 134512640 134569956 3221224384 3221214560 1131445974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33799 13086 16 0 212422 0
vsize: 849752
[startup+650.121 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 61258 67 0 0 25 0 11 0 777893771 870146048 33899 4294967295 134512640 134569956 3221224384 3221214656 1131403749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33899 13086 16 0 212422 0
vsize: 849752
[startup+660.121 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 62225 67 0 0 25 0 11 0 777893771 870146048 33967 4294967295 134512640 134569956 3221224384 3221214560 1131445081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 33967 13086 16 0 212422 0
vsize: 849752
[startup+670.123 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 63196 67 0 0 25 0 11 0 777893771 870146048 34030 4294967295 134512640 134569956 3221224384 3221214752 1131144576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34030 13086 16 0 212422 0
vsize: 849752
[startup+680.124 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 64165 67 0 0 25 0 11 0 777893771 870146048 34084 4294967295 134512640 134569956 3221224384 3221214352 1131634513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34084 13086 16 0 212422 0
vsize: 849752
[startup+690.125 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 65134 67 0 0 25 0 11 0 777893771 870146048 34150 4294967295 134512640 134569956 3221224384 3221214552 1131367827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34150 13086 16 0 212422 0
vsize: 849752
[startup+700.126 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 66104 68 0 0 25 0 11 0 777893771 870146048 34222 4294967295 134512640 134569956 3221224384 3221214600 1131241146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34222 13086 16 0 212422 0
vsize: 849752
[startup+710.127 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 67069 68 0 0 25 0 11 0 777893771 870146048 34298 4294967295 134512640 134569956 3221224384 3221214792 1131350684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34298 13086 16 0 212422 0
vsize: 849752
[startup+720.127 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 68043 69 0 0 25 0 11 0 777893771 870146048 34358 4294967295 134512640 134569956 3221224384 3221214488 1131634492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34358 13086 16 0 212422 0
vsize: 849752
[startup+730.128 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 3828
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 69017 69 0 0 25 0 11 0 777893771 870146048 34409 4294967295 134512640 134569956 3221224384 3221214348 1131634512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34409 13086 16 0 212422 0
vsize: 849752
[startup+740.129 s]
Raw data (loadavg): 1.09 1.03 0.97 3/67 3837
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 70006 69 0 0 25 0 11 0 777893771 870146048 34433 4294967295 134512640 134569956 3221224384 3221214488 1131634513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 34433 13086 16 0 212422 0
vsize: 849752
[startup+750.13 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 70983 69 0 0 25 0 11 0 777893771 870146048 34492 4294967295 134512640 134569956 3221224384 3221214752 1131144593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34492 13086 16 0 212422 0
vsize: 849752
[startup+760.131 s]
Raw data (loadavg): 1.06 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 71956 70 0 0 24 0 11 0 777893771 870146048 34509 4294967295 134512640 134569956 3221224384 3221214688 1131636162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34509 13086 16 0 212422 0
vsize: 849752
[startup+770.132 s]
Raw data (loadavg): 1.05 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 72935 70 0 0 24 0 11 0 777893771 870146048 34551 4294967295 134512640 134569956 3221224384 3221214752 1131144600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34551 13086 16 0 212422 0
vsize: 849752
[startup+780.133 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 73910 70 0 0 25 0 11 0 777893771 870146048 34581 4294967295 134512640 134569956 3221224384 3221214640 1131227568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34581 13086 16 0 212422 0
vsize: 849752
[startup+790.134 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 74849 70 0 0 25 0 11 0 777893771 870146048 34673 4294967295 134512640 134569956 3221224384 3221214664 1131452416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34673 13086 16 0 212422 0
vsize: 849752
[startup+800.135 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 75810 70 0 0 25 0 11 0 777893771 870146048 34752 4294967295 134512640 134569956 3221224384 3221214560 1131444591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34752 13086 16 0 212422 0
vsize: 849752
[startup+810.136 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 3881
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 76768 71 0 0 25 0 11 0 777893771 870146048 34851 4294967295 134512640 134569956 3221224384 3221214796 1130885175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34851 13086 16 0 212422 0
vsize: 849752
[startup+820.137 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 77736 71 0 0 25 0 11 0 777893771 870146048 34970 4294967295 134512640 134569956 3221224384 3221214560 1131444990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 34970 13086 16 0 212422 0
vsize: 849752
[startup+830.138 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 78707 72 0 0 25 0 11 0 777893771 870146048 35163 4294967295 134512640 134569956 3221224384 3221214312 1131632675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35163 13086 16 0 212422 0
vsize: 849752
[startup+840.14 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 79692 72 0 0 25 0 11 0 777893771 870146048 35290 4294967295 134512640 134569956 3221224384 3221214568 1131337345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35290 13086 16 0 212422 0
vsize: 849752
[startup+850.141 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 80682 72 0 0 25 0 11 0 777893771 870146048 35290 4294967295 134512640 134569956 3221224384 3221214560 1131368705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35290 13086 16 0 212422 0
vsize: 849752
[startup+860.142 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 81667 72 0 0 25 0 11 0 777893771 870146048 35318 4294967295 134512640 134569956 3221224384 3221214688 1131360920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35318 13086 16 0 212422 0
vsize: 849752
[startup+870.143 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 82648 73 0 0 25 0 11 0 777893771 870146048 35360 4294967295 134512640 134569956 3221224384 3221214560 1131444591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35360 13086 16 0 212422 0
vsize: 849752
[startup+880.144 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 83639 73 0 0 25 0 11 0 777893771 870146048 35366 4294967295 134512640 134569956 3221224384 3221214552 1131367774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35366 13086 16 0 212422 0
vsize: 849752
[startup+890.145 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 84623 73 0 0 25 0 11 0 777893771 870146048 35408 4294967295 134512640 134569956 3221224384 3221214488 1131634513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35408 13086 16 0 212422 0
vsize: 849752
[startup+900.145 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 85618 73 0 0 25 0 11 0 777893771 870146048 35408 4294967295 134512640 134569956 3221224384 3221214792 1131351070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 35408 13086 16 0 212422 0
vsize: 849752
[startup+910.146 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 86601 74 0 0 25 0 11 0 777893771 870146048 35428 4294967295 134512640 134569956 3221224384 3221214788 1131144769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35428 13086 16 0 212422 0
vsize: 849752
[startup+920.147 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 87593 74 0 0 25 0 11 0 777893771 870146048 35428 4294967295 134512640 134569956 3221224384 3221214392 1131628368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 35428 13086 16 0 212422 0
vsize: 849752
[startup+930.149 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 88584 74 0 0 25 0 11 0 777893771 870146048 35457 4294967295 134512640 134569956 3221224384 3221214688 1131360620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35457 13086 16 0 212422 0
vsize: 849752
[startup+940.15 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 89565 75 0 0 25 0 11 0 777893771 870146048 35457 4294967295 134512640 134569956 3221224384 3221214152 1085679366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35457 13086 16 0 212422 0
vsize: 849752
[startup+950.151 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 90547 75 0 0 25 0 11 0 777893771 870146048 35476 4294967295 134512640 134569956 3221224384 3221214288 1131628593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35476 13086 16 0 212422 0
vsize: 849752
[startup+960.151 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 91520 76 0 0 25 0 11 0 777893771 870146048 35490 4294967295 134512640 134569956 3221224384 3221214560 1131368016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35490 13086 16 0 212422 0
vsize: 849752
[startup+970.153 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 92484 76 0 0 25 0 11 0 777893771 870146048 35538 4294967295 134512640 134569956 3221224384 3221214664 1131453226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35538 13086 16 0 212422 0
vsize: 849752
[startup+980.154 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 93453 76 0 0 25 0 11 0 777893771 870146048 35613 4294967295 134512640 134569956 3221224384 3221214752 1131144593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35613 13086 16 0 212422 0
vsize: 849752
[startup+990.155 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 94424 77 0 0 25 0 11 0 777893771 870146048 35661 4294967295 134512640 134569956 3221224384 3221214688 1131360225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35661 13086 16 0 212422 0
vsize: 849752
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 95398 77 0 0 25 0 11 0 777893771 870146048 35779 4294967295 134512640 134569956 3221224384 3221214824 1131639225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35779 13086 16 0 212422 0
vsize: 849752
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 96378 77 0 0 25 0 11 0 777893771 870146048 35824 4294967295 134512640 134569956 3221224384 3221214788 1131144769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35824 13086 16 0 212422 0
vsize: 849752
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 97362 77 0 0 25 0 11 0 777893771 870146048 35844 4294967295 134512640 134569956 3221224384 3221214560 1131367757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35844 13086 16 0 212422 0
vsize: 849752
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 98336 78 0 0 25 0 11 0 777893771 870146048 35881 4294967295 134512640 134569956 3221224384 3221214688 1131360704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35881 13086 16 0 212422 0
vsize: 849752
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 99314 78 0 0 25 0 11 0 777893771 870146048 35910 4294967295 134512640 134569956 3221224384 3221214552 1131368016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35910 13086 16 0 212422 0
vsize: 849752
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 100293 78 0 0 25 0 11 0 777893771 870146048 35967 4294967295 134512640 134569956 3221224384 3221214664 1131452669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 35967 13086 16 0 212422 0
vsize: 849752
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3883
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 101273 79 0 0 25 0 11 0 777893771 870146048 36010 4294967295 134512640 134569956 3221224384 3221214752 1131144600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36010 13086 16 0 212422 0
vsize: 849752
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 102254 79 0 0 25 0 11 0 777893771 870146048 36039 4294967295 134512640 134569956 3221224384 3221214752 1131144576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36039 13086 16 0 212422 0
vsize: 849752
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 103235 79 0 0 25 0 11 0 777893771 870146048 36056 4294967295 134512640 134569956 3221224384 3221214592 1131632743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36056 13086 16 0 212422 0
vsize: 849752
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 104214 80 0 0 25 0 11 0 777893771 870146048 36085 4294967295 134512640 134569956 3221224384 3221214752 1131144624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36085 13086 16 0 212422 0
vsize: 849752
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 105189 80 0 0 25 0 11 0 777893771 870146048 36107 4294967295 134512640 134569956 3221224384 3221214560 1131445003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36107 13086 16 0 212422 0
vsize: 849752
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 106165 81 0 0 25 0 11 0 777893771 870146048 36121 4294967295 134512640 134569956 3221224384 3221213296 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36121 13086 16 0 212422 0
vsize: 849752
[startup+1120.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) S 3811 25568 25567 0 -1 0 18050 3 94 0 107142 81 0 0 25 0 11 0 777893771 870146048 36174 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36174 13086 16 0 212422 0
vsize: 849752
[startup+1130.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 108123 81 0 0 25 0 11 0 777893771 870146048 36226 4294967295 134512640 134569956 3221224384 3221214568 1085679267 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212438 36226 13086 16 0 212422 0
vsize: 849752
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 109092 81 0 0 25 0 11 0 777893771 870146048 36269 4294967295 134512640 134569956 3221224384 3221214688 1131360302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36269 13086 16 0 212422 0
vsize: 849752
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 110068 82 0 0 25 0 11 0 777893771 870146048 36331 4294967295 134512640 134569956 3221224384 3221214560 1131446691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36331 13086 16 0 212422 0
vsize: 849752
[startup+1160.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 111043 82 0 0 25 0 11 0 777893771 870146048 36387 4294967295 134512640 134569956 3221224384 3221214656 1131364311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36387 13086 16 0 212422 0
vsize: 849752
[startup+1170.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 112019 83 0 0 25 0 11 0 777893771 870146048 36445 4294967295 134512640 134569956 3221224384 3221214560 1131367757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36445 13086 16 0 212422 0
vsize: 849752
[startup+1180.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 113001 83 0 0 25 0 11 0 777893771 870146048 36475 4294967295 134512640 134569956 3221224384 3221214796 1131286579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36475 13086 16 0 212422 0
vsize: 849752
[startup+1190.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 113983 84 0 0 25 0 11 0 777893771 870146048 36532 4294967295 134512640 134569956 3221224384 3221214600 1131634551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36532 13086 16 0 212422 0
vsize: 849752
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 114970 85 0 0 25 0 11 0 777893771 870146048 36547 4294967295 134512640 134569956 3221224384 3221214664 1131452709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36547 13086 16 0 212422 0
vsize: 849752
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 115952 85 0 0 25 0 11 0 777893771 870146048 36563 4294967295 134512640 134569956 3221224384 3221214544 1131634524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36563 13086 16 0 212422 0
vsize: 849752
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 116926 85 0 0 25 0 11 0 777893771 870146048 36578 4294967295 134512640 134569956 3221224384 3221214792 1131350459 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36578 13086 16 0 212422 0
vsize: 849752
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 117905 85 0 0 25 0 11 0 777893771 870146048 36585 4294967295 134512640 134569956 3221224384 3221214684 1131242215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36585 13086 16 0 212422 0
vsize: 849752
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 118875 85 0 0 25 0 11 0 777893771 870146048 36594 4294967295 134512640 134569956 3221224384 3221214664 1131452416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36594 13086 16 0 212422 0
vsize: 849752
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 119853 86 0 0 25 0 11 0 777893771 870146048 36622 4294967295 134512640 134569956 3221224384 3221214656 1131368090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36622 13086 16 0 212422 0
vsize: 849752
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 3885
Raw data (stat): 3812 (java) R 3811 25568 25567 0 -1 0 18050 3 94 0 120820 86 0 0 25 0 11 0 777893771 870146048 36699 4294967295 134512640 134569956 3221224384 3221214688 1131360671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212438 36699 13086 16 0 212422 0
vsize: 849752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.32 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 3887
Raw data (stat): 3812 (java) Z 3811 25568 25567 0 -1 1036 18050 20270 94 0 120823 86 5267 52 17 0 1 0 777893771 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.32
CPU time (s): 1262.31
CPU user time (s): 1260.91
CPU system time (s): 1.39079
CPU usage (%): 100.157
Max. virtual memory (Kb): 853592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14
#### END VERIFIER DATA ####