PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb
MD5SUM	2998f4c8b2aa0ba71848641193ef2744
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	331
Optimality of the best value was proved	NO
Number of terms in the objective function	696
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	696
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	696
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03984
Number of variables	696
Total number of constraints	6082
Number of constraints which are clauses	6082
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 34800

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 10:34:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24075 boxname=wulflinc2 idbench=149 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2998f4c8b2aa0ba71848641193ef2744  /oldhome/oroussel/tmp/wulflinc2/normalized-ii32b3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-ii32b3.opb
IDLAUNCH: 24075
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        714612 kB
Buffers:         36892 kB
Cached:         260604 kB
SwapCached:        820 kB
Active:          16736 kB
Inactive:       282952 kB
HighTotal:      131008 kB
HighFree:        60116 kB
LowTotal:       903652 kB
LowFree:        654496 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            14788 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:54:31 (client local time) WITH STATUS 10 IN 1201.37 SECONDS
stats: 24075 0 1201.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 133415/243963	Time: 94.6166/86400
Decision: 134974/243963	Time: 160.496/86400
Decision: 139185/243963	Time: 288.643/86400c [startup+434.088 s]  setting bit 9 to 0
c got solution with objective value: 348
c [startup+436.773 s]  setting bit 8 to 1

Decision: 74790/243963	Time: 102.805/86400
Decision: 76347/243963	Time: 143.727/86400
Decision: 77646/243963	Time: 223.281/86400c [startup+736.788 s]  setting bit 7 to 0
c got solution with objective value: 348
c [startup+738.701 s]  setting bit 6 to 1
c got solution with objective value: 344
c [startup+740.389 s]  setting bit 5 to 1

Decision: 68374/243963	Time: 57.0393/86400
Decision: 72515/243963	Time: 149.796/86400
Decision: 79165/243963	Time: 208.105/86400c [startup+1022.79 s]  setting bit 4 to 0
c got solution with objective value: 336
c [startup+1025.51 s]  setting bit 3 to 1
c got solution with objective value: 332
c [startup+1034.06 s]  setting bit 2 to 1

Decision: 69121/243963	Time: 51.6671/86400
Decision: 70243/243963	Time: 78.3131/86400
Decision: 70997/243963	Time: 141.298/86400s SATISFIABLE
v x1 -x10 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 x20 -x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 x21 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 -x219 -x22 x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 x23 x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 x25 -x250 x251 -x252 x253 -x254 x255 -x256 -x257 x258 x259 -x26 -x260 -x261 -x262 x263 -x264 -x265 x266 x267 -x268 x269 x27 -x270 x271 -x272 x273 -x274 x275 -x276 -x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 -x287 x288 x289 x29 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x3 -x30 x300 x301 -x302 -x303 -x304 -x305 x306 x307 -x308 x309 x31 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x32 -x320 -x321 x322 x323 -x324 x325 -x326 x327 -x328 x329 x33 -x330 -x331 -x332 -x333 -x334 x335 -x336 x337 -x338 -x339 -x34 -x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 x35 -x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 x359 -x36 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 x37 -x370 x371 -x372 x373 -x374 x375 -x376 -x377 -x378 x379 -x38 -x380 x381 -x382 x383 -x384 x385 -x386 -x387 x388 -x389 x39 x390 -x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x4 -x40 -x400 -x401 x402 -x403 x404 x405 -x406 -x407 x408 -x409 x41 x410 x411 -x412 -x413 x414 -x415 x416 -x417 x418 x419 -x42 -x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 x429 x43 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 x439 -x44 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x45 x450 -x451 x452 x453 -x454 -x455 x456 -x457 -x458 x459 -x46 -x460 -x461 x462 -x463 x464 x465 -x466 -x467 x468 -x469 x47 x470 x471 -x472 -x473 x474 -x475 x476 x477 -x478 -x479 -x48 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 x489 x49 -x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 x499 -x5 -x50 -x500 -x501 x502 -x503 x504 -x505 x506 x507 -x508 -x509 x51 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 -x519 -x52 x520 x521 -x522 -x523 x524 x525 -x526 -x527 x528 x529 x53 -x530 -x531 x532 -x533 x534 x535 -x536 -x537 x538 -x539 -x54 x540 -x541 x542 x543 -x544 -x545 x546 x547 -x548 -x549 x55 x550 -x551 x552 -x553 x554 x555 -x556 -x557 x558 -x559 -x56 x560 x561 -x562 -x563 x564 x565 -x566 -x567 x568 -x569 x57 x570 x571 -x572 -x573 x574 -x575 x576 x577 -x578 -x579 -x58 x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x59 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x6 -x60 x600 -x601 x602 x603 -x604 -x605 x606 x607 -x608 -x609 x61 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 -x62 x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 -x629 x63 x630 x631 -x632 -x633 -x634 -x635 x636 -x637 x638 x639 -x64 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 x65 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 -x66 x660 -x661 x662 x663 -x664 -x665 x666 x667 -x668 -x669 x67 x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 x685 -x686 -x687 x688 -x689 x69 x690 -x691 x692 x693 -x694 -x695 x696 x7 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 -x8 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 x9 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.87 0.71 2/54 8637
Raw data (stat): 8637 (runsolver) R 8636 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805901949 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.87 0.71 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 29378 0 0 0 930 69 0 0 25 0 1 0 805901949 88707072 18472 4294967295 134512640 135726644 3221224592 3221212108 134604449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21657 18472 300 300 0 21357 0
vsize: 86628
[startup+20 s]
Raw data (loadavg): 0.89 0.88 0.72 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 33922 0 0 0 1919 79 0 0 25 0 1 0 805901949 98746368 22286 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24108 22286 300 300 0 23808 0
vsize: 96432
[startup+30.001 s]
Raw data (loadavg): 0.91 0.88 0.72 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 34744 0 0 0 2917 81 0 0 25 0 1 0 805901949 102010880 22879 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24905 22879 300 300 0 24605 0
vsize: 99620
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.89 0.72 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 34807 0 0 0 3917 81 0 0 25 0 1 0 805901949 102277120 22942 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24970 22942 300 300 0 24670 0
vsize: 99880
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.89 0.73 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 34816 0 0 0 4917 81 0 0 25 0 1 0 805901949 102277120 22951 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24970 22951 300 300 0 24670 0
vsize: 99880
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.89 0.73 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 34895 0 0 0 5917 81 0 0 25 0 1 0 805901949 102543360 22997 4294967295 134512640 135726644 3221224592 3221223136 134736688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25035 22997 300 300 0 24735 0
vsize: 100140
[startup+70.0005 s]
Raw data (loadavg): 0.95 0.89 0.73 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35025 0 0 0 6917 82 0 0 25 0 1 0 805901949 103088128 23127 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25168 23127 300 300 0 24868 0
vsize: 100672
[startup+80.0012 s]
Raw data (loadavg): 0.96 0.90 0.73 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35034 0 0 0 7918 82 0 0 25 0 1 0 805901949 103088128 23136 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25168 23136 300 300 0 24868 0
vsize: 100672
[startup+90.0013 s]
Raw data (loadavg): 0.96 0.90 0.73 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35049 0 0 0 8918 82 0 0 25 0 1 0 805901949 103088128 23151 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25168 23151 300 300 0 24868 0
vsize: 100672
[startup+100.002 s]
Raw data (loadavg): 0.97 0.90 0.74 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35149 0 0 0 9918 82 0 0 25 0 1 0 805901949 103350272 23186 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25232 23186 300 300 0 24932 0
vsize: 100928
[startup+110.002 s]
Raw data (loadavg): 0.97 0.91 0.74 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35656 0 0 0 10916 83 0 0 25 0 1 0 805901949 103546880 23216 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25280 23216 300 300 0 24980 0
vsize: 101120
[startup+120.002 s]
Raw data (loadavg): 0.98 0.91 0.74 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35693 0 0 0 11917 83 0 0 25 0 1 0 805901949 103743488 23253 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25328 23253 300 300 0 25028 0
vsize: 101312
[startup+130.003 s]
Raw data (loadavg): 0.98 0.91 0.74 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35694 0 0 0 12917 83 0 0 25 0 1 0 805901949 103743488 23254 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25328 23254 300 300 0 25028 0
vsize: 101312
[startup+140.002 s]
Raw data (loadavg): 0.98 0.91 0.74 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35769 0 0 0 13917 83 0 0 25 0 1 0 805901949 104005632 23264 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25392 23264 300 300 0 25092 0
vsize: 101568
[startup+150.003 s]
Raw data (loadavg): 0.98 0.92 0.75 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35775 0 0 0 14917 83 0 0 25 0 1 0 805901949 104005632 23270 4294967295 134512640 135726644 3221224592 3221223136 134736626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25392 23270 300 300 0 25092 0
vsize: 101568
[startup+160.003 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35785 0 0 0 15917 84 0 0 25 0 1 0 805901949 104005632 23280 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25392 23280 300 300 0 25092 0
vsize: 101568
[startup+170.002 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 35789 0 0 0 16917 84 0 0 25 0 1 0 805901949 104005632 23284 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25392 23284 300 300 0 25092 0
vsize: 101568
[startup+180.002 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36383 0 0 0 17915 85 0 0 25 0 1 0 805901949 104538112 23401 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23401 300 300 0 25222 0
vsize: 102088
[startup+190.002 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36391 0 0 0 18915 85 0 0 25 0 1 0 805901949 104538112 23409 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23409 300 300 0 25222 0
vsize: 102088
[startup+200.003 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36396 0 0 0 19916 85 0 0 25 0 1 0 805901949 104538112 23414 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23414 300 300 0 25222 0
vsize: 102088
[startup+210.002 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36400 0 0 0 20916 85 0 0 25 0 1 0 805901949 104538112 23418 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23418 300 300 0 25222 0
vsize: 102088
[startup+220.002 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36418 0 0 0 21916 85 0 0 25 0 1 0 805901949 104538112 23436 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23436 300 300 0 25222 0
vsize: 102088
[startup+230.003 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36421 0 0 0 22916 85 0 0 25 0 1 0 805901949 104538112 23439 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23439 300 300 0 25222 0
vsize: 102088
[startup+240.005 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36428 0 0 0 23916 85 0 0 25 0 1 0 805901949 104538112 23446 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23446 300 300 0 25222 0
vsize: 102088
[startup+250.005 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36433 0 0 0 24917 85 0 0 25 0 1 0 805901949 104538112 23451 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23451 300 300 0 25222 0
vsize: 102088
[startup+260.006 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36439 0 0 0 25916 86 0 0 25 0 1 0 805901949 104538112 23457 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23457 300 300 0 25222 0
vsize: 102088
[startup+270.005 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36445 0 0 0 26916 86 0 0 25 0 1 0 805901949 104538112 23463 4294967295 134512640 135726644 3221224592 3221223136 134736698 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23463 300 300 0 25222 0
vsize: 102088
[startup+280.006 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36450 0 0 0 27916 86 0 0 25 0 1 0 805901949 104538112 23468 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23468 300 300 0 25222 0
vsize: 102088
[startup+290.006 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36456 0 0 0 28917 86 0 0 25 0 1 0 805901949 104538112 23474 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23474 300 300 0 25222 0
vsize: 102088
[startup+300.009 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36939 0 0 0 29916 87 0 0 25 0 1 0 805901949 106491904 23957 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25999 23957 300 300 0 25699 0
vsize: 103996
[startup+310.008 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36944 0 0 0 30915 88 0 0 25 0 1 0 805901949 104538112 23485 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23485 300 300 0 25222 0
vsize: 102088
[startup+320.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36952 0 0 0 31915 88 0 0 25 0 1 0 805901949 104538112 23493 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23493 300 300 0 25222 0
vsize: 102088
[startup+330.008 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36957 0 0 0 32915 88 0 0 25 0 1 0 805901949 104538112 23498 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23498 300 300 0 25222 0
vsize: 102088
[startup+340.009 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36962 0 0 0 33915 88 0 0 25 0 1 0 805901949 104538112 23503 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23503 300 300 0 25222 0
vsize: 102088
[startup+350.009 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36969 0 0 0 34916 88 0 0 25 0 1 0 805901949 104538112 23510 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23510 300 300 0 25222 0
vsize: 102088
[startup+360.012 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36977 0 0 0 35916 88 0 0 25 0 1 0 805901949 104538112 23518 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23518 300 300 0 25222 0
vsize: 102088
[startup+370.012 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36985 0 0 0 36916 88 0 0 25 0 1 0 805901949 104538112 23526 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23526 300 300 0 25222 0
vsize: 102088
[startup+380.012 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 36993 0 0 0 37917 88 0 0 25 0 1 0 805901949 104538112 23534 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23534 300 300 0 25222 0
vsize: 102088
[startup+390.013 s]
Raw data (loadavg): 0.99 0.95 0.79 3/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 37003 0 0 0 38917 88 0 0 25 0 1 0 805901949 104538112 23544 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23544 300 300 0 25222 0
vsize: 102088
[startup+400.015 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 37013 0 0 0 39917 88 0 0 25 0 1 0 805901949 104538112 23554 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23554 300 300 0 25222 0
vsize: 102088
[startup+410.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 37028 0 0 0 40917 88 0 0 25 0 1 0 805901949 104538112 23569 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23569 300 300 0 25222 0
vsize: 102088
[startup+420.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 37037 0 0 0 41917 88 0 0 25 0 1 0 805901949 104538112 23578 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23578 300 300 0 25222 0
vsize: 102088
[startup+430.016 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 37051 0 0 0 42917 88 0 0 25 0 1 0 805901949 104538112 23592 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25522 23592 300 300 0 25222 0
vsize: 102088
[startup+440.015 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38269 0 0 0 43914 91 0 0 25 0 1 0 805901949 105062400 23727 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25650 23727 300 300 0 25350 0
vsize: 102600
[startup+450.015 s]
Raw data (loadavg): 0.99 0.96 0.80 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38424 0 0 0 44914 92 0 0 25 0 1 0 805901949 105586688 23753 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25778 23753 300 300 0 25478 0
vsize: 103112
[startup+460.015 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38644 0 0 0 45913 92 0 0 25 0 1 0 805901949 106110976 23843 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25906 23843 300 300 0 25606 0
vsize: 103624
[startup+470.015 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38660 0 0 0 46914 92 0 0 25 0 1 0 805901949 106110976 23859 4294967295 134512640 135726644 3221224592 3221222832 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25906 23859 300 300 0 25606 0
vsize: 103624
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38880 0 0 0 47913 93 0 0 25 0 1 0 805901949 106774528 23950 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26068 23950 300 300 0 25768 0
vsize: 104272
[startup+490.015 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38895 0 0 0 48913 93 0 0 25 0 1 0 805901949 106774528 23965 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26068 23965 300 300 0 25768 0
vsize: 104272
[startup+500.016 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38901 0 0 0 49914 93 0 0 25 0 1 0 805901949 106774528 23971 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26068 23971 300 300 0 25768 0
vsize: 104272
[startup+510.016 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 38922 0 0 0 50914 93 0 0 25 0 1 0 805901949 106774528 23992 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26068 23992 300 300 0 25768 0
vsize: 104272
[startup+520.016 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 39971 0 0 0 51912 95 0 0 25 0 1 0 805901949 111071232 24811 4294967295 134512640 135726644 3221224592 3221223088 134744357 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27117 24811 300 300 0 26817 0
vsize: 108468
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 41273 0 0 0 52909 98 0 0 25 0 1 0 805901949 117194752 25916 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28612 25916 300 300 0 28312 0
vsize: 114448
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 42846 0 0 0 53907 101 0 0 25 0 1 0 805901949 120836096 26505 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26505 300 300 0 29201 0
vsize: 118004
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 42891 0 0 0 54907 101 0 0 25 0 1 0 805901949 120836096 26550 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26550 300 300 0 29201 0
vsize: 118004
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 42892 0 0 0 55907 101 0 0 25 0 1 0 805901949 120836096 26551 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26551 300 300 0 29201 0
vsize: 118004
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 42893 0 0 0 56907 101 0 0 25 0 1 0 805901949 120836096 26552 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26552 300 300 0 29201 0
vsize: 118004
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43372 0 0 0 57906 102 0 0 25 0 1 0 805901949 122789888 27031 4294967295 134512640 135726644 3221224592 3221222768 134765226 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29978 27031 300 300 0 29678 0
vsize: 119912
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43374 0 0 0 58906 102 0 0 25 0 1 0 805901949 120836096 26556 4294967295 134512640 135726644 3221224592 3221223088 134744195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26556 300 300 0 29201 0
vsize: 118004
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43387 0 0 0 59906 103 0 0 25 0 1 0 805901949 120836096 26569 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26569 300 300 0 29201 0
vsize: 118004
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43402 0 0 0 60906 103 0 0 25 0 1 0 805901949 120836096 26584 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26584 300 300 0 29201 0
vsize: 118004
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43422 0 0 0 61906 103 0 0 25 0 1 0 805901949 120836096 26604 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26604 300 300 0 29201 0
vsize: 118004
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43442 0 0 0 62906 103 0 0 25 0 1 0 805901949 120836096 26624 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26624 300 300 0 29201 0
vsize: 118004
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43451 0 0 0 63906 103 0 0 25 0 1 0 805901949 120836096 26633 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26633 300 300 0 29201 0
vsize: 118004
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43466 0 0 0 64906 103 0 0 25 0 1 0 805901949 120836096 26648 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26648 300 300 0 29201 0
vsize: 118004
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43963 0 0 0 65905 104 0 0 25 0 1 0 805901949 120836096 26668 4294967295 134512640 135726644 3221224592 3221223216 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26668 300 300 0 29201 0
vsize: 118004
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43972 0 0 0 66905 104 0 0 25 0 1 0 805901949 120836096 26677 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26677 300 300 0 29201 0
vsize: 118004
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43978 0 0 0 67906 104 0 0 25 0 1 0 805901949 120836096 26683 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26683 300 300 0 29201 0
vsize: 118004
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43988 0 0 0 68905 105 0 0 25 0 1 0 805901949 120836096 26693 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26693 300 300 0 29201 0
vsize: 118004
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 43996 0 0 0 69905 105 0 0 25 0 1 0 805901949 120836096 26701 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26701 300 300 0 29201 0
vsize: 118004
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 44008 0 0 0 70906 105 0 0 25 0 1 0 805901949 120836096 26713 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26713 300 300 0 29201 0
vsize: 118004
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 44024 0 0 0 71905 105 0 0 25 0 1 0 805901949 120836096 26729 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26729 300 300 0 29201 0
vsize: 118004
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 44035 0 0 0 72906 105 0 0 25 0 1 0 805901949 120836096 26740 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26740 300 300 0 29201 0
vsize: 118004
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 44997 0 0 0 73904 107 0 0 25 0 1 0 805901949 120836096 26748 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26748 300 300 0 29201 0
vsize: 118004
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 45511 0 0 0 74903 108 0 0 25 0 1 0 805901949 120836096 26785 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29501 26785 300 300 0 29201 0
vsize: 118004
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 45640 0 0 0 75903 109 0 0 25 0 1 0 805901949 121102336 26881 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 26881 300 300 0 29266 0
vsize: 118264
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 45679 0 0 0 76903 109 0 0 25 0 1 0 805901949 121102336 26920 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 26920 300 300 0 29266 0
vsize: 118264
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 45687 0 0 0 77903 109 0 0 25 0 1 0 805901949 121102336 26928 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 26928 300 300 0 29266 0
vsize: 118264
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 45739 0 0 0 78903 109 0 0 25 0 1 0 805901949 121102336 26980 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 26980 300 300 0 29266 0
vsize: 118264
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 46251 0 0 0 79902 111 0 0 25 0 1 0 805901949 121102336 27015 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 27015 300 300 0 29266 0
vsize: 118264
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 46253 0 0 0 80902 111 0 0 25 0 1 0 805901949 121102336 27017 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 27017 300 300 0 29266 0
vsize: 118264
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 46254 0 0 0 81902 111 0 0 25 0 1 0 805901949 121102336 27018 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 27018 300 300 0 29266 0
vsize: 118264
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 46263 0 0 0 82902 111 0 0 25 0 1 0 805901949 121102336 27027 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29566 27027 300 300 0 29266 0
vsize: 118264
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 47037 0 0 0 83900 114 0 0 25 0 1 0 805901949 123207680 27346 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30080 27346 300 300 0 29780 0
vsize: 120320
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 48236 0 0 0 84897 117 0 0 25 0 1 0 805901949 127463424 28118 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31119 28118 300 300 0 30819 0
vsize: 124476
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 48963 0 0 0 85895 118 0 0 25 0 1 0 805901949 129871872 28647 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31707 28647 300 300 0 31407 0
vsize: 126828
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 49497 0 0 0 86894 120 0 0 25 0 1 0 805901949 132001792 29082 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32227 29082 300 300 0 31927 0
vsize: 128908
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 50897 0 0 0 87890 124 0 0 25 0 1 0 805901949 135696384 29763 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33129 29763 300 300 0 32829 0
vsize: 132516
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52356 0 0 0 88887 127 0 0 25 0 1 0 805901949 140701696 30795 4294967295 134512640 135726644 3221224592 3221222740 134765517 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34351 30795 300 300 0 34051 0
vsize: 137404
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52396 0 0 0 89887 128 0 0 25 0 1 0 805901949 155525120 30358 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30358 300 300 0 37670 0
vsize: 151880
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52434 0 0 0 90887 128 0 0 25 0 1 0 805901949 155525120 30396 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30396 300 300 0 37670 0
vsize: 151880
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52461 0 0 0 91887 128 0 0 25 0 1 0 805901949 155525120 30423 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30423 300 300 0 37670 0
vsize: 151880
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52491 0 0 0 92887 128 0 0 25 0 1 0 805901949 155525120 30453 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30453 300 300 0 37670 0
vsize: 151880
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 52506 0 0 0 93887 128 0 0 25 0 1 0 805901949 155525120 30468 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30468 300 300 0 37670 0
vsize: 151880
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53011 0 0 0 94885 130 0 0 25 0 1 0 805901949 155525120 30496 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30496 300 300 0 37670 0
vsize: 151880
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53019 0 0 0 95886 130 0 0 25 0 1 0 805901949 155525120 30504 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30504 300 300 0 37670 0
vsize: 151880
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53031 0 0 0 96886 130 0 0 25 0 1 0 805901949 155525120 30516 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30516 300 300 0 37670 0
vsize: 151880
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53077 0 0 0 97886 130 0 0 25 0 1 0 805901949 155525120 30562 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30562 300 300 0 37670 0
vsize: 151880
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53101 0 0 0 98885 131 0 0 25 0 1 0 805901949 155525120 30586 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30586 300 300 0 37670 0
vsize: 151880
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53148 0 0 0 99885 131 0 0 25 0 1 0 805901949 155525120 30633 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30633 300 300 0 37670 0
vsize: 151880
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53167 0 0 0 100885 131 0 0 25 0 1 0 805901949 155525120 30652 4294967295 134512640 135726644 3221224592 3221223136 134736590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30652 300 300 0 37670 0
vsize: 151880
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 53184 0 0 0 101885 131 0 0 25 0 1 0 805901949 155525120 30669 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30669 300 300 0 37670 0
vsize: 151880
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54143 0 0 0 102883 134 0 0 25 0 1 0 805901949 155525120 30674 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30674 300 300 0 37670 0
vsize: 151880
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54667 0 0 0 103882 135 0 0 25 0 1 0 805901949 155525120 30721 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37970 30721 300 300 0 37670 0
vsize: 151880
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54738 0 0 0 104882 136 0 0 25 0 1 0 805901949 155656192 30759 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30759 300 300 0 37702 0
vsize: 152008
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54785 0 0 0 105881 136 0 0 25 0 1 0 805901949 155656192 30806 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30806 300 300 0 37702 0
vsize: 152008
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54812 0 0 0 106881 136 0 0 25 0 1 0 805901949 155656192 30833 4294967295 134512640 135726644 3221224592 3221223184 134760015 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30834 300 300 0 37702 0
vsize: 152008
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 54883 0 0 0 107881 137 0 0 25 0 1 0 805901949 155656192 30904 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30904 300 300 0 37702 0
vsize: 152008
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 55380 0 0 0 108880 138 0 0 25 0 1 0 805901949 155656192 30924 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30924 300 300 0 37702 0
vsize: 152008
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 55382 0 0 0 109880 138 0 0 25 0 1 0 805901949 155656192 30926 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30926 300 300 0 37702 0
vsize: 152008
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 55384 0 0 0 110880 139 0 0 25 0 1 0 805901949 155656192 30928 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30928 300 300 0 37702 0
vsize: 152008
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 55863 0 0 0 111878 140 0 0 25 0 1 0 805901949 155656192 30930 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30930 300 300 0 37702 0
vsize: 152008
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 55865 0 0 0 112879 140 0 0 25 0 1 0 805901949 155656192 30932 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38002 30932 300 300 0 37702 0
vsize: 152008
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 56026 0 0 0 113878 141 0 0 25 0 1 0 805901949 156176384 31026 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38129 31026 300 300 0 37829 0
vsize: 152516
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 57647 0 0 0 114874 145 0 0 25 0 1 0 805901949 160780288 31768 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39253 31768 300 300 0 38953 0
vsize: 157012
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 58754 0 0 0 115872 147 0 0 25 0 1 0 805901949 163667968 32224 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39958 32224 300 300 0 39658 0
vsize: 159832
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 59242 0 0 0 116871 149 0 0 25 0 1 0 805901949 165113856 32419 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40311 32419 300 300 0 40011 0
vsize: 161244
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 59720 0 0 0 117870 150 0 0 25 0 1 0 805901949 165113856 32420 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40311 32420 300 300 0 40011 0
vsize: 161244
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 59722 0 0 0 118870 150 0 0 25 0 1 0 805901949 165113856 32422 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40311 32422 300 300 0 40011 0
vsize: 161244
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 8637
Raw data (stat): 8637 (pb2sat) R 8636 31399 31398 0 -1 0 59745 0 0 0 119870 150 0 0 25 0 1 0 805901949 165113856 32445 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40311 32445 300 300 0 40011 0
vsize: 161244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.19 s]
Raw data (loadavg): 0.99 0.97 0.89 1/54 8637
Raw data (stat): 8637 (pb2sat) Z 8636 31399 31398 0 -1 12 59746 0 0 0 119980 156 0 0 25 0 1 0 805901949 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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: 10
Real time (s): 1201.19
CPU time (s): 1201.37
CPU user time (s): 1199.8
CPU system time (s): 1.56676
CPU usage (%): 100.015
Max. virtual memory (Kb): 161244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	332
#### END VERIFIER DATA ####