Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32e5.opb |
MD5SUM | 6caf33eeba2c45b0896a04cb80501c4f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 503 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 1044 |
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 | 1044 |
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 | 1044 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 322.98 |
Number of variables | 1044 |
Total number of constraints | 12158 |
Number of constraints which are clauses | 12158 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
LAUNCH ON wulflinc17 THE 2005-09-20 13:38:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4842 boxname=wulflinc17 idbench=154 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 6caf33eeba2c45b0896a04cb80501c4f /oldhome/oroussel/tmp/wulflinc17/normalized-ii32e5.opb REAL COMMAND: Pueblo IDLAUNCH: 4842 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 884872 kB Buffers: 30632 kB Cached: 90204 kB SwapCached: 612 kB Active: 39332 kB Inactive: 84012 kB HighTotal: 131008 kB HighFree: 36764 kB LowTotal: 903652 kB LowFree: 848108 kB SwapTotal: 2097892 kB SwapFree: 2096676 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5692 kB Slab: 20808 kB Committed_AS: 64284 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 13:57:59 (client local time) WITH STATUS 10 IN 1189.63 SECONDS stats: 4842 0 1189.63 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 1044 - #constraints read: 12159 c total time : 1189.61 s s SATISFIABLE v x1 -x2 x3 -x4 x5 -x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 -x89 x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 x278 x279 -x280 x281 -x282 -x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 -x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 x318 x319 -x320 -x321 -x322 x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 -x337 -x338 x339 -x340 x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 -x354 x355 -x356 x357 -x358 -x359 x360 x361 -x362 -x363 -x364 x365 -x366 x367 -x368 x369 -x370 -x371 -x372 x373 -x374 x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 -x397 x398 x399 -x400 -x401 x402 x403 -x404 -x405 -x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 -x415 x416 x417 -x418 -x419 x420 x421 -x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 -x433 x434 x435 -x436 -x437 x438 -x439 x440 x441 -x442 -x443 x444 -x445 x446 -x447 x448 x449 -x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 x469 -x470 -x471 x472 -x473 x474 -x475 x476 x477 -x478 -x479 x480 x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 x494 x495 -x496 -x497 x498 x499 -x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 x510 x511 -x512 -x513 x514 -x515 x516 -x517 x518 x519 -x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x530 x531 -x532 -x533 x534 -x535 x536 x537 -x538 -x539 x540 x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 -x554 -x555 x556 -x557 x558 -x559 x560 x561 -x562 -x563 x564 -x565 x566 x567 -x568 -x569 x570 -x571 x572 x573 -x574 -x575 x576 -x577 x578 x579 -x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 -x629 x630 -x631 x632 x633 -x634 -x635 x636 x637 -x638 -x639 x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 x669 -x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 x680 x681 -x682 -x683 x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 x693 -x694 -x695 x696 -x697 x698 x699 -x700 -x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 x724 x725 -x726 -x727 x728 x729 -x730 -x731 x732 -x733 x734 x735 -x736 -x737 x738 x739 -x740 -x741 x742 -x743 x744 x745 -x746 -x747 x748 -x749 x750 x751 -x752 -x753 -x754 -x755 x756 -x757 x758 x759 -x760 -x761 x762 -x763 x764 x765 -x766 -x767 x768 x769 -x770 -x771 x772 -x773 x774 -x775 x776 x777 -x778 -x779 x780 x781 -x782 -x783 -x784 -x785 x786 x787 -x788 -x789 x790 -x791 x792 x793 -x794 -x795 x796 -x797 x798 -x799 x800 x801 -x802 -x803 x804 -x805 x806 x807 -x808 -x809 x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 x819 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 -x829 x830 x831 -x832 -x833 x834 -x835 x836 x837 -x838 -x839 x840 x841 -x842 -x843 x844 -x845 x846 -x847 x848 x849 -x850 -x851 x852 x853 -x854 -x855 x856 -x857 x858 -x859 x860 x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 x870 x871 -x872 -x873 x874 -x875 x876 -x877 x878 x879 -x880 -x881 x882 x883 -x884 -x885 x886 -x887 x888 -x889 x890 x891 -x892 -x893 x894 -x895 x896 x897 -x898 -x899 x900 x901 -x902 -x903 x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 -x915 x916 -x917 x918 x919 -x920 -x921 x922 -x923 x924 -x925 x926 x927 -x928 -x929 x930 x931 -x932 -x933 x934 -x935 x936 x937 -x938 -x939 x940 -x941 x942 x943 -x944 -x945 x946 -x947 x948 x949 -x950 -x951 x952 -x953 x954 x955 -x956 -x957 x958 -x959 x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 x969 -x970 -x971 x972 x973 -x974 -x975 x976 -x977 x978 -x979 x980 x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 x990 x991 -x992 -x993 x994 -x995 x996 x997 -x998 -x999 x1000 -x1001 x1002 -x1003 x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 x1011 -x1012 -x1013 x1014 -x1015 x1016 x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 -x1043 x1044
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1858981616 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 41 3 40 18 0 23 0 [pid=21938] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.003 s] Raw data (loadavg): 0.93 0.95 0.71 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 884 0 0 0 987 5 0 0 25 0 1 0 1858981616 5177344 850 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1264 850 566 18 0 1246 0 [pid=21938] vsize: 5056 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 5056 [startup+20.0036 s] Raw data (loadavg): 0.94 0.96 0.71 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 884 0 0 0 1981 7 0 0 25 0 1 0 1858981616 5177344 850 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1264 850 566 18 0 1246 0 [pid=21938] vsize: 5056 Current children cumulated CPU time (s) 19.88 Current children cumulated vsize (Kb) 5056 [startup+30.0042 s] Raw data (loadavg): 0.95 0.96 0.71 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 950 0 0 0 2974 10 0 0 25 0 1 0 1858981616 5455872 916 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1332 916 566 18 0 1314 0 [pid=21938] vsize: 5328 Current children cumulated CPU time (s) 29.84 Current children cumulated vsize (Kb) 5328 [startup+40.0038 s] Raw data (loadavg): 0.95 0.96 0.72 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 982 0 0 0 3968 13 0 0 25 0 1 0 1858981616 5591040 948 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1365 948 566 18 0 1347 0 [pid=21938] vsize: 5460 Current children cumulated CPU time (s) 39.81 Current children cumulated vsize (Kb) 5460 [startup+50.0044 s] Raw data (loadavg): 0.96 0.96 0.72 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1029 0 0 0 4960 16 0 0 25 0 1 0 1858981616 5861376 995 4294967295 134512640 134578447 3221224624 3221223584 134558717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1431 995 566 18 0 1413 0 [pid=21938] vsize: 5724 Current children cumulated CPU time (s) 49.76 Current children cumulated vsize (Kb) 5724 [startup+60.004 s] Raw data (loadavg): 0.97 0.96 0.72 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1056 0 0 0 5957 17 0 0 25 0 1 0 1858981616 5861376 1022 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1431 1022 566 18 0 1413 0 [pid=21938] vsize: 5724 Current children cumulated CPU time (s) 59.74 Current children cumulated vsize (Kb) 5724 [startup+70.0046 s] Raw data (loadavg): 0.97 0.96 0.73 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1093 0 0 0 6953 18 0 0 25 0 1 0 1858981616 6127616 1059 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1496 1059 566 18 0 1478 0 [pid=21938] vsize: 5984 Current children cumulated CPU time (s) 69.71 Current children cumulated vsize (Kb) 5984 [startup+80.0052 s] Raw data (loadavg): 0.98 0.96 0.73 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1142 0 0 0 7949 20 0 0 25 0 1 0 1858981616 6258688 1108 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1528 1108 566 18 0 1510 0 [pid=21938] vsize: 6112 Current children cumulated CPU time (s) 79.69 Current children cumulated vsize (Kb) 6112 [startup+90.0048 s] Raw data (loadavg): 0.98 0.96 0.73 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1166 0 0 0 8944 21 0 0 25 0 1 0 1858981616 6393856 1132 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1561 1132 566 18 0 1543 0 [pid=21938] vsize: 6244 Current children cumulated CPU time (s) 89.65 Current children cumulated vsize (Kb) 6244 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.73 1/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) T 21937 21938 19316 0 -1 0 1194 0 0 0 9941 23 0 0 25 0 1 0 1858981616 6529024 1160 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1594 1160 566 18 0 1576 0 [pid=21938] vsize: 6376 Current children cumulated CPU time (s) 99.64 Current children cumulated vsize (Kb) 6376 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.73 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1219 0 0 0 10938 24 0 0 25 0 1 0 1858981616 6664192 1185 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1627 1185 566 18 0 1609 0 [pid=21938] vsize: 6508 Current children cumulated CPU time (s) 109.62 Current children cumulated vsize (Kb) 6508 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1252 0 0 0 11932 26 0 0 25 0 1 0 1858981616 6799360 1218 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1660 1218 566 18 0 1642 0 [pid=21938] vsize: 6640 Current children cumulated CPU time (s) 119.58 Current children cumulated vsize (Kb) 6640 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1288 0 0 0 12926 28 0 0 25 0 1 0 1858981616 6934528 1254 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1693 1254 566 18 0 1675 0 [pid=21938] vsize: 6772 Current children cumulated CPU time (s) 129.54 Current children cumulated vsize (Kb) 6772 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1310 0 0 0 13922 30 0 0 25 0 1 0 1858981616 6934528 1276 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1693 1276 566 18 0 1675 0 [pid=21938] vsize: 6772 Current children cumulated CPU time (s) 139.52 Current children cumulated vsize (Kb) 6772 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1337 0 0 0 14915 32 0 0 25 0 1 0 1858981616 7069696 1303 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1726 1303 566 18 0 1708 0 [pid=21938] vsize: 6904 Current children cumulated CPU time (s) 149.47 Current children cumulated vsize (Kb) 6904 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.74 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1360 0 0 0 15911 33 0 0 25 0 1 0 1858981616 7200768 1326 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1758 1326 566 18 0 1740 0 [pid=21938] vsize: 7032 Current children cumulated CPU time (s) 159.44 Current children cumulated vsize (Kb) 7032 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1398 0 0 0 16905 35 0 0 25 0 1 0 1858981616 7335936 1364 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 1791 1364 566 18 0 1773 0 [pid=21938] vsize: 7164 Current children cumulated CPU time (s) 169.4 Current children cumulated vsize (Kb) 7164 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 1899 0 0 0 17901 37 0 0 25 0 1 0 1858981616 9322496 1865 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 2276 1865 566 18 0 2258 0 [pid=21938] vsize: 9104 Current children cumulated CPU time (s) 179.38 Current children cumulated vsize (Kb) 9104 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2084 0 0 0 18897 39 0 0 25 0 1 0 1858981616 10141696 2050 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 2476 2050 566 18 0 2458 0 [pid=21938] vsize: 9904 Current children cumulated CPU time (s) 189.36 Current children cumulated vsize (Kb) 9904 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2178 0 0 0 19892 41 0 0 25 0 1 0 1858981616 10547200 2144 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 2575 2144 566 18 0 2557 0 [pid=21938] vsize: 10300 Current children cumulated CPU time (s) 199.33 Current children cumulated vsize (Kb) 10300 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.75 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2343 0 0 0 20888 42 0 0 25 0 1 0 1858981616 11251712 2309 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 2747 2309 566 18 0 2729 0 [pid=21938] vsize: 10988 Current children cumulated CPU time (s) 209.3 Current children cumulated vsize (Kb) 10988 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2542 0 0 0 21886 43 0 0 25 0 1 0 1858981616 11952128 2508 4294967295 134512640 134578447 3221224624 3221223504 134527859 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 2918 2508 566 18 0 2900 0 [pid=21938] vsize: 11672 Current children cumulated CPU time (s) 219.29 Current children cumulated vsize (Kb) 11672 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2732 0 0 0 22883 45 0 0 25 0 1 0 1858981616 12787712 2698 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3122 2698 566 18 0 3104 0 [pid=21938] vsize: 12488 Current children cumulated CPU time (s) 229.28 Current children cumulated vsize (Kb) 12488 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2889 0 0 0 23879 46 0 0 25 0 1 0 1858981616 13492224 2855 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3294 2855 566 18 0 3276 0 [pid=21938] vsize: 13176 Current children cumulated CPU time (s) 239.25 Current children cumulated vsize (Kb) 13176 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 2894 0 0 0 24876 47 0 0 25 0 1 0 1858981616 13492224 2860 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3294 2860 566 18 0 3276 0 [pid=21938] vsize: 13176 Current children cumulated CPU time (s) 249.23 Current children cumulated vsize (Kb) 13176 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3053 0 0 0 25872 48 0 0 25 0 1 0 1858981616 14163968 3019 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3458 3019 566 18 0 3440 0 [pid=21938] vsize: 13832 Current children cumulated CPU time (s) 259.2 Current children cumulated vsize (Kb) 13832 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3056 0 0 0 26869 49 0 0 25 0 1 0 1858981616 14163968 3022 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3458 3022 566 18 0 3440 0 [pid=21938] vsize: 13832 Current children cumulated CPU time (s) 269.18 Current children cumulated vsize (Kb) 13832 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3118 0 0 0 27868 50 0 0 25 0 1 0 1858981616 14434304 3084 4294967295 134512640 134578447 3221224624 3221223504 134527541 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3524 3084 566 18 0 3506 0 [pid=21938] vsize: 14096 Current children cumulated CPU time (s) 279.18 Current children cumulated vsize (Kb) 14096 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3256 0 0 0 28865 51 0 0 25 0 1 0 1858981616 14966784 3222 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3654 3222 566 18 0 3636 0 [pid=21938] vsize: 14616 Current children cumulated CPU time (s) 289.16 Current children cumulated vsize (Kb) 14616 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3371 0 0 0 29862 52 0 0 25 0 1 0 1858981616 15376384 3337 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3754 3337 566 18 0 3736 0 [pid=21938] vsize: 15016 Current children cumulated CPU time (s) 299.14 Current children cumulated vsize (Kb) 15016 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.77 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3486 0 0 0 30861 53 0 0 25 0 1 0 1858981616 15929344 3452 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3889 3452 566 18 0 3871 0 [pid=21938] vsize: 15556 Current children cumulated CPU time (s) 309.14 Current children cumulated vsize (Kb) 15556 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3592 0 0 0 31859 54 0 0 25 0 1 0 1858981616 16355328 3558 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 3993 3558 566 18 0 3975 0 [pid=21938] vsize: 15972 Current children cumulated CPU time (s) 319.13 Current children cumulated vsize (Kb) 15972 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3729 0 0 0 32856 55 0 0 25 0 1 0 1858981616 16875520 3695 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4120 3695 566 18 0 4102 0 [pid=21938] vsize: 16480 Current children cumulated CPU time (s) 329.11 Current children cumulated vsize (Kb) 16480 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3820 0 0 0 33854 56 0 0 25 0 1 0 1858981616 17313792 3786 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4227 3786 566 18 0 4209 0 [pid=21938] vsize: 16908 Current children cumulated CPU time (s) 339.1 Current children cumulated vsize (Kb) 16908 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3985 0 0 0 34850 58 0 0 25 0 1 0 1858981616 17891328 3951 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4368 3951 566 18 0 4350 0 [pid=21938] vsize: 17472 Current children cumulated CPU time (s) 349.08 Current children cumulated vsize (Kb) 17472 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3985 0 0 0 35847 59 0 0 25 0 1 0 1858981616 17891328 3951 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4368 3951 566 18 0 4350 0 [pid=21938] vsize: 17472 Current children cumulated CPU time (s) 359.06 Current children cumulated vsize (Kb) 17472 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3985 0 0 0 36845 60 0 0 25 0 1 0 1858981616 17891328 3951 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4368 3951 566 18 0 4350 0 [pid=21938] vsize: 17472 Current children cumulated CPU time (s) 369.05 Current children cumulated vsize (Kb) 17472 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3985 0 0 0 37842 61 0 0 25 0 1 0 1858981616 17891328 3951 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4368 3951 566 18 0 4350 0 [pid=21938] vsize: 17472 Current children cumulated CPU time (s) 379.03 Current children cumulated vsize (Kb) 17472 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 3985 0 0 0 38841 62 0 0 25 0 1 0 1858981616 17891328 3951 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4368 3951 566 18 0 4350 0 [pid=21938] vsize: 17472 Current children cumulated CPU time (s) 389.03 Current children cumulated vsize (Kb) 17472 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4055 0 0 0 39839 62 0 0 25 0 1 0 1858981616 18186240 4021 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4440 4021 566 18 0 4422 0 [pid=21938] vsize: 17760 Current children cumulated CPU time (s) 399.01 Current children cumulated vsize (Kb) 17760 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.79 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4274 0 0 0 40836 63 0 0 25 0 1 0 1858981616 19173376 4240 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4681 4240 566 18 0 4663 0 [pid=21938] vsize: 18724 Current children cumulated CPU time (s) 408.99 Current children cumulated vsize (Kb) 18724 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4377 0 0 0 41832 65 0 0 25 0 1 0 1858981616 19582976 4343 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4781 4343 566 18 0 4763 0 [pid=21938] vsize: 19124 Current children cumulated CPU time (s) 418.97 Current children cumulated vsize (Kb) 19124 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4478 0 0 0 42830 66 0 0 25 0 1 0 1858981616 20008960 4444 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4885 4444 566 18 0 4867 0 [pid=21938] vsize: 19540 Current children cumulated CPU time (s) 428.96 Current children cumulated vsize (Kb) 19540 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4560 0 0 0 43828 67 0 0 25 0 1 0 1858981616 20279296 4526 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 4951 4526 566 18 0 4933 0 [pid=21938] vsize: 19804 Current children cumulated CPU time (s) 438.95 Current children cumulated vsize (Kb) 19804 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 44825 69 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 448.94 Current children cumulated vsize (Kb) 20344 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.80 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 45821 72 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 458.93 Current children cumulated vsize (Kb) 20344 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 46818 73 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 468.91 Current children cumulated vsize (Kb) 20344 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 47817 74 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 478.91 Current children cumulated vsize (Kb) 20344 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 48814 75 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 488.89 Current children cumulated vsize (Kb) 20344 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 49812 75 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 498.87 Current children cumulated vsize (Kb) 20344 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 50810 77 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 508.87 Current children cumulated vsize (Kb) 20344 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.81 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 51808 77 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527689 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 518.85 Current children cumulated vsize (Kb) 20344 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 52805 79 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 528.84 Current children cumulated vsize (Kb) 20344 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 53803 80 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 538.83 Current children cumulated vsize (Kb) 20344 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 54802 81 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 548.83 Current children cumulated vsize (Kb) 20344 [startup+560.017 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 55798 83 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 558.81 Current children cumulated vsize (Kb) 20344 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.82 1/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) T 21937 21938 19316 0 -1 0 4695 0 0 0 56796 83 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 568.79 Current children cumulated vsize (Kb) 20344 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 57793 85 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 578.78 Current children cumulated vsize (Kb) 20344 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 58791 86 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 588.77 Current children cumulated vsize (Kb) 20344 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.82 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 59789 86 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 598.75 Current children cumulated vsize (Kb) 20344 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 60786 88 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 608.74 Current children cumulated vsize (Kb) 20344 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 61783 89 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 618.72 Current children cumulated vsize (Kb) 20344 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 62780 90 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 628.7 Current children cumulated vsize (Kb) 20344 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 63779 90 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223456 134526989 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 638.69 Current children cumulated vsize (Kb) 20344 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 64776 91 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527600 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 648.67 Current children cumulated vsize (Kb) 20344 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 65773 92 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 658.65 Current children cumulated vsize (Kb) 20344 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 66771 93 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 668.64 Current children cumulated vsize (Kb) 20344 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 67769 94 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527524 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 678.63 Current children cumulated vsize (Kb) 20344 [startup+690.021 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 68767 94 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 688.61 Current children cumulated vsize (Kb) 20344 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.83 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 69765 95 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 698.6 Current children cumulated vsize (Kb) 20344 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 70763 96 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 708.59 Current children cumulated vsize (Kb) 20344 [startup+720.022 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 71761 97 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 718.58 Current children cumulated vsize (Kb) 20344 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 72757 99 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 728.56 Current children cumulated vsize (Kb) 20344 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 73754 101 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 738.55 Current children cumulated vsize (Kb) 20344 [startup+750.023 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 74751 102 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 748.53 Current children cumulated vsize (Kb) 20344 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 75749 103 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 758.52 Current children cumulated vsize (Kb) 20344 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 76746 103 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 768.49 Current children cumulated vsize (Kb) 20344 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 77745 104 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 778.49 Current children cumulated vsize (Kb) 20344 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 78741 105 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 788.46 Current children cumulated vsize (Kb) 20344 [startup+800.024 s] Raw data (loadavg): 0.99 0.97 0.84 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 79738 106 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 798.44 Current children cumulated vsize (Kb) 20344 [startup+810.024 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 80736 107 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 808.43 Current children cumulated vsize (Kb) 20344 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 81734 108 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 818.42 Current children cumulated vsize (Kb) 20344 [startup+830.025 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 82733 108 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 828.41 Current children cumulated vsize (Kb) 20344 [startup+840.025 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 83732 109 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 838.41 Current children cumulated vsize (Kb) 20344 [startup+850.025 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 84730 110 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223564 134527348 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 848.4 Current children cumulated vsize (Kb) 20344 [startup+860.026 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 85728 111 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 858.39 Current children cumulated vsize (Kb) 20344 [startup+870.026 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 86726 111 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 868.37 Current children cumulated vsize (Kb) 20344 [startup+880.026 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 87725 111 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527504 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 878.36 Current children cumulated vsize (Kb) 20344 [startup+890.026 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 88724 112 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 888.36 Current children cumulated vsize (Kb) 20344 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 89722 113 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 898.35 Current children cumulated vsize (Kb) 20344 [startup+910.027 s] Raw data (loadavg): 0.99 0.97 0.85 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 90721 113 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 908.34 Current children cumulated vsize (Kb) 20344 [startup+920.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 91719 113 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 918.32 Current children cumulated vsize (Kb) 20344 [startup+930.026 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 92718 114 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 928.32 Current children cumulated vsize (Kb) 20344 [startup+940.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 93716 115 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527618 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 938.31 Current children cumulated vsize (Kb) 20344 [startup+950.028 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 94715 116 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 948.31 Current children cumulated vsize (Kb) 20344 [startup+960.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 95712 117 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 958.29 Current children cumulated vsize (Kb) 20344 [startup+970.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 96711 118 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 968.29 Current children cumulated vsize (Kb) 20344 [startup+980.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 97709 118 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223584 134558714 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 978.27 Current children cumulated vsize (Kb) 20344 [startup+990.027 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 98708 119 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 988.27 Current children cumulated vsize (Kb) 20344 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 99707 119 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 998.26 Current children cumulated vsize (Kb) 20344 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.86 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 100706 119 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1008.25 Current children cumulated vsize (Kb) 20344 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 101704 120 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1018.24 Current children cumulated vsize (Kb) 20344 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 102703 121 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1028.24 Current children cumulated vsize (Kb) 20344 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 103701 121 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1038.22 Current children cumulated vsize (Kb) 20344 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 104698 124 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1048.22 Current children cumulated vsize (Kb) 20344 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 105695 125 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1058.2 Current children cumulated vsize (Kb) 20344 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 106694 126 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1068.2 Current children cumulated vsize (Kb) 20344 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 107692 127 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1078.19 Current children cumulated vsize (Kb) 20344 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 108691 127 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1088.18 Current children cumulated vsize (Kb) 20344 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 109691 128 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527529 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1098.19 Current children cumulated vsize (Kb) 20344 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.87 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 110689 129 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1108.18 Current children cumulated vsize (Kb) 20344 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 111689 129 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1118.18 Current children cumulated vsize (Kb) 20344 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 112687 130 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1128.17 Current children cumulated vsize (Kb) 20344 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 113685 130 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1138.15 Current children cumulated vsize (Kb) 20344 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 114684 130 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1148.14 Current children cumulated vsize (Kb) 20344 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 115683 131 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1158.14 Current children cumulated vsize (Kb) 20344 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 116683 131 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1168.14 Current children cumulated vsize (Kb) 20344 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 117682 131 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223288 1075291632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1178.13 Current children cumulated vsize (Kb) 20344 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.88 2/56 21938 Raw data (/proc/21938/stat): 21938 (Pueblo) R 21937 21938 19316 0 -1 0 4695 0 0 0 118680 133 0 0 25 0 1 0 1858981616 20832256 4661 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/21938/statm): 5086 4661 566 18 0 5068 0 [pid=21938] vsize: 20344 Current children cumulated CPU time (s) 1188.13 Current children cumulated vsize (Kb) 20344 One traced child (pid=21938) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1191.53 CPU time (s): 1189.63 CPU user time (s): 1188.29 CPU system time (s): 1.3408 CPU usage (%): 99.8405 Max. virtual memory (cumulated for all children) (Kb): 20344
Verifier: OK 503