Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | b85a90571dde4fe12541342d5605d680 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -39 |
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 | 80258 |
Number of constraints which are clauses | 80258 |
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 wulflinc10 THE 2005-09-20 14:56:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5051 boxname=wulflinc10 idbench=363 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: b85a90571dde4fe12541342d5605d680 /oldhome/oroussel/tmp/wulflinc10/normalized-frb50-23-4.opb REAL COMMAND: Pueblo IDLAUNCH: 5051 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 741896 kB Buffers: 39320 kB Cached: 225788 kB SwapCached: 228 kB Active: 86836 kB Inactive: 181232 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 741644 kB SwapTotal: 2097136 kB SwapFree: 2096756 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6292 kB Slab: 19028 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:16:33 (client local time) WITH STATUS 10 IN 1189.23 SECONDS stats: 5051 0 1189.23 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: 80259 c total time : 1189.14 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/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801237209 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 41 3 40 18 0 23 0 [pid=22632] 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.0028 s] Raw data (loadavg): 0.94 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 979 11 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0 [pid=22632] vsize: 13844 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (Kb) 13844 [startup+20.0034 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 1973 13 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0 [pid=22632] vsize: 13844 Current children cumulated CPU time (s) 19.86 Current children cumulated vsize (Kb) 13844 [startup+30.0039 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3028 0 0 0 2968 16 0 0 25 0 1 0 1801237209 14176256 2994 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 3461 2994 566 18 0 3443 0 [pid=22632] vsize: 13844 Current children cumulated CPU time (s) 29.84 Current children cumulated vsize (Kb) 13844 [startup+40.0035 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 3558 0 0 0 3959 20 0 0 25 0 1 0 1801237209 16412672 3524 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 4007 3524 566 18 0 3989 0 [pid=22632] vsize: 16028 Current children cumulated CPU time (s) 39.79 Current children cumulated vsize (Kb) 16028 [startup+50.0041 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 4007 0 0 0 4955 22 0 0 25 0 1 0 1801237209 18210816 3973 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 4446 3973 566 18 0 4428 0 [pid=22632] vsize: 17784 Current children cumulated CPU time (s) 49.77 Current children cumulated vsize (Kb) 17784 [startup+60.0046 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 4501 0 0 0 5945 25 0 0 25 0 1 0 1801237209 20217856 4467 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 4936 4467 566 18 0 4918 0 [pid=22632] vsize: 19744 Current children cumulated CPU time (s) 59.7 Current children cumulated vsize (Kb) 19744 [startup+70.0052 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5027 0 0 0 6941 28 0 0 25 0 1 0 1801237209 22421504 4993 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 5474 4993 566 18 0 5456 0 [pid=22632] vsize: 21896 Current children cumulated CPU time (s) 69.69 Current children cumulated vsize (Kb) 21896 [startup+80.0058 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5574 0 0 0 7935 31 0 0 25 0 1 0 1801237209 24604672 5540 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 6007 5540 566 18 0 5989 0 [pid=22632] vsize: 24028 Current children cumulated CPU time (s) 79.66 Current children cumulated vsize (Kb) 24028 [startup+90.0053 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 5832 0 0 0 8931 32 0 0 25 0 1 0 1801237209 25616384 5798 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 6254 5798 566 18 0 6236 0 [pid=22632] vsize: 25016 Current children cumulated CPU time (s) 89.63 Current children cumulated vsize (Kb) 25016 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6104 0 0 0 9930 33 0 0 25 0 1 0 1801237209 26775552 6070 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 6537 6070 566 18 0 6519 0 [pid=22632] vsize: 26148 Current children cumulated CPU time (s) 99.63 Current children cumulated vsize (Kb) 26148 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6526 0 0 0 10928 34 0 0 25 0 1 0 1801237209 28536832 6492 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 6967 6492 566 18 0 6949 0 [pid=22632] vsize: 27868 Current children cumulated CPU time (s) 109.62 Current children cumulated vsize (Kb) 27868 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 6788 0 0 0 11925 36 0 0 25 0 1 0 1801237209 29540352 6754 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 7212 6754 566 18 0 7194 0 [pid=22632] vsize: 28848 Current children cumulated CPU time (s) 119.61 Current children cumulated vsize (Kb) 28848 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7144 0 0 0 12920 37 0 0 25 0 1 0 1801237209 31047680 7110 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 7580 7110 566 18 0 7562 0 [pid=22632] vsize: 30320 Current children cumulated CPU time (s) 129.57 Current children cumulated vsize (Kb) 30320 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7580 0 0 0 13917 38 0 0 25 0 1 0 1801237209 32776192 7546 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 8002 7546 566 18 0 7984 0 [pid=22632] vsize: 32008 Current children cumulated CPU time (s) 139.55 Current children cumulated vsize (Kb) 32008 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 7826 0 0 0 14915 39 0 0 25 0 1 0 1801237209 33775616 7792 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 8246 7792 566 18 0 8228 0 [pid=22632] vsize: 32984 Current children cumulated CPU time (s) 149.54 Current children cumulated vsize (Kb) 32984 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 8177 0 0 0 15913 41 0 0 25 0 1 0 1801237209 35336192 8143 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22632/statm): 8627 8143 566 18 0 8609 0 [pid=22632] vsize: 34508 Current children cumulated CPU time (s) 159.54 Current children cumulated vsize (Kb) 34508 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 8543 0 0 0 16911 42 0 0 25 0 1 0 1801237209 36757504 8509 4294967295 134512640 134578447 3221224624 3221223572 134526396 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 8974 8509 566 18 0 8956 0 [pid=22632] vsize: 35896 Current children cumulated CPU time (s) 169.53 Current children cumulated vsize (Kb) 35896 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 8826 0 0 0 17909 43 0 0 25 0 1 0 1801237209 37908480 8792 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 9255 8792 566 18 0 9237 0 [pid=22632] vsize: 37020 Current children cumulated CPU time (s) 179.52 Current children cumulated vsize (Kb) 37020 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 9095 0 0 0 18907 44 0 0 25 0 1 0 1801237209 39051264 9061 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22632/statm): 9534 9061 566 18 0 9516 0 [pid=22632] vsize: 38136 Current children cumulated CPU time (s) 189.51 Current children cumulated vsize (Kb) 38136 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 22632 Raw data (/proc/22632/stat): 22632 (Pueblo) T 22631 22632 22582 0 -1 0 9461 0 0 0 19900 48 0 0 25 0 1 0 1801237209 40579072 9427 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/22632/statm): 9907 9427 566 18 0 9889 0 [pid=22632] vsize: 39628 Current children cumulated CPU time (s) 199.48 Current children cumulated vsize (Kb) 39628 [startup+210.071 s] Raw data (loadavg): 1.15 1.01 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 9759 0 0 0 20887 59 0 0 25 0 1 0 1801237209 41717760 9725 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 10185 9725 566 18 0 10167 0 [pid=22632] vsize: 40740 Current children cumulated CPU time (s) 209.46 Current children cumulated vsize (Kb) 40740 [startup+220.072 s] Raw data (loadavg): 1.12 1.01 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10120 0 0 0 21885 60 0 0 25 0 1 0 1801237209 43257856 10086 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 10561 10086 566 18 0 10543 0 [pid=22632] vsize: 42244 Current children cumulated CPU time (s) 219.45 Current children cumulated vsize (Kb) 42244 [startup+230.072 s] Raw data (loadavg): 1.10 1.01 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10447 0 0 0 22882 62 0 0 25 0 1 0 1801237209 44646400 10413 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 10900 10413 566 18 0 10882 0 [pid=22632] vsize: 43600 Current children cumulated CPU time (s) 229.44 Current children cumulated vsize (Kb) 43600 [startup+240.072 s] Raw data (loadavg): 1.09 1.00 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 10759 0 0 0 23879 64 0 0 25 0 1 0 1801237209 45813760 10725 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 11185 10725 566 18 0 11167 0 [pid=22632] vsize: 44740 Current children cumulated CPU time (s) 239.43 Current children cumulated vsize (Kb) 44740 [startup+250.072 s] Raw data (loadavg): 1.07 1.00 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11083 0 0 0 24877 65 0 0 25 0 1 0 1801237209 47185920 11049 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 11520 11049 566 18 0 11502 0 [pid=22632] vsize: 46080 Current children cumulated CPU time (s) 249.42 Current children cumulated vsize (Kb) 46080 [startup+260.073 s] Raw data (loadavg): 1.06 1.00 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11417 0 0 0 25875 67 0 0 25 0 1 0 1801237209 48513024 11383 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 11844 11383 566 18 0 11826 0 [pid=22632] vsize: 47376 Current children cumulated CPU time (s) 259.42 Current children cumulated vsize (Kb) 47376 [startup+270.074 s] Raw data (loadavg): 1.05 1.00 0.93 2/56 22687 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 11744 0 0 0 26873 68 0 0 25 0 1 0 1801237209 49963008 11710 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 12198 11710 566 18 0 12180 0 [pid=22632] vsize: 48792 Current children cumulated CPU time (s) 269.41 Current children cumulated vsize (Kb) 48792 [startup+280.075 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 22689 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12219 0 0 0 27870 70 0 0 25 0 1 0 1801237209 51802112 12185 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 12647 12185 566 18 0 12629 0 [pid=22632] vsize: 50588 Current children cumulated CPU time (s) 279.4 Current children cumulated vsize (Kb) 50588 [startup+290.075 s] Raw data (loadavg): 1.04 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12535 0 0 0 28868 71 0 0 25 0 1 0 1801237209 53096448 12501 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 12963 12501 566 18 0 12945 0 [pid=22632] vsize: 51852 Current children cumulated CPU time (s) 289.39 Current children cumulated vsize (Kb) 51852 [startup+300.075 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 12887 0 0 0 29864 74 0 0 25 0 1 0 1801237209 54562816 12853 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 13321 12853 566 18 0 13303 0 [pid=22632] vsize: 53284 Current children cumulated CPU time (s) 299.38 Current children cumulated vsize (Kb) 53284 [startup+310.075 s] Raw data (loadavg): 1.03 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 13394 0 0 0 30862 75 0 0 25 0 1 0 1801237209 56684544 13360 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 13839 13360 566 18 0 13821 0 [pid=22632] vsize: 55356 Current children cumulated CPU time (s) 309.37 Current children cumulated vsize (Kb) 55356 [startup+320.075 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 13676 0 0 0 31859 77 0 0 25 0 1 0 1801237209 57823232 13642 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 14117 13642 566 18 0 14099 0 [pid=22632] vsize: 56468 Current children cumulated CPU time (s) 319.36 Current children cumulated vsize (Kb) 56468 [startup+330.076 s] Raw data (loadavg): 1.02 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14124 0 0 0 32856 78 0 0 25 0 1 0 1801237209 59674624 14090 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 14569 14090 566 18 0 14551 0 [pid=22632] vsize: 58276 Current children cumulated CPU time (s) 329.34 Current children cumulated vsize (Kb) 58276 [startup+340.075 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14498 0 0 0 33853 80 0 0 25 0 1 0 1801237209 61169664 14464 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 14934 14464 566 18 0 14916 0 [pid=22632] vsize: 59736 Current children cumulated CPU time (s) 339.33 Current children cumulated vsize (Kb) 59736 [startup+350.075 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 14914 0 0 0 34847 83 0 0 25 0 1 0 1801237209 62922752 14880 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 15362 14880 566 18 0 15344 0 [pid=22632] vsize: 61448 Current children cumulated CPU time (s) 349.3 Current children cumulated vsize (Kb) 61448 [startup+360.076 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15263 0 0 0 35845 84 0 0 25 0 1 0 1801237209 64344064 15229 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 15709 15229 566 18 0 15691 0 [pid=22632] vsize: 62836 Current children cumulated CPU time (s) 359.29 Current children cumulated vsize (Kb) 62836 [startup+370.076 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15605 0 0 0 36842 85 0 0 25 0 1 0 1801237209 65781760 15571 4294967295 134512640 134578447 3221224624 3221220704 134533043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 16060 15571 566 18 0 16042 0 [pid=22632] vsize: 64240 Current children cumulated CPU time (s) 369.27 Current children cumulated vsize (Kb) 64240 [startup+380.076 s] Raw data (loadavg): 1.01 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 15877 0 0 0 37839 86 0 0 25 0 1 0 1801237209 66879488 15843 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 16328 15843 566 18 0 16310 0 [pid=22632] vsize: 65312 Current children cumulated CPU time (s) 379.25 Current children cumulated vsize (Kb) 65312 [startup+390.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16135 0 0 0 38837 88 0 0 25 0 1 0 1801237209 67854336 16101 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 16566 16101 566 18 0 16548 0 [pid=22632] vsize: 66264 Current children cumulated CPU time (s) 389.25 Current children cumulated vsize (Kb) 66264 [startup+400.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16476 0 0 0 39835 89 0 0 25 0 1 0 1801237209 69283840 16442 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 16915 16442 566 18 0 16897 0 [pid=22632] vsize: 67660 Current children cumulated CPU time (s) 399.24 Current children cumulated vsize (Kb) 67660 [startup+410.075 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 16786 0 0 0 40834 90 0 0 25 0 1 0 1801237209 70524928 16752 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 17218 16752 566 18 0 17200 0 [pid=22632] vsize: 68872 Current children cumulated CPU time (s) 409.24 Current children cumulated vsize (Kb) 68872 [startup+420.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17181 0 0 0 41832 91 0 0 25 0 1 0 1801237209 72142848 17147 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 17613 17147 566 18 0 17595 0 [pid=22632] vsize: 70452 Current children cumulated CPU time (s) 419.23 Current children cumulated vsize (Kb) 70452 [startup+430.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17469 0 0 0 42830 93 0 0 25 0 1 0 1801237209 73302016 17435 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 17896 17435 566 18 0 17878 0 [pid=22632] vsize: 71584 Current children cumulated CPU time (s) 429.23 Current children cumulated vsize (Kb) 71584 [startup+440.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 17670 0 0 0 43828 94 0 0 25 0 1 0 1801237209 74174464 17636 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 18109 17636 566 18 0 18091 0 [pid=22632] vsize: 72436 Current children cumulated CPU time (s) 439.22 Current children cumulated vsize (Kb) 72436 [startup+450.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18085 0 0 0 44825 96 0 0 25 0 1 0 1801237209 75878400 18051 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 18525 18051 566 18 0 18507 0 [pid=22632] vsize: 74100 Current children cumulated CPU time (s) 449.21 Current children cumulated vsize (Kb) 74100 [startup+460.076 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18441 0 0 0 45823 97 0 0 25 0 1 0 1801237209 77328384 18407 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 18879 18407 566 18 0 18861 0 [pid=22632] vsize: 75516 Current children cumulated CPU time (s) 459.2 Current children cumulated vsize (Kb) 75516 [startup+470.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 18807 0 0 0 46819 98 0 0 25 0 1 0 1801237209 78872576 18773 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 19256 18773 566 18 0 19238 0 [pid=22632] vsize: 77024 Current children cumulated CPU time (s) 469.17 Current children cumulated vsize (Kb) 77024 [startup+480.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19185 0 0 0 47815 100 0 0 25 0 1 0 1801237209 80338944 19151 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 19614 19151 566 18 0 19596 0 [pid=22632] vsize: 78456 Current children cumulated CPU time (s) 479.15 Current children cumulated vsize (Kb) 78456 [startup+490.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19537 0 0 0 48813 101 0 0 25 0 1 0 1801237209 81817600 19503 4294967295 134512640 134578447 3221224624 3221223296 134523433 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 19975 19503 566 18 0 19957 0 [pid=22632] vsize: 79900 Current children cumulated CPU time (s) 489.14 Current children cumulated vsize (Kb) 79900 [startup+500.077 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 19849 0 0 0 49805 104 0 0 25 0 1 0 1801237209 83038208 19815 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 20273 19815 566 18 0 20255 0 [pid=22632] vsize: 81092 Current children cumulated CPU time (s) 499.09 Current children cumulated vsize (Kb) 81092 [startup+510.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20257 0 0 0 50803 105 0 0 25 0 1 0 1801237209 84774912 20223 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 20697 20223 566 18 0 20679 0 [pid=22632] vsize: 82788 Current children cumulated CPU time (s) 509.08 Current children cumulated vsize (Kb) 82788 [startup+520.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20660 0 0 0 51802 105 0 0 25 0 1 0 1801237209 86384640 20626 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 21090 20626 566 18 0 21072 0 [pid=22632] vsize: 84360 Current children cumulated CPU time (s) 519.07 Current children cumulated vsize (Kb) 84360 [startup+530.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 20942 0 0 0 52799 107 0 0 25 0 1 0 1801237209 87535616 20908 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 21371 20908 566 18 0 21353 0 [pid=22632] vsize: 85484 Current children cumulated CPU time (s) 529.06 Current children cumulated vsize (Kb) 85484 [startup+540.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 21318 0 0 0 53797 108 0 0 25 0 1 0 1801237209 89104384 21284 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 21754 21284 566 18 0 21736 0 [pid=22632] vsize: 87016 Current children cumulated CPU time (s) 539.05 Current children cumulated vsize (Kb) 87016 [startup+550.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 21673 0 0 0 54794 110 0 0 25 0 1 0 1801237209 90505216 21639 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 22096 21639 566 18 0 22078 0 [pid=22632] vsize: 88384 Current children cumulated CPU time (s) 549.04 Current children cumulated vsize (Kb) 88384 [startup+560.078 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22691 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22132 0 0 0 55791 111 0 0 25 0 1 0 1801237209 92459008 22098 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 22573 22098 566 18 0 22555 0 [pid=22632] vsize: 90292 Current children cumulated CPU time (s) 559.02 Current children cumulated vsize (Kb) 90292 [startup+570.079 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22419 0 0 0 56788 113 0 0 25 0 1 0 1801237209 93581312 22385 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 22847 22385 566 18 0 22829 0 [pid=22632] vsize: 91388 Current children cumulated CPU time (s) 569.01 Current children cumulated vsize (Kb) 91388 [startup+580.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 22896 0 0 0 57785 115 0 0 25 0 1 0 1801237209 95588352 22862 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 23337 22862 566 18 0 23319 0 [pid=22632] vsize: 93348 Current children cumulated CPU time (s) 579 Current children cumulated vsize (Kb) 93348 [startup+590.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23222 0 0 0 58782 116 0 0 25 0 1 0 1801237209 97021952 23188 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 23687 23188 566 18 0 23669 0 [pid=22632] vsize: 94748 Current children cumulated CPU time (s) 588.98 Current children cumulated vsize (Kb) 94748 [startup+600.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23603 0 0 0 59779 117 0 0 25 0 1 0 1801237209 98508800 23569 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 24050 23569 566 18 0 24032 0 [pid=22632] vsize: 96200 Current children cumulated CPU time (s) 598.96 Current children cumulated vsize (Kb) 96200 [startup+610.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 23886 0 0 0 60777 119 0 0 25 0 1 0 1801237209 99778560 23852 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 24360 23852 566 18 0 24342 0 [pid=22632] vsize: 97440 Current children cumulated CPU time (s) 608.96 Current children cumulated vsize (Kb) 97440 [startup+620.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 24399 0 0 0 61774 120 0 0 25 0 1 0 1801237209 101777408 24365 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 24848 24365 566 18 0 24830 0 [pid=22632] vsize: 99392 Current children cumulated CPU time (s) 618.94 Current children cumulated vsize (Kb) 99392 [startup+630.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 24731 0 0 0 62771 121 0 0 25 0 1 0 1801237209 103256064 24697 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 25209 24697 566 18 0 25191 0 [pid=22632] vsize: 100836 Current children cumulated CPU time (s) 628.92 Current children cumulated vsize (Kb) 100836 [startup+640.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25074 0 0 0 63768 123 0 0 25 0 1 0 1801237209 104624128 25040 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 25543 25040 566 18 0 25525 0 [pid=22632] vsize: 102172 Current children cumulated CPU time (s) 638.91 Current children cumulated vsize (Kb) 102172 [startup+650.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25367 0 0 0 64767 123 0 0 25 0 1 0 1801237209 105848832 25333 4294967295 134512640 134578447 3221224624 3221223228 1075289104 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 25842 25333 566 18 0 25824 0 [pid=22632] vsize: 103368 Current children cumulated CPU time (s) 648.9 Current children cumulated vsize (Kb) 103368 [startup+660.081 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 25763 0 0 0 65764 124 0 0 25 0 1 0 1801237209 107565056 25729 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 26261 25729 566 18 0 26243 0 [pid=22632] vsize: 105044 Current children cumulated CPU time (s) 658.88 Current children cumulated vsize (Kb) 105044 [startup+670.082 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 26277 0 0 0 66761 126 0 0 25 0 1 0 1801237209 109740032 26243 4294967295 134512640 134578447 3221224624 3221223504 134527518 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 26792 26243 566 18 0 26774 0 [pid=22632] vsize: 107168 Current children cumulated CPU time (s) 668.87 Current children cumulated vsize (Kb) 107168 [startup+680.083 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 26656 0 0 0 67759 128 0 0 25 0 1 0 1801237209 111243264 26622 4294967295 134512640 134578447 3221224624 3221220736 134533075 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 27159 26622 566 18 0 27141 0 [pid=22632] vsize: 108636 Current children cumulated CPU time (s) 678.87 Current children cumulated vsize (Kb) 108636 [startup+690.083 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 27025 0 0 0 68754 130 0 0 25 0 1 0 1801237209 112721920 26991 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 27520 26991 566 18 0 27502 0 [pid=22632] vsize: 110080 Current children cumulated CPU time (s) 688.84 Current children cumulated vsize (Kb) 110080 [startup+700.084 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 27649 0 0 0 69746 133 0 0 25 0 1 0 1801237209 115351552 27615 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 28162 27615 566 18 0 28144 0 [pid=22632] vsize: 112648 Current children cumulated CPU time (s) 698.79 Current children cumulated vsize (Kb) 112648 [startup+710.084 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28089 0 0 0 70744 134 0 0 25 0 1 0 1801237209 117125120 28055 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 28595 28055 566 18 0 28577 0 [pid=22632] vsize: 114380 Current children cumulated CPU time (s) 708.78 Current children cumulated vsize (Kb) 114380 [startup+720.085 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28366 0 0 0 71742 136 0 0 25 0 1 0 1801237209 118247424 28332 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 28869 28332 566 18 0 28851 0 [pid=22632] vsize: 115476 Current children cumulated CPU time (s) 718.78 Current children cumulated vsize (Kb) 115476 [startup+730.085 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 28800 0 0 0 72739 137 0 0 25 0 1 0 1801237209 120045568 28766 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 29308 28766 566 18 0 29290 0 [pid=22632] vsize: 117232 Current children cumulated CPU time (s) 728.76 Current children cumulated vsize (Kb) 117232 [startup+740.085 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 29372 0 0 0 73733 140 0 0 25 0 1 0 1801237209 122388480 29338 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 29880 29338 566 18 0 29862 0 [pid=22632] vsize: 119520 Current children cumulated CPU time (s) 738.73 Current children cumulated vsize (Kb) 119520 [startup+750.086 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 29770 0 0 0 74728 142 0 0 25 0 1 0 1801237209 124030976 29736 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 30281 29736 566 18 0 30263 0 [pid=22632] vsize: 121124 Current children cumulated CPU time (s) 748.7 Current children cumulated vsize (Kb) 121124 [startup+760.086 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30125 0 0 0 75726 144 0 0 25 0 1 0 1801237209 125575168 30091 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 30658 30091 566 18 0 30640 0 [pid=22632] vsize: 122632 Current children cumulated CPU time (s) 758.7 Current children cumulated vsize (Kb) 122632 [startup+770.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30603 0 0 0 76723 145 0 0 25 0 1 0 1801237209 127512576 30569 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 31131 30569 566 18 0 31113 0 [pid=22632] vsize: 124524 Current children cumulated CPU time (s) 768.68 Current children cumulated vsize (Kb) 124524 [startup+780.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 30888 0 0 0 77720 147 0 0 25 0 1 0 1801237209 128839680 30854 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 31455 30854 566 18 0 31437 0 [pid=22632] vsize: 125820 Current children cumulated CPU time (s) 778.67 Current children cumulated vsize (Kb) 125820 [startup+790.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 31372 0 0 0 78717 148 0 0 25 0 1 0 1801237209 130711552 31338 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 31912 31338 566 18 0 31894 0 [pid=22632] vsize: 127648 Current children cumulated CPU time (s) 788.65 Current children cumulated vsize (Kb) 127648 [startup+800.087 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 31594 0 0 0 79714 151 0 0 25 0 1 0 1801237209 131760128 31560 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 32168 31560 566 18 0 32150 0 [pid=22632] vsize: 128672 Current children cumulated CPU time (s) 798.65 Current children cumulated vsize (Kb) 128672 [startup+810.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32017 0 0 0 80711 152 0 0 25 0 1 0 1801237209 133525504 31983 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 32599 31983 566 18 0 32581 0 [pid=22632] vsize: 130396 Current children cumulated CPU time (s) 808.63 Current children cumulated vsize (Kb) 130396 [startup+820.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32487 0 0 0 81707 155 0 0 25 0 1 0 1801237209 135393280 32453 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 33055 32453 566 18 0 33037 0 [pid=22632] vsize: 132220 Current children cumulated CPU time (s) 818.62 Current children cumulated vsize (Kb) 132220 [startup+830.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 32772 0 0 0 82703 157 0 0 25 0 1 0 1801237209 136544256 32738 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 33336 32738 566 18 0 33318 0 [pid=22632] vsize: 133344 Current children cumulated CPU time (s) 828.6 Current children cumulated vsize (Kb) 133344 [startup+840.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33173 0 0 0 83700 159 0 0 25 0 1 0 1801237209 138240000 33139 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 33750 33139 566 18 0 33732 0 [pid=22632] vsize: 135000 Current children cumulated CPU time (s) 838.59 Current children cumulated vsize (Kb) 135000 [startup+850.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33551 0 0 0 84696 161 0 0 25 0 1 0 1801237209 139747328 33517 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 34118 33517 566 18 0 34100 0 [pid=22632] vsize: 136472 Current children cumulated CPU time (s) 848.57 Current children cumulated vsize (Kb) 136472 [startup+860.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 33773 0 0 0 85694 162 0 0 25 0 1 0 1801237209 140603392 33739 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 34327 33739 566 18 0 34309 0 [pid=22632] vsize: 137308 Current children cumulated CPU time (s) 858.56 Current children cumulated vsize (Kb) 137308 [startup+870.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34018 0 0 0 86693 162 0 0 25 0 1 0 1801237209 141750272 33984 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 34607 33984 566 18 0 34589 0 [pid=22632] vsize: 138428 Current children cumulated CPU time (s) 868.55 Current children cumulated vsize (Kb) 138428 [startup+880.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34478 0 0 0 87690 164 0 0 25 0 1 0 1801237209 143663104 34444 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 35074 34444 566 18 0 35056 0 [pid=22632] vsize: 140296 Current children cumulated CPU time (s) 878.54 Current children cumulated vsize (Kb) 140296 [startup+890.088 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 34702 0 0 0 88686 165 0 0 25 0 1 0 1801237209 144560128 34668 4294967295 134512640 134578447 3221224624 3221223456 134528605 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 35293 34668 566 18 0 35275 0 [pid=22632] vsize: 141172 Current children cumulated CPU time (s) 888.51 Current children cumulated vsize (Kb) 141172 [startup+900.089 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35364 0 0 0 89680 169 0 0 25 0 1 0 1801237209 147324928 35330 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 35968 35330 566 18 0 35950 0 [pid=22632] vsize: 143872 Current children cumulated CPU time (s) 898.49 Current children cumulated vsize (Kb) 143872 [startup+910.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35617 0 0 0 90677 170 0 0 25 0 1 0 1801237209 148295680 35583 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 36205 35583 566 18 0 36187 0 [pid=22632] vsize: 144820 Current children cumulated CPU time (s) 908.47 Current children cumulated vsize (Kb) 144820 [startup+920.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 35974 0 0 0 91675 171 0 0 25 0 1 0 1801237209 149807104 35940 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 36574 35940 566 18 0 36556 0 [pid=22632] vsize: 146296 Current children cumulated CPU time (s) 918.46 Current children cumulated vsize (Kb) 146296 [startup+930.091 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36269 0 0 0 92673 173 0 0 25 0 1 0 1801237209 151003136 36235 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 36866 36235 566 18 0 36848 0 [pid=22632] vsize: 147464 Current children cumulated CPU time (s) 928.46 Current children cumulated vsize (Kb) 147464 [startup+940.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36564 0 0 0 93671 174 0 0 25 0 1 0 1801237209 152272896 36530 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 37176 36530 566 18 0 37158 0 [pid=22632] vsize: 148704 Current children cumulated CPU time (s) 938.45 Current children cumulated vsize (Kb) 148704 [startup+950.091 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 36993 0 0 0 94669 175 0 0 25 0 1 0 1801237209 154103808 36959 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 37623 36959 566 18 0 37605 0 [pid=22632] vsize: 150492 Current children cumulated CPU time (s) 948.44 Current children cumulated vsize (Kb) 150492 [startup+960.091 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37139 0 0 0 95668 175 0 0 25 0 1 0 1801237209 154656768 37105 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 37758 37105 566 18 0 37740 0 [pid=22632] vsize: 151032 Current children cumulated CPU time (s) 958.43 Current children cumulated vsize (Kb) 151032 [startup+970.092 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37481 0 0 0 96665 177 0 0 25 0 1 0 1801237209 156102656 37447 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 38111 37447 566 18 0 38093 0 [pid=22632] vsize: 152444 Current children cumulated CPU time (s) 968.42 Current children cumulated vsize (Kb) 152444 [startup+980.092 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37513 0 0 0 97664 178 0 0 25 0 1 0 1801237209 156295168 37479 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 38158 37479 566 18 0 38140 0 [pid=22632] vsize: 152632 Current children cumulated CPU time (s) 978.42 Current children cumulated vsize (Kb) 152632 [startup+990.093 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 37940 0 0 0 98662 179 0 0 25 0 1 0 1801237209 158060544 37906 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 38589 37906 566 18 0 38571 0 [pid=22632] vsize: 154356 Current children cumulated CPU time (s) 988.41 Current children cumulated vsize (Kb) 154356 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38327 0 0 0 99659 181 0 0 25 0 1 0 1801237209 159629312 38293 4294967295 134512640 134578447 3221224624 3221223124 1075289793 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 38972 38293 566 18 0 38954 0 [pid=22632] vsize: 155888 Current children cumulated CPU time (s) 998.4 Current children cumulated vsize (Kb) 155888 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38603 0 0 0 100653 183 0 0 25 0 1 0 1801237209 160714752 38569 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 39237 38569 566 18 0 39219 0 [pid=22632] vsize: 156948 Current children cumulated CPU time (s) 1008.36 Current children cumulated vsize (Kb) 156948 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 38907 0 0 0 101651 184 0 0 25 0 1 0 1801237209 161947648 38873 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 39538 38873 566 18 0 39520 0 [pid=22632] vsize: 158152 Current children cumulated CPU time (s) 1018.35 Current children cumulated vsize (Kb) 158152 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39055 0 0 0 102649 185 0 0 25 0 1 0 1801237209 162598912 39021 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 39697 39021 566 18 0 39679 0 [pid=22632] vsize: 158788 Current children cumulated CPU time (s) 1028.34 Current children cumulated vsize (Kb) 158788 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39321 0 0 0 103647 186 0 0 25 0 1 0 1801237209 163729408 39287 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 39973 39287 566 18 0 39955 0 [pid=22632] vsize: 159892 Current children cumulated CPU time (s) 1038.33 Current children cumulated vsize (Kb) 159892 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39529 0 0 0 104645 187 0 0 25 0 1 0 1801237209 164532224 39495 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 40169 39495 566 18 0 40151 0 [pid=22632] vsize: 160676 Current children cumulated CPU time (s) 1048.32 Current children cumulated vsize (Kb) 160676 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 39769 0 0 0 105643 189 0 0 25 0 1 0 1801237209 165654528 39735 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 40443 39735 566 18 0 40425 0 [pid=22632] vsize: 161772 Current children cumulated CPU time (s) 1058.32 Current children cumulated vsize (Kb) 161772 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40152 0 0 0 106641 190 0 0 25 0 1 0 1801237209 167129088 40118 4294967295 134512640 134578447 3221224624 3221223476 134555878 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 40803 40118 566 18 0 40785 0 [pid=22632] vsize: 163212 Current children cumulated CPU time (s) 1068.31 Current children cumulated vsize (Kb) 163212 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40653 0 0 0 107637 192 0 0 25 0 1 0 1801237209 169197568 40619 4294967295 134512640 134578447 3221224624 3221222672 134532402 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/22632/statm): 41308 40619 566 18 0 41290 0 [pid=22632] vsize: 165232 Current children cumulated CPU time (s) 1078.29 Current children cumulated vsize (Kb) 165232 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40690 0 0 0 108635 193 0 0 25 0 1 0 1801237209 169345024 40656 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 41344 40656 566 18 0 41326 0 [pid=22632] vsize: 165376 Current children cumulated CPU time (s) 1088.28 Current children cumulated vsize (Kb) 165376 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 40939 0 0 0 109634 193 0 0 25 0 1 0 1801237209 170496000 40905 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 41625 40905 566 18 0 41607 0 [pid=22632] vsize: 166500 Current children cumulated CPU time (s) 1098.27 Current children cumulated vsize (Kb) 166500 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41193 0 0 0 110633 195 0 0 25 0 1 0 1801237209 171511808 41159 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 41873 41159 566 18 0 41855 0 [pid=22632] vsize: 167492 Current children cumulated CPU time (s) 1108.28 Current children cumulated vsize (Kb) 167492 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41323 0 0 0 111631 196 0 0 25 0 1 0 1801237209 172048384 41289 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 42004 41289 566 18 0 41986 0 [pid=22632] vsize: 168016 Current children cumulated CPU time (s) 1118.27 Current children cumulated vsize (Kb) 168016 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 41730 0 0 0 112629 197 0 0 25 0 1 0 1801237209 173723648 41696 4294967295 134512640 134578447 3221224624 3221223456 134528576 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 42413 41696 566 18 0 42395 0 [pid=22632] vsize: 169652 Current children cumulated CPU time (s) 1128.26 Current children cumulated vsize (Kb) 169652 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42205 0 0 0 113626 199 0 0 25 0 1 0 1801237209 175710208 42171 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 42898 42171 566 18 0 42880 0 [pid=22632] vsize: 171592 Current children cumulated CPU time (s) 1138.25 Current children cumulated vsize (Kb) 171592 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42490 0 0 0 114624 201 0 0 25 0 1 0 1801237209 176930816 42456 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 43196 42456 566 18 0 43178 0 [pid=22632] vsize: 172784 Current children cumulated CPU time (s) 1148.25 Current children cumulated vsize (Kb) 172784 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 42832 0 0 0 115621 202 0 0 25 0 1 0 1801237209 178241536 42798 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 43516 42798 566 18 0 43498 0 [pid=22632] vsize: 174064 Current children cumulated CPU time (s) 1158.23 Current children cumulated vsize (Kb) 174064 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43227 0 0 0 116618 204 0 0 25 0 1 0 1801237209 179908608 43193 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 43923 43193 566 18 0 43905 0 [pid=22632] vsize: 175692 Current children cumulated CPU time (s) 1168.22 Current children cumulated vsize (Kb) 175692 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43671 0 0 0 117616 206 0 0 25 0 1 0 1801237209 181665792 43637 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 44352 43637 566 18 0 44334 0 [pid=22632] vsize: 177408 Current children cumulated CPU time (s) 1178.22 Current children cumulated vsize (Kb) 177408 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.93 2/56 22693 Raw data (/proc/22632/stat): 22632 (Pueblo) R 22631 22632 22582 0 -1 0 43985 0 0 0 118614 207 0 0 25 0 1 0 1801237209 182910976 43951 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/22632/statm): 44656 43951 566 18 0 44638 0 [pid=22632] vsize: 178624 Current children cumulated CPU time (s) 1188.21 Current children cumulated vsize (Kb) 178624 One traced child (pid=22632) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1191.12 CPU time (s): 1189.23 CPU user time (s): 1187.07 CPU system time (s): 2.15567 CPU usage (%): 99.8411 Max. virtual memory (cumulated for all children) (Kb): 178624
Verifier: OK -6