Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb |
MD5SUM | b3a3f977e810fc2043ea057a8d94a7d8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1195.04 |
Number of variables | 945 |
Total number of constraints | 58245 |
Number of constraints which are clauses | 58245 |
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 wulflinc22 THE 2005-09-20 14:55:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5048 boxname=wulflinc22 idbench=360 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: b3a3f977e810fc2043ea057a8d94a7d8 /oldhome/oroussel/tmp/wulflinc22/normalized-frb45-21-3.opb REAL COMMAND: Pueblo IDLAUNCH: 5048 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 3 cpu MHz : 451.031 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: 821288 kB Buffers: 32332 kB Cached: 153572 kB SwapCached: 552 kB Active: 58284 kB Inactive: 130212 kB HighTotal: 131008 kB HighFree: 2520 kB LowTotal: 903652 kB LowFree: 818768 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5836 kB Slab: 19300 kB Committed_AS: 64304 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 15:15:44 (client local time) WITH STATUS 10 IN 1189.11 SECONDS stats: 5048 0 1189.11 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: 945 - #constraints read: 58246 c total time : 1189.02 s s SATISFIABLE v -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/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859423800 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23144/statm): 41 3 40 18 0 23 0 [pid=23144] 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.0036 s] Raw data (loadavg): 0.93 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2269 0 0 0 980 11 0 0 25 0 1 0 1859423800 10833920 2235 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 2645 2235 566 18 0 2627 0 [pid=23144] vsize: 10580 Current children cumulated CPU time (s) 9.91 Current children cumulated vsize (Kb) 10580 [startup+20.0034 s] Raw data (loadavg): 0.94 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2269 0 0 0 1974 13 0 0 25 0 1 0 1859423800 10833920 2235 4294967295 134512640 134578447 3221224624 3221223476 134555731 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 2645 2235 566 18 0 2627 0 [pid=23144] vsize: 10580 Current children cumulated CPU time (s) 19.87 Current children cumulated vsize (Kb) 10580 [startup+30.0041 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 2627 0 0 0 2967 16 0 0 25 0 1 0 1859423800 12369920 2593 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 3020 2593 566 18 0 3002 0 [pid=23144] vsize: 12080 Current children cumulated CPU time (s) 29.83 Current children cumulated vsize (Kb) 12080 [startup+40.0037 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 3031 0 0 0 3960 19 0 0 25 0 1 0 1859423800 13914112 2997 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 3397 2997 566 18 0 3379 0 [pid=23144] vsize: 13588 Current children cumulated CPU time (s) 39.79 Current children cumulated vsize (Kb) 13588 [startup+50.0045 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) T 23143 23144 21452 0 -1 0 3468 0 0 0 4955 21 0 0 25 0 1 0 1859423800 15720448 3434 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23144/statm): 3838 3434 566 18 0 3820 0 [pid=23144] vsize: 15352 Current children cumulated CPU time (s) 49.76 Current children cumulated vsize (Kb) 15352 [startup+60.0052 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 3999 0 0 0 5947 25 0 0 25 0 1 0 1859423800 17948672 3965 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 4382 3965 566 18 0 4364 0 [pid=23144] vsize: 17528 Current children cumulated CPU time (s) 59.72 Current children cumulated vsize (Kb) 17528 [startup+70.0049 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 4458 0 0 0 6943 28 0 0 25 0 1 0 1859423800 19898368 4424 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 4858 4424 566 18 0 4840 0 [pid=23144] vsize: 19432 Current children cumulated CPU time (s) 69.71 Current children cumulated vsize (Kb) 19432 [startup+80.0056 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 4887 0 0 0 7939 29 0 0 25 0 1 0 1859423800 21540864 4853 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 5259 4853 566 18 0 5241 0 [pid=23144] vsize: 21036 Current children cumulated CPU time (s) 79.68 Current children cumulated vsize (Kb) 21036 [startup+90.0053 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 5376 0 0 0 8932 32 0 0 25 0 1 0 1859423800 23601152 5342 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 5762 5342 566 18 0 5744 0 [pid=23144] vsize: 23048 Current children cumulated CPU time (s) 89.64 Current children cumulated vsize (Kb) 23048 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 5840 0 0 0 9928 34 0 0 25 0 1 0 1859423800 25571328 5806 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 6243 5806 566 18 0 6225 0 [pid=23144] vsize: 24972 Current children cumulated CPU time (s) 99.62 Current children cumulated vsize (Kb) 24972 [startup+110.007 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 6275 0 0 0 10925 35 0 0 25 0 1 0 1859423800 27230208 6241 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 6648 6241 566 18 0 6630 0 [pid=23144] vsize: 26592 Current children cumulated CPU time (s) 109.6 Current children cumulated vsize (Kb) 26592 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 6746 0 0 0 11921 37 0 0 25 0 1 0 1859423800 29163520 6712 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 7120 6712 566 18 0 7102 0 [pid=23144] vsize: 28480 Current children cumulated CPU time (s) 119.58 Current children cumulated vsize (Kb) 28480 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7170 0 0 0 12913 41 0 0 25 0 1 0 1859423800 30978048 7136 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 7563 7136 566 18 0 7545 0 [pid=23144] vsize: 30252 Current children cumulated CPU time (s) 129.54 Current children cumulated vsize (Kb) 30252 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7644 0 0 0 13910 43 0 0 25 0 1 0 1859423800 32948224 7610 4294967295 134512640 134578447 3221224624 3221223476 134555832 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 8044 7610 566 18 0 8026 0 [pid=23144] vsize: 32176 Current children cumulated CPU time (s) 139.53 Current children cumulated vsize (Kb) 32176 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 7973 0 0 0 14906 45 0 0 25 0 1 0 1859423800 34209792 7939 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 8352 7939 566 18 0 8334 0 [pid=23144] vsize: 33408 Current children cumulated CPU time (s) 149.51 Current children cumulated vsize (Kb) 33408 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 8439 0 0 0 15903 47 0 0 25 0 1 0 1859423800 36204544 8405 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 8839 8405 566 18 0 8821 0 [pid=23144] vsize: 35356 Current children cumulated CPU time (s) 159.5 Current children cumulated vsize (Kb) 35356 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 8773 0 0 0 16900 49 0 0 25 0 1 0 1859423800 37552128 8739 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 9168 8739 566 18 0 9150 0 [pid=23144] vsize: 36672 Current children cumulated CPU time (s) 169.49 Current children cumulated vsize (Kb) 36672 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 9234 0 0 0 17896 50 0 0 25 0 1 0 1859423800 39366656 9200 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 9611 9200 566 18 0 9593 0 [pid=23144] vsize: 38444 Current children cumulated CPU time (s) 179.46 Current children cumulated vsize (Kb) 38444 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 9702 0 0 0 18889 53 0 0 25 0 1 0 1859423800 41295872 9668 4294967295 134512640 134578447 3221224624 3221221024 134533043 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 10082 9668 566 18 0 10064 0 [pid=23144] vsize: 40328 Current children cumulated CPU time (s) 189.42 Current children cumulated vsize (Kb) 40328 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10234 0 0 0 19884 55 0 0 25 0 1 0 1859423800 43474944 10200 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 10614 10200 566 18 0 10596 0 [pid=23144] vsize: 42456 Current children cumulated CPU time (s) 199.39 Current children cumulated vsize (Kb) 42456 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.99 3/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10581 0 0 0 20882 56 0 0 25 0 1 0 1859423800 44896256 10547 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 10961 10547 566 18 0 10943 0 [pid=23144] vsize: 43844 Current children cumulated CPU time (s) 209.38 Current children cumulated vsize (Kb) 43844 [startup+220.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 10973 0 0 0 21878 59 0 0 25 0 1 0 1859423800 46563328 10939 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 11368 10939 566 18 0 11350 0 [pid=23144] vsize: 45472 Current children cumulated CPU time (s) 219.37 Current children cumulated vsize (Kb) 45472 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 11395 0 0 0 22875 60 0 0 25 0 1 0 1859423800 48332800 11361 4294967295 134512640 134578447 3221224624 3221223480 134527145 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 11800 11361 566 18 0 11782 0 [pid=23144] vsize: 47200 Current children cumulated CPU time (s) 229.35 Current children cumulated vsize (Kb) 47200 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 11823 0 0 0 23872 62 0 0 25 0 1 0 1859423800 50216960 11789 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 12260 11789 566 18 0 12242 0 [pid=23144] vsize: 49040 Current children cumulated CPU time (s) 239.34 Current children cumulated vsize (Kb) 49040 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 23144 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 12282 0 0 0 24867 66 0 0 25 0 1 0 1859423800 52150272 12248 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23144/statm): 12732 12248 566 18 0 12714 0 [pid=23144] vsize: 50928 Current children cumulated CPU time (s) 249.33 Current children cumulated vsize (Kb) 50928 [startup+260.018 s] Raw data (loadavg): 1.07 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 12651 0 0 0 25848 81 0 0 25 0 1 0 1859423800 53563392 12617 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 13077 12617 566 18 0 13059 0 [pid=23144] vsize: 52308 Current children cumulated CPU time (s) 259.29 Current children cumulated vsize (Kb) 52308 [startup+270.018 s] Raw data (loadavg): 1.06 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13073 0 0 0 26844 83 0 0 25 0 1 0 1859423800 55390208 13039 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 13523 13039 566 18 0 13505 0 [pid=23144] vsize: 54092 Current children cumulated CPU time (s) 269.27 Current children cumulated vsize (Kb) 54092 [startup+280.019 s] Raw data (loadavg): 1.05 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13451 0 0 0 27841 85 0 0 25 0 1 0 1859423800 56885248 13417 4294967295 134512640 134578447 3221224624 3221223296 134523427 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 13888 13417 566 18 0 13870 0 [pid=23144] vsize: 55552 Current children cumulated CPU time (s) 279.26 Current children cumulated vsize (Kb) 55552 [startup+290.019 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 13998 0 0 0 28837 88 0 0 25 0 1 0 1859423800 59105280 13964 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 14430 13964 566 18 0 14412 0 [pid=23144] vsize: 57720 Current children cumulated CPU time (s) 289.25 Current children cumulated vsize (Kb) 57720 [startup+300.02 s] Raw data (loadavg): 1.04 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 14364 0 0 0 29833 90 0 0 25 0 1 0 1859423800 60657664 14330 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 14809 14330 566 18 0 14791 0 [pid=23144] vsize: 59236 Current children cumulated CPU time (s) 299.23 Current children cumulated vsize (Kb) 59236 [startup+310.02 s] Raw data (loadavg): 1.03 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 14871 0 0 0 30829 92 0 0 25 0 1 0 1859423800 62767104 14837 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 15324 14837 566 18 0 15306 0 [pid=23144] vsize: 61296 Current children cumulated CPU time (s) 309.21 Current children cumulated vsize (Kb) 61296 [startup+320.02 s] Raw data (loadavg): 1.03 1.00 0.99 2/56 23199 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 15310 0 0 0 31824 95 0 0 25 0 1 0 1859423800 64540672 15276 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 15757 15276 566 18 0 15739 0 [pid=23144] vsize: 63028 Current children cumulated CPU time (s) 319.19 Current children cumulated vsize (Kb) 63028 [startup+330.02 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 23201 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 15733 0 0 0 32819 97 0 0 25 0 1 0 1859423800 66306048 15699 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 16188 15699 566 18 0 16170 0 [pid=23144] vsize: 64752 Current children cumulated CPU time (s) 329.16 Current children cumulated vsize (Kb) 64752 [startup+340.02 s] Raw data (loadavg): 1.02 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 16106 0 0 0 33815 99 0 0 25 0 1 0 1859423800 67846144 16072 4294967295 134512640 134578447 3221224624 3221221024 134533042 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 16564 16072 566 18 0 16546 0 [pid=23144] vsize: 66256 Current children cumulated CPU time (s) 339.14 Current children cumulated vsize (Kb) 66256 [startup+350.021 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 16497 0 0 0 34812 101 0 0 25 0 1 0 1859423800 69357568 16463 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 16933 16463 566 18 0 16915 0 [pid=23144] vsize: 67732 Current children cumulated CPU time (s) 349.13 Current children cumulated vsize (Kb) 67732 [startup+360.021 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17003 0 0 0 35803 105 0 0 25 0 1 0 1859423800 71413760 16969 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 17435 16969 566 18 0 17417 0 [pid=23144] vsize: 69740 Current children cumulated CPU time (s) 359.08 Current children cumulated vsize (Kb) 69740 [startup+370.021 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17385 0 0 0 36798 108 0 0 25 0 1 0 1859423800 73089024 17351 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 17844 17351 566 18 0 17826 0 [pid=23144] vsize: 71376 Current children cumulated CPU time (s) 369.06 Current children cumulated vsize (Kb) 71376 [startup+380.022 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 17633 0 0 0 37797 109 0 0 25 0 1 0 1859423800 74182656 17599 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 18111 17599 566 18 0 18093 0 [pid=23144] vsize: 72444 Current children cumulated CPU time (s) 379.06 Current children cumulated vsize (Kb) 72444 [startup+390.022 s] Raw data (loadavg): 1.01 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18024 0 0 0 38793 111 0 0 25 0 1 0 1859423800 75792384 17990 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 18504 17990 566 18 0 18486 0 [pid=23144] vsize: 74016 Current children cumulated CPU time (s) 389.04 Current children cumulated vsize (Kb) 74016 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18447 0 0 0 39790 112 0 0 25 0 1 0 1859423800 77484032 18413 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 18917 18413 566 18 0 18899 0 [pid=23144] vsize: 75668 Current children cumulated CPU time (s) 399.02 Current children cumulated vsize (Kb) 75668 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 18968 0 0 0 40786 115 0 0 25 0 1 0 1859423800 79720448 18934 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 19463 18934 566 18 0 19445 0 [pid=23144] vsize: 77852 Current children cumulated CPU time (s) 409.01 Current children cumulated vsize (Kb) 77852 [startup+420.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19365 0 0 0 41784 117 0 0 25 0 1 0 1859423800 81244160 19331 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 19835 19331 566 18 0 19817 0 [pid=23144] vsize: 79340 Current children cumulated CPU time (s) 419.01 Current children cumulated vsize (Kb) 79340 [startup+430.022 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 19741 0 0 0 42780 119 0 0 25 0 1 0 1859423800 82759680 19707 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 20205 19707 566 18 0 20187 0 [pid=23144] vsize: 80820 Current children cumulated CPU time (s) 428.99 Current children cumulated vsize (Kb) 80820 [startup+440.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20183 0 0 0 43777 121 0 0 25 0 1 0 1859423800 84586496 20149 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 20651 20149 566 18 0 20633 0 [pid=23144] vsize: 82604 Current children cumulated CPU time (s) 438.98 Current children cumulated vsize (Kb) 82604 [startup+450.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20662 0 0 0 44775 122 0 0 25 0 1 0 1859423800 86581248 20628 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 21138 20628 566 18 0 21120 0 [pid=23144] vsize: 84552 Current children cumulated CPU time (s) 448.97 Current children cumulated vsize (Kb) 84552 [startup+460.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 20997 0 0 0 45772 123 0 0 25 0 1 0 1859423800 87945216 20963 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 21471 20963 566 18 0 21453 0 [pid=23144] vsize: 85884 Current children cumulated CPU time (s) 458.95 Current children cumulated vsize (Kb) 85884 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 21407 0 0 0 46768 125 0 0 25 0 1 0 1859423800 89595904 21373 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 21874 21373 566 18 0 21856 0 [pid=23144] vsize: 87496 Current children cumulated CPU time (s) 468.93 Current children cumulated vsize (Kb) 87496 [startup+480.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 21835 0 0 0 47765 127 0 0 25 0 1 0 1859423800 91435008 21801 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 22323 21801 566 18 0 22305 0 [pid=23144] vsize: 89292 Current children cumulated CPU time (s) 478.92 Current children cumulated vsize (Kb) 89292 [startup+490.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 22227 0 0 0 48762 128 0 0 25 0 1 0 1859423800 92946432 22193 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 22692 22193 566 18 0 22674 0 [pid=23144] vsize: 90768 Current children cumulated CPU time (s) 488.9 Current children cumulated vsize (Kb) 90768 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 22674 0 0 0 49756 131 0 0 25 0 1 0 1859423800 94867456 22640 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 23161 22640 566 18 0 23143 0 [pid=23144] vsize: 92644 Current children cumulated CPU time (s) 498.87 Current children cumulated vsize (Kb) 92644 [startup+510.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23023 0 0 0 50754 132 0 0 25 0 1 0 1859423800 96251904 22989 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 23499 22989 566 18 0 23481 0 [pid=23144] vsize: 93996 Current children cumulated CPU time (s) 508.86 Current children cumulated vsize (Kb) 93996 [startup+520.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23296 0 0 0 51747 134 0 0 25 0 1 0 1859423800 97345536 23262 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 23766 23262 566 18 0 23748 0 [pid=23144] vsize: 95064 Current children cumulated CPU time (s) 518.81 Current children cumulated vsize (Kb) 95064 [startup+530.025 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 23711 0 0 0 52743 137 0 0 25 0 1 0 1859423800 99139584 23677 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 24204 23677 566 18 0 24186 0 [pid=23144] vsize: 96816 Current children cumulated CPU time (s) 528.8 Current children cumulated vsize (Kb) 96816 [startup+540.026 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24106 0 0 0 53740 138 0 0 25 0 1 0 1859423800 100720640 24072 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 24590 24072 566 18 0 24572 0 [pid=23144] vsize: 98360 Current children cumulated CPU time (s) 538.78 Current children cumulated vsize (Kb) 98360 [startup+550.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24366 0 0 0 54737 140 0 0 25 0 1 0 1859423800 101834752 24332 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 24862 24332 566 18 0 24844 0 [pid=23144] vsize: 99448 Current children cumulated CPU time (s) 548.77 Current children cumulated vsize (Kb) 99448 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24702 0 0 0 55735 142 0 0 25 0 1 0 1859423800 103239680 24668 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 25205 24668 566 18 0 25187 0 [pid=23144] vsize: 100820 Current children cumulated CPU time (s) 558.77 Current children cumulated vsize (Kb) 100820 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 24963 0 0 0 56733 143 0 0 25 0 1 0 1859423800 104370176 24929 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 25481 24929 566 18 0 25463 0 [pid=23144] vsize: 101924 Current children cumulated CPU time (s) 568.76 Current children cumulated vsize (Kb) 101924 [startup+580.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25278 0 0 0 57730 144 0 0 25 0 1 0 1859423800 105627648 25244 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 25788 25244 566 18 0 25770 0 [pid=23144] vsize: 103152 Current children cumulated CPU time (s) 578.74 Current children cumulated vsize (Kb) 103152 [startup+590.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23203 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25636 0 0 0 58727 146 0 0 25 0 1 0 1859423800 107126784 25602 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 26154 25602 566 18 0 26136 0 [pid=23144] vsize: 104616 Current children cumulated CPU time (s) 588.73 Current children cumulated vsize (Kb) 104616 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 25944 0 0 0 59724 148 0 0 25 0 1 0 1859423800 108331008 25910 4294967295 134512640 134578447 3221224624 3221223476 134555763 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 26448 25910 566 18 0 26430 0 [pid=23144] vsize: 105792 Current children cumulated CPU time (s) 598.72 Current children cumulated vsize (Kb) 105792 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 26222 0 0 0 60722 149 0 0 25 0 1 0 1859423800 109428736 26188 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 26716 26188 566 18 0 26698 0 [pid=23144] vsize: 106864 Current children cumulated CPU time (s) 608.71 Current children cumulated vsize (Kb) 106864 [startup+620.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) T 23143 23144 21452 0 -1 0 26591 0 0 0 61718 152 0 0 25 0 1 0 1859423800 111005696 26557 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/23144/statm): 27101 26557 566 18 0 27083 0 [pid=23144] vsize: 108404 Current children cumulated CPU time (s) 618.7 Current children cumulated vsize (Kb) 108404 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 26948 0 0 0 62714 153 0 0 25 0 1 0 1859423800 112435200 26914 4294967295 134512640 134578447 3221224624 3221223504 134518978 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 27450 26914 566 18 0 27432 0 [pid=23144] vsize: 109800 Current children cumulated CPU time (s) 628.67 Current children cumulated vsize (Kb) 109800 [startup+640.029 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 27342 0 0 0 63711 155 0 0 25 0 1 0 1859423800 113991680 27308 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 27830 27308 566 18 0 27812 0 [pid=23144] vsize: 111320 Current children cumulated CPU time (s) 638.66 Current children cumulated vsize (Kb) 111320 [startup+650.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 27792 0 0 0 64705 158 0 0 25 0 1 0 1859423800 115863552 27758 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 28287 27758 566 18 0 28269 0 [pid=23144] vsize: 113148 Current children cumulated CPU time (s) 648.63 Current children cumulated vsize (Kb) 113148 [startup+660.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28219 0 0 0 65700 161 0 0 25 0 1 0 1859423800 117702656 28185 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 28736 28185 566 18 0 28718 0 [pid=23144] vsize: 114944 Current children cumulated CPU time (s) 658.61 Current children cumulated vsize (Kb) 114944 [startup+670.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28592 0 0 0 66697 162 0 0 25 0 1 0 1859423800 119263232 28558 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 29117 28558 566 18 0 29099 0 [pid=23144] vsize: 116468 Current children cumulated CPU time (s) 668.59 Current children cumulated vsize (Kb) 116468 [startup+680.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 28951 0 0 0 67694 164 0 0 25 0 1 0 1859423800 120635392 28917 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 29452 28917 566 18 0 29434 0 [pid=23144] vsize: 117808 Current children cumulated CPU time (s) 678.58 Current children cumulated vsize (Kb) 117808 [startup+690.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 29243 0 0 0 68691 165 0 0 25 0 1 0 1859423800 121901056 29209 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 29761 29209 566 18 0 29743 0 [pid=23144] vsize: 119044 Current children cumulated CPU time (s) 688.56 Current children cumulated vsize (Kb) 119044 [startup+700.031 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 29590 0 0 0 69687 168 0 0 25 0 1 0 1859423800 123387904 29556 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 30124 29556 566 18 0 30106 0 [pid=23144] vsize: 120496 Current children cumulated CPU time (s) 698.55 Current children cumulated vsize (Kb) 120496 [startup+710.032 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30054 0 0 0 70683 169 0 0 25 0 1 0 1859423800 125304832 30020 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 30592 30021 566 18 0 30574 0 [pid=23144] vsize: 122368 Current children cumulated CPU time (s) 708.52 Current children cumulated vsize (Kb) 122368 [startup+720.033 s] Raw data (loadavg): 1.00 1.00 0.99 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30555 0 0 0 71681 171 0 0 25 0 1 0 1859423800 127270912 30521 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 31072 30521 566 18 0 31054 0 [pid=23144] vsize: 124288 Current children cumulated CPU time (s) 718.52 Current children cumulated vsize (Kb) 124288 [startup+730.033 s] Raw data (loadavg): 1.15 1.03 1.01 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 30772 0 0 0 72678 172 0 0 25 0 1 0 1859423800 128229376 30738 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 31306 30738 566 18 0 31288 0 [pid=23144] vsize: 125224 Current children cumulated CPU time (s) 728.5 Current children cumulated vsize (Kb) 125224 [startup+740.032 s] Raw data (loadavg): 1.13 1.03 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31078 0 0 0 73674 174 0 0 25 0 1 0 1859423800 129540096 31044 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 31626 31044 566 18 0 31608 0 [pid=23144] vsize: 126504 Current children cumulated CPU time (s) 738.48 Current children cumulated vsize (Kb) 126504 [startup+750.033 s] Raw data (loadavg): 1.11 1.03 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31648 0 0 0 74670 177 0 0 25 0 1 0 1859423800 131874816 31614 4294967295 134512640 134578447 3221224624 3221223504 134518942 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 32196 31614 566 18 0 32178 0 [pid=23144] vsize: 128784 Current children cumulated CPU time (s) 748.47 Current children cumulated vsize (Kb) 128784 [startup+760.033 s] Raw data (loadavg): 1.09 1.03 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 31950 0 0 0 75668 178 0 0 25 0 1 0 1859423800 133103616 31916 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 32496 31916 566 18 0 32478 0 [pid=23144] vsize: 129984 Current children cumulated CPU time (s) 758.46 Current children cumulated vsize (Kb) 129984 [startup+770.032 s] Raw data (loadavg): 1.08 1.03 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32198 0 0 0 76665 180 0 0 25 0 1 0 1859423800 134066176 32164 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 32731 32164 566 18 0 32713 0 [pid=23144] vsize: 130924 Current children cumulated CPU time (s) 768.45 Current children cumulated vsize (Kb) 130924 [startup+780.033 s] Raw data (loadavg): 1.06 1.03 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32612 0 0 0 77661 182 0 0 25 0 1 0 1859423800 135819264 32578 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 33159 32578 566 18 0 33141 0 [pid=23144] vsize: 132636 Current children cumulated CPU time (s) 778.43 Current children cumulated vsize (Kb) 132636 [startup+790.034 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 32835 0 0 0 78659 183 0 0 25 0 1 0 1859423800 136724480 32801 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 33380 32801 566 18 0 33362 0 [pid=23144] vsize: 133520 Current children cumulated CPU time (s) 788.42 Current children cumulated vsize (Kb) 133520 [startup+800.034 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 33350 0 0 0 79655 185 0 0 25 0 1 0 1859423800 139034624 33316 4294967295 134512640 134578447 3221224624 3221223504 134527623 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 33944 33316 566 18 0 33926 0 [pid=23144] vsize: 135776 Current children cumulated CPU time (s) 798.4 Current children cumulated vsize (Kb) 135776 [startup+810.035 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 33672 0 0 0 80651 187 0 0 25 0 1 0 1859423800 140275712 33638 4294967295 134512640 134578447 3221224624 3221223456 134527020 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 34247 33638 566 18 0 34229 0 [pid=23144] vsize: 136988 Current children cumulated CPU time (s) 808.38 Current children cumulated vsize (Kb) 136988 [startup+820.035 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34017 0 0 0 81648 189 0 0 25 0 1 0 1859423800 141799424 33983 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 34619 33983 566 18 0 34601 0 [pid=23144] vsize: 138476 Current children cumulated CPU time (s) 818.37 Current children cumulated vsize (Kb) 138476 [startup+830.036 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34390 0 0 0 82645 190 0 0 25 0 1 0 1859423800 143200256 34356 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 34961 34356 566 18 0 34943 0 [pid=23144] vsize: 139844 Current children cumulated CPU time (s) 828.35 Current children cumulated vsize (Kb) 139844 [startup+840.036 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 34691 0 0 0 83639 192 0 0 25 0 1 0 1859423800 144449536 34657 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 35266 34657 566 18 0 35248 0 [pid=23144] vsize: 141064 Current children cumulated CPU time (s) 838.31 Current children cumulated vsize (Kb) 141064 [startup+850.037 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35044 0 0 0 84634 195 0 0 25 0 1 0 1859423800 145887232 35010 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 35617 35010 566 18 0 35599 0 [pid=23144] vsize: 142468 Current children cumulated CPU time (s) 848.29 Current children cumulated vsize (Kb) 142468 [startup+860.038 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35324 0 0 0 85631 198 0 0 25 0 1 0 1859423800 147116032 35290 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 35917 35290 566 18 0 35899 0 [pid=23144] vsize: 143668 Current children cumulated CPU time (s) 858.29 Current children cumulated vsize (Kb) 143668 [startup+870.037 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 35702 0 0 0 86628 199 0 0 25 0 1 0 1859423800 148684800 35668 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 36300 35668 566 18 0 36282 0 [pid=23144] vsize: 145200 Current children cumulated CPU time (s) 868.27 Current children cumulated vsize (Kb) 145200 [startup+880.038 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36031 0 0 0 87625 201 0 0 25 0 1 0 1859423800 150036480 35997 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 36630 35997 566 18 0 36612 0 [pid=23144] vsize: 146520 Current children cumulated CPU time (s) 878.26 Current children cumulated vsize (Kb) 146520 [startup+890.039 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36457 0 0 0 88620 204 0 0 25 0 1 0 1859423800 151855104 36423 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 37074 36423 566 18 0 37056 0 [pid=23144] vsize: 148296 Current children cumulated CPU time (s) 888.24 Current children cumulated vsize (Kb) 148296 [startup+900.04 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 36907 0 0 0 89616 206 0 0 25 0 1 0 1859423800 153616384 36873 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 37504 36873 566 18 0 37486 0 [pid=23144] vsize: 150016 Current children cumulated CPU time (s) 898.22 Current children cumulated vsize (Kb) 150016 [startup+910.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 37361 0 0 0 90612 209 0 0 25 0 1 0 1859423800 155480064 37327 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 37959 37327 566 18 0 37941 0 [pid=23144] vsize: 151836 Current children cumulated CPU time (s) 908.21 Current children cumulated vsize (Kb) 151836 [startup+920.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 37775 0 0 0 91609 210 0 0 25 0 1 0 1859423800 157270016 37741 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 38396 37741 566 18 0 38378 0 [pid=23144] vsize: 153584 Current children cumulated CPU time (s) 918.19 Current children cumulated vsize (Kb) 153584 [startup+930.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 38083 0 0 0 92605 212 0 0 25 0 1 0 1859423800 158490624 38049 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 38694 38049 566 18 0 38676 0 [pid=23144] vsize: 154776 Current children cumulated CPU time (s) 928.17 Current children cumulated vsize (Kb) 154776 [startup+940.039 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 38532 0 0 0 93601 214 0 0 25 0 1 0 1859423800 160374784 38498 4294967295 134512640 134578447 3221224624 3221223476 134555904 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 39154 38498 566 18 0 39136 0 [pid=23144] vsize: 156616 Current children cumulated CPU time (s) 938.15 Current children cumulated vsize (Kb) 156616 [startup+950.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39003 0 0 0 94598 216 0 0 25 0 1 0 1859423800 162287616 38969 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 39621 38969 566 18 0 39603 0 [pid=23144] vsize: 158484 Current children cumulated CPU time (s) 948.14 Current children cumulated vsize (Kb) 158484 [startup+960.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39130 0 0 0 95596 217 0 0 25 0 1 0 1859423800 162885632 39096 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 39767 39096 566 18 0 39749 0 [pid=23144] vsize: 159068 Current children cumulated CPU time (s) 958.13 Current children cumulated vsize (Kb) 159068 [startup+970.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39313 0 0 0 96593 219 0 0 25 0 1 0 1859423800 163692544 39279 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 39964 39279 566 18 0 39946 0 [pid=23144] vsize: 159856 Current children cumulated CPU time (s) 968.12 Current children cumulated vsize (Kb) 159856 [startup+980.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39579 0 0 0 97592 220 0 0 25 0 1 0 1859423800 164790272 39545 4294967295 134512640 134578447 3221224624 3221223488 134517804 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 40232 39545 566 18 0 40214 0 [pid=23144] vsize: 160928 Current children cumulated CPU time (s) 978.12 Current children cumulated vsize (Kb) 160928 [startup+990.041 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 39829 0 0 0 98589 221 0 0 25 0 1 0 1859423800 165752832 39795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 40467 39795 566 18 0 40449 0 [pid=23144] vsize: 161868 Current children cumulated CPU time (s) 988.1 Current children cumulated vsize (Kb) 161868 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40089 0 0 0 99587 223 0 0 25 0 1 0 1859423800 166866944 40055 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 40739 40055 566 18 0 40721 0 [pid=23144] vsize: 162956 Current children cumulated CPU time (s) 998.1 Current children cumulated vsize (Kb) 162956 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40294 0 0 0 100586 224 0 0 25 0 1 0 1859423800 167747584 40260 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 40954 40260 566 18 0 40936 0 [pid=23144] vsize: 163816 Current children cumulated CPU time (s) 1008.1 Current children cumulated vsize (Kb) 163816 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40531 0 0 0 101584 225 0 0 25 0 1 0 1859423800 168792064 40497 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 41209 40497 566 18 0 41191 0 [pid=23144] vsize: 164836 Current children cumulated CPU time (s) 1018.09 Current children cumulated vsize (Kb) 164836 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40605 0 0 0 102582 226 0 0 25 0 1 0 1859423800 169078784 40571 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 41279 40571 566 18 0 41261 0 [pid=23144] vsize: 165116 Current children cumulated CPU time (s) 1028.08 Current children cumulated vsize (Kb) 165116 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 40827 0 0 0 103580 227 0 0 25 0 1 0 1859423800 169897984 40793 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 41479 40793 566 18 0 41461 0 [pid=23144] vsize: 165916 Current children cumulated CPU time (s) 1038.07 Current children cumulated vsize (Kb) 165916 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41163 0 0 0 104578 229 0 0 25 0 1 0 1859423800 171335680 41129 4294967295 134512640 134578447 3221224624 3221223584 134559060 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 41830 41129 566 18 0 41812 0 [pid=23144] vsize: 167320 Current children cumulated CPU time (s) 1048.07 Current children cumulated vsize (Kb) 167320 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41387 0 0 0 105576 230 0 0 25 0 1 0 1859423800 172199936 41353 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 42041 41353 566 18 0 42023 0 [pid=23144] vsize: 168164 Current children cumulated CPU time (s) 1058.06 Current children cumulated vsize (Kb) 168164 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41745 0 0 0 106574 231 0 0 25 0 1 0 1859423800 173686784 41711 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 42404 41711 566 18 0 42386 0 [pid=23144] vsize: 169616 Current children cumulated CPU time (s) 1068.05 Current children cumulated vsize (Kb) 169616 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 41926 0 0 0 107573 232 0 0 25 0 1 0 1859423800 174379008 41892 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 42573 41892 566 18 0 42555 0 [pid=23144] vsize: 170292 Current children cumulated CPU time (s) 1078.05 Current children cumulated vsize (Kb) 170292 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42218 0 0 0 108570 233 0 0 25 0 1 0 1859423800 175644672 42184 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 42882 42184 566 18 0 42864 0 [pid=23144] vsize: 171528 Current children cumulated CPU time (s) 1088.03 Current children cumulated vsize (Kb) 171528 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42337 0 0 0 109568 234 0 0 25 0 1 0 1859423800 176074752 42303 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 42987 42303 566 18 0 42969 0 [pid=23144] vsize: 171948 Current children cumulated CPU time (s) 1098.02 Current children cumulated vsize (Kb) 171948 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42660 0 0 0 110564 236 0 0 25 0 1 0 1859423800 177483776 42626 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 43331 42626 566 18 0 43313 0 [pid=23144] vsize: 173324 Current children cumulated CPU time (s) 1108 Current children cumulated vsize (Kb) 173324 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 42970 0 0 0 111561 237 0 0 25 0 1 0 1859423800 178745344 42936 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 43639 42936 566 18 0 43621 0 [pid=23144] vsize: 174556 Current children cumulated CPU time (s) 1117.98 Current children cumulated vsize (Kb) 174556 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43213 0 0 0 112559 239 0 0 25 0 1 0 1859423800 179736576 43179 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 43881 43179 566 18 0 43863 0 [pid=23144] vsize: 175524 Current children cumulated CPU time (s) 1127.98 Current children cumulated vsize (Kb) 175524 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43442 0 0 0 113556 239 0 0 25 0 1 0 1859423800 180711424 43408 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 44119 43408 566 18 0 44101 0 [pid=23144] vsize: 176476 Current children cumulated CPU time (s) 1137.95 Current children cumulated vsize (Kb) 176476 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 43760 0 0 0 114552 241 0 0 25 0 1 0 1859423800 181956608 43726 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 44423 43726 566 18 0 44405 0 [pid=23144] vsize: 177692 Current children cumulated CPU time (s) 1147.93 Current children cumulated vsize (Kb) 177692 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44068 0 0 0 115550 242 0 0 25 0 1 0 1859423800 183181312 44034 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 44722 44034 566 18 0 44704 0 [pid=23144] vsize: 178888 Current children cumulated CPU time (s) 1157.92 Current children cumulated vsize (Kb) 178888 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44498 0 0 0 116546 244 0 0 25 0 1 0 1859423800 184954880 44464 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 45155 44464 566 18 0 45137 0 [pid=23144] vsize: 180620 Current children cumulated CPU time (s) 1167.9 Current children cumulated vsize (Kb) 180620 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44706 0 0 0 117543 245 0 0 25 0 1 0 1859423800 185794560 44672 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 45360 44672 566 18 0 45342 0 [pid=23144] vsize: 181440 Current children cumulated CPU time (s) 1177.88 Current children cumulated vsize (Kb) 181440 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 23205 Raw data (/proc/23144/stat): 23144 (Pueblo) R 23143 23144 21452 0 -1 0 44911 0 0 0 118540 247 0 0 25 0 1 0 1859423800 186626048 44877 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/23144/statm): 45563 44877 566 18 0 45545 0 [pid=23144] vsize: 182252 Current children cumulated CPU time (s) 1187.87 Current children cumulated vsize (Kb) 182252 One traced child (pid=23144) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1191.28 CPU time (s): 1189.11 CPU user time (s): 1186.55 CPU system time (s): 2.55861 CPU usage (%): 99.8179 Max. virtual memory (cumulated for all children) (Kb): 182252
Verifier: OK -9