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-ii32d2.opb
MD5SUM	a483fc3761bb4050329265bf3a3a7ca5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	372
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
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	808
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.04284
Number of variables	808
Total number of constraints	5557
Number of constraints which are clauses	5557
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 42038

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-15 22:26:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25254 boxname=wulflinc3 idbench=156 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a483fc3761bb4050329265bf3a3a7ca5  /oldhome/oroussel/tmp/wulflinc3/normalized-ii32d2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ii32d2.opb
IDLAUNCH: 25254
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        845696 kB
Buffers:         33784 kB
Cached:         133628 kB
SwapCached:        820 kB
Active:          38412 kB
Inactive:       131204 kB
HighTotal:      131008 kB
HighFree:        19180 kB
LowTotal:       903652 kB
LowFree:        826516 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13720 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 22:46:24 (client local time) WITH STATUS 10 IN 1201.22 SECONDS
stats: 25254 0 1201.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 404
c small objective detected
c CONFLICT during preprocess 
c [startup+13.4321 s]  setting bit 9 to 0

c Decision: 138588/246252	Time: 61.9586/86400
c Decision: 138588/246252	Time: 108.26/86400
c Decision: 139148/246252	Time: 159.438/86400
c Decision: 139148/246252	Time: 197.076/86400
c Decision: 139148/246252	Time: 247.268/86400
c Decision: 139264/246252	Time: 309.859/86400
c Decision: 139264/246252	Time: 356.122/86400
c Decision: 139943/246252	Time: 486.452/86400
c Decision: 139951/246252	Time: 577.559/86400
c Decision: 139951/246252	Time: 605.295/86400
c Decision: 141052/246252	Time: 676.881/86400
c Decision: 141052/246252	Time: 728.245/86400
c Decision: 141076/246252	Time: 785.965/86400
c Decision: 141443/246252	Time: 839.992/86400
c Decision: 141443/246252	Time: 889.822/86400
c Decision: 141443/246252	Time: 942.195/86400
c Decision: 142200/246252	Time: 1039.3/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 -x697 x698 x699 x7 -x70 -x700 -x701 x702 -x703 x704 -x705 x706 -x707 x708 -x709 -x71 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x72 x720 -x721 x722 -x723 x724 -x725 x726 x727 -x728 x729 x73 -x730 -x731 x732 -x733 x734 -x735 x736 -x737 x738 x739 -x74 -x740 -x741 x742 -x743 x744 x745 -x746 -x747 x748 -x749 x75 x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 -x759 -x76 x760 -x761 x762 -x763 x764 -x765 x766 x767 -x768 x769 x77 -x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 x779 -x78 -x780 -x781 x782 -x783 x784 x785 -x786 -x787 x788 -x789 x79 x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 x799 -x8 -x80 -x800 -x801 x802 -x803 x804 -x805 x806 x807 -x808 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.91 0.97 0.94 1/54 13099
Raw data (stat): 13099 (runsolver) R 13098 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965702347 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 27092 0 0 0 942 56 0 0 25 0 1 0 965702347 85409792 16213 4294967295 134512640 135730672 3221224592 3221012956 134608014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20852 16213 301 301 0 20551 0
vsize: 83408
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35053 0 0 0 1922 76 0 0 25 0 1 0 965702347 101240832 22929 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24717 22929 301 301 0 24416 0
vsize: 98868
[startup+30.0041 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35520 0 0 0 2920 77 0 0 25 0 1 0 965702347 103432192 23330 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25252 23330 301 301 0 24951 0
vsize: 101008
[startup+40.004 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35746 0 0 0 3920 78 0 0 25 0 1 0 965702347 104095744 23457 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25414 23457 301 301 0 25113 0
vsize: 101656
[startup+50.0052 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35783 0 0 0 4919 78 0 0 25 0 1 0 965702347 104230912 23494 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25447 23494 301 301 0 25146 0
vsize: 101788
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35809 0 0 0 5919 79 0 0 25 0 1 0 965702347 104230912 23520 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25447 23520 301 301 0 25146 0
vsize: 101788
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 35880 0 0 0 6919 79 0 0 25 0 1 0 965702347 104361984 23558 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25479 23558 301 301 0 25178 0
vsize: 101916
[startup+80.0068 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 36637 0 0 0 7917 81 0 0 25 0 1 0 965702347 105291776 23703 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23703 301 301 0 25405 0
vsize: 102824
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 36645 0 0 0 8917 81 0 0 25 0 1 0 965702347 105291776 23711 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23711 301 301 0 25405 0
vsize: 102824
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 36646 0 0 0 9917 82 0 0 25 0 1 0 965702347 105291776 23712 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23712 301 301 0 25405 0
vsize: 102824
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 36648 0 0 0 10917 82 0 0 25 0 1 0 965702347 105291776 23714 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23714 301 301 0 25405 0
vsize: 102824
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 36651 0 0 0 11917 82 0 0 25 0 1 0 965702347 105291776 23717 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23717 301 301 0 25405 0
vsize: 102824
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37144 0 0 0 12915 84 0 0 25 0 1 0 965702347 105291776 23729 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23729 301 301 0 25405 0
vsize: 102824
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37158 0 0 0 13915 84 0 0 25 0 1 0 965702347 105291776 23743 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23743 301 301 0 25405 0
vsize: 102824
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37169 0 0 0 14915 84 0 0 25 0 1 0 965702347 105291776 23754 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23754 301 301 0 25405 0
vsize: 102824
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37184 0 0 0 15914 85 0 0 25 0 1 0 965702347 105291776 23769 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25706 23769 301 301 0 25405 0
vsize: 102824
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37305 0 0 0 16914 86 0 0 25 0 1 0 965702347 105684992 23792 4294967295 134512640 135730672 3221224592 3221223020 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23792 301 301 0 25501 0
vsize: 103208
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37798 0 0 0 17912 87 0 0 25 0 1 0 965702347 105684992 23804 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23804 301 301 0 25501 0
vsize: 103208
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37810 0 0 0 18912 88 0 0 25 0 1 0 965702347 105684992 23816 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23816 301 301 0 25501 0
vsize: 103208
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 37837 0 0 0 19911 88 0 0 25 0 1 0 965702347 105684992 23843 4294967295 134512640 135730672 3221224592 3221222976 134763671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23843 301 301 0 25501 0
vsize: 103208
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38330 0 0 0 20911 89 0 0 25 0 1 0 965702347 107655168 24336 4294967295 134512640 135730672 3221224592 3221222576 134772751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26283 24336 301 301 0 25982 0
vsize: 105132
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38344 0 0 0 21910 90 0 0 25 0 1 0 965702347 105684992 23869 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23869 301 301 0 25501 0
vsize: 103208
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38355 0 0 0 22910 90 0 0 25 0 1 0 965702347 105684992 23880 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23880 301 301 0 25501 0
vsize: 103208
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38367 0 0 0 23910 90 0 0 25 0 1 0 965702347 105684992 23892 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23892 301 301 0 25501 0
vsize: 103208
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38375 0 0 0 24909 91 0 0 25 0 1 0 965702347 105684992 23900 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23900 301 301 0 25501 0
vsize: 103208
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38386 0 0 0 25909 91 0 0 25 0 1 0 965702347 105684992 23911 4294967295 134512640 135730672 3221224592 3221222896 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23911 301 301 0 25501 0
vsize: 103208
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38877 0 0 0 26908 92 0 0 25 0 1 0 965702347 105684992 23921 4294967295 134512640 135730672 3221224592 3221222632 135284425 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23921 301 301 0 25501 0
vsize: 103208
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38890 0 0 0 27908 93 0 0 25 0 1 0 965702347 105684992 23934 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23934 301 301 0 25501 0
vsize: 103208
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38900 0 0 0 28908 93 0 0 25 0 1 0 965702347 105684992 23944 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23944 301 301 0 25501 0
vsize: 103208
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38910 0 0 0 29907 94 0 0 25 0 1 0 965702347 105684992 23954 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23954 301 301 0 25501 0
vsize: 103208
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38920 0 0 0 30907 94 0 0 25 0 1 0 965702347 105684992 23964 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23964 301 301 0 25501 0
vsize: 103208
[startup+320.017 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 38931 0 0 0 31907 94 0 0 25 0 1 0 965702347 105684992 23975 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23975 301 301 0 25501 0
vsize: 103208
[startup+330.018 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 39712 0 0 0 32905 96 0 0 25 0 1 0 965702347 107220992 24259 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26177 24259 301 301 0 25876 0
vsize: 104708
[startup+340.017 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 39852 0 0 0 33904 97 0 0 25 0 1 0 965702347 108032000 24399 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24399 301 301 0 26074 0
vsize: 105500
[startup+350.018 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 39853 0 0 0 34904 98 0 0 25 0 1 0 965702347 108032000 24400 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24400 301 301 0 26074 0
vsize: 105500
[startup+360.018 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 39854 0 0 0 35903 98 0 0 25 0 1 0 965702347 108032000 24401 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24401 301 301 0 26074 0
vsize: 105500
[startup+370.019 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40336 0 0 0 36902 100 0 0 25 0 1 0 965702347 108032000 24402 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24402 301 301 0 26074 0
vsize: 105500
[startup+380.02 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40337 0 0 0 37902 100 0 0 25 0 1 0 965702347 108032000 24403 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24403 301 301 0 26074 0
vsize: 105500
[startup+390.02 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40337 0 0 0 38902 100 0 0 25 0 1 0 965702347 108032000 24403 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24403 301 301 0 26074 0
vsize: 105500
[startup+400.02 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40338 0 0 0 39902 100 0 0 25 0 1 0 965702347 108032000 24404 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24404 301 301 0 26074 0
vsize: 105500
[startup+410.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40339 0 0 0 40901 101 0 0 25 0 1 0 965702347 108032000 24405 4294967295 134512640 135730672 3221224592 3221222632 135284593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24405 301 301 0 26074 0
vsize: 105500
[startup+420.021 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40340 0 0 0 41901 101 0 0 25 0 1 0 965702347 108032000 24406 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26375 24406 301 301 0 26074 0
vsize: 105500
[startup+430.022 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 40391 0 0 0 42901 102 0 0 25 0 1 0 965702347 108363776 24457 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26456 24457 301 301 0 26155 0
vsize: 105824
[startup+440.022 s]
Raw data (loadavg): 1.09 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41126 0 0 0 43899 103 0 0 25 0 1 0 965702347 111583232 25044 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27242 25044 301 301 0 26941 0
vsize: 108968
[startup+450.024 s]
Raw data (loadavg): 1.15 1.02 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41487 0 0 0 44898 104 0 0 25 0 1 0 965702347 112771072 25240 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25240 301 301 0 27231 0
vsize: 110128
[startup+460.023 s]
Raw data (loadavg): 1.12 1.02 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41488 0 0 0 45898 105 0 0 25 0 1 0 965702347 112771072 25241 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25241 301 301 0 27231 0
vsize: 110128
[startup+470.024 s]
Raw data (loadavg): 1.10 1.02 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41489 0 0 0 46898 105 0 0 25 0 1 0 965702347 112771072 25242 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25242 301 301 0 27231 0
vsize: 110128
[startup+480.024 s]
Raw data (loadavg): 1.09 1.02 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41490 0 0 0 47898 105 0 0 25 0 1 0 965702347 112771072 25243 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25243 301 301 0 27231 0
vsize: 110128
[startup+490.025 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41490 0 0 0 48898 105 0 0 25 0 1 0 965702347 112771072 25243 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25243 301 301 0 27231 0
vsize: 110128
[startup+500.025 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41973 0 0 0 49896 108 0 0 25 0 1 0 965702347 112771072 25245 4294967295 134512640 135730672 3221224592 3221222880 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25245 301 301 0 27231 0
vsize: 110128
[startup+510.025 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41981 0 0 0 50895 108 0 0 25 0 1 0 965702347 112771072 25253 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25253 301 301 0 27231 0
vsize: 110128
[startup+520.025 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 41996 0 0 0 51895 109 0 0 25 0 1 0 965702347 112771072 25268 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25268 301 301 0 27231 0
vsize: 110128
[startup+530.025 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42010 0 0 0 52894 109 0 0 25 0 1 0 965702347 112771072 25282 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25282 301 301 0 27231 0
vsize: 110128
[startup+540.025 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42020 0 0 0 53895 109 0 0 25 0 1 0 965702347 112771072 25292 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25292 301 301 0 27231 0
vsize: 110128
[startup+550.026 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42035 0 0 0 54894 109 0 0 25 0 1 0 965702347 112771072 25307 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25307 301 301 0 27231 0
vsize: 110128
[startup+560.027 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42049 0 0 0 55894 110 0 0 25 0 1 0 965702347 112771072 25321 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25321 301 301 0 27231 0
vsize: 110128
[startup+570.028 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42063 0 0 0 56893 111 0 0 25 0 1 0 965702347 112771072 25335 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25335 301 301 0 27231 0
vsize: 110128
[startup+580.028 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42073 0 0 0 57893 111 0 0 25 0 1 0 965702347 112771072 25345 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25345 301 301 0 27231 0
vsize: 110128
[startup+590.028 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42084 0 0 0 58893 112 0 0 25 0 1 0 965702347 112771072 25356 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25356 301 301 0 27231 0
vsize: 110128
[startup+600.029 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42575 0 0 0 59891 113 0 0 25 0 1 0 965702347 112771072 25366 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25366 301 301 0 27231 0
vsize: 110128
[startup+610.028 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 42593 0 0 0 60891 113 0 0 25 0 1 0 965702347 112771072 25384 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25384 301 301 0 27231 0
vsize: 110128
[startup+620.029 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43091 0 0 0 61889 116 0 0 25 0 1 0 965702347 112771072 25401 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25401 301 301 0 27231 0
vsize: 110128
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43102 0 0 0 62889 116 0 0 25 0 1 0 965702347 112771072 25412 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25412 301 301 0 27231 0
vsize: 110128
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43114 0 0 0 63888 116 0 0 25 0 1 0 965702347 112771072 25424 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25424 301 301 0 27231 0
vsize: 110128
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43127 0 0 0 64887 117 0 0 25 0 1 0 965702347 112771072 25437 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25437 301 301 0 27231 0
vsize: 110128
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43137 0 0 0 65887 118 0 0 25 0 1 0 965702347 112771072 25447 4294967295 134512640 135730672 3221224592 3221223008 134748069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25447 301 301 0 27231 0
vsize: 110128
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43149 0 0 0 66887 118 0 0 25 0 1 0 965702347 112771072 25459 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25459 301 301 0 27231 0
vsize: 110128
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43163 0 0 0 67886 119 0 0 25 0 1 0 965702347 112771072 25473 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25473 301 301 0 27231 0
vsize: 110128
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43655 0 0 0 68885 120 0 0 25 0 1 0 965702347 112771072 25484 4294967295 134512640 135730672 3221224592 3221223008 134783332 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25484 301 301 0 27231 0
vsize: 110128
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43656 0 0 0 69885 121 0 0 25 0 1 0 965702347 112771072 25485 4294967295 134512640 135730672 3221224592 3221222880 134747865 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25485 301 301 0 27231 0
vsize: 110128
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43657 0 0 0 70885 121 0 0 25 0 1 0 965702347 112771072 25486 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25486 301 301 0 27231 0
vsize: 110128
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43658 0 0 0 71884 122 0 0 25 0 1 0 965702347 112771072 25487 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25487 301 301 0 27231 0
vsize: 110128
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43659 0 0 0 72884 122 0 0 25 0 1 0 965702347 112771072 25488 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25488 301 301 0 27231 0
vsize: 110128
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 43660 0 0 0 73884 122 0 0 25 0 1 0 965702347 112771072 25489 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25489 301 301 0 27231 0
vsize: 110128
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44141 0 0 0 74883 123 0 0 25 0 1 0 965702347 112771072 25489 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25489 301 301 0 27231 0
vsize: 110128
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44142 0 0 0 75883 124 0 0 25 0 1 0 965702347 112771072 25490 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25490 301 301 0 27231 0
vsize: 110128
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44150 0 0 0 76883 124 0 0 25 0 1 0 965702347 112771072 25498 4294967295 134512640 135730672 3221224592 3221222880 134747513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 25498 301 301 0 27231 0
vsize: 110128
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44186 0 0 0 77882 124 0 0 25 0 1 0 965702347 112902144 25501 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27564 25501 301 301 0 27263 0
vsize: 110256
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44197 0 0 0 78882 124 0 0 25 0 1 0 965702347 112902144 25512 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27564 25512 301 301 0 27263 0
vsize: 110256
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44679 0 0 0 79881 126 0 0 25 0 1 0 965702347 112902144 25513 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27564 25513 301 301 0 27263 0
vsize: 110256
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44680 0 0 0 80881 127 0 0 25 0 1 0 965702347 112902144 25514 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27564 25514 301 301 0 27263 0
vsize: 110256
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44682 0 0 0 81880 127 0 0 25 0 1 0 965702347 112902144 25516 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27564 25516 301 301 0 27263 0
vsize: 110256
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44713 0 0 0 82880 127 0 0 25 0 1 0 965702347 113037312 25547 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25547 301 301 0 27296 0
vsize: 110388
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44714 0 0 0 83880 127 0 0 25 0 1 0 965702347 113037312 25548 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25548 301 301 0 27296 0
vsize: 110388
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 44721 0 0 0 84880 128 0 0 25 0 1 0 965702347 113037312 25555 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25555 301 301 0 27296 0
vsize: 110388
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45207 0 0 0 85878 129 0 0 25 0 1 0 965702347 113037312 25560 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25560 301 301 0 27296 0
vsize: 110388
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45208 0 0 0 86878 130 0 0 25 0 1 0 965702347 113037312 25561 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25561 301 301 0 27296 0
vsize: 110388
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45209 0 0 0 87878 130 0 0 25 0 1 0 965702347 113037312 25562 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25562 301 301 0 27296 0
vsize: 110388
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45209 0 0 0 88878 130 0 0 25 0 1 0 965702347 113037312 25562 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25562 301 301 0 27296 0
vsize: 110388
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45210 0 0 0 89878 131 0 0 25 0 1 0 965702347 113037312 25563 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25563 301 301 0 27296 0
vsize: 110388
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45692 0 0 0 90877 132 0 0 25 0 1 0 965702347 113037312 25564 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25564 301 301 0 27296 0
vsize: 110388
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45693 0 0 0 91877 132 0 0 25 0 1 0 965702347 113037312 25565 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25565 301 301 0 27296 0
vsize: 110388
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45693 0 0 0 92876 133 0 0 25 0 1 0 965702347 113037312 25565 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25565 301 301 0 27296 0
vsize: 110388
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45694 0 0 0 93876 133 0 0 25 0 1 0 965702347 113037312 25566 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25566 301 301 0 27296 0
vsize: 110388
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 45695 0 0 0 94876 134 0 0 25 0 1 0 965702347 113037312 25567 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25567 301 301 0 27296 0
vsize: 110388
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46177 0 0 0 95874 135 0 0 25 0 1 0 965702347 113037312 25568 4294967295 134512640 135730672 3221224592 3221222864 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25568 301 301 0 27296 0
vsize: 110388
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46177 0 0 0 96874 135 0 0 25 0 1 0 965702347 113037312 25568 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25568 301 301 0 27296 0
vsize: 110388
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46178 0 0 0 97874 135 0 0 25 0 1 0 965702347 113037312 25569 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25569 301 301 0 27296 0
vsize: 110388
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46179 0 0 0 98874 136 0 0 25 0 1 0 965702347 113037312 25570 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27597 25570 301 301 0 27296 0
vsize: 110388
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46259 0 0 0 99874 137 0 0 25 0 1 0 965702347 113299456 25585 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25585 301 301 0 27360 0
vsize: 110644
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46282 0 0 0 100873 137 0 0 25 0 1 0 965702347 113299456 25608 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25608 301 301 0 27360 0
vsize: 110644
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46286 0 0 0 101873 137 0 0 25 0 1 0 965702347 113299456 25612 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25612 301 301 0 27360 0
vsize: 110644
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46287 0 0 0 102873 138 0 0 25 0 1 0 965702347 113299456 25613 4294967295 134512640 135730672 3221224592 3221223028 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25613 301 301 0 27360 0
vsize: 110644
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46288 0 0 0 103873 138 0 0 25 0 1 0 965702347 113299456 25614 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25614 301 301 0 27360 0
vsize: 110644
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46290 0 0 0 104872 139 0 0 25 0 1 0 965702347 113299456 25616 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25616 301 301 0 27360 0
vsize: 110644
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46771 0 0 0 105871 140 0 0 25 0 1 0 965702347 113299456 25616 4294967295 134512640 135730672 3221224592 3221222992 134748234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25616 301 301 0 27360 0
vsize: 110644
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46772 0 0 0 106870 141 0 0 25 0 1 0 965702347 113299456 25617 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25617 301 301 0 27360 0
vsize: 110644
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46773 0 0 0 107870 142 0 0 25 0 1 0 965702347 113299456 25618 4294967295 134512640 135730672 3221224592 3221222864 134732736 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25618 301 301 0 27360 0
vsize: 110644
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46774 0 0 0 108870 142 0 0 25 0 1 0 965702347 113299456 25619 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25619 301 301 0 27360 0
vsize: 110644
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46775 0 0 0 109869 142 0 0 25 0 1 0 965702347 113299456 25620 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25620 301 301 0 27360 0
vsize: 110644
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46776 0 0 0 110869 143 0 0 25 0 1 0 965702347 113299456 25621 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25621 301 301 0 27360 0
vsize: 110644
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46776 0 0 0 111869 143 0 0 25 0 1 0 965702347 113299456 25621 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 25621 301 301 0 27360 0
vsize: 110644
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46778 0 0 0 112868 143 0 0 25 0 1 0 965702347 113299456 25623 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25623 301 301 0 27360 0
vsize: 110644
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46779 0 0 0 113868 144 0 0 25 0 1 0 965702347 113299456 25624 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25624 301 301 0 27360 0
vsize: 110644
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46784 0 0 0 114868 144 0 0 25 0 1 0 965702347 113299456 25629 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25629 301 301 0 27360 0
vsize: 110644
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46785 0 0 0 115869 144 0 0 25 0 1 0 965702347 113299456 25630 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25630 301 301 0 27360 0
vsize: 110644
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46786 0 0 0 116869 144 0 0 25 0 1 0 965702347 113299456 25631 4294967295 134512640 135730672 3221224592 3221222864 134732736 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25631 301 301 0 27360 0
vsize: 110644
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46786 0 0 0 117869 144 0 0 25 0 1 0 965702347 113299456 25631 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25631 301 301 0 27360 0
vsize: 110644
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46804 0 0 0 118869 144 0 0 25 0 1 0 965702347 113299456 25649 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25649 301 301 0 27360 0
vsize: 110644
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 13099
Raw data (stat): 13099 (pb2sat-v2) R 13098 20224 20223 0 -1 0 46819 0 0 0 119869 144 0 0 25 0 1 0 965702347 113299456 25664 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27661 25664 301 301 0 27360 0
vsize: 110644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.13 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 13099
Raw data (stat): 13099 (pb2sat-v2) Z 13098 20224 20223 0 -1 12 46821 0 0 0 119971 150 0 0 25 0 1 0 965702347 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.13
CPU time (s): 1201.22
CPU user time (s): 1199.71
CPU system time (s): 1.50177
CPU usage (%): 100.007
Max. virtual memory (Kb): 110644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	404
#### END VERIFIER DATA ####