Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 54f6acf3ab92bda8abb11350f74de20e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -38 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
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 | 1150 |
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 | 1150 |
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 | 1195.05 |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
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 | 2 |
LAUNCH ON wulflinc9 THE 2005-09-20 14:56:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5052 boxname=wulflinc9 idbench=364 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 54f6acf3ab92bda8abb11350f74de20e /oldhome/oroussel/tmp/wulflinc9/normalized-frb50-23-5.opb REAL COMMAND: Pueblo IDLAUNCH: 5052 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 828892 kB Buffers: 37860 kB Cached: 138236 kB SwapCached: 1044 kB Active: 69196 kB Inactive: 109644 kB HighTotal: 131008 kB HighFree: 8708 kB LowTotal: 903652 kB LowFree: 820184 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5680 kB Slab: 21268 kB Committed_AS: 64172 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:16:36 (client local time) WITH STATUS 10 IN 1189.22 SECONDS stats: 5052 0 1189.22 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: 1150 - #constraints read: 80036 c total time : 1189.12 s s SATISFIABLE v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1
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/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801200883 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 41 3 40 18 0 23 0 [pid=8648] 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.0042 s] Raw data (loadavg): 0.93 0.95 0.90 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3018 0 0 0 981 12 0 0 25 0 1 0 1801200883 14147584 2984 4294967295 134512640 134578447 3221224624 3221223536 134556899 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 3454 2984 566 18 0 3436 0 [pid=8648] vsize: 13816 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 13816 [startup+20.0049 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3018 0 0 0 1971 15 0 0 25 0 1 0 1801200883 14147584 2984 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 3454 2984 566 18 0 3436 0 [pid=8648] vsize: 13816 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 13816 [startup+30.0047 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3167 0 0 0 2965 17 0 0 25 0 1 0 1801200883 14700544 3133 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 3589 3133 566 18 0 3571 0 [pid=8648] vsize: 14356 Current children cumulated CPU time (s) 29.82 Current children cumulated vsize (Kb) 14356 [startup+40.0044 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3517 0 0 0 3962 19 0 0 25 0 1 0 1801200883 16125952 3483 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 3937 3483 566 18 0 3919 0 [pid=8648] vsize: 15748 Current children cumulated CPU time (s) 39.81 Current children cumulated vsize (Kb) 15748 [startup+50.0052 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3975 0 0 0 4956 21 0 0 25 0 1 0 1801200883 18124800 3941 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 4425 3941 566 18 0 4407 0 [pid=8648] vsize: 17700 Current children cumulated CPU time (s) 49.77 Current children cumulated vsize (Kb) 17700 [startup+60.006 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 4372 0 0 0 5954 22 0 0 25 0 1 0 1801200883 19619840 4338 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 4790 4338 566 18 0 4772 0 [pid=8648] vsize: 19160 Current children cumulated CPU time (s) 59.76 Current children cumulated vsize (Kb) 19160 [startup+70.0067 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 4712 0 0 0 6951 23 0 0 25 0 1 0 1801200883 21057536 4678 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 5141 4678 566 18 0 5123 0 [pid=8648] vsize: 20564 Current children cumulated CPU time (s) 69.74 Current children cumulated vsize (Kb) 20564 [startup+80.0065 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5178 0 0 0 7944 26 0 0 25 0 1 0 1801200883 22941696 5144 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 5601 5144 566 18 0 5583 0 [pid=8648] vsize: 22404 Current children cumulated CPU time (s) 79.7 Current children cumulated vsize (Kb) 22404 [startup+90.0062 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5507 0 0 0 8942 28 0 0 25 0 1 0 1801200883 24363008 5473 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 5948 5473 566 18 0 5930 0 [pid=8648] vsize: 23792 Current children cumulated CPU time (s) 89.7 Current children cumulated vsize (Kb) 23792 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5802 0 0 0 9940 29 0 0 25 0 1 0 1801200883 25481216 5768 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 6221 5768 566 18 0 6203 0 [pid=8648] vsize: 24884 Current children cumulated CPU time (s) 99.69 Current children cumulated vsize (Kb) 24884 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 6199 0 0 0 10937 31 0 0 25 0 1 0 1801200883 27234304 6165 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 6649 6165 566 18 0 6631 0 [pid=8648] vsize: 26596 Current children cumulated CPU time (s) 109.68 Current children cumulated vsize (Kb) 26596 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 6603 0 0 0 11929 34 0 0 25 0 1 0 1801200883 28897280 6569 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 7055 6569 566 18 0 7037 0 [pid=8648] vsize: 28220 Current children cumulated CPU time (s) 119.63 Current children cumulated vsize (Kb) 28220 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7005 0 0 0 12927 35 0 0 25 0 1 0 1801200883 30441472 6971 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 7432 6971 566 18 0 7414 0 [pid=8648] vsize: 29728 Current children cumulated CPU time (s) 129.62 Current children cumulated vsize (Kb) 29728 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7260 0 0 0 13925 36 0 0 25 0 1 0 1801200883 31588352 7226 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 7712 7226 566 18 0 7694 0 [pid=8648] vsize: 30848 Current children cumulated CPU time (s) 139.61 Current children cumulated vsize (Kb) 30848 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7530 0 0 0 14923 37 0 0 25 0 1 0 1801200883 32583680 7496 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 7955 7496 566 18 0 7937 0 [pid=8648] vsize: 31820 Current children cumulated CPU time (s) 149.6 Current children cumulated vsize (Kb) 31820 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7854 0 0 0 15921 38 0 0 25 0 1 0 1801200883 33959936 7820 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 8291 7820 566 18 0 8273 0 [pid=8648] vsize: 33164 Current children cumulated CPU time (s) 159.59 Current children cumulated vsize (Kb) 33164 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8145 0 0 0 16920 39 0 0 25 0 1 0 1801200883 35205120 8111 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 8595 8111 566 18 0 8577 0 [pid=8648] vsize: 34380 Current children cumulated CPU time (s) 169.59 Current children cumulated vsize (Kb) 34380 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8430 0 0 0 17918 40 0 0 25 0 1 0 1801200883 36278272 8396 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 8857 8396 566 18 0 8839 0 [pid=8648] vsize: 35428 Current children cumulated CPU time (s) 179.58 Current children cumulated vsize (Kb) 35428 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 8648 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8839 0 0 0 18910 43 0 0 25 0 1 0 1801200883 37986304 8805 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 9274 8805 566 18 0 9256 0 [pid=8648] vsize: 37096 Current children cumulated CPU time (s) 189.53 Current children cumulated vsize (Kb) 37096 [startup+200.009 s] Raw data (loadavg): 1.07 0.99 0.91 2/57 8649 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9136 0 0 0 19908 45 0 0 25 0 1 0 1801200883 39272448 9102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 9588 9102 566 18 0 9570 0 [pid=8648] vsize: 38352 Current children cumulated CPU time (s) 199.53 Current children cumulated vsize (Kb) 38352 [startup+210.009 s] Raw data (loadavg): 1.14 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9537 0 0 0 20901 51 0 0 25 0 1 0 1801200883 40841216 9503 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 9971 9503 566 18 0 9953 0 [pid=8648] vsize: 39884 Current children cumulated CPU time (s) 209.52 Current children cumulated vsize (Kb) 39884 [startup+220.01 s] Raw data (loadavg): 1.11 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9964 0 0 0 21898 52 0 0 25 0 1 0 1801200883 42668032 9930 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 10417 9930 566 18 0 10399 0 [pid=8648] vsize: 41668 Current children cumulated CPU time (s) 219.5 Current children cumulated vsize (Kb) 41668 [startup+230.01 s] Raw data (loadavg): 1.10 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10256 0 0 0 22896 54 0 0 25 0 1 0 1801200883 43794432 10222 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 10692 10222 566 18 0 10674 0 [pid=8648] vsize: 42768 Current children cumulated CPU time (s) 229.5 Current children cumulated vsize (Kb) 42768 [startup+240.01 s] Raw data (loadavg): 1.08 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10594 0 0 0 23894 55 0 0 25 0 1 0 1801200883 45219840 10560 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 11040 10560 566 18 0 11022 0 [pid=8648] vsize: 44160 Current children cumulated CPU time (s) 239.49 Current children cumulated vsize (Kb) 44160 [startup+250.009 s] Raw data (loadavg): 1.07 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10950 0 0 0 24891 56 0 0 25 0 1 0 1801200883 46641152 10916 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 11387 10916 566 18 0 11369 0 [pid=8648] vsize: 45548 Current children cumulated CPU time (s) 249.47 Current children cumulated vsize (Kb) 45548 [startup+260.01 s] Raw data (loadavg): 1.06 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11307 0 0 0 25888 57 0 0 25 0 1 0 1801200883 48173056 11273 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 11761 11273 566 18 0 11743 0 [pid=8648] vsize: 47044 Current children cumulated CPU time (s) 259.45 Current children cumulated vsize (Kb) 47044 [startup+270.01 s] Raw data (loadavg): 1.05 1.00 0.92 2/56 8703 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11686 0 0 0 26885 58 0 0 25 0 1 0 1801200883 49680384 11652 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 12129 11652 566 18 0 12111 0 [pid=8648] vsize: 48516 Current children cumulated CPU time (s) 269.43 Current children cumulated vsize (Kb) 48516 [startup+280.01 s] Raw data (loadavg): 1.04 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11961 0 0 0 27883 59 0 0 25 0 1 0 1801200883 50819072 11927 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 12407 11927 566 18 0 12389 0 [pid=8648] vsize: 49628 Current children cumulated CPU time (s) 279.42 Current children cumulated vsize (Kb) 49628 [startup+290.01 s] Raw data (loadavg): 1.03 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12174 0 0 0 28878 61 0 0 25 0 1 0 1801200883 51613696 12140 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 12601 12140 566 18 0 12583 0 [pid=8648] vsize: 50404 Current children cumulated CPU time (s) 289.39 Current children cumulated vsize (Kb) 50404 [startup+300.01 s] Raw data (loadavg): 1.03 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12594 0 0 0 29876 63 0 0 25 0 1 0 1801200883 53321728 12560 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 13018 12560 566 18 0 13000 0 [pid=8648] vsize: 52072 Current children cumulated CPU time (s) 299.39 Current children cumulated vsize (Kb) 52072 [startup+310.011 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12833 0 0 0 30874 64 0 0 25 0 1 0 1801200883 54439936 12799 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 13291 12799 566 18 0 13273 0 [pid=8648] vsize: 53164 Current children cumulated CPU time (s) 309.38 Current children cumulated vsize (Kb) 53164 [startup+320.012 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13082 0 0 0 31872 65 0 0 25 0 1 0 1801200883 55472128 13048 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 13543 13048 566 18 0 13525 0 [pid=8648] vsize: 54172 Current children cumulated CPU time (s) 319.37 Current children cumulated vsize (Kb) 54172 [startup+330.011 s] Raw data (loadavg): 1.02 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13376 0 0 0 32870 67 0 0 25 0 1 0 1801200883 56582144 13342 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 13814 13342 566 18 0 13796 0 [pid=8648] vsize: 55256 Current children cumulated CPU time (s) 329.37 Current children cumulated vsize (Kb) 55256 [startup+340.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13586 0 0 0 33869 68 0 0 25 0 1 0 1801200883 57462784 13552 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 14029 13552 566 18 0 14011 0 [pid=8648] vsize: 56116 Current children cumulated CPU time (s) 339.37 Current children cumulated vsize (Kb) 56116 [startup+350.011 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13915 0 0 0 34867 69 0 0 25 0 1 0 1801200883 58765312 13881 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 14347 13881 566 18 0 14329 0 [pid=8648] vsize: 57388 Current children cumulated CPU time (s) 349.36 Current children cumulated vsize (Kb) 57388 [startup+360.012 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 14295 0 0 0 35863 70 0 0 25 0 1 0 1801200883 60325888 14261 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 14728 14261 566 18 0 14710 0 [pid=8648] vsize: 58912 Current children cumulated CPU time (s) 359.33 Current children cumulated vsize (Kb) 58912 [startup+370.012 s] Raw data (loadavg): 1.01 1.00 0.92 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 14629 0 0 0 36861 72 0 0 25 0 1 0 1801200883 61714432 14595 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 15067 14595 566 18 0 15049 0 [pid=8648] vsize: 60268 Current children cumulated CPU time (s) 369.33 Current children cumulated vsize (Kb) 60268 [startup+380.012 s] Raw data (loadavg): 1.31 1.07 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15076 0 0 0 37858 73 0 0 25 0 1 0 1801200883 63541248 15042 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 15513 15042 566 18 0 15495 0 [pid=8648] vsize: 62052 Current children cumulated CPU time (s) 379.31 Current children cumulated vsize (Kb) 62052 [startup+390.013 s] Raw data (loadavg): 1.26 1.06 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15371 0 0 0 38854 76 0 0 25 0 1 0 1801200883 64786432 15337 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 15817 15337 566 18 0 15799 0 [pid=8648] vsize: 63268 Current children cumulated CPU time (s) 389.3 Current children cumulated vsize (Kb) 63268 [startup+400.013 s] Raw data (loadavg): 1.22 1.06 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15817 0 0 0 39851 77 0 0 25 0 1 0 1801200883 66699264 15783 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 16284 15783 566 18 0 16266 0 [pid=8648] vsize: 65136 Current children cumulated CPU time (s) 399.28 Current children cumulated vsize (Kb) 65136 [startup+410.014 s] Raw data (loadavg): 1.18 1.06 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 16275 0 0 0 40847 80 0 0 25 0 1 0 1801200883 68591616 16241 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 16746 16241 566 18 0 16728 0 [pid=8648] vsize: 66984 Current children cumulated CPU time (s) 409.27 Current children cumulated vsize (Kb) 66984 [startup+420.013 s] Raw data (loadavg): 1.16 1.06 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 16725 0 0 0 41845 81 0 0 25 0 1 0 1801200883 70352896 16691 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 17176 16691 566 18 0 17158 0 [pid=8648] vsize: 68704 Current children cumulated CPU time (s) 419.26 Current children cumulated vsize (Kb) 68704 [startup+430.013 s] Raw data (loadavg): 1.13 1.05 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 17125 0 0 0 42840 83 0 0 25 0 1 0 1801200883 72085504 17091 4294967295 134512640 134578447 3221224624 3221223432 134528629 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 17599 17091 566 18 0 17581 0 [pid=8648] vsize: 70396 Current children cumulated CPU time (s) 429.23 Current children cumulated vsize (Kb) 70396 [startup+440.014 s] Raw data (loadavg): 1.11 1.05 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 17638 0 0 0 43832 87 0 0 25 0 1 0 1801200883 74133504 17604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8648/statm): 18099 17604 566 18 0 18081 0 [pid=8648] vsize: 72396 Current children cumulated CPU time (s) 439.19 Current children cumulated vsize (Kb) 72396 [startup+450.014 s] Raw data (loadavg): 1.09 1.05 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 18151 0 0 0 44829 89 0 0 25 0 1 0 1801200883 76259328 18117 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 18618 18117 566 18 0 18600 0 [pid=8648] vsize: 74472 Current children cumulated CPU time (s) 449.18 Current children cumulated vsize (Kb) 74472 [startup+460.014 s] Raw data (loadavg): 1.08 1.05 0.94 1/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 18597 0 0 0 45826 90 0 0 25 0 1 0 1801200883 78180352 18563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8648/statm): 19087 18563 566 18 0 19069 0 [pid=8648] vsize: 76348 Current children cumulated CPU time (s) 459.16 Current children cumulated vsize (Kb) 76348 [startup+470.014 s] Raw data (loadavg): 1.07 1.05 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19045 0 0 0 46823 92 0 0 25 0 1 0 1801200883 79978496 19011 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 19526 19011 566 18 0 19508 0 [pid=8648] vsize: 78104 Current children cumulated CPU time (s) 469.15 Current children cumulated vsize (Kb) 78104 [startup+480.014 s] Raw data (loadavg): 1.06 1.04 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19409 0 0 0 47820 93 0 0 25 0 1 0 1801200883 81489920 19375 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 19895 19375 566 18 0 19877 0 [pid=8648] vsize: 79580 Current children cumulated CPU time (s) 479.13 Current children cumulated vsize (Kb) 79580 [startup+490.015 s] Raw data (loadavg): 1.05 1.04 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19924 0 0 0 48815 96 0 0 25 0 1 0 1801200883 83619840 19890 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 20415 19890 566 18 0 20397 0 [pid=8648] vsize: 81660 Current children cumulated CPU time (s) 489.11 Current children cumulated vsize (Kb) 81660 [startup+500.015 s] Raw data (loadavg): 1.04 1.04 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 20426 0 0 0 49812 99 0 0 25 0 1 0 1801200883 85676032 20392 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 20917 20392 566 18 0 20899 0 [pid=8648] vsize: 83668 Current children cumulated CPU time (s) 499.11 Current children cumulated vsize (Kb) 83668 [startup+510.016 s] Raw data (loadavg): 1.03 1.04 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 20911 0 0 0 50808 101 0 0 25 0 1 0 1801200883 87625728 20877 4294967295 134512640 134578447 3221224624 3221223456 134528540 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 21393 20877 566 18 0 21375 0 [pid=8648] vsize: 85572 Current children cumulated CPU time (s) 509.09 Current children cumulated vsize (Kb) 85572 [startup+520.017 s] Raw data (loadavg): 1.03 1.04 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 21357 0 0 0 51805 102 0 0 25 0 1 0 1801200883 89444352 21323 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 21837 21323 566 18 0 21819 0 [pid=8648] vsize: 87348 Current children cumulated CPU time (s) 519.07 Current children cumulated vsize (Kb) 87348 [startup+530.017 s] Raw data (loadavg): 1.02 1.03 0.94 1/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 21751 0 0 0 52802 104 0 0 25 0 1 0 1801200883 91111424 21717 4294967295 134512640 134578447 3221224624 3221223476 1075693979 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/8648/statm): 22244 21717 566 18 0 22226 0 [pid=8648] vsize: 88976 Current children cumulated CPU time (s) 529.06 Current children cumulated vsize (Kb) 88976 [startup+540.016 s] Raw data (loadavg): 1.02 1.03 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22169 0 0 0 53799 106 0 0 25 0 1 0 1801200883 92708864 22135 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 22634 22135 566 18 0 22616 0 [pid=8648] vsize: 90536 Current children cumulated CPU time (s) 539.05 Current children cumulated vsize (Kb) 90536 [startup+550.016 s] Raw data (loadavg): 1.02 1.03 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22547 0 0 0 54796 107 0 0 25 0 1 0 1801200883 94343168 22513 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 23033 22513 566 18 0 23015 0 [pid=8648] vsize: 92132 Current children cumulated CPU time (s) 549.03 Current children cumulated vsize (Kb) 92132 [startup+560.017 s] Raw data (loadavg): 1.01 1.03 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22951 0 0 0 55792 110 0 0 25 0 1 0 1801200883 95973376 22917 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 23431 22917 566 18 0 23413 0 [pid=8648] vsize: 93724 Current children cumulated CPU time (s) 559.02 Current children cumulated vsize (Kb) 93724 [startup+570.019 s] Raw data (loadavg): 1.01 1.03 0.94 2/56 8707 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 23379 0 0 0 56789 112 0 0 23 0 1 0 1801200883 97730560 23345 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 23860 23345 566 18 0 23842 0 [pid=8648] vsize: 95440 Current children cumulated CPU time (s) 569.01 Current children cumulated vsize (Kb) 95440 [startup+580.018 s] Raw data (loadavg): 1.01 1.03 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 23698 0 0 0 57785 114 0 0 25 0 1 0 1801200883 99102720 23664 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 24195 23664 566 18 0 24177 0 [pid=8648] vsize: 96780 Current children cumulated CPU time (s) 578.99 Current children cumulated vsize (Kb) 96780 [startup+590.019 s] Raw data (loadavg): 1.01 1.03 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24017 0 0 0 58781 116 0 0 25 0 1 0 1801200883 100331520 23983 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 24495 23983 566 18 0 24477 0 [pid=8648] vsize: 97980 Current children cumulated CPU time (s) 588.97 Current children cumulated vsize (Kb) 97980 [startup+600.02 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24433 0 0 0 59778 118 0 0 25 0 1 0 1801200883 102113280 24399 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 24930 24399 566 18 0 24912 0 [pid=8648] vsize: 99720 Current children cumulated CPU time (s) 598.96 Current children cumulated vsize (Kb) 99720 [startup+610.021 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24810 0 0 0 60775 120 0 0 25 0 1 0 1801200883 103596032 24776 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 25292 24776 566 18 0 25274 0 [pid=8648] vsize: 101168 Current children cumulated CPU time (s) 608.95 Current children cumulated vsize (Kb) 101168 [startup+620.021 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 25248 0 0 0 61772 122 0 0 25 0 1 0 1801200883 105533440 25214 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 25765 25214 566 18 0 25747 0 [pid=8648] vsize: 103060 Current children cumulated CPU time (s) 618.94 Current children cumulated vsize (Kb) 103060 [startup+630.021 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 25835 0 0 0 62764 126 0 0 25 0 1 0 1801200883 107962368 25801 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 26358 25801 566 18 0 26340 0 [pid=8648] vsize: 105432 Current children cumulated CPU time (s) 628.9 Current children cumulated vsize (Kb) 105432 [startup+640.022 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26139 0 0 0 63761 128 0 0 25 0 1 0 1801200883 109236224 26105 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 26669 26105 566 18 0 26651 0 [pid=8648] vsize: 106676 Current children cumulated CPU time (s) 638.89 Current children cumulated vsize (Kb) 106676 [startup+650.022 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26193 0 0 0 64760 128 0 0 25 0 1 0 1801200883 109371392 26159 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 26702 26159 566 18 0 26684 0 [pid=8648] vsize: 106808 Current children cumulated CPU time (s) 648.88 Current children cumulated vsize (Kb) 106808 [startup+660.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26553 0 0 0 65759 129 0 0 25 0 1 0 1801200883 110866432 26519 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 27067 26519 566 18 0 27049 0 [pid=8648] vsize: 108268 Current children cumulated CPU time (s) 658.88 Current children cumulated vsize (Kb) 108268 [startup+670.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26872 0 0 0 66756 131 0 0 25 0 1 0 1801200883 112173056 26838 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 27386 26838 566 18 0 27368 0 [pid=8648] vsize: 109544 Current children cumulated CPU time (s) 668.87 Current children cumulated vsize (Kb) 109544 [startup+680.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27388 0 0 0 67751 133 0 0 25 0 1 0 1801200883 114376704 27354 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 27924 27354 566 18 0 27906 0 [pid=8648] vsize: 111696 Current children cumulated CPU time (s) 678.84 Current children cumulated vsize (Kb) 111696 [startup+690.023 s] Raw data (loadavg): 1.00 1.02 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27798 0 0 0 68748 136 0 0 25 0 1 0 1801200883 115978240 27764 4294967295 134512640 134578447 3221224624 3221223476 134555763 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 28315 27764 566 18 0 28297 0 [pid=8648] vsize: 113260 Current children cumulated CPU time (s) 688.84 Current children cumulated vsize (Kb) 113260 [startup+700.023 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27995 0 0 0 69747 137 0 0 25 0 1 0 1801200883 116826112 27961 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 28522 27961 566 18 0 28504 0 [pid=8648] vsize: 114088 Current children cumulated CPU time (s) 698.84 Current children cumulated vsize (Kb) 114088 [startup+710.023 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 28450 0 0 0 70744 138 0 0 25 0 1 0 1801200883 118677504 28416 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 28974 28416 566 18 0 28956 0 [pid=8648] vsize: 115896 Current children cumulated CPU time (s) 708.82 Current children cumulated vsize (Kb) 115896 [startup+720.023 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 28718 0 0 0 71741 139 0 0 25 0 1 0 1801200883 119779328 28684 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 29243 28684 566 18 0 29225 0 [pid=8648] vsize: 116972 Current children cumulated CPU time (s) 718.8 Current children cumulated vsize (Kb) 116972 [startup+730.023 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29036 0 0 0 72739 140 0 0 25 0 1 0 1801200883 120995840 29002 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 29540 29002 566 18 0 29522 0 [pid=8648] vsize: 118160 Current children cumulated CPU time (s) 728.79 Current children cumulated vsize (Kb) 118160 [startup+740.024 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29487 0 0 0 73735 142 0 0 25 0 1 0 1801200883 122892288 29453 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 30003 29453 566 18 0 29985 0 [pid=8648] vsize: 120012 Current children cumulated CPU time (s) 738.77 Current children cumulated vsize (Kb) 120012 [startup+750.023 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29771 0 0 0 74733 144 0 0 25 0 1 0 1801200883 124014592 29737 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 30277 29737 566 18 0 30259 0 [pid=8648] vsize: 121108 Current children cumulated CPU time (s) 748.77 Current children cumulated vsize (Kb) 121108 [startup+760.024 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30066 0 0 0 75731 145 0 0 25 0 1 0 1801200883 125276160 30032 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 30585 30032 566 18 0 30567 0 [pid=8648] vsize: 122340 Current children cumulated CPU time (s) 758.76 Current children cumulated vsize (Kb) 122340 [startup+770.025 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30379 0 0 0 76729 147 0 0 25 0 1 0 1801200883 126517248 30345 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 30888 30345 566 18 0 30870 0 [pid=8648] vsize: 123552 Current children cumulated CPU time (s) 768.76 Current children cumulated vsize (Kb) 123552 [startup+780.025 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30688 0 0 0 77726 148 0 0 25 0 1 0 1801200883 127819776 30654 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 31206 30654 566 18 0 31188 0 [pid=8648] vsize: 124824 Current children cumulated CPU time (s) 778.74 Current children cumulated vsize (Kb) 124824 [startup+790.025 s] Raw data (loadavg): 1.00 1.01 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31022 0 0 0 78724 149 0 0 25 0 1 0 1801200883 129175552 30988 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 31537 30988 566 18 0 31519 0 [pid=8648] vsize: 126148 Current children cumulated CPU time (s) 788.73 Current children cumulated vsize (Kb) 126148 [startup+800.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31360 0 0 0 79721 151 0 0 25 0 1 0 1801200883 130523136 31326 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 31866 31326 566 18 0 31848 0 [pid=8648] vsize: 127464 Current children cumulated CPU time (s) 798.72 Current children cumulated vsize (Kb) 127464 [startup+810.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31673 0 0 0 80719 153 0 0 25 0 1 0 1801200883 131874816 31639 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 32196 31639 566 18 0 32178 0 [pid=8648] vsize: 128784 Current children cumulated CPU time (s) 808.72 Current children cumulated vsize (Kb) 128784 [startup+820.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31999 0 0 0 81716 155 0 0 25 0 1 0 1801200883 133189632 31965 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 32517 31965 566 18 0 32499 0 [pid=8648] vsize: 130068 Current children cumulated CPU time (s) 818.71 Current children cumulated vsize (Kb) 130068 [startup+830.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32348 0 0 0 82713 156 0 0 25 0 1 0 1801200883 134549504 32314 4294967295 134512640 134578447 3221224624 3221220688 134533051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 32849 32314 566 18 0 32831 0 [pid=8648] vsize: 131396 Current children cumulated CPU time (s) 828.69 Current children cumulated vsize (Kb) 131396 [startup+840.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32645 0 0 0 83710 158 0 0 25 0 1 0 1801200883 135798784 32611 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 33154 32611 566 18 0 33136 0 [pid=8648] vsize: 132616 Current children cumulated CPU time (s) 838.68 Current children cumulated vsize (Kb) 132616 [startup+850.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32834 0 0 0 84708 158 0 0 25 0 1 0 1801200883 136605696 32800 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 33351 32800 566 18 0 33333 0 [pid=8648] vsize: 133404 Current children cumulated CPU time (s) 848.66 Current children cumulated vsize (Kb) 133404 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33212 0 0 0 85706 160 0 0 25 0 1 0 1801200883 138231808 33178 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 33748 33178 566 18 0 33730 0 [pid=8648] vsize: 134992 Current children cumulated CPU time (s) 858.66 Current children cumulated vsize (Kb) 134992 [startup+870.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33586 0 0 0 86704 161 0 0 25 0 1 0 1801200883 139673600 33552 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 34100 33552 566 18 0 34082 0 [pid=8648] vsize: 136400 Current children cumulated CPU time (s) 868.65 Current children cumulated vsize (Kb) 136400 [startup+880.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33859 0 0 0 87701 163 0 0 25 0 1 0 1801200883 140886016 33825 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 34396 33825 566 18 0 34378 0 [pid=8648] vsize: 137584 Current children cumulated CPU time (s) 878.64 Current children cumulated vsize (Kb) 137584 [startup+890.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34249 0 0 0 88698 165 0 0 25 0 1 0 1801200883 142458880 34215 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8648/statm): 34780 34215 566 18 0 34762 0 [pid=8648] vsize: 139120 Current children cumulated CPU time (s) 888.63 Current children cumulated vsize (Kb) 139120 [startup+900.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34662 0 0 0 89694 167 0 0 25 0 1 0 1801200883 144105472 34628 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 35182 34628 566 18 0 35164 0 [pid=8648] vsize: 140728 Current children cumulated CPU time (s) 898.61 Current children cumulated vsize (Kb) 140728 [startup+910.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34947 0 0 0 90692 169 0 0 25 0 1 0 1801200883 145309696 34913 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 35476 34913 566 18 0 35458 0 [pid=8648] vsize: 141904 Current children cumulated CPU time (s) 908.61 Current children cumulated vsize (Kb) 141904 [startup+920.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34991 0 0 0 91691 169 0 0 25 0 1 0 1801200883 145444864 34957 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 35509 34957 566 18 0 35491 0 [pid=8648] vsize: 142036 Current children cumulated CPU time (s) 918.6 Current children cumulated vsize (Kb) 142036 [startup+930.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35208 0 0 0 92690 170 0 0 25 0 1 0 1801200883 146399232 35174 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 35742 35174 566 18 0 35724 0 [pid=8648] vsize: 142968 Current children cumulated CPU time (s) 928.6 Current children cumulated vsize (Kb) 142968 [startup+940.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35566 0 0 0 93688 171 0 0 25 0 1 0 1801200883 147771392 35532 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 36077 35532 566 18 0 36059 0 [pid=8648] vsize: 144308 Current children cumulated CPU time (s) 938.59 Current children cumulated vsize (Kb) 144308 [startup+950.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35837 0 0 0 94686 172 0 0 25 0 1 0 1801200883 148893696 35803 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 36351 35803 566 18 0 36333 0 [pid=8648] vsize: 145404 Current children cumulated CPU time (s) 948.58 Current children cumulated vsize (Kb) 145404 [startup+960.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36257 0 0 0 95683 173 0 0 25 0 1 0 1801200883 150683648 36223 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 36788 36223 566 18 0 36770 0 [pid=8648] vsize: 147152 Current children cumulated CPU time (s) 958.56 Current children cumulated vsize (Kb) 147152 [startup+970.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36457 0 0 0 96681 174 0 0 22 0 1 0 1801200883 151498752 36423 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 36987 36423 566 18 0 36969 0 [pid=8648] vsize: 147948 Current children cumulated CPU time (s) 968.55 Current children cumulated vsize (Kb) 147948 [startup+980.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36820 0 0 0 97679 175 0 0 25 0 1 0 1801200883 153055232 36786 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 37367 36786 566 18 0 37349 0 [pid=8648] vsize: 149468 Current children cumulated CPU time (s) 978.54 Current children cumulated vsize (Kb) 149468 [startup+990.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37067 0 0 0 98677 176 0 0 25 0 1 0 1801200883 153980928 37033 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 37593 37033 566 18 0 37575 0 [pid=8648] vsize: 150372 Current children cumulated CPU time (s) 988.53 Current children cumulated vsize (Kb) 150372 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37397 0 0 0 99675 178 0 0 25 0 1 0 1801200883 155402240 37363 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 37940 37363 566 18 0 37922 0 [pid=8648] vsize: 151760 Current children cumulated CPU time (s) 998.53 Current children cumulated vsize (Kb) 151760 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37885 0 0 0 100672 179 0 0 25 0 1 0 1801200883 157372416 37851 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 38421 37851 566 18 0 38403 0 [pid=8648] vsize: 153684 Current children cumulated CPU time (s) 1008.51 Current children cumulated vsize (Kb) 153684 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38041 0 0 0 101669 180 0 0 25 0 1 0 1801200883 158003200 38007 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 38575 38007 566 18 0 38557 0 [pid=8648] vsize: 154300 Current children cumulated CPU time (s) 1018.49 Current children cumulated vsize (Kb) 154300 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38438 0 0 0 102666 182 0 0 25 0 1 0 1801200883 159678464 38404 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 38984 38404 566 18 0 38966 0 [pid=8648] vsize: 155936 Current children cumulated CPU time (s) 1028.48 Current children cumulated vsize (Kb) 155936 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38888 0 0 0 103662 185 0 0 25 0 1 0 1801200883 161427456 38854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 39411 38854 566 18 0 39393 0 [pid=8648] vsize: 157644 Current children cumulated CPU time (s) 1038.47 Current children cumulated vsize (Kb) 157644 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38984 0 0 0 104660 185 0 0 25 0 1 0 1801200883 161820672 38950 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 39507 38950 566 18 0 39489 0 [pid=8648] vsize: 158028 Current children cumulated CPU time (s) 1048.45 Current children cumulated vsize (Kb) 158028 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39465 0 0 0 105657 187 0 0 25 0 1 0 1801200883 163905536 39431 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 40016 39431 566 18 0 39998 0 [pid=8648] vsize: 160064 Current children cumulated CPU time (s) 1058.44 Current children cumulated vsize (Kb) 160064 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39843 0 0 0 106655 188 0 0 25 0 1 0 1801200883 165388288 39809 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 40378 39809 566 18 0 40360 0 [pid=8648] vsize: 161512 Current children cumulated CPU time (s) 1068.43 Current children cumulated vsize (Kb) 161512 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39962 0 0 0 107654 189 0 0 25 0 1 0 1801200883 165892096 39928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 40501 39928 566 18 0 40483 0 [pid=8648] vsize: 162004 Current children cumulated CPU time (s) 1078.43 Current children cumulated vsize (Kb) 162004 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40070 0 0 0 108653 189 0 0 25 0 1 0 1801200883 166297600 40036 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 40600 40036 566 18 0 40582 0 [pid=8648] vsize: 162400 Current children cumulated CPU time (s) 1088.42 Current children cumulated vsize (Kb) 162400 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40442 0 0 0 109650 191 0 0 25 0 1 0 1801200883 167800832 40408 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 40967 40408 566 18 0 40949 0 [pid=8648] vsize: 163868 Current children cumulated CPU time (s) 1098.41 Current children cumulated vsize (Kb) 163868 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40766 0 0 0 110648 192 0 0 25 0 1 0 1801200883 169177088 40732 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 41303 40732 566 18 0 41285 0 [pid=8648] vsize: 165212 Current children cumulated CPU time (s) 1108.4 Current children cumulated vsize (Kb) 165212 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41130 0 0 0 111645 194 0 0 25 0 1 0 1801200883 170655744 41096 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 41664 41096 566 18 0 41646 0 [pid=8648] vsize: 166656 Current children cumulated CPU time (s) 1118.39 Current children cumulated vsize (Kb) 166656 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41583 0 0 0 112642 195 0 0 25 0 1 0 1801200883 172593152 41549 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 42137 41549 566 18 0 42119 0 [pid=8648] vsize: 168548 Current children cumulated CPU time (s) 1128.37 Current children cumulated vsize (Kb) 168548 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41794 0 0 0 113640 197 0 0 25 0 1 0 1801200883 173436928 41760 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 42343 41760 566 18 0 42325 0 [pid=8648] vsize: 169372 Current children cumulated CPU time (s) 1138.37 Current children cumulated vsize (Kb) 169372 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42091 0 0 0 114638 198 0 0 25 0 1 0 1801200883 174669824 42057 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 42644 42057 566 18 0 42626 0 [pid=8648] vsize: 170576 Current children cumulated CPU time (s) 1148.36 Current children cumulated vsize (Kb) 170576 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42392 0 0 0 115635 200 0 0 25 0 1 0 1801200883 175947776 42358 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 42956 42358 566 18 0 42938 0 [pid=8648] vsize: 171824 Current children cumulated CPU time (s) 1158.35 Current children cumulated vsize (Kb) 171824 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42688 0 0 0 116632 202 0 0 25 0 1 0 1801200883 177168384 42654 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 43254 42654 566 18 0 43236 0 [pid=8648] vsize: 173016 Current children cumulated CPU time (s) 1168.34 Current children cumulated vsize (Kb) 173016 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 43030 0 0 0 117630 204 0 0 25 0 1 0 1801200883 178577408 42996 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 43598 42996 566 18 0 43580 0 [pid=8648] vsize: 174392 Current children cumulated CPU time (s) 1178.34 Current children cumulated vsize (Kb) 174392 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/56 8709 Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 43231 0 0 0 118628 205 0 0 25 0 1 0 1801200883 179343360 43197 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/8648/statm): 43785 43197 566 18 0 43767 0 [pid=8648] vsize: 175140 Current children cumulated CPU time (s) 1188.33 Current children cumulated vsize (Kb) 175140 One traced child (pid=8648) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1190.92 CPU time (s): 1189.22 CPU user time (s): 1187.08 CPU system time (s): 2.13967 CPU usage (%): 99.8572 Max. virtual memory (cumulated for all children) (Kb): 175140
Verifier: OK -7