Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb |
MD5SUM | 5573ac468e70af6b65c69997b62e5033 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 302 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1020 |
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 | 1020 |
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 | 1020 |
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.02984 |
Number of variables | 1020 |
Total number of constraints | 3575 |
Number of constraints which are clauses | 3575 |
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 | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-15 23:07:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25269 boxname=wulflinc1 idbench=171 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 5573ac468e70af6b65c69997b62e5033 /oldhome/oroussel/tmp/wulflinc1/normalized-ii8c1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii8c1.opb IDLAUNCH: 25269 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 827328 kB Buffers: 33768 kB Cached: 149864 kB SwapCached: 1192 kB Active: 76764 kB Inactive: 109152 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 827076 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 15556 kB Committed_AS: 92684 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-15 23:27:59 (client local time) WITH STATUS 10 IN 1202.04 SECONDS stats: 25269 0 1202.04 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: 510 c small objective detected c CONFLICT during preprocess c [startup+21.3937 s] setting bit 9 to 0 c Decision: 168338/391946 Time: 50.7503/86400 c Decision: 168338/391946 Time: 94.4796/86400 c Decision: 168338/391946 Time: 152.564/86400 c Decision: 172979/391946 Time: 277.024/86400 c Decision: 172979/391946 Time: 373.218/86400 c Decision: 172979/391946 Time: 470.559/86400 c Decision: 173003/391946 Time: 598.951/86400 c Decision: 173003/391946 Time: 682.014/86400 c Decision: 173010/391946 Time: 824.355/86400 c Decision: 173010/391946 Time: 917.187/86400 c Decision: 173010/391946 Time: 1004.18/86400 c Decision: 173010/391946 Time: 1103.89/86400 c Decision: 173010/391946 Time: 1168.72/86400s SATISFIABLE v x1 -x10 -x100 x1000 x1001 -x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 x101 x1010 -x1011 x1012 -x1013 x1014 -x1015 x1016 -x1017 x1018 -x1019 -x102 x1020 x103 -x104 x105 -x106 x107 -x108 x109 x11 -x110 x111 -x112 -x113 x114 x115 -x116 x117 -x118 x119 -x12 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 x13 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 x139 -x14 -x140 x141 -x142 x143 -x144 -x145 x146 x147 -x148 x149 x15 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x16 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 x17 -x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 x179 -x18 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 -x209 x21 x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x25 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 x26 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 x27 -x270 x271 -x272 -x273 x274 x275 -x276 x277 -x278 x279 -x28 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 x303 -x304 -x305 x306 x307 -x308 x309 x31 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x33 x330 -x331 x332 -x333 x334 -x335 x336 -x337 x338 -x339 -x34 x340 x341 -x342 -x343 x344 -x345 x346 -x347 x348 -x349 x35 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x36 x360 -x361 x362 x363 -x364 -x365 x366 -x367 x368 -x369 x37 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x38 x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 x39 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 -x4 -x40 x400 x401 -x402 -x403 x404 -x405 x406 -x407 x408 -x409 x41 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 -x42 x420 -x421 x422 x423 -x424 -x425 x426 -x427 x428 -x429 x43 x430 -x431 x432 -x433 x434 -x435 x436 -x437 x438 -x439 -x44 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 -x449 x45 x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 -x46 x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 x47 x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x48 x480 -x481 x482 x483 -x484 -x485 x486 -x487 x488 -x489 -x49 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x5 x50 x500 x501 -x502 -x503 x504 -x505 x506 -x507 x508 -x509 x51 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 -x52 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 x53 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x54 x540 x541 -x542 -x543 x544 -x545 x546 -x547 x548 -x549 x55 x550 -x551 x552 -x553 x554 -x555 x556 -x557 x558 -x559 -x56 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x57 x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 -x58 x580 -x581 x582 x583 -x584 -x585 x586 -x587 x588 -x589 x59 x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 -x599 -x6 -x60 x600 x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 x61 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 -x619 -x62 x620 x621 -x622 -x623 x624 -x625 x626 -x627 x628 -x629 x63 x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x65 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 -x659 -x66 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 x67 x670 -x671 x672 -x673 x674 -x675 x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 -x689 x69 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x7 -x70 x700 x701 -x702 -x703 x704 -x705 x706 -x707 x708 -x709 x71 x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 -x72 x720 -x721 x722 x723 -x724 -x725 x726 -x727 x728 -x729 x73 x730 -x731 x732 -x733 x734 -x735 x736 -x737 x738 -x739 -x74 x740 x741 -x742 -x743 x744 -x745 x746 -x747 x748 -x749 x75 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 -x76 x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 -x769 x77 x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 -x78 x780 x781 -x782 -x783 x784 -x785 x786 -x787 x788 -x789 x79 x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 -x799 -x8 -x80 x800 -x801 x802 x803 -x804 -x805 x806 -x807 x808 -x809 -x81 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 x82 x820 x821 -x822 -x823 x824 -x825 x826 -x827 x828 -x829 x83 x830 -x831 x832 -x833 x834 -x835 x836 -x837 x838 -x839 -x84 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 x85 x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 -x86 x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 -x869 x87 x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 -x88 x880 -x881 x882 x883 -x884 -x885 x886 -x887 x888 -x889 x89 x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 -x899 x9 -x90 x900 x901 -x902 -x903 x904 -x905 x906 -x907 x908 -x909 x91 x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 -x919 -x92 x920 -x921 x922 x923 -x924 -x925 x926 -x927 x928 -x929 x93 x930 -x931 x932 -x933 x934 -x935 x936 -x937 x938 -x939 -x94 x940 -x941 x942 x943 -x944 -x945 x946 -x947 x948 -x949 x95 x950 -x951 x952 -x953 x954 -x955 x956 -x957 x958 -x959 -x96 x960 x961 -x962 -x963 x964 -x965 x966 -x967 x968 -x969 x97 x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x98 x980 -x981 x982 x983 -x984 -x985 x986 -x987 x988 -x989 x99 x990 -x991 x992 -x993 x994 -x995 x996 -x997 x998 -x999 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.85 0.95 0.90 2/55 6945 Raw data (stat): 6945 (runsolver) R 6944 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909103694 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.0001 s] Raw data (loadavg): 0.87 0.95 0.90 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 27925 0 0 0 941 58 0 0 25 0 1 0 909103694 86814720 17037 4294967295 134512640 135730672 3221224592 3221094280 135285983 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21195 17037 301 301 0 20894 0 vsize: 84780 [startup+20.0012 s] Raw data (loadavg): 0.89 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 55962 0 0 0 1880 119 0 0 25 0 1 0 909103694 174051328 34131 4294967295 134512640 135730672 3221224592 3221222960 134741558 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42493 34131 301 301 0 42192 0 vsize: 169972 [startup+30.0016 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 59775 0 0 0 2871 127 0 0 25 0 1 0 909103694 182820864 36087 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44634 36087 301 301 0 44333 0 vsize: 178536 [startup+40.0024 s] Raw data (loadavg): 0.92 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 60742 0 0 0 3870 129 0 0 25 0 1 0 909103694 187281408 36907 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45723 36907 301 301 0 45422 0 vsize: 182892 [startup+50.0032 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 61521 0 0 0 4868 131 0 0 25 0 1 0 909103694 190210048 37423 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46438 37423 301 301 0 46137 0 vsize: 185752 [startup+60.003 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 61610 0 0 0 5868 131 0 0 25 0 1 0 909103694 190476288 37479 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46503 37479 301 301 0 46202 0 vsize: 186012 [startup+70.0038 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 62409 0 0 0 6867 133 0 0 25 0 1 0 909103694 193613824 38278 4294967295 134512640 135730672 3221224592 3221222536 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47269 38278 301 301 0 46968 0 vsize: 189076 [startup+80.0039 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 62727 0 0 0 7866 134 0 0 25 0 1 0 909103694 191799296 37764 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46826 37764 301 301 0 46525 0 vsize: 187304 [startup+90.0043 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 63234 0 0 0 8866 134 0 0 25 0 1 0 909103694 193773568 38139 4294967295 134512640 135730672 3221224592 3221223008 134748214 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47308 38139 301 301 0 47007 0 vsize: 189232 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 63374 0 0 0 9865 135 0 0 25 0 1 0 909103694 194314240 38279 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47440 38279 301 301 0 47139 0 vsize: 189760 [startup+110.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 63494 0 0 0 10865 136 0 0 25 0 1 0 909103694 194912256 38366 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47586 38366 301 301 0 47285 0 vsize: 190344 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 64331 0 0 0 11862 138 0 0 25 0 1 0 909103694 195182592 38437 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47652 38437 301 301 0 47351 0 vsize: 190608 [startup+130.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 64822 0 0 0 12861 139 0 0 25 0 1 0 909103694 197455872 38862 4294967295 134512640 135730672 3221224592 3221223008 134748132 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48207 38862 301 301 0 47906 0 vsize: 192828 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 65372 0 0 0 13860 140 0 0 25 0 1 0 909103694 199176192 39118 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 48627 39118 301 301 0 48326 0 vsize: 194508 [startup+150.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 66588 0 0 0 14858 143 0 0 25 0 1 0 909103694 202887168 39745 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49533 39745 301 301 0 49232 0 vsize: 198132 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 66734 0 0 0 15857 143 0 0 25 0 1 0 909103694 203550720 39825 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49695 39825 301 301 0 49394 0 vsize: 198780 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 66791 0 0 0 16858 143 0 0 25 0 1 0 909103694 203816960 39882 4294967295 134512640 135730672 3221224592 3221222992 134748222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49760 39882 301 301 0 49459 0 vsize: 199040 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 67570 0 0 0 17856 145 0 0 25 0 1 0 909103694 203816960 39895 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49760 39895 301 301 0 49459 0 vsize: 199040 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 67909 0 0 0 18855 146 0 0 25 0 1 0 909103694 204607488 40102 4294967295 134512640 135730672 3221224592 3221222880 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 49953 40102 301 301 0 49652 0 vsize: 199812 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 68155 0 0 0 19854 147 0 0 25 0 1 0 909103694 205131776 40217 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50081 40217 301 301 0 49780 0 vsize: 200324 [startup+210.006 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 68314 0 0 0 20854 148 0 0 25 0 1 0 909103694 205803520 40343 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50245 40343 301 301 0 49944 0 vsize: 200980 [startup+220.007 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 68529 0 0 0 21854 148 0 0 25 0 1 0 909103694 206467072 40525 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50407 40525 301 301 0 50106 0 vsize: 201628 [startup+230.006 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 68603 0 0 0 22853 148 0 0 25 0 1 0 909103694 206598144 40566 4294967295 134512640 135730672 3221224592 3221222716 134739216 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50439 40566 301 301 0 50138 0 vsize: 201756 [startup+240.007 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69007 0 0 0 23852 150 0 0 25 0 1 0 909103694 207925248 40805 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50763 40805 301 301 0 50462 0 vsize: 203052 [startup+250.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69163 0 0 0 24852 150 0 0 25 0 1 0 909103694 208318464 40862 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50859 40862 301 301 0 50558 0 vsize: 203436 [startup+260.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69226 0 0 0 25852 151 0 0 25 0 1 0 909103694 208449536 40892 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50891 40892 301 301 0 50590 0 vsize: 203564 [startup+270.008 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69309 0 0 0 26852 151 0 0 25 0 1 0 909103694 208850944 40975 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 50989 40975 301 301 0 50688 0 vsize: 203956 [startup+280.007 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69403 0 0 0 27852 151 0 0 25 0 1 0 909103694 209248256 41036 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51086 41036 301 301 0 50785 0 vsize: 204344 [startup+290.008 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 69561 0 0 0 28851 152 0 0 25 0 1 0 909103694 209510400 41129 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51150 41129 301 301 0 50849 0 vsize: 204600 [startup+300.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 70870 0 0 0 29848 155 0 0 25 0 1 0 909103694 211484672 41378 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51632 41378 301 301 0 51331 0 vsize: 206528 [startup+310.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 70892 0 0 0 30847 156 0 0 25 0 1 0 909103694 211484672 41400 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51632 41400 301 301 0 51331 0 vsize: 206528 [startup+320.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 71291 0 0 0 31846 157 0 0 25 0 1 0 909103694 212668416 41571 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 51921 41571 301 301 0 51620 0 vsize: 207684 [startup+330.008 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 72020 0 0 0 32845 159 0 0 25 0 1 0 909103694 215179264 41940 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52534 41940 301 301 0 52233 0 vsize: 210136 [startup+340.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 72332 0 0 0 33844 160 0 0 25 0 1 0 909103694 215969792 42120 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52727 42120 301 301 0 52426 0 vsize: 210908 [startup+350.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 72630 0 0 0 34843 161 0 0 25 0 1 0 909103694 216764416 42320 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 52921 42320 301 301 0 52620 0 vsize: 211684 [startup+360.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 72950 0 0 0 35842 162 0 0 25 0 1 0 909103694 217821184 42510 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53179 42510 301 301 0 52878 0 vsize: 212716 [startup+370.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 73225 0 0 0 36841 163 0 0 25 0 1 0 909103694 218607616 42589 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53371 42589 301 301 0 53070 0 vsize: 213484 [startup+380.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 73269 0 0 0 37841 163 0 0 25 0 1 0 909103694 218873856 42633 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53436 42633 301 301 0 53135 0 vsize: 213744 [startup+390.009 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 73288 0 0 0 38841 163 0 0 25 0 1 0 909103694 218873856 42652 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53436 42652 301 301 0 53135 0 vsize: 213744 [startup+400.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 74098 0 0 0 39838 166 0 0 25 0 1 0 909103694 219140096 42696 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53501 42696 301 301 0 53200 0 vsize: 214004 [startup+410.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 74101 0 0 0 40838 166 0 0 25 0 1 0 909103694 219140096 42699 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53501 42699 301 301 0 53200 0 vsize: 214004 [startup+420.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 74460 0 0 0 41837 167 0 0 25 0 1 0 909103694 220188672 42797 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53757 42797 301 301 0 53456 0 vsize: 215028 [startup+430.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 74631 0 0 0 42836 168 0 0 25 0 1 0 909103694 220717056 42902 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 53886 42902 301 301 0 53585 0 vsize: 215544 [startup+440.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 75222 0 0 0 43836 168 0 0 25 0 1 0 909103694 222289920 43103 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54270 43103 301 301 0 53969 0 vsize: 217080 [startup+450.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 75547 0 0 0 44835 169 0 0 25 0 1 0 909103694 223342592 43233 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54527 43233 301 301 0 54226 0 vsize: 218108 [startup+460.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 75706 0 0 0 45835 170 0 0 25 0 1 0 909103694 223870976 43327 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54656 43327 301 301 0 54355 0 vsize: 218624 [startup+470.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 75832 0 0 0 46835 170 0 0 25 0 1 0 909103694 224133120 43388 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54720 43388 301 301 0 54419 0 vsize: 218880 [startup+480.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 76029 0 0 0 47834 171 0 0 25 0 1 0 909103694 224395264 43520 4294967295 134512640 135730672 3221224592 3221222880 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54784 43520 301 301 0 54483 0 vsize: 219136 [startup+490.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77064 0 0 0 48833 173 0 0 25 0 1 0 909103694 228323328 44392 4294967295 134512640 135730672 3221224592 3221222544 134769154 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55743 44392 301 301 0 55442 0 vsize: 222972 [startup+500.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77065 0 0 0 49833 173 0 0 25 0 1 0 909103694 225185792 43627 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54977 43627 301 301 0 54676 0 vsize: 219908 [startup+510.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77065 0 0 0 50833 173 0 0 25 0 1 0 909103694 225185792 43627 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54977 43627 301 301 0 54676 0 vsize: 219908 [startup+520.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77070 0 0 0 51832 173 0 0 25 0 1 0 909103694 225185792 43632 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 54977 43632 301 301 0 54676 0 vsize: 219908 [startup+530.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77136 0 0 0 52832 173 0 0 25 0 1 0 909103694 225452032 43698 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55042 43698 301 301 0 54741 0 vsize: 220168 [startup+540.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77407 0 0 0 53832 174 0 0 25 0 1 0 909103694 226238464 43774 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55234 43774 301 301 0 54933 0 vsize: 220936 [startup+550.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77593 0 0 0 54832 174 0 0 25 0 1 0 909103694 226762752 43830 4294967295 134512640 135730672 3221224592 3221223040 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55362 43830 301 301 0 55061 0 vsize: 221448 [startup+560.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77668 0 0 0 55832 175 0 0 25 0 1 0 909103694 227024896 43840 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55426 43840 301 301 0 55125 0 vsize: 221704 [startup+570.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77670 0 0 0 56832 175 0 0 25 0 1 0 909103694 227024896 43842 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55426 43842 301 301 0 55125 0 vsize: 221704 [startup+580.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77767 0 0 0 57832 175 0 0 25 0 1 0 909103694 227287040 43873 4294967295 134512640 135730672 3221224592 3221222880 134747536 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55490 43873 301 301 0 55189 0 vsize: 221960 [startup+590.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77846 0 0 0 58831 176 0 0 25 0 1 0 909103694 227549184 43887 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55554 43887 301 301 0 55253 0 vsize: 222216 [startup+600.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77979 0 0 0 59830 177 0 0 25 0 1 0 909103694 227942400 43922 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55650 43922 301 301 0 55349 0 vsize: 222600 [startup+610.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 77980 0 0 0 60830 177 0 0 25 0 1 0 909103694 227942400 43923 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55650 43923 301 301 0 55349 0 vsize: 222600 [startup+620.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 78848 0 0 0 61829 179 0 0 25 0 1 0 909103694 231342080 44726 4294967295 134512640 135730672 3221224592 3221222520 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56480 44726 301 301 0 56179 0 vsize: 225920 [startup+630.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 78856 0 0 0 62828 179 0 0 25 0 1 0 909103694 228204544 43968 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 55714 43968 301 301 0 55413 0 vsize: 222856 [startup+640.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 78897 0 0 0 63827 180 0 0 25 0 1 0 909103694 228204544 44009 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55714 44009 301 301 0 55413 0 vsize: 222856 [startup+650.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79021 0 0 0 64827 180 0 0 25 0 1 0 909103694 228732928 44068 4294967295 134512640 135730672 3221224592 3221223008 134748120 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55843 44068 301 301 0 55542 0 vsize: 223372 [startup+660.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79151 0 0 0 65827 181 0 0 25 0 1 0 909103694 228995072 44133 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 55907 44133 301 301 0 55606 0 vsize: 223628 [startup+670.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79288 0 0 0 66826 181 0 0 25 0 1 0 909103694 229523456 44205 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56036 44205 301 301 0 55735 0 vsize: 224144 [startup+680.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79288 0 0 0 67826 182 0 0 25 0 1 0 909103694 229523456 44205 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56036 44205 301 301 0 55735 0 vsize: 224144 [startup+690.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79335 0 0 0 68826 182 0 0 25 0 1 0 909103694 229523456 44252 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56036 44252 301 301 0 55735 0 vsize: 224144 [startup+700.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 79475 0 0 0 69825 183 0 0 25 0 1 0 909103694 230047744 44262 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56164 44262 301 301 0 55863 0 vsize: 224656 [startup+710.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80317 0 0 0 70823 185 0 0 25 0 1 0 909103694 230313984 44338 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56229 44338 301 301 0 55928 0 vsize: 224916 [startup+720.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80538 0 0 0 71823 185 0 0 25 0 1 0 909103694 230969344 44396 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56389 44396 301 301 0 56088 0 vsize: 225556 [startup+730.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80734 0 0 0 72822 186 0 0 25 0 1 0 909103694 231763968 44527 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56583 44527 301 301 0 56282 0 vsize: 226332 [startup+740.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80865 0 0 0 73822 187 0 0 25 0 1 0 909103694 232161280 44593 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56680 44593 301 301 0 56379 0 vsize: 226720 [startup+750.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80865 0 0 0 74822 187 0 0 25 0 1 0 909103694 232161280 44593 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56680 44593 301 301 0 56379 0 vsize: 226720 [startup+760.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80868 0 0 0 75822 187 0 0 25 0 1 0 909103694 232161280 44596 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56680 44596 301 301 0 56379 0 vsize: 226720 [startup+770.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80868 0 0 0 76822 187 0 0 25 0 1 0 909103694 232161280 44596 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56680 44596 301 301 0 56379 0 vsize: 226720 [startup+780.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80938 0 0 0 77822 188 0 0 25 0 1 0 909103694 232292352 44633 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56712 44633 301 301 0 56411 0 vsize: 226848 [startup+790.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 80945 0 0 0 78822 188 0 0 25 0 1 0 909103694 232292352 44640 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56712 44640 301 301 0 56411 0 vsize: 226848 [startup+800.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81021 0 0 0 79821 188 0 0 25 0 1 0 909103694 232820736 44716 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56841 44716 301 301 0 56540 0 vsize: 227364 [startup+810.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81105 0 0 0 80822 188 0 0 25 0 1 0 909103694 233082880 44735 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44735 301 301 0 56604 0 vsize: 227620 [startup+820.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81106 0 0 0 81822 188 0 0 25 0 1 0 909103694 233082880 44736 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44736 301 301 0 56604 0 vsize: 227620 [startup+830.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81106 0 0 0 82821 189 0 0 25 0 1 0 909103694 233082880 44736 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44736 301 301 0 56604 0 vsize: 227620 [startup+840.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81107 0 0 0 83821 189 0 0 25 0 1 0 909103694 233082880 44737 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44737 301 301 0 56604 0 vsize: 227620 [startup+850.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81874 0 0 0 84819 191 0 0 25 0 1 0 909103694 233082880 44738 4294967295 134512640 135730672 3221224592 3221223040 134765776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44738 301 301 0 56604 0 vsize: 227620 [startup+860.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81875 0 0 0 85819 191 0 0 25 0 1 0 909103694 233082880 44739 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44739 301 301 0 56604 0 vsize: 227620 [startup+870.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81875 0 0 0 86819 191 0 0 25 0 1 0 909103694 233082880 44739 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44739 301 301 0 56604 0 vsize: 227620 [startup+880.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81876 0 0 0 87819 192 0 0 25 0 1 0 909103694 233082880 44740 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44740 301 301 0 56604 0 vsize: 227620 [startup+890.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 81882 0 0 0 88819 192 0 0 25 0 1 0 909103694 233082880 44746 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 56905 44746 301 301 0 56604 0 vsize: 227620 [startup+900.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 82022 0 0 0 89818 193 0 0 25 0 1 0 909103694 233476096 44788 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57001 44788 301 301 0 56700 0 vsize: 228004 [startup+910.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 82155 0 0 0 90817 194 0 0 25 0 1 0 909103694 233738240 44856 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57065 44856 301 301 0 56764 0 vsize: 228260 [startup+920.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 82331 0 0 0 91817 195 0 0 25 0 1 0 909103694 234135552 44966 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57162 44966 301 301 0 56861 0 vsize: 228648 [startup+930.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 82370 0 0 0 92817 195 0 0 25 0 1 0 909103694 234266624 44972 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57194 44972 301 301 0 56893 0 vsize: 228776 [startup+940.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83326 0 0 0 93814 197 0 0 25 0 1 0 909103694 234795008 45064 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57323 45064 301 301 0 57022 0 vsize: 229292 [startup+950.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83327 0 0 0 94814 198 0 0 25 0 1 0 909103694 234795008 45065 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57323 45065 301 301 0 57022 0 vsize: 229292 [startup+960.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83327 0 0 0 95814 198 0 0 25 0 1 0 909103694 234795008 45065 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57323 45065 301 301 0 57022 0 vsize: 229292 [startup+970.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83458 0 0 0 96814 198 0 0 25 0 1 0 909103694 235057152 45131 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57387 45131 301 301 0 57086 0 vsize: 229548 [startup+980.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83472 0 0 0 97814 198 0 0 25 0 1 0 909103694 235057152 45145 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57387 45145 301 301 0 57086 0 vsize: 229548 [startup+990.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83563 0 0 0 98814 199 0 0 25 0 1 0 909103694 235319296 45171 4294967295 134512640 135730672 3221224592 3221223072 134748549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57451 45171 301 301 0 57150 0 vsize: 229804 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 83633 0 0 0 99814 199 0 0 25 0 1 0 909103694 235581440 45176 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57515 45176 301 301 0 57214 0 vsize: 230060 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 84107 0 0 0 100813 200 0 0 25 0 1 0 909103694 236896256 45358 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57836 45358 301 301 0 57535 0 vsize: 231344 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 84160 0 0 0 101813 200 0 0 25 0 1 0 909103694 236896256 45411 4294967295 134512640 135730672 3221224592 3221222880 134747965 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57836 45411 301 301 0 57535 0 vsize: 231344 [startup+1030.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 84927 0 0 0 102811 202 0 0 25 0 1 0 909103694 236896256 45412 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57836 45412 301 301 0 57535 0 vsize: 231344 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 84927 0 0 0 103811 203 0 0 25 0 1 0 909103694 236896256 45412 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57836 45412 301 301 0 57535 0 vsize: 231344 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85017 0 0 0 104811 203 0 0 25 0 1 0 909103694 237158400 45437 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57900 45437 301 301 0 57599 0 vsize: 231600 [startup+1060.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85073 0 0 0 105810 203 0 0 25 0 1 0 909103694 237424640 45493 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57965 45493 301 301 0 57664 0 vsize: 231860 [startup+1070.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85073 0 0 0 106810 204 0 0 25 0 1 0 909103694 237424640 45493 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57965 45493 301 301 0 57664 0 vsize: 231860 [startup+1080.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85104 0 0 0 107810 204 0 0 25 0 1 0 909103694 237559808 45524 4294967295 134512640 135730672 3221224592 3221222880 134747899 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57998 45524 301 301 0 57697 0 vsize: 231992 [startup+1090.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85107 0 0 0 108810 204 0 0 25 0 1 0 909103694 237559808 45527 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 57998 45527 301 301 0 57697 0 vsize: 231992 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85217 0 0 0 109809 205 0 0 25 0 1 0 909103694 237961216 45604 4294967295 134512640 135730672 3221224592 3221222980 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45604 301 301 0 57795 0 vsize: 232384 [startup+1110.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85219 0 0 0 110809 205 0 0 25 0 1 0 909103694 237961216 45606 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45606 301 301 0 57795 0 vsize: 232384 [startup+1120.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85220 0 0 0 111809 206 0 0 25 0 1 0 909103694 237961216 45607 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45607 301 301 0 57795 0 vsize: 232384 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85987 0 0 0 112808 207 0 0 25 0 1 0 909103694 237961216 45608 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45608 301 301 0 57795 0 vsize: 232384 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 85987 0 0 0 113807 208 0 0 25 0 1 0 909103694 237961216 45608 4294967295 134512640 135730672 3221224592 3221223072 134748499 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45608 301 301 0 57795 0 vsize: 232384 [startup+1150.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 86001 0 0 0 114808 208 0 0 25 0 1 0 909103694 237961216 45622 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45622 301 301 0 57795 0 vsize: 232384 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 86001 0 0 0 115807 208 0 0 25 0 1 0 909103694 237961216 45622 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45622 301 301 0 57795 0 vsize: 232384 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 86002 0 0 0 116807 208 0 0 25 0 1 0 909103694 237961216 45623 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58096 45623 301 301 0 57795 0 vsize: 232384 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 86294 0 0 0 117806 210 0 0 25 0 1 0 909103694 238747648 45721 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58288 45721 301 301 0 57987 0 vsize: 233152 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 87061 0 0 0 118804 212 0 0 25 0 1 0 909103694 238747648 45722 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58288 45722 301 301 0 57987 0 vsize: 233152 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 6945 Raw data (stat): 6945 (pb2sat-v2) R 6944 8378 8377 0 -1 0 87061 0 0 0 119804 212 0 0 25 0 1 0 909103694 238747648 45722 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 58288 45722 301 301 0 57987 0 vsize: 233152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.88 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 6945 Raw data (stat): 6945 (pb2sat-v2) Z 6944 8378 8377 0 -1 12 87063 0 0 0 119981 221 0 0 25 0 1 0 909103694 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1201.88 CPU time (s): 1202.04 CPU user time (s): 1199.82 CPU system time (s): 2.21766 CPU usage (%): 100.013 Max. virtual memory (Kb): 233152 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 510 #### END VERIFIER DATA ####