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-ii8b1.opb
MD5SUM	812314147c77e28d5e428080c7a2412d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
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	672
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.03684
Number of variables	672
Total number of constraints	2404
Number of constraints which are clauses	2404
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	8
Trace number 42049

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-15 22:51:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25265 boxname=wulflinc2 idbench=167 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b1.opb
IDLAUNCH: 25265
/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:        859176 kB
Buffers:         33964 kB
Cached:         116356 kB
SwapCached:       4448 kB
Active:          61024 kB
Inactive:        94404 kB
HighTotal:      131008 kB
HighFree:        26656 kB
LowTotal:       903652 kB
LowFree:        832520 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14420 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 23:11:30 (client local time) WITH STATUS 10 IN 1201.01 SECONDS
stats: 25265 0 1201.01 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: 336
c small objective detected
c CONFLICT during preprocess 
c [startup+9.32559 s]  setting bit 9 to 0

c Decision: 124733/170533	Time: 164.991/86400
c [startup+224.035 s]  setting bit 8 to 0

c Decision: 56736/170533	Time: 37.0024/86400
c got solution with objective value: 207
c [startup+274.882 s]  setting bit 7 to 1

c Decision: 88703/170533	Time: 29.8475/86400
c Decision: 88703/170533	Time: 46.285/86400
c Decision: 88703/170533	Time: 65.503/86400
c Decision: 88703/170533	Time: 84.5042/86400
c Decision: 88703/170533	Time: 101.398/86400
c Decision: 88703/170533	Time: 121.547/86400
c Decision: 88703/170533	Time: 142.694/86400
c Decision: 88703/170533	Time: 162.768/86400
c Decision: 88703/170533	Time: 184.18/86400
c Decision: 88703/170533	Time: 207.927/86400
c Decision: 88703/170533	Time: 224.829/86400
c Decision: 88703/170533	Time: 246.481/86400
c Decision: 88703/170533	Time: 264.798/86400
c Decision: 88703/170533	Time: 281.916/86400
c Decision: 88703/170533	Time: 301.771/86400
c Decision: 88703/170533	Time: 322.715/86400
c Decision: 88703/170533	Time: 342.604/86400
c Decision: 88703/170533	Time: 362.552/86400
c Decision: 88703/170533	Time: 382.679/86400
c Decision: 88703/170533	Time: 402.002/86400
c Decision: 88703/170533	Time: 422.97/86400
c Decision: 88703/170533	Time: 443.164/86400
c Decision: 88703/170533	Time: 463.036/86400
c Decision: 88703/170533	Time: 485.308/86400
c Decision: 88703/170533	Time: 508.116/86400
c Decision: 88703/170533	Time: 526.929/86400
c Decision: 88703/170533	Time: 546.866/86400
c Decision: 88703/170533	Time: 565.593/86400
c Decision: 88703/170533	Time: 585.069/86400
c Decision: 88703/170533	Time: 603.806/86400
c Decision: 88703/170533	Time: 626.761/86400
c Decision: 88703/170533	Time: 651.311/86400
c Decision: 88703/170533	Time: 673.873/86400
c Decision: 88703/170533	Time: 693.519/86400
c Decision: 88703/170533	Time: 711.387/86400
c Decision: 88703/170533	Time: 731.852/86400
c Decision: 88723/170533	Time: 753.141/86400
c Decision: 88787/170533	Time: 788.712/86400
c Decision: 88787/170533	Time: 810.847/86400
c Decision: 88787/170533	Time: 833.935/86400
c Decision: 88787/170533	Time: 852.769/86400
c Decision: 88787/170533	Time: 873.963/86400
c Decision: 88787/170533	Time: 898.694/86400
c Decision: 88787/170533	Time: 916.671/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 -x68 -x69 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.91 0.97 0.91 2/54 773
Raw data (stat): 773 (runsolver) R 772 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965865985 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.0015 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 26909 0 0 0 940 59 0 0 25 0 1 0 965865985 86274048 15380 4294967295 134512640 135730672 3221224592 3221222688 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21063 15380 301 301 0 20762 0
vsize: 84252
[startup+20.0015 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 27549 0 0 0 1938 61 0 0 25 0 1 0 965865985 89055232 16020 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21742 16020 301 301 0 21441 0
vsize: 86968
[startup+30.0016 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 27749 0 0 0 2938 61 0 0 25 0 1 0 965865985 90017792 16220 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21977 16220 301 301 0 21676 0
vsize: 87908
[startup+40.0022 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 27826 0 0 0 3938 62 0 0 25 0 1 0 965865985 90349568 16297 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22058 16297 301 301 0 21757 0
vsize: 88232
[startup+50.0026 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 27873 0 0 0 4938 62 0 0 25 0 1 0 965865985 90484736 16344 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22091 16344 301 301 0 21790 0
vsize: 88364
[startup+60.0036 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 27954 0 0 0 5937 62 0 0 25 0 1 0 965865985 90750976 16392 4294967295 134512640 135730672 3221224592 3221222880 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22156 16392 301 301 0 21855 0
vsize: 88624
[startup+70.0044 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28009 0 0 0 6937 63 0 0 25 0 1 0 965865985 90882048 16414 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22188 16414 301 301 0 21887 0
vsize: 88752
[startup+80.0047 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28025 0 0 0 7938 63 0 0 25 0 1 0 965865985 90882048 16430 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22188 16430 301 301 0 21887 0
vsize: 88752
[startup+90.0047 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28063 0 0 0 8938 63 0 0 25 0 1 0 965865985 91017216 16468 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22221 16468 301 301 0 21920 0
vsize: 88884
[startup+100.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28133 0 0 0 9937 63 0 0 25 0 1 0 965865985 91148288 16505 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22253 16505 301 301 0 21952 0
vsize: 89012
[startup+110.006 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28143 0 0 0 10937 64 0 0 25 0 1 0 965865985 91148288 16515 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22253 16515 301 301 0 21952 0
vsize: 89012
[startup+120.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28159 0 0 0 11938 64 0 0 25 0 1 0 965865985 91148288 16531 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22253 16531 301 301 0 21952 0
vsize: 89012
[startup+130.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28176 0 0 0 12938 64 0 0 25 0 1 0 965865985 91148288 16548 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22253 16548 301 301 0 21952 0
vsize: 89012
[startup+140.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28291 0 0 0 13937 64 0 0 25 0 1 0 965865985 91750400 16663 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22400 16663 301 301 0 22099 0
vsize: 89600
[startup+150.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28354 0 0 0 14937 65 0 0 25 0 1 0 965865985 91881472 16693 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22432 16693 301 301 0 22131 0
vsize: 89728
[startup+160.008 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28371 0 0 0 15937 65 0 0 25 0 1 0 965865985 91881472 16710 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22432 16710 301 301 0 22131 0
vsize: 89728
[startup+170.008 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28387 0 0 0 16937 65 0 0 25 0 1 0 965865985 91881472 16726 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22432 16726 301 301 0 22131 0
vsize: 89728
[startup+180.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28728 0 0 0 17936 66 0 0 25 0 1 0 965865985 91881472 16733 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22432 16733 301 301 0 22131 0
vsize: 89728
[startup+190.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28789 0 0 0 18936 66 0 0 25 0 1 0 965865985 92012544 16761 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22464 16761 301 301 0 22163 0
vsize: 89856
[startup+200.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28791 0 0 0 19936 67 0 0 25 0 1 0 965865985 92012544 16763 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22464 16763 301 301 0 22163 0
vsize: 89856
[startup+210.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28794 0 0 0 20936 67 0 0 25 0 1 0 965865985 92012544 16766 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22464 16766 301 301 0 22163 0
vsize: 89856
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 28948 0 0 0 21936 67 0 0 25 0 1 0 965865985 92536832 16791 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22592 16791 301 301 0 22291 0
vsize: 90368
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 29926 0 0 0 22933 70 0 0 25 0 1 0 965865985 95682560 17435 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23360 17435 301 301 0 23059 0
vsize: 93440
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 30240 0 0 0 23931 71 0 0 25 0 1 0 965865985 97308672 17749 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23757 17749 301 301 0 23456 0
vsize: 95028
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 30288 0 0 0 24930 72 0 0 25 0 1 0 965865985 97443840 17797 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23790 17797 301 301 0 23489 0
vsize: 95160
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 30400 0 0 0 25930 72 0 0 25 0 1 0 965865985 97984512 17909 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23922 17909 301 301 0 23621 0
vsize: 95688
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 30940 0 0 0 26929 74 0 0 25 0 1 0 965865985 99065856 18115 4294967295 134512640 135730672 3221224592 3221222880 134747919 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24186 18115 301 301 0 23885 0
vsize: 96744
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 31324 0 0 0 27927 75 0 0 25 0 1 0 965865985 99201024 18165 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18165 301 301 0 23918 0
vsize: 96876
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 31348 0 0 0 28927 76 0 0 25 0 1 0 965865985 99201024 18189 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18189 301 301 0 23918 0
vsize: 96876
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 31374 0 0 0 29927 76 0 0 25 0 1 0 965865985 99201024 18215 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18215 301 301 0 23918 0
vsize: 96876
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 31721 0 0 0 30926 77 0 0 25 0 1 0 965865985 99201024 18228 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18228 301 301 0 23918 0
vsize: 96876
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 31734 0 0 0 31926 78 0 0 25 0 1 0 965865985 99201024 18241 4294967295 134512640 135730672 3221224592 3221222880 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18241 301 301 0 23918 0
vsize: 96876
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32095 0 0 0 32925 79 0 0 25 0 1 0 965865985 99201024 18268 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18268 301 301 0 23918 0
vsize: 96876
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32124 0 0 0 33925 79 0 0 25 0 1 0 965865985 99201024 18297 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18297 301 301 0 23918 0
vsize: 96876
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32146 0 0 0 34925 79 0 0 25 0 1 0 965865985 99201024 18319 4294967295 134512640 135730672 3221224592 3221222928 134740274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18319 301 301 0 23918 0
vsize: 96876
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32507 0 0 0 35925 80 0 0 25 0 1 0 965865985 99201024 18346 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18346 301 301 0 23918 0
vsize: 96876
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32532 0 0 0 36925 80 0 0 25 0 1 0 965865985 99201024 18371 4294967295 134512640 135730672 3221224592 3221222880 134747840 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18371 301 301 0 23918 0
vsize: 96876
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32889 0 0 0 37924 81 0 0 25 0 1 0 965865985 99201024 18394 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24219 18394 301 301 0 23918 0
vsize: 96876
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 32966 0 0 0 38924 81 0 0 25 0 1 0 965865985 99471360 18471 4294967295 134512640 135730672 3221224592 3221222704 134732781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24285 18471 301 301 0 23984 0
vsize: 97140
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 33338 0 0 0 39923 82 0 0 25 0 1 0 965865985 99606528 18509 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18509 301 301 0 24017 0
vsize: 97272
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 33360 0 0 0 40923 82 0 0 25 0 1 0 965865985 99606528 18531 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18531 301 301 0 24017 0
vsize: 97272
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 33715 0 0 0 41922 83 0 0 25 0 1 0 965865985 99606528 18552 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18552 301 301 0 24017 0
vsize: 97272
[startup+430.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 33738 0 0 0 42922 84 0 0 25 0 1 0 965865985 99606528 18575 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18575 301 301 0 24017 0
vsize: 97272
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34091 0 0 0 43921 84 0 0 25 0 1 0 965865985 99606528 18594 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18594 301 301 0 24017 0
vsize: 97272
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34114 0 0 0 44921 85 0 0 25 0 1 0 965865985 99606528 18617 4294967295 134512640 135730672 3221224592 3221222880 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18617 301 301 0 24017 0
vsize: 97272
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34471 0 0 0 45920 86 0 0 25 0 1 0 965865985 99606528 18640 4294967295 134512640 135730672 3221224592 3221222880 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18640 301 301 0 24017 0
vsize: 97272
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34500 0 0 0 46920 86 0 0 25 0 1 0 965865985 99606528 18669 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18669 301 301 0 24017 0
vsize: 97272
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34532 0 0 0 47920 86 0 0 25 0 1 0 965865985 99606528 18701 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18701 301 301 0 24017 0
vsize: 97272
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 34892 0 0 0 48919 87 0 0 25 0 1 0 965865985 99606528 18727 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18727 301 301 0 24017 0
vsize: 97272
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 35244 0 0 0 49919 88 0 0 25 0 1 0 965865985 99606528 18745 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18745 301 301 0 24017 0
vsize: 97272
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 773
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 35246 0 0 0 50918 89 0 0 25 0 1 0 965865985 99606528 18747 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24318 18747 301 301 0 24017 0
vsize: 97272
[startup+520.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 820
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 35303 0 0 0 51919 89 0 0 25 0 1 0 965865985 99876864 18804 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18804 301 301 0 24083 0
vsize: 97536
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 35658 0 0 0 52918 90 0 0 25 0 1 0 965865985 99876864 18825 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18825 301 301 0 24083 0
vsize: 97536
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36018 0 0 0 53917 91 0 0 25 0 1 0 965865985 99876864 18851 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18851 301 301 0 24083 0
vsize: 97536
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36040 0 0 0 54917 92 0 0 25 0 1 0 965865985 99876864 18873 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18873 301 301 0 24083 0
vsize: 97536
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36399 0 0 0 55916 93 0 0 25 0 1 0 965865985 99876864 18898 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18898 301 301 0 24083 0
vsize: 97536
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36427 0 0 0 56916 93 0 0 25 0 1 0 965865985 99876864 18926 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18926 301 301 0 24083 0
vsize: 97536
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36785 0 0 0 57915 94 0 0 25 0 1 0 965865985 99876864 18950 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18950 301 301 0 24083 0
vsize: 97536
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 828
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 36808 0 0 0 58915 94 0 0 25 0 1 0 965865985 99876864 18973 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18973 301 301 0 24083 0
vsize: 97536
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37153 0 0 0 59915 95 0 0 25 0 1 0 965865985 99876864 18984 4294967295 134512640 135730672 3221224592 3221223040 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18984 301 301 0 24083 0
vsize: 97536
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37155 0 0 0 60915 95 0 0 25 0 1 0 965865985 99876864 18986 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18986 301 301 0 24083 0
vsize: 97536
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37491 0 0 0 61914 96 0 0 25 0 1 0 965865985 99876864 18988 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18988 301 301 0 24083 0
vsize: 97536
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37493 0 0 0 62914 96 0 0 25 0 1 0 965865985 99876864 18990 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24384 18990 301 301 0 24083 0
vsize: 97536
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37852 0 0 0 63914 97 0 0 25 0 1 0 965865985 100012032 19015 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24417 19015 301 301 0 24116 0
vsize: 97668
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 37854 0 0 0 64913 97 0 0 25 0 1 0 965865985 100012032 19017 4294967295 134512640 135730672 3221224592 3221222880 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24417 19017 301 301 0 24116 0
vsize: 97668
[startup+660.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38190 0 0 0 65913 98 0 0 25 0 1 0 965865985 100012032 19019 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24417 19019 301 301 0 24116 0
vsize: 97668
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38194 0 0 0 66913 98 0 0 25 0 1 0 965865985 100151296 19023 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24451 19023 301 301 0 24150 0
vsize: 97804
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38532 0 0 0 67912 99 0 0 25 0 1 0 965865985 100151296 19027 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24451 19027 301 301 0 24150 0
vsize: 97804
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38552 0 0 0 68913 99 0 0 25 0 1 0 965865985 100151296 19047 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24451 19047 301 301 0 24150 0
vsize: 97804
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38910 0 0 0 69912 100 0 0 25 0 1 0 965865985 100151296 19071 4294967295 134512640 135730672 3221224592 3221223008 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24451 19071 301 301 0 24150 0
vsize: 97804
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 38919 0 0 0 70912 100 0 0 25 0 1 0 965865985 100151296 19080 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24451 19080 301 301 0 24150 0
vsize: 97804
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39280 0 0 0 71911 101 0 0 25 0 1 0 965865985 100286464 19107 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19107 301 301 0 24183 0
vsize: 97936
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39282 0 0 0 72911 101 0 0 25 0 1 0 965865985 100286464 19109 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19109 301 301 0 24183 0
vsize: 97936
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39620 0 0 0 73911 102 0 0 25 0 1 0 965865985 100286464 19113 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19113 301 301 0 24183 0
vsize: 97936
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39624 0 0 0 74911 102 0 0 25 0 1 0 965865985 100286464 19117 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19117 301 301 0 24183 0
vsize: 97936
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39963 0 0 0 75910 103 0 0 25 0 1 0 965865985 101654528 19456 4294967295 134512640 135730672 3221224592 3221222544 134768870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24818 19456 301 301 0 24517 0
vsize: 99272
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39975 0 0 0 76910 103 0 0 25 0 1 0 965865985 100286464 19134 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19134 301 301 0 24183 0
vsize: 97936
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 39986 0 0 0 77910 103 0 0 25 0 1 0 965865985 100286464 19145 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24484 19145 301 301 0 24183 0
vsize: 97936
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 40387 0 0 0 78909 104 0 0 25 0 1 0 965865985 100552704 19212 4294967295 134512640 135730672 3221224592 3221222880 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19212 301 301 0 24248 0
vsize: 98196
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 40401 0 0 0 79910 104 0 0 25 0 1 0 965865985 100552704 19226 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19226 301 301 0 24248 0
vsize: 98196
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 40737 0 0 0 80908 105 0 0 25 0 1 0 965865985 100552704 19228 4294967295 134512640 135730672 3221224592 3221222928 134740318 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19228 301 301 0 24248 0
vsize: 98196
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 40739 0 0 0 81909 106 0 0 25 0 1 0 965865985 100552704 19230 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19230 301 301 0 24248 0
vsize: 98196
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 41075 0 0 0 82908 106 0 0 25 0 1 0 965865985 100552704 19232 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19232 301 301 0 24248 0
vsize: 98196
[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 41077 0 0 0 83908 106 0 0 25 0 1 0 965865985 100552704 19234 4294967295 134512640 135730672 3221224592 3221222800 134741573 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19234 301 301 0 24248 0
vsize: 98196
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 41413 0 0 0 84908 107 0 0 25 0 1 0 965865985 100552704 19236 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19236 301 301 0 24248 0
vsize: 98196
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 41749 0 0 0 85907 108 0 0 25 0 1 0 965865985 100552704 19238 4294967295 134512640 135730672 3221224592 3221222880 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24549 19238 301 301 0 24248 0
vsize: 98196
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 41757 0 0 0 86907 108 0 0 25 0 1 0 965865985 100691968 19246 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19246 301 301 0 24282 0
vsize: 98332
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 830
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42101 0 0 0 87906 109 0 0 25 0 1 0 965865985 100691968 19256 4294967295 134512640 135730672 3221224592 3221222704 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19256 301 301 0 24282 0
vsize: 98332
[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42114 0 0 0 88905 110 0 0 25 0 1 0 965865985 100691968 19269 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19269 301 301 0 24282 0
vsize: 98332
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42145 0 0 0 89906 110 0 0 25 0 1 0 965865985 100691968 19300 4294967295 134512640 135730672 3221224592 3221223008 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19300 301 301 0 24282 0
vsize: 98332
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42485 0 0 0 90905 111 0 0 25 0 1 0 965865985 100691968 19306 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19306 301 301 0 24282 0
vsize: 98332
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42492 0 0 0 91905 111 0 0 25 0 1 0 965865985 100691968 19313 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19313 301 301 0 24282 0
vsize: 98332
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42827 0 0 0 92904 112 0 0 25 0 1 0 965865985 100691968 19314 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24583 19314 301 301 0 24282 0
vsize: 98332
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 42834 0 0 0 93904 112 0 0 25 0 1 0 965865985 100827136 19321 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19321 301 301 0 24315 0
vsize: 98464
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43173 0 0 0 94903 113 0 0 25 0 1 0 965865985 100827136 19326 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19326 301 301 0 24315 0
vsize: 98464
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43177 0 0 0 95903 113 0 0 25 0 1 0 965865985 100827136 19330 4294967295 134512640 135730672 3221224592 3221222880 134747573 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19330 301 301 0 24315 0
vsize: 98464
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43517 0 0 0 96903 114 0 0 25 0 1 0 965865985 100827136 19336 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19336 301 301 0 24315 0
vsize: 98464
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43527 0 0 0 97903 114 0 0 25 0 1 0 965865985 100827136 19346 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19346 301 301 0 24315 0
vsize: 98464
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43870 0 0 0 98902 115 0 0 25 0 1 0 965865985 100827136 19355 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19355 301 301 0 24315 0
vsize: 98464
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 43894 0 0 0 99902 115 0 0 25 0 1 0 965865985 100827136 19379 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24616 19379 301 301 0 24315 0
vsize: 98464
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44244 0 0 0 100901 116 0 0 25 0 1 0 965865985 100962304 19395 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24649 19395 301 301 0 24348 0
vsize: 98596
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44250 0 0 0 101901 116 0 0 25 0 1 0 965865985 100962304 19401 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24649 19401 301 301 0 24348 0
vsize: 98596
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44605 0 0 0 102901 117 0 0 25 0 1 0 965865985 101097472 19422 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24682 19422 301 301 0 24381 0
vsize: 98728
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44670 0 0 0 103901 118 0 0 25 0 1 0 965865985 101502976 19487 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24781 19487 301 301 0 24480 0
vsize: 99124
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44720 0 0 0 104901 118 0 0 25 0 1 0 965865985 101773312 19537 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19537 301 301 0 24546 0
vsize: 99388
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 44722 0 0 0 105901 118 0 0 25 0 1 0 965865985 101773312 19539 4294967295 134512640 135730672 3221224592 3221222880 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19539 301 301 0 24546 0
vsize: 99388
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45058 0 0 0 106900 119 0 0 25 0 1 0 965865985 101773312 19541 4294967295 134512640 135730672 3221224592 3221223052 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19541 301 301 0 24546 0
vsize: 99388
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45060 0 0 0 107900 119 0 0 25 0 1 0 965865985 101773312 19543 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19543 301 301 0 24546 0
vsize: 99388
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45396 0 0 0 108899 120 0 0 25 0 1 0 965865985 101773312 19545 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19545 301 301 0 24546 0
vsize: 99388
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45397 0 0 0 109899 120 0 0 25 0 1 0 965865985 101773312 19546 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19546 301 301 0 24546 0
vsize: 99388
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45733 0 0 0 110898 121 0 0 25 0 1 0 965865985 101773312 19548 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19548 301 301 0 24546 0
vsize: 99388
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 45736 0 0 0 111898 122 0 0 25 0 1 0 965865985 101773312 19551 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19551 301 301 0 24546 0
vsize: 99388
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46074 0 0 0 112897 123 0 0 25 0 1 0 965865985 101773312 19555 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19555 301 301 0 24546 0
vsize: 99388
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46076 0 0 0 113897 123 0 0 25 0 1 0 965865985 101773312 19557 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19557 301 301 0 24546 0
vsize: 99388
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46411 0 0 0 114896 124 0 0 25 0 1 0 965865985 101773312 19558 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19558 301 301 0 24546 0
vsize: 99388
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46413 0 0 0 115896 124 0 0 25 0 1 0 965865985 101773312 19560 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19560 301 301 0 24546 0
vsize: 99388
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46415 0 0 0 116896 124 0 0 25 0 1 0 965865985 101773312 19562 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19562 301 301 0 24546 0
vsize: 99388
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46751 0 0 0 117895 125 0 0 25 0 1 0 965865985 101773312 19564 4294967295 134512640 135730672 3221224592 3221222880 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19564 301 301 0 24546 0
vsize: 99388
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 46753 0 0 0 118896 125 0 0 25 0 1 0 965865985 101773312 19566 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19566 301 301 0 24546 0
vsize: 99388
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 832
Raw data (stat): 773 (pb2sat-v2) R 772 31399 31398 0 -1 0 47093 0 0 0 119895 126 0 0 25 0 1 0 965865985 101773312 19572 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24847 19572 301 301 0 24546 0
vsize: 99388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.83 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 832
Raw data (stat): 773 (pb2sat-v2) Z 772 31399 31398 0 -1 12 47095 0 0 0 119969 130 0 0 25 0 1 0 965865985 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): 1200.83
CPU time (s): 1201.01
CPU user time (s): 1199.7
CPU system time (s): 1.3058
CPU usage (%): 100.014
Max. virtual memory (Kb): 99388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	207
#### END VERIFIER DATA ####