Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
MD5SUM | 979ebd144bbd2b562b23479b90a02c66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1040 |
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 | 1040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1040 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 1040 |
Total number of constraints | 3656 |
Number of constraints which are clauses | 3656 |
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 wulflinc18 THE 2005-05-28 10:51:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24101 boxname=wulflinc18 idbench=175 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 979ebd144bbd2b562b23479b90a02c66 /oldhome/oroussel/tmp/wulflinc18/normalized-ii8e1.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-ii8e1.opb IDLAUNCH: 24101 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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 : 3 cpu MHz : 451.177 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: 363960 kB Buffers: 32856 kB Cached: 604436 kB SwapCached: 820 kB Active: 39344 kB Inactive: 600080 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 363708 kB SwapTotal: 2097892 kB SwapFree: 2096212 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5116 kB Slab: 25428 kB Committed_AS: 63592 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 11:11:28 (client local time) WITH STATUS 0 IN 1202.3 SECONDS stats: 24101 0 1202.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c [startup+33.8195 s] setting bit 10 to 0 c got solution with objective value: 520 c [startup+37.7966 s] setting bit 9 to 1 Decision: 297096/543420 Time: 569.083/86400 Decision: 297096/543420 Time: 649.341/86400 Decision: 297096/543420 Time: 730.895/86400 Decision: 297096/543420 Time: 838.553/86400 Decision: 297096/543420 Time: 932.58/86400 Decision: 297606/543420 Time: 1112.45/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 -x1021 x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 x1029 x103 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 -x104 x1040 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.84 0.94 0.87 2/54 31891 Raw data (stat): 31891 (runsolver) R 31890 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864207323 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.0012 s] Raw data (loadavg): 0.87 0.94 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 29588 0 0 0 936 63 0 0 25 0 1 0 864207323 89116672 18676 4294967295 134512640 135726644 3221224592 3221021768 134784091 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21757 18677 300 300 0 21457 0 vsize: 87028 [startup+20.0008 s] Raw data (loadavg): 0.89 0.94 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 57950 0 0 0 1873 126 0 0 25 0 1 0 864207323 174837760 36083 4294967295 134512640 135726644 3221224592 3221096080 134767123 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42685 36083 300 300 0 42385 0 vsize: 170740 [startup+30.0023 s] Raw data (loadavg): 0.90 0.94 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 96046 0 0 0 2799 200 0 0 25 0 1 0 864207323 297857024 51495 4294967295 134512640 135726644 3221224592 3221222896 134743955 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72719 51495 300 300 0 72419 0 vsize: 290876 [startup+40.0029 s] Raw data (loadavg): 0.92 0.94 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 98703 0 0 0 3792 206 0 0 25 0 1 0 864207323 302055424 52028 4294967295 134512640 135726644 3221224592 3221222896 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 73744 52028 300 300 0 73444 0 vsize: 294976 [startup+50.0035 s] Raw data (loadavg): 0.93 0.94 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 99426 0 0 0 4791 208 0 0 25 0 1 0 864207323 304443392 52391 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 74327 52391 300 300 0 74027 0 vsize: 297308 [startup+60.0037 s] Raw data (loadavg): 0.94 0.95 0.87 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 100374 0 0 0 5788 210 0 0 25 0 1 0 864207323 308924416 53151 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 75421 53151 300 300 0 75121 0 vsize: 301684 [startup+70.0037 s] Raw data (loadavg): 0.95 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 101086 0 0 0 6787 212 0 0 25 0 1 0 864207323 312258560 53732 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76235 53732 300 300 0 75935 0 vsize: 304940 [startup+80.0042 s] Raw data (loadavg): 0.96 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 101629 0 0 0 7786 213 0 0 25 0 1 0 864207323 314400768 54110 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 76758 54110 300 300 0 76458 0 vsize: 307032 [startup+90.0044 s] Raw data (loadavg): 0.96 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 102299 0 0 0 8785 215 0 0 25 0 1 0 864207323 316919808 54487 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77373 54487 300 300 0 77073 0 vsize: 309492 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 102508 0 0 0 9784 215 0 0 25 0 1 0 864207323 317722624 54630 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77569 54630 300 300 0 77269 0 vsize: 310276 [startup+110.006 s] Raw data (loadavg): 0.97 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 102850 0 0 0 10784 216 0 0 25 0 1 0 864207323 319328256 54906 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 77961 54906 300 300 0 77661 0 vsize: 311844 [startup+120.006 s] Raw data (loadavg): 0.98 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 103283 0 0 0 11783 217 0 0 25 0 1 0 864207323 320929792 55175 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78352 55175 300 300 0 78052 0 vsize: 313408 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 103637 0 0 0 12783 217 0 0 25 0 1 0 864207323 321990656 55430 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78611 55430 300 300 0 78311 0 vsize: 314444 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 103935 0 0 0 13783 218 0 0 25 0 1 0 864207323 323051520 55662 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78870 55662 300 300 0 78570 0 vsize: 315480 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104019 0 0 0 14783 218 0 0 25 0 1 0 864207323 323182592 55713 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 78902 55713 300 300 0 78602 0 vsize: 315608 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.88 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104192 0 0 0 15782 218 0 0 25 0 1 0 864207323 324112384 55853 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79129 55853 300 300 0 78829 0 vsize: 316516 [startup+170.008 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104240 0 0 0 16782 219 0 0 25 0 1 0 864207323 324378624 55901 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79194 55901 300 300 0 78894 0 vsize: 316776 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104245 0 0 0 17782 219 0 0 25 0 1 0 864207323 324378624 55906 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79194 55906 300 300 0 78894 0 vsize: 316776 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104307 0 0 0 18782 219 0 0 25 0 1 0 864207323 324644864 55968 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79259 55968 300 300 0 78959 0 vsize: 317036 [startup+200.01 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104313 0 0 0 19783 219 0 0 25 0 1 0 864207323 324644864 55974 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79259 55974 300 300 0 78959 0 vsize: 317036 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104404 0 0 0 20783 219 0 0 25 0 1 0 864207323 324907008 55999 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79323 55999 300 300 0 79023 0 vsize: 317292 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104492 0 0 0 21783 219 0 0 25 0 1 0 864207323 325439488 56087 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79453 56087 300 300 0 79153 0 vsize: 317812 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104535 0 0 0 22783 220 0 0 25 0 1 0 864207323 325705728 56130 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79518 56130 300 300 0 79218 0 vsize: 318072 [startup+240.012 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104976 0 0 0 23782 220 0 0 25 0 1 0 864207323 327290880 56376 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79905 56376 300 300 0 79605 0 vsize: 319620 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 104983 0 0 0 24782 221 0 0 25 0 1 0 864207323 327290880 56383 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 79905 56383 300 300 0 79605 0 vsize: 319620 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105108 0 0 0 25782 221 0 0 25 0 1 0 864207323 327684096 56475 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80001 56475 300 300 0 79701 0 vsize: 320004 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.89 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105179 0 0 0 26782 221 0 0 25 0 1 0 864207323 328212480 56546 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80130 56546 300 300 0 79830 0 vsize: 320520 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105349 0 0 0 27781 222 0 0 25 0 1 0 864207323 328470528 56585 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80193 56585 300 300 0 79893 0 vsize: 320772 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105367 0 0 0 28781 222 0 0 25 0 1 0 864207323 328470528 56603 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80193 56603 300 300 0 79893 0 vsize: 320772 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105471 0 0 0 29781 222 0 0 25 0 1 0 864207323 328732672 56642 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80257 56642 300 300 0 79957 0 vsize: 321028 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105476 0 0 0 30781 222 0 0 25 0 1 0 864207323 328732672 56647 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80257 56647 300 300 0 79957 0 vsize: 321028 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105485 0 0 0 31782 222 0 0 25 0 1 0 864207323 328732672 56656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80257 56656 300 300 0 79957 0 vsize: 321028 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105590 0 0 0 32781 223 0 0 25 0 1 0 864207323 328994816 56696 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80321 56696 300 300 0 80021 0 vsize: 321284 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105602 0 0 0 33781 223 0 0 25 0 1 0 864207323 328994816 56708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80321 56708 300 300 0 80021 0 vsize: 321284 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105609 0 0 0 34782 223 0 0 25 0 1 0 864207323 328994816 56715 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80321 56715 300 300 0 80021 0 vsize: 321284 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105657 0 0 0 35782 223 0 0 25 0 1 0 864207323 329125888 56730 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80353 56730 300 300 0 80053 0 vsize: 321412 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.90 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105685 0 0 0 36782 223 0 0 25 0 1 0 864207323 329125888 56758 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80353 56758 300 300 0 80053 0 vsize: 321412 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 105903 0 0 0 37782 224 0 0 25 0 1 0 864207323 329654272 56910 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80482 56910 300 300 0 80182 0 vsize: 321928 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 106029 0 0 0 38781 224 0 0 25 0 1 0 864207323 330182656 56970 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80611 56970 300 300 0 80311 0 vsize: 322444 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 106106 0 0 0 39781 225 0 0 25 0 1 0 864207323 330579968 57014 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80708 57014 300 300 0 80408 0 vsize: 322832 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 106288 0 0 0 40781 225 0 0 25 0 1 0 864207323 330842112 57130 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80772 57130 300 300 0 80472 0 vsize: 323088 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 106349 0 0 0 41781 225 0 0 25 0 1 0 864207323 330973184 57158 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 80804 57158 300 300 0 80504 0 vsize: 323216 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 106800 0 0 0 42780 226 0 0 25 0 1 0 864207323 332292096 57414 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81126 57414 300 300 0 80826 0 vsize: 324504 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107085 0 0 0 43779 228 0 0 25 0 1 0 864207323 333213696 57535 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81351 57535 300 300 0 81051 0 vsize: 325404 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107388 0 0 0 44778 228 0 0 25 0 1 0 864207323 334000128 57644 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81543 57644 300 300 0 81243 0 vsize: 326172 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107557 0 0 0 45778 229 0 0 25 0 1 0 864207323 334532608 57747 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81673 57747 300 300 0 81373 0 vsize: 326692 [startup+470.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107653 0 0 0 46778 229 0 0 25 0 1 0 864207323 334934016 57810 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81771 57810 300 300 0 81471 0 vsize: 327084 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107684 0 0 0 47777 230 0 0 25 0 1 0 864207323 334934016 57841 4294967295 134512640 135726644 3221224592 3221222832 134782642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81771 57841 300 300 0 81471 0 vsize: 327084 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107725 0 0 0 48778 230 0 0 25 0 1 0 864207323 335200256 57882 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81836 57882 300 300 0 81536 0 vsize: 327344 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 107942 0 0 0 49777 230 0 0 25 0 1 0 864207323 335724544 57969 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81964 57969 300 300 0 81664 0 vsize: 327856 [startup+510.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31891 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108227 0 0 0 50776 232 0 0 25 0 1 0 864207323 336646144 58091 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82189 58091 300 300 0 81889 0 vsize: 328756 [startup+520.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 31926 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108291 0 0 0 51776 232 0 0 25 0 1 0 864207323 336912384 58155 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82254 58155 300 300 0 81954 0 vsize: 329016 [startup+530.029 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108295 0 0 0 52773 235 0 0 25 0 1 0 864207323 336912384 58159 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82254 58159 300 300 0 81954 0 vsize: 329016 [startup+540.03 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108351 0 0 0 53773 236 0 0 25 0 1 0 864207323 337178624 58215 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82319 58215 300 300 0 82019 0 vsize: 329276 [startup+550.031 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108531 0 0 0 54772 237 0 0 25 0 1 0 864207323 337838080 58297 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82480 58297 300 300 0 82180 0 vsize: 329920 [startup+560.032 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108600 0 0 0 55772 237 0 0 25 0 1 0 864207323 338104320 58366 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82545 58366 300 300 0 82245 0 vsize: 330180 [startup+570.032 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108604 0 0 0 56771 238 0 0 25 0 1 0 864207323 338104320 58370 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82545 58370 300 300 0 82245 0 vsize: 330180 [startup+580.033 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108670 0 0 0 57771 239 0 0 25 0 1 0 864207323 338370560 58436 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82610 58436 300 300 0 82310 0 vsize: 330440 [startup+590.032 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 31944 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108867 0 0 0 58770 240 0 0 25 0 1 0 864207323 338894848 58503 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82738 58503 300 300 0 82438 0 vsize: 330952 [startup+600.034 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 108874 0 0 0 59770 240 0 0 25 0 1 0 864207323 338894848 58510 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82738 58510 300 300 0 82438 0 vsize: 330952 [startup+610.034 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110035 0 0 0 60767 243 0 0 25 0 1 0 864207323 339156992 58544 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82802 58544 300 300 0 82502 0 vsize: 331208 [startup+620.035 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110139 0 0 0 61766 244 0 0 25 0 1 0 864207323 339689472 58648 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82932 58648 300 300 0 82632 0 vsize: 331728 [startup+630.035 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110184 0 0 0 62766 245 0 0 25 0 1 0 864207323 339820544 58660 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 82964 58660 300 300 0 82664 0 vsize: 331856 [startup+640.035 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110267 0 0 0 63765 246 0 0 25 0 1 0 864207323 340353024 58743 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83094 58743 300 300 0 82794 0 vsize: 332376 [startup+650.036 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110439 0 0 0 64764 247 0 0 25 0 1 0 864207323 341016576 58882 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83256 58882 300 300 0 82956 0 vsize: 333024 [startup+660.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110440 0 0 0 65764 247 0 0 25 0 1 0 864207323 341016576 58883 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83256 58883 300 300 0 82956 0 vsize: 333024 [startup+670.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110537 0 0 0 66763 248 0 0 25 0 1 0 864207323 341413888 58947 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83353 58947 300 300 0 83053 0 vsize: 333412 [startup+680.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 110543 0 0 0 67763 248 0 0 25 0 1 0 864207323 341413888 58953 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83353 58953 300 300 0 83053 0 vsize: 333412 [startup+690.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111612 0 0 0 68759 252 0 0 25 0 1 0 864207323 341413888 58960 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83353 58960 300 300 0 83053 0 vsize: 333412 [startup+700.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111613 0 0 0 69759 253 0 0 25 0 1 0 864207323 341413888 58961 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83353 58961 300 300 0 83053 0 vsize: 333412 [startup+710.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111655 0 0 0 70759 254 0 0 25 0 1 0 864207323 341680128 59003 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59003 300 300 0 83118 0 vsize: 333672 [startup+720.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111656 0 0 0 71758 254 0 0 25 0 1 0 864207323 341680128 59004 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59004 300 300 0 83118 0 vsize: 333672 [startup+730.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111685 0 0 0 72758 255 0 0 25 0 1 0 864207323 341680128 59033 4294967295 134512640 135726644 3221224592 3221223216 134744523 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59033 300 300 0 83118 0 vsize: 333672 [startup+740.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111686 0 0 0 73758 255 0 0 25 0 1 0 864207323 341680128 59034 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59034 300 300 0 83118 0 vsize: 333672 [startup+750.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111686 0 0 0 74758 255 0 0 25 0 1 0 864207323 341680128 59034 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59034 300 300 0 83118 0 vsize: 333672 [startup+760.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 111687 0 0 0 75758 255 0 0 25 0 1 0 864207323 341680128 59035 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83418 59035 300 300 0 83118 0 vsize: 333672 [startup+770.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 112846 0 0 0 76755 258 0 0 25 0 1 0 864207323 341942272 59067 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83482 59067 300 300 0 83182 0 vsize: 333928 [startup+780.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 112848 0 0 0 77755 259 0 0 25 0 1 0 864207323 341942272 59069 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83482 59069 300 300 0 83182 0 vsize: 333928 [startup+790.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 112894 0 0 0 78755 259 0 0 25 0 1 0 864207323 342208512 59115 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83547 59115 300 300 0 83247 0 vsize: 334188 [startup+800.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 112898 0 0 0 79754 260 0 0 25 0 1 0 864207323 342208512 59119 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83547 59119 300 300 0 83247 0 vsize: 334188 [startup+810.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113193 0 0 0 80754 260 0 0 25 0 1 0 864207323 342994944 59220 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83739 59220 300 300 0 83439 0 vsize: 334956 [startup+820.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113220 0 0 0 81753 261 0 0 25 0 1 0 864207323 342994944 59247 4294967295 134512640 135726644 3221224592 3221222964 135287436 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83739 59247 300 300 0 83439 0 vsize: 334956 [startup+830.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113234 0 0 0 82753 261 0 0 25 0 1 0 864207323 342994944 59261 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83739 59261 300 300 0 83439 0 vsize: 334956 [startup+840.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113263 0 0 0 83753 262 0 0 25 0 1 0 864207323 342994944 59290 4294967295 134512640 135726644 3221224592 3221223088 134744328 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83739 59290 300 300 0 83439 0 vsize: 334956 [startup+850.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113304 0 0 0 84752 262 0 0 25 0 1 0 864207323 343261184 59331 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83804 59331 300 300 0 83504 0 vsize: 335216 [startup+860.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113440 0 0 0 85752 263 0 0 25 0 1 0 864207323 343789568 59467 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83933 59467 300 300 0 83633 0 vsize: 335732 [startup+870.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31946 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 113466 0 0 0 86752 264 0 0 25 0 1 0 864207323 343789568 59493 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83933 59493 300 300 0 83633 0 vsize: 335732 [startup+880.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114531 0 0 0 87749 267 0 0 25 0 1 0 864207323 343789568 59496 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83933 59496 300 300 0 83633 0 vsize: 335732 [startup+890.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114534 0 0 0 88748 267 0 0 25 0 1 0 864207323 343789568 59499 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83933 59499 300 300 0 83633 0 vsize: 335732 [startup+900.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114683 0 0 0 89748 268 0 0 25 0 1 0 864207323 344051712 59583 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 83997 59583 300 300 0 83697 0 vsize: 335988 [startup+910.048 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114845 0 0 0 90747 269 0 0 25 0 1 0 864207323 344576000 59616 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84125 59616 300 300 0 83825 0 vsize: 336500 [startup+920.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114854 0 0 0 91747 270 0 0 25 0 1 0 864207323 344576000 59625 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84125 59625 300 300 0 83825 0 vsize: 336500 [startup+930.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114856 0 0 0 92746 271 0 0 25 0 1 0 864207323 344576000 59627 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84125 59627 300 300 0 83825 0 vsize: 336500 [startup+940.048 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114959 0 0 0 93746 271 0 0 25 0 1 0 864207323 344838144 59665 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84189 59665 300 300 0 83889 0 vsize: 336756 [startup+950.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 114961 0 0 0 94745 272 0 0 25 0 1 0 864207323 344838144 59667 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84189 59667 300 300 0 83889 0 vsize: 336756 [startup+960.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 115077 0 0 0 95745 272 0 0 25 0 1 0 864207323 345100288 59718 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59718 300 300 0 83953 0 vsize: 337012 [startup+970.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116165 0 0 0 96742 275 0 0 25 0 1 0 864207323 349450240 60806 4294967295 134512640 135726644 3221224592 3221222752 134765566 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85315 60806 300 300 0 85015 0 vsize: 341260 [startup+980.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116173 0 0 0 97741 276 0 0 25 0 1 0 864207323 345100288 59752 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59752 300 300 0 83953 0 vsize: 337012 [startup+990.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116187 0 0 0 98741 277 0 0 25 0 1 0 864207323 345100288 59766 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59766 300 300 0 83953 0 vsize: 337012 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116195 0 0 0 99741 277 0 0 25 0 1 0 864207323 345100288 59774 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59774 300 300 0 83953 0 vsize: 337012 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116211 0 0 0 100741 278 0 0 25 0 1 0 864207323 345100288 59790 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59790 300 300 0 83953 0 vsize: 337012 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116215 0 0 0 101740 279 0 0 25 0 1 0 864207323 345100288 59794 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59794 300 300 0 83953 0 vsize: 337012 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116217 0 0 0 102739 279 0 0 25 0 1 0 864207323 345100288 59796 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84253 59796 300 300 0 83953 0 vsize: 337012 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116393 0 0 0 103738 281 0 0 25 0 1 0 864207323 345628672 59907 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59907 300 300 0 84082 0 vsize: 337528 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116394 0 0 0 104738 281 0 0 25 0 1 0 864207323 345628672 59908 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59908 300 300 0 84082 0 vsize: 337528 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116409 0 0 0 105737 282 0 0 25 0 1 0 864207323 345628672 59923 4294967295 134512640 135726644 3221224592 3221223104 135278625 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59923 300 300 0 84082 0 vsize: 337528 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116412 0 0 0 106737 282 0 0 25 0 1 0 864207323 345628672 59926 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59926 300 300 0 84082 0 vsize: 337528 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116426 0 0 0 107737 283 0 0 25 0 1 0 864207323 345628672 59940 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59940 300 300 0 84082 0 vsize: 337528 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116428 0 0 0 108737 283 0 0 25 0 1 0 864207323 345628672 59942 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59942 300 300 0 84082 0 vsize: 337528 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116430 0 0 0 109737 284 0 0 25 0 1 0 864207323 345628672 59944 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84382 59944 300 300 0 84082 0 vsize: 337528 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116511 0 0 0 110736 285 0 0 25 0 1 0 864207323 346157056 60025 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84511 60025 300 300 0 84211 0 vsize: 338044 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116639 0 0 0 111735 286 0 0 25 0 1 0 864207323 346284032 60055 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60055 300 300 0 84242 0 vsize: 338168 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116640 0 0 0 112735 286 0 0 25 0 1 0 864207323 346284032 60056 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60056 300 300 0 84242 0 vsize: 338168 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 116642 0 0 0 113735 287 0 0 25 0 1 0 864207323 346284032 60058 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60058 300 300 0 84242 0 vsize: 338168 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117713 0 0 0 114732 290 0 0 25 0 1 0 864207323 346284032 60067 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60067 300 300 0 84242 0 vsize: 338168 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117713 0 0 0 115731 290 0 0 25 0 1 0 864207323 346284032 60067 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60067 300 300 0 84242 0 vsize: 338168 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117766 0 0 0 116731 291 0 0 25 0 1 0 864207323 346284032 60120 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60120 300 300 0 84242 0 vsize: 338168 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117766 0 0 0 117731 291 0 0 25 0 1 0 864207323 346284032 60120 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60120 300 300 0 84242 0 vsize: 338168 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117766 0 0 0 118730 292 0 0 25 0 1 0 864207323 346284032 60120 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60120 300 300 0 84242 0 vsize: 338168 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117783 0 0 0 119730 292 0 0 25 0 1 0 864207323 346284032 60137 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60137 300 300 0 84242 0 vsize: 338168 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.13 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 31948 Raw data (stat): 31891 (pb2sat) R 31890 24172 24171 0 -1 0 117783 0 0 0 119730 292 0 0 25 0 1 0 864207323 346284032 60137 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 84542 60137 300 300 0 84242 0 vsize: 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1202.13 CPU time (s): 1202.3 CPU user time (s): 1199.25 CPU system time (s): 3.04754 CPU usage (%): 100.014 Max. virtual memory (Kb): 341260 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 520 #### END VERIFIER DATA ####