Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e4.opb |
MD5SUM | 1c0d08e5657c85ec3afe3a7738817cf3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 364 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 774 |
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 | 774 |
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 | 774 |
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 | 130.714 |
Number of variables | 774 |
Total number of constraints | 7493 |
Number of constraints which are clauses | 7493 |
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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-15 22:36:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25259 boxname=wulflinc6 idbench=161 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 1c0d08e5657c85ec3afe3a7738817cf3 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32e4.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32e4.opb IDLAUNCH: 25259 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 765172 kB Buffers: 33760 kB Cached: 213276 kB SwapCached: 1028 kB Active: 64728 kB Inactive: 184492 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 764920 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5088 kB Slab: 14692 kB Committed_AS: 63844 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 22:56:42 (client local time) WITH STATUS 10 IN 1201.46 SECONDS stats: 25259 0 1201.46 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: 387 c small objective detected c CONFLICT during preprocess c [startup+12.7038 s] setting bit 9 to 0 c [startup+298.738 s] setting bit 8 to 0 c [startup+530.608 s] setting bit 7 to 0 c [startup+651.862 s] setting bit 6 to 0 c Decision: 20701/226024 Time: 80.1878/86400 c Decision: 26606/226024 Time: 131.18/86400 c Decision: 27863/226024 Time: 162.591/86400 c Decision: 27863/226024 Time: 193.78/86400 c Decision: 27863/226024 Time: 218.646/86400 c Decision: 27863/226024 Time: 288.704/86400 c Decision: 34356/226024 Time: 354.398/86400 c [startup+1048.11 s] setting bit 5 to 0 c got solution with objective value: 370 c [startup+1052.46 s] setting bit 4 to 1 c Decision: 13277/226024 Time: 49.7544/86400 c Decision: 15120/226024 Time: 72.134/86400 c Decision: 21278/226024 Time: 103.919/86400 c Decision: 21278/226024 Time: 122.558/86400 c Decision: 22822/226024 Time: 144.712/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 -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.84 0.94 0.90 2/54 11121 Raw data (stat): 11121 (runsolver) R 11120 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 965772257 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 26589 0 0 0 941 57 0 0 25 0 1 0 965772257 84701184 15714 4294967295 134512640 135730672 3221224592 3221213064 135285983 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20679 15714 301 301 0 20378 0 vsize: 82716 [startup+20.0016 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33015 0 0 0 1925 73 0 0 25 0 1 0 965772257 96804864 20822 4294967295 134512640 135730672 3221224592 3221223040 134734771 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23634 20822 301 301 0 23333 0 vsize: 94536 [startup+30.0031 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33132 0 0 0 2925 74 0 0 25 0 1 0 965772257 97222656 20939 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23736 20939 301 301 0 23435 0 vsize: 94944 [startup+40.0042 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33155 0 0 0 3925 74 0 0 25 0 1 0 965772257 97357824 20962 4294967295 134512640 135730672 3221224592 3221222976 134763582 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23769 20962 301 301 0 23468 0 vsize: 95076 [startup+50.0054 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33163 0 0 0 4925 75 0 0 25 0 1 0 965772257 97357824 20970 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23769 20970 301 301 0 23468 0 vsize: 95076 [startup+60.0061 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33177 0 0 0 5924 75 0 0 25 0 1 0 965772257 97357824 20984 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23769 20984 301 301 0 23468 0 vsize: 95076 [startup+70.0077 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33327 0 0 0 6924 75 0 0 25 0 1 0 965772257 97751040 21036 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21036 301 301 0 23564 0 vsize: 95460 [startup+80.0084 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33351 0 0 0 7924 76 0 0 25 0 1 0 965772257 97751040 21060 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21060 301 301 0 23564 0 vsize: 95460 [startup+90.0085 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33355 0 0 0 8924 76 0 0 25 0 1 0 965772257 97751040 21064 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21064 301 301 0 23564 0 vsize: 95460 [startup+100.009 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33362 0 0 0 9924 77 0 0 25 0 1 0 965772257 97751040 21071 4294967295 134512640 135730672 3221224592 3221222980 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21071 301 301 0 23564 0 vsize: 95460 [startup+110.01 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33369 0 0 0 10924 77 0 0 25 0 1 0 965772257 97751040 21078 4294967295 134512640 135730672 3221224592 3221222816 134730465 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21078 301 301 0 23564 0 vsize: 95460 [startup+120.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33374 0 0 0 11923 78 0 0 25 0 1 0 965772257 97751040 21083 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21083 301 301 0 23564 0 vsize: 95460 [startup+130.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33380 0 0 0 12924 78 0 0 25 0 1 0 965772257 97751040 21089 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23865 21089 301 301 0 23564 0 vsize: 95460 [startup+140.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33386 0 0 0 13923 78 0 0 25 0 1 0 965772257 97751040 21095 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21095 301 301 0 23564 0 vsize: 95460 [startup+150.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33395 0 0 0 14924 78 0 0 25 0 1 0 965772257 97751040 21104 4294967295 134512640 135730672 3221224592 3221222880 134747539 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21104 301 301 0 23564 0 vsize: 95460 [startup+160.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33400 0 0 0 15924 78 0 0 25 0 1 0 965772257 97751040 21109 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21109 301 301 0 23564 0 vsize: 95460 [startup+170.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33408 0 0 0 16924 78 0 0 25 0 1 0 965772257 97751040 21117 4294967295 134512640 135730672 3221224592 3221223008 134748111 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21117 301 301 0 23564 0 vsize: 95460 [startup+180.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33412 0 0 0 17925 78 0 0 25 0 1 0 965772257 97751040 21121 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21121 301 301 0 23564 0 vsize: 95460 [startup+190.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33418 0 0 0 18925 78 0 0 25 0 1 0 965772257 97751040 21127 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21127 301 301 0 23564 0 vsize: 95460 [startup+200.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33426 0 0 0 19925 78 0 0 25 0 1 0 965772257 97751040 21135 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21135 301 301 0 23564 0 vsize: 95460 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33433 0 0 0 20926 78 0 0 25 0 1 0 965772257 97751040 21142 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21142 301 301 0 23564 0 vsize: 95460 [startup+220.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33439 0 0 0 21926 78 0 0 25 0 1 0 965772257 97751040 21148 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21148 301 301 0 23564 0 vsize: 95460 [startup+230.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33446 0 0 0 22926 78 0 0 25 0 1 0 965772257 97751040 21155 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21155 301 301 0 23564 0 vsize: 95460 [startup+240.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33454 0 0 0 23926 78 0 0 25 0 1 0 965772257 97751040 21163 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23865 21163 301 301 0 23564 0 vsize: 95460 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33466 0 0 0 24927 78 0 0 25 0 1 0 965772257 97886208 21175 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23898 21175 301 301 0 23597 0 vsize: 95592 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33478 0 0 0 25927 79 0 0 25 0 1 0 965772257 97886208 21187 4294967295 134512640 135730672 3221224592 3221222880 134747534 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23898 21187 301 301 0 23597 0 vsize: 95592 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33483 0 0 0 26928 79 0 0 25 0 1 0 965772257 97886208 21192 4294967295 134512640 135730672 3221224592 3221222992 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23898 21192 301 301 0 23597 0 vsize: 95592 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33495 0 0 0 27928 79 0 0 25 0 1 0 965772257 97886208 21204 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23898 21204 301 301 0 23597 0 vsize: 95592 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 33511 0 0 0 28928 79 0 0 25 0 1 0 965772257 97886208 21220 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23898 21220 301 301 0 23597 0 vsize: 95592 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34105 0 0 0 29927 80 0 0 25 0 1 0 965772257 98148352 21307 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23962 21307 301 301 0 23661 0 vsize: 95848 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34664 0 0 0 30925 82 0 0 25 0 1 0 965772257 99901440 21670 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24390 21670 301 301 0 24089 0 vsize: 97560 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34751 0 0 0 31925 82 0 0 25 0 1 0 965772257 100032512 21724 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24422 21724 301 301 0 24121 0 vsize: 97688 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34769 0 0 0 32925 82 0 0 25 0 1 0 965772257 100032512 21742 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24422 21742 301 301 0 24121 0 vsize: 97688 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34777 0 0 0 33925 82 0 0 25 0 1 0 965772257 100032512 21750 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24422 21750 301 301 0 24121 0 vsize: 97688 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34783 0 0 0 34926 82 0 0 25 0 1 0 965772257 100032512 21756 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24422 21756 301 301 0 24121 0 vsize: 97688 [startup+360.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34860 0 0 0 35926 83 0 0 25 0 1 0 965772257 100294656 21768 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24486 21768 301 301 0 24185 0 vsize: 97944 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34866 0 0 0 36926 83 0 0 25 0 1 0 965772257 100294656 21774 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24486 21774 301 301 0 24185 0 vsize: 97944 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34874 0 0 0 37926 83 0 0 25 0 1 0 965772257 100294656 21782 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24486 21782 301 301 0 24185 0 vsize: 97944 [startup+390.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 34881 0 0 0 38927 83 0 0 25 0 1 0 965772257 100294656 21789 4294967295 134512640 135730672 3221224592 3221222928 134740314 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24486 21789 301 301 0 24185 0 vsize: 97944 [startup+400.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35084 0 0 0 39927 83 0 0 25 0 1 0 965772257 100818944 21863 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21863 301 301 0 24313 0 vsize: 98456 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35089 0 0 0 40927 83 0 0 25 0 1 0 965772257 100818944 21868 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21868 301 301 0 24313 0 vsize: 98456 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35093 0 0 0 41927 83 0 0 25 0 1 0 965772257 100818944 21872 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21872 301 301 0 24313 0 vsize: 98456 [startup+430.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35116 0 0 0 42928 84 0 0 25 0 1 0 965772257 100818944 21895 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21895 301 301 0 24313 0 vsize: 98456 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35121 0 0 0 43928 84 0 0 25 0 1 0 965772257 100818944 21900 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21900 301 301 0 24313 0 vsize: 98456 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35128 0 0 0 44928 84 0 0 25 0 1 0 965772257 100818944 21907 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21907 301 301 0 24313 0 vsize: 98456 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35134 0 0 0 45929 84 0 0 25 0 1 0 965772257 100818944 21913 4294967295 134512640 135730672 3221224592 3221222928 134740208 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21913 301 301 0 24313 0 vsize: 98456 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35139 0 0 0 46929 84 0 0 25 0 1 0 965772257 100818944 21918 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21918 301 301 0 24313 0 vsize: 98456 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35149 0 0 0 47929 84 0 0 25 0 1 0 965772257 100818944 21928 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21928 301 301 0 24313 0 vsize: 98456 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35162 0 0 0 48930 84 0 0 25 0 1 0 965772257 100818944 21941 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21941 301 301 0 24313 0 vsize: 98456 [startup+500.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35170 0 0 0 49930 84 0 0 25 0 1 0 965772257 100818944 21949 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21949 301 301 0 24313 0 vsize: 98456 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35177 0 0 0 50930 84 0 0 25 0 1 0 965772257 100818944 21956 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21956 301 301 0 24313 0 vsize: 98456 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35184 0 0 0 51930 85 0 0 25 0 1 0 965772257 100818944 21963 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21963 301 301 0 24313 0 vsize: 98456 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35191 0 0 0 52930 85 0 0 25 0 1 0 965772257 100818944 21970 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24614 21970 301 301 0 24313 0 vsize: 98456 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35755 0 0 0 53929 86 0 0 25 0 1 0 965772257 101216256 22027 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24711 22027 301 301 0 24410 0 vsize: 98844 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 35959 0 0 0 54928 87 0 0 25 0 1 0 965772257 101740544 22102 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24839 22102 301 301 0 24538 0 vsize: 99356 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36010 0 0 0 55929 87 0 0 25 0 1 0 965772257 101875712 22153 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22153 301 301 0 24571 0 vsize: 99488 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36032 0 0 0 56929 87 0 0 25 0 1 0 965772257 101875712 22175 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22175 301 301 0 24571 0 vsize: 99488 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36042 0 0 0 57929 87 0 0 25 0 1 0 965772257 101875712 22185 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22185 301 301 0 24571 0 vsize: 99488 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36142 0 0 0 58929 88 0 0 25 0 1 0 965772257 101875712 22285 4294967295 134512640 135730672 3221224592 3221222880 134747832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22285 301 301 0 24571 0 vsize: 99488 [startup+600.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36155 0 0 0 59930 88 0 0 25 0 1 0 965772257 101875712 22298 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22298 301 301 0 24571 0 vsize: 99488 [startup+610.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36170 0 0 0 60930 88 0 0 25 0 1 0 965772257 101875712 22313 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24872 22313 301 301 0 24571 0 vsize: 99488 [startup+620.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36321 0 0 0 61930 88 0 0 25 0 1 0 965772257 102400000 22335 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25000 22335 301 301 0 24699 0 vsize: 100000 [startup+630.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36338 0 0 0 62930 89 0 0 25 0 1 0 965772257 102400000 22352 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25000 22352 301 301 0 24699 0 vsize: 100000 [startup+640.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 36486 0 0 0 63930 89 0 0 25 0 1 0 965772257 103059456 22484 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25161 22484 301 301 0 24860 0 vsize: 100644 [startup+650.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38060 0 0 0 64928 92 0 0 25 0 1 0 965772257 108490752 23461 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23461 301 301 0 26186 0 vsize: 105948 [startup+660.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38515 0 0 0 65926 93 0 0 25 0 1 0 965772257 108490752 23474 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23474 301 301 0 26186 0 vsize: 105948 [startup+670.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38531 0 0 0 66927 93 0 0 25 0 1 0 965772257 108490752 23490 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23490 301 301 0 26186 0 vsize: 105948 [startup+680.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38549 0 0 0 67927 93 0 0 25 0 1 0 965772257 108490752 23508 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23508 301 301 0 26186 0 vsize: 105948 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38581 0 0 0 68928 93 0 0 25 0 1 0 965772257 108490752 23540 4294967295 134512640 135730672 3221224592 3221222880 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23540 301 301 0 26186 0 vsize: 105948 [startup+700.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38636 0 0 0 69928 93 0 0 25 0 1 0 965772257 108490752 23595 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23595 301 301 0 26186 0 vsize: 105948 [startup+710.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38665 0 0 0 70928 93 0 0 25 0 1 0 965772257 108490752 23624 4294967295 134512640 135730672 3221224592 3221222880 134747885 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26487 23624 301 301 0 26186 0 vsize: 105948 [startup+720.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38749 0 0 0 71928 94 0 0 25 0 1 0 965772257 108822528 23708 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26568 23708 301 301 0 26267 0 vsize: 106272 [startup+730.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 38784 0 0 0 72928 94 0 0 25 0 1 0 965772257 108822528 23743 4294967295 134512640 135730672 3221224592 3221223036 134748060 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26568 23743 301 301 0 26267 0 vsize: 106272 [startup+740.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39230 0 0 0 73928 95 0 0 25 0 1 0 965772257 108822528 23747 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26568 23747 301 301 0 26267 0 vsize: 106272 [startup+750.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39231 0 0 0 74928 95 0 0 25 0 1 0 965772257 108822528 23748 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26568 23748 301 301 0 26267 0 vsize: 106272 [startup+760.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39232 0 0 0 75928 95 0 0 25 0 1 0 965772257 108822528 23749 4294967295 134512640 135730672 3221224592 3221222976 134763606 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26568 23749 301 301 0 26267 0 vsize: 106272 [startup+770.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39381 0 0 0 76928 96 0 0 25 0 1 0 965772257 109346816 23769 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26696 23769 301 301 0 26395 0 vsize: 106784 [startup+780.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39405 0 0 0 77928 96 0 0 25 0 1 0 965772257 109543424 23793 4294967295 134512640 135730672 3221224592 3221222880 134747711 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23793 301 301 0 26443 0 vsize: 106976 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39848 0 0 0 78927 97 0 0 25 0 1 0 965772257 109543424 23794 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23794 301 301 0 26443 0 vsize: 106976 [startup+800.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39871 0 0 0 79927 97 0 0 25 0 1 0 965772257 109543424 23817 4294967295 134512640 135730672 3221224592 3221223040 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23817 301 301 0 26443 0 vsize: 106976 [startup+810.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 39932 0 0 0 80927 97 0 0 25 0 1 0 965772257 109543424 23878 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23878 301 301 0 26443 0 vsize: 106976 [startup+820.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 40394 0 0 0 81927 98 0 0 25 0 1 0 965772257 109543424 23898 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23898 301 301 0 26443 0 vsize: 106976 [startup+830.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 40406 0 0 0 82927 99 0 0 25 0 1 0 965772257 109543424 23910 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23910 301 301 0 26443 0 vsize: 106976 [startup+840.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 40446 0 0 0 83927 99 0 0 25 0 1 0 965772257 109543424 23950 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23950 301 301 0 26443 0 vsize: 106976 [startup+850.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 40899 0 0 0 84926 100 0 0 25 0 1 0 965772257 109543424 23961 4294967295 134512640 135730672 3221224592 3221222880 134747519 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 23961 301 301 0 26443 0 vsize: 106976 [startup+860.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 40940 0 0 0 85926 101 0 0 25 0 1 0 965772257 109543424 24002 4294967295 134512640 135730672 3221224592 3221223072 134748426 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 24002 301 301 0 26443 0 vsize: 106976 [startup+870.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 41418 0 0 0 86925 102 0 0 25 0 1 0 965772257 111353856 24480 4294967295 134512640 135730672 3221224592 3221222536 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27186 24480 301 301 0 26885 0 vsize: 108744 [startup+880.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 41428 0 0 0 87925 102 0 0 25 0 1 0 965772257 109543424 24048 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26744 24048 301 301 0 26443 0 vsize: 106976 [startup+890.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 42067 0 0 0 88923 104 0 0 25 0 1 0 965772257 112078848 24560 4294967295 134512640 135730672 3221224592 3221223008 134748264 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 27363 24560 301 301 0 27062 0 vsize: 109452 [startup+900.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 44188 0 0 0 89920 108 0 0 25 0 1 0 965772257 119640064 25863 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 29209 25863 301 301 0 28908 0 vsize: 116836 [startup+910.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 45700 0 0 0 90918 110 0 0 25 0 1 0 965772257 125104128 26874 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 30543 26874 301 301 0 30242 0 vsize: 122172 [startup+920.043 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 46676 0 0 0 91917 111 0 0 25 0 1 0 965772257 129179648 27619 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 31538 27619 301 301 0 31237 0 vsize: 126152 [startup+930.042 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 47456 0 0 0 92915 113 0 0 25 0 1 0 965772257 132521984 28284 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32354 28284 301 301 0 32053 0 vsize: 129416 [startup+940.041 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48520 0 0 0 93913 116 0 0 25 0 1 0 965772257 134230016 28547 4294967295 134512640 135730672 3221224592 3221223008 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28547 301 301 0 32470 0 vsize: 131084 [startup+950.042 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48523 0 0 0 94913 116 0 0 25 0 1 0 965772257 134230016 28550 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28550 301 301 0 32470 0 vsize: 131084 [startup+960.041 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48532 0 0 0 95913 116 0 0 25 0 1 0 965772257 134230016 28559 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28559 301 301 0 32470 0 vsize: 131084 [startup+970.041 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48533 0 0 0 96914 116 0 0 25 0 1 0 965772257 134230016 28560 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28560 301 301 0 32470 0 vsize: 131084 [startup+980.041 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48534 0 0 0 97914 116 0 0 25 0 1 0 965772257 134230016 28561 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28561 301 301 0 32470 0 vsize: 131084 [startup+990.041 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48555 0 0 0 98914 116 0 0 25 0 1 0 965772257 134230016 28582 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28582 301 301 0 32470 0 vsize: 131084 [startup+1000.04 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 48559 0 0 0 99914 117 0 0 25 0 1 0 965772257 134230016 28586 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28586 301 301 0 32470 0 vsize: 131084 [startup+1010.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 49023 0 0 0 100913 118 0 0 25 0 1 0 965772257 134230016 28608 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28608 301 301 0 32470 0 vsize: 131084 [startup+1020.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 49033 0 0 0 101913 118 0 0 25 0 1 0 965772257 134230016 28618 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 32771 28618 301 301 0 32470 0 vsize: 131084 [startup+1030.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 49046 0 0 0 102914 118 0 0 25 0 1 0 965772257 151007232 28631 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28631 301 301 0 36566 0 vsize: 147468 [startup+1040.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 49056 0 0 0 103914 118 0 0 25 0 1 0 965772257 151007232 28641 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28641 301 301 0 36566 0 vsize: 147468 [startup+1050.04 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 49516 0 0 0 104913 119 0 0 25 0 1 0 965772257 151007232 28659 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28659 301 301 0 36566 0 vsize: 147468 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50012 0 0 0 105912 121 0 0 25 0 1 0 965772257 151007232 28713 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28713 301 301 0 36566 0 vsize: 147468 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50090 0 0 0 106912 121 0 0 25 0 1 0 965772257 151007232 28791 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28791 301 301 0 36566 0 vsize: 147468 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50149 0 0 0 107911 122 0 0 25 0 1 0 965772257 151007232 28850 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28850 301 301 0 36566 0 vsize: 147468 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50197 0 0 0 108912 122 0 0 25 0 1 0 965772257 151007232 28898 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28898 301 301 0 36566 0 vsize: 147468 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50278 0 0 0 109911 123 0 0 25 0 1 0 965772257 151007232 28979 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36867 28979 301 301 0 36566 0 vsize: 147468 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50758 0 0 0 110910 124 0 0 25 0 1 0 965772257 151203840 29017 4294967295 134512640 135730672 3221224592 3221222928 134740206 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29017 301 301 0 36614 0 vsize: 147660 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 50760 0 0 0 111910 125 0 0 25 0 1 0 965772257 151203840 29019 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29019 301 301 0 36614 0 vsize: 147660 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 51204 0 0 0 112908 126 0 0 25 0 1 0 965772257 151203840 29021 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29021 301 301 0 36614 0 vsize: 147660 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 51205 0 0 0 113909 127 0 0 25 0 1 0 965772257 151203840 29022 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29022 301 301 0 36614 0 vsize: 147660 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 51208 0 0 0 114909 127 0 0 25 0 1 0 965772257 151203840 29025 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29025 301 301 0 36614 0 vsize: 147660 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 51652 0 0 0 115908 128 0 0 25 0 1 0 965772257 151203840 29027 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29027 301 301 0 36614 0 vsize: 147660 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 51710 0 0 0 116908 128 0 0 25 0 1 0 965772257 151203840 29085 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29085 301 301 0 36614 0 vsize: 147660 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 52191 0 0 0 117907 130 0 0 25 0 1 0 965772257 151203840 29124 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29124 301 301 0 36614 0 vsize: 147660 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 52255 0 0 0 118907 130 0 0 25 0 1 0 965772257 151203840 29188 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29188 301 301 0 36614 0 vsize: 147660 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 11121 Raw data (stat): 11121 (pb2sat-v2) R 11120 25568 25567 0 -1 0 52734 0 0 0 119905 132 0 0 25 0 1 0 965772257 151203840 29225 4294967295 134512640 135730672 3221224592 3221222928 134740286 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 36915 29225 301 301 0 36614 0 vsize: 147660 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.12 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 11121 Raw data (stat): 11121 (pb2sat-v2) Z 11120 25568 25567 0 -1 12 52736 0 0 0 120007 138 0 0 25 0 1 0 965772257 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.12 CPU time (s): 1201.46 CPU user time (s): 1200.07 CPU system time (s): 1.38379 CPU usage (%): 100.028 Max. virtual memory (Kb): 147660 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 370 #### END VERIFIER DATA ####