Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM54f6acf3ab92bda8abb11350f74de20e
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -38
Optimality of the best value was proved NO
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.05
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2

Trace number 7892

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-20 14:56:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5052 boxname=wulflinc9 idbench=364 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  54f6acf3ab92bda8abb11350f74de20e  /oldhome/oroussel/tmp/wulflinc9/normalized-frb50-23-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        828892 kB
Buffers:         37860 kB
Cached:         138236 kB
SwapCached:       1044 kB
Active:          69196 kB
Inactive:       109644 kB
HighTotal:      131008 kB
HighFree:         8708 kB
LowTotal:       903652 kB
LowFree:        820184 kB
SwapTotal:     2097136 kB
SwapFree:      2095568 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            21268 kB
Committed_AS:    64172 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:16:36 (client local time) WITH STATUS 10 IN 1189.22 SECONDS
stats: 5052 0 1189.22 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 1150 - #constraints read: 80036
c total time              : 1189.12 s
s SATISFIABLE
v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C101 -C100 -C99 -C98 -C97 -C96 -C95 -C94 -C93 -C92 -C91 -C90 -C89 -C88 -C87 -C86 -C85 -C84 -C83 -C82 -C81 -C80 -C79 -C78 -C77 -C76 -C75 -C74 -C73 C72 -C71 -C70 -C69 -C68 -C67 -C66 -C65 -C64 -C63 -C62 -C61 -C60 -C59 -C58 C57 -C56 -C55 -C54 -C53 -C52 -C51 -C50 -C49 -C48 -C47 -C46 -C45 -C44 -C43 -C42 -C41 -C40 -C39 -C38 -C37 -C36 -C35 -C34 -C33 -C32 -C31 C30 -C29 -C28 -C27 -C26 -C25 -C24 -C23 -C22 -C21 -C20 -C19 -C18 -C17 -C16 -C15 -C14 -C13 -C12 C11 -C10 -C9 -C8 -C7 -C6 -C5 -C4 -C3 -C2 -C1 

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801200883 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 41 3 40 18 0 23 0
[pid=8648] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0042 s]
Raw data (loadavg): 0.93 0.95 0.90 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3018 0 0 0 981 12 0 0 25 0 1 0 1801200883 14147584 2984 4294967295 134512640 134578447 3221224624 3221223536 134556899 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 3454 2984 566 18 0 3436 0
[pid=8648] vsize: 13816
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 13816

[startup+20.0049 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3018 0 0 0 1971 15 0 0 25 0 1 0 1801200883 14147584 2984 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 3454 2984 566 18 0 3436 0
[pid=8648] vsize: 13816
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (Kb) 13816

[startup+30.0047 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3167 0 0 0 2965 17 0 0 25 0 1 0 1801200883 14700544 3133 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 3589 3133 566 18 0 3571 0
[pid=8648] vsize: 14356
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 14356

[startup+40.0044 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3517 0 0 0 3962 19 0 0 25 0 1 0 1801200883 16125952 3483 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 3937 3483 566 18 0 3919 0
[pid=8648] vsize: 15748
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 15748

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 3975 0 0 0 4956 21 0 0 25 0 1 0 1801200883 18124800 3941 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 4425 3941 566 18 0 4407 0
[pid=8648] vsize: 17700
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (Kb) 17700

[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 4372 0 0 0 5954 22 0 0 25 0 1 0 1801200883 19619840 4338 4294967295 134512640 134578447 3221224624 3221223296 134523378 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 4790 4338 566 18 0 4772 0
[pid=8648] vsize: 19160
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 19160

[startup+70.0067 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 4712 0 0 0 6951 23 0 0 25 0 1 0 1801200883 21057536 4678 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 5141 4678 566 18 0 5123 0
[pid=8648] vsize: 20564
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 20564

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5178 0 0 0 7944 26 0 0 25 0 1 0 1801200883 22941696 5144 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 5601 5144 566 18 0 5583 0
[pid=8648] vsize: 22404
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 22404

[startup+90.0062 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5507 0 0 0 8942 28 0 0 25 0 1 0 1801200883 24363008 5473 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 5948 5473 566 18 0 5930 0
[pid=8648] vsize: 23792
Current children cumulated CPU time (s) 89.7
Current children cumulated vsize (Kb) 23792

[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 5802 0 0 0 9940 29 0 0 25 0 1 0 1801200883 25481216 5768 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 6221 5768 566 18 0 6203 0
[pid=8648] vsize: 24884
Current children cumulated CPU time (s) 99.69
Current children cumulated vsize (Kb) 24884

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 6199 0 0 0 10937 31 0 0 25 0 1 0 1801200883 27234304 6165 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 6649 6165 566 18 0 6631 0
[pid=8648] vsize: 26596
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 26596

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 6603 0 0 0 11929 34 0 0 25 0 1 0 1801200883 28897280 6569 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 7055 6569 566 18 0 7037 0
[pid=8648] vsize: 28220
Current children cumulated CPU time (s) 119.63
Current children cumulated vsize (Kb) 28220

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7005 0 0 0 12927 35 0 0 25 0 1 0 1801200883 30441472 6971 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 7432 6971 566 18 0 7414 0
[pid=8648] vsize: 29728
Current children cumulated CPU time (s) 129.62
Current children cumulated vsize (Kb) 29728

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7260 0 0 0 13925 36 0 0 25 0 1 0 1801200883 31588352 7226 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 7712 7226 566 18 0 7694 0
[pid=8648] vsize: 30848
Current children cumulated CPU time (s) 139.61
Current children cumulated vsize (Kb) 30848

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7530 0 0 0 14923 37 0 0 25 0 1 0 1801200883 32583680 7496 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 7955 7496 566 18 0 7937 0
[pid=8648] vsize: 31820
Current children cumulated CPU time (s) 149.6
Current children cumulated vsize (Kb) 31820

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 7854 0 0 0 15921 38 0 0 25 0 1 0 1801200883 33959936 7820 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 8291 7820 566 18 0 8273 0
[pid=8648] vsize: 33164
Current children cumulated CPU time (s) 159.59
Current children cumulated vsize (Kb) 33164

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8145 0 0 0 16920 39 0 0 25 0 1 0 1801200883 35205120 8111 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 8595 8111 566 18 0 8577 0
[pid=8648] vsize: 34380
Current children cumulated CPU time (s) 169.59
Current children cumulated vsize (Kb) 34380

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8430 0 0 0 17918 40 0 0 25 0 1 0 1801200883 36278272 8396 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 8857 8396 566 18 0 8839 0
[pid=8648] vsize: 35428
Current children cumulated CPU time (s) 179.58
Current children cumulated vsize (Kb) 35428

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 8648
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 8839 0 0 0 18910 43 0 0 25 0 1 0 1801200883 37986304 8805 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 9274 8805 566 18 0 9256 0
[pid=8648] vsize: 37096
Current children cumulated CPU time (s) 189.53
Current children cumulated vsize (Kb) 37096

[startup+200.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 8649
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9136 0 0 0 19908 45 0 0 25 0 1 0 1801200883 39272448 9102 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 9588 9102 566 18 0 9570 0
[pid=8648] vsize: 38352
Current children cumulated CPU time (s) 199.53
Current children cumulated vsize (Kb) 38352

[startup+210.009 s]
Raw data (loadavg): 1.14 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9537 0 0 0 20901 51 0 0 25 0 1 0 1801200883 40841216 9503 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 9971 9503 566 18 0 9953 0
[pid=8648] vsize: 39884
Current children cumulated CPU time (s) 209.52
Current children cumulated vsize (Kb) 39884

[startup+220.01 s]
Raw data (loadavg): 1.11 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 9964 0 0 0 21898 52 0 0 25 0 1 0 1801200883 42668032 9930 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 10417 9930 566 18 0 10399 0
[pid=8648] vsize: 41668
Current children cumulated CPU time (s) 219.5
Current children cumulated vsize (Kb) 41668

[startup+230.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10256 0 0 0 22896 54 0 0 25 0 1 0 1801200883 43794432 10222 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 10692 10222 566 18 0 10674 0
[pid=8648] vsize: 42768
Current children cumulated CPU time (s) 229.5
Current children cumulated vsize (Kb) 42768

[startup+240.01 s]
Raw data (loadavg): 1.08 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10594 0 0 0 23894 55 0 0 25 0 1 0 1801200883 45219840 10560 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 11040 10560 566 18 0 11022 0
[pid=8648] vsize: 44160
Current children cumulated CPU time (s) 239.49
Current children cumulated vsize (Kb) 44160

[startup+250.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 10950 0 0 0 24891 56 0 0 25 0 1 0 1801200883 46641152 10916 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 11387 10916 566 18 0 11369 0
[pid=8648] vsize: 45548
Current children cumulated CPU time (s) 249.47
Current children cumulated vsize (Kb) 45548

[startup+260.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11307 0 0 0 25888 57 0 0 25 0 1 0 1801200883 48173056 11273 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 11761 11273 566 18 0 11743 0
[pid=8648] vsize: 47044
Current children cumulated CPU time (s) 259.45
Current children cumulated vsize (Kb) 47044

[startup+270.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 8703
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11686 0 0 0 26885 58 0 0 25 0 1 0 1801200883 49680384 11652 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 12129 11652 566 18 0 12111 0
[pid=8648] vsize: 48516
Current children cumulated CPU time (s) 269.43
Current children cumulated vsize (Kb) 48516

[startup+280.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 11961 0 0 0 27883 59 0 0 25 0 1 0 1801200883 50819072 11927 4294967295 134512640 134578447 3221224624 3221223520 134519748 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 12407 11927 566 18 0 12389 0
[pid=8648] vsize: 49628
Current children cumulated CPU time (s) 279.42
Current children cumulated vsize (Kb) 49628

[startup+290.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12174 0 0 0 28878 61 0 0 25 0 1 0 1801200883 51613696 12140 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 12601 12140 566 18 0 12583 0
[pid=8648] vsize: 50404
Current children cumulated CPU time (s) 289.39
Current children cumulated vsize (Kb) 50404

[startup+300.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12594 0 0 0 29876 63 0 0 25 0 1 0 1801200883 53321728 12560 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 13018 12560 566 18 0 13000 0
[pid=8648] vsize: 52072
Current children cumulated CPU time (s) 299.39
Current children cumulated vsize (Kb) 52072

[startup+310.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 12833 0 0 0 30874 64 0 0 25 0 1 0 1801200883 54439936 12799 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 13291 12799 566 18 0 13273 0
[pid=8648] vsize: 53164
Current children cumulated CPU time (s) 309.38
Current children cumulated vsize (Kb) 53164

[startup+320.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13082 0 0 0 31872 65 0 0 25 0 1 0 1801200883 55472128 13048 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 13543 13048 566 18 0 13525 0
[pid=8648] vsize: 54172
Current children cumulated CPU time (s) 319.37
Current children cumulated vsize (Kb) 54172

[startup+330.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13376 0 0 0 32870 67 0 0 25 0 1 0 1801200883 56582144 13342 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 13814 13342 566 18 0 13796 0
[pid=8648] vsize: 55256
Current children cumulated CPU time (s) 329.37
Current children cumulated vsize (Kb) 55256

[startup+340.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13586 0 0 0 33869 68 0 0 25 0 1 0 1801200883 57462784 13552 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 14029 13552 566 18 0 14011 0
[pid=8648] vsize: 56116
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (Kb) 56116

[startup+350.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 13915 0 0 0 34867 69 0 0 25 0 1 0 1801200883 58765312 13881 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 14347 13881 566 18 0 14329 0
[pid=8648] vsize: 57388
Current children cumulated CPU time (s) 349.36
Current children cumulated vsize (Kb) 57388

[startup+360.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 14295 0 0 0 35863 70 0 0 25 0 1 0 1801200883 60325888 14261 4294967295 134512640 134578447 3221224624 3221223456 134526986 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 14728 14261 566 18 0 14710 0
[pid=8648] vsize: 58912
Current children cumulated CPU time (s) 359.33
Current children cumulated vsize (Kb) 58912

[startup+370.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 14629 0 0 0 36861 72 0 0 25 0 1 0 1801200883 61714432 14595 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 15067 14595 566 18 0 15049 0
[pid=8648] vsize: 60268
Current children cumulated CPU time (s) 369.33
Current children cumulated vsize (Kb) 60268

[startup+380.012 s]
Raw data (loadavg): 1.31 1.07 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15076 0 0 0 37858 73 0 0 25 0 1 0 1801200883 63541248 15042 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 15513 15042 566 18 0 15495 0
[pid=8648] vsize: 62052
Current children cumulated CPU time (s) 379.31
Current children cumulated vsize (Kb) 62052

[startup+390.013 s]
Raw data (loadavg): 1.26 1.06 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15371 0 0 0 38854 76 0 0 25 0 1 0 1801200883 64786432 15337 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 15817 15337 566 18 0 15799 0
[pid=8648] vsize: 63268
Current children cumulated CPU time (s) 389.3
Current children cumulated vsize (Kb) 63268

[startup+400.013 s]
Raw data (loadavg): 1.22 1.06 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 15817 0 0 0 39851 77 0 0 25 0 1 0 1801200883 66699264 15783 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 16284 15783 566 18 0 16266 0
[pid=8648] vsize: 65136
Current children cumulated CPU time (s) 399.28
Current children cumulated vsize (Kb) 65136

[startup+410.014 s]
Raw data (loadavg): 1.18 1.06 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 16275 0 0 0 40847 80 0 0 25 0 1 0 1801200883 68591616 16241 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 16746 16241 566 18 0 16728 0
[pid=8648] vsize: 66984
Current children cumulated CPU time (s) 409.27
Current children cumulated vsize (Kb) 66984

[startup+420.013 s]
Raw data (loadavg): 1.16 1.06 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 16725 0 0 0 41845 81 0 0 25 0 1 0 1801200883 70352896 16691 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 17176 16691 566 18 0 17158 0
[pid=8648] vsize: 68704
Current children cumulated CPU time (s) 419.26
Current children cumulated vsize (Kb) 68704

[startup+430.013 s]
Raw data (loadavg): 1.13 1.05 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 17125 0 0 0 42840 83 0 0 25 0 1 0 1801200883 72085504 17091 4294967295 134512640 134578447 3221224624 3221223432 134528629 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 17599 17091 566 18 0 17581 0
[pid=8648] vsize: 70396
Current children cumulated CPU time (s) 429.23
Current children cumulated vsize (Kb) 70396

[startup+440.014 s]
Raw data (loadavg): 1.11 1.05 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 17638 0 0 0 43832 87 0 0 25 0 1 0 1801200883 74133504 17604 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8648/statm): 18099 17604 566 18 0 18081 0
[pid=8648] vsize: 72396
Current children cumulated CPU time (s) 439.19
Current children cumulated vsize (Kb) 72396

[startup+450.014 s]
Raw data (loadavg): 1.09 1.05 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 18151 0 0 0 44829 89 0 0 25 0 1 0 1801200883 76259328 18117 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 18618 18117 566 18 0 18600 0
[pid=8648] vsize: 74472
Current children cumulated CPU time (s) 449.18
Current children cumulated vsize (Kb) 74472

[startup+460.014 s]
Raw data (loadavg): 1.08 1.05 0.94 1/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 18597 0 0 0 45826 90 0 0 25 0 1 0 1801200883 78180352 18563 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8648/statm): 19087 18563 566 18 0 19069 0
[pid=8648] vsize: 76348
Current children cumulated CPU time (s) 459.16
Current children cumulated vsize (Kb) 76348

[startup+470.014 s]
Raw data (loadavg): 1.07 1.05 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19045 0 0 0 46823 92 0 0 25 0 1 0 1801200883 79978496 19011 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 19526 19011 566 18 0 19508 0
[pid=8648] vsize: 78104
Current children cumulated CPU time (s) 469.15
Current children cumulated vsize (Kb) 78104

[startup+480.014 s]
Raw data (loadavg): 1.06 1.04 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19409 0 0 0 47820 93 0 0 25 0 1 0 1801200883 81489920 19375 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 19895 19375 566 18 0 19877 0
[pid=8648] vsize: 79580
Current children cumulated CPU time (s) 479.13
Current children cumulated vsize (Kb) 79580

[startup+490.015 s]
Raw data (loadavg): 1.05 1.04 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 19924 0 0 0 48815 96 0 0 25 0 1 0 1801200883 83619840 19890 4294967295 134512640 134578447 3221224624 3221223456 134528377 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 20415 19890 566 18 0 20397 0
[pid=8648] vsize: 81660
Current children cumulated CPU time (s) 489.11
Current children cumulated vsize (Kb) 81660

[startup+500.015 s]
Raw data (loadavg): 1.04 1.04 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 20426 0 0 0 49812 99 0 0 25 0 1 0 1801200883 85676032 20392 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 20917 20392 566 18 0 20899 0
[pid=8648] vsize: 83668
Current children cumulated CPU time (s) 499.11
Current children cumulated vsize (Kb) 83668

[startup+510.016 s]
Raw data (loadavg): 1.03 1.04 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 20911 0 0 0 50808 101 0 0 25 0 1 0 1801200883 87625728 20877 4294967295 134512640 134578447 3221224624 3221223456 134528540 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 21393 20877 566 18 0 21375 0
[pid=8648] vsize: 85572
Current children cumulated CPU time (s) 509.09
Current children cumulated vsize (Kb) 85572

[startup+520.017 s]
Raw data (loadavg): 1.03 1.04 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 21357 0 0 0 51805 102 0 0 25 0 1 0 1801200883 89444352 21323 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 21837 21323 566 18 0 21819 0
[pid=8648] vsize: 87348
Current children cumulated CPU time (s) 519.07
Current children cumulated vsize (Kb) 87348

[startup+530.017 s]
Raw data (loadavg): 1.02 1.03 0.94 1/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) T 8647 8648 30740 0 -1 0 21751 0 0 0 52802 104 0 0 25 0 1 0 1801200883 91111424 21717 4294967295 134512640 134578447 3221224624 3221223476 1075693979 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/8648/statm): 22244 21717 566 18 0 22226 0
[pid=8648] vsize: 88976
Current children cumulated CPU time (s) 529.06
Current children cumulated vsize (Kb) 88976

[startup+540.016 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22169 0 0 0 53799 106 0 0 25 0 1 0 1801200883 92708864 22135 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 22634 22135 566 18 0 22616 0
[pid=8648] vsize: 90536
Current children cumulated CPU time (s) 539.05
Current children cumulated vsize (Kb) 90536

[startup+550.016 s]
Raw data (loadavg): 1.02 1.03 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22547 0 0 0 54796 107 0 0 25 0 1 0 1801200883 94343168 22513 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 23033 22513 566 18 0 23015 0
[pid=8648] vsize: 92132
Current children cumulated CPU time (s) 549.03
Current children cumulated vsize (Kb) 92132

[startup+560.017 s]
Raw data (loadavg): 1.01 1.03 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 22951 0 0 0 55792 110 0 0 25 0 1 0 1801200883 95973376 22917 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 23431 22917 566 18 0 23413 0
[pid=8648] vsize: 93724
Current children cumulated CPU time (s) 559.02
Current children cumulated vsize (Kb) 93724

[startup+570.019 s]
Raw data (loadavg): 1.01 1.03 0.94 2/56 8707
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 23379 0 0 0 56789 112 0 0 23 0 1 0 1801200883 97730560 23345 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 23860 23345 566 18 0 23842 0
[pid=8648] vsize: 95440
Current children cumulated CPU time (s) 569.01
Current children cumulated vsize (Kb) 95440

[startup+580.018 s]
Raw data (loadavg): 1.01 1.03 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 23698 0 0 0 57785 114 0 0 25 0 1 0 1801200883 99102720 23664 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 24195 23664 566 18 0 24177 0
[pid=8648] vsize: 96780
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (Kb) 96780

[startup+590.019 s]
Raw data (loadavg): 1.01 1.03 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24017 0 0 0 58781 116 0 0 25 0 1 0 1801200883 100331520 23983 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 24495 23983 566 18 0 24477 0
[pid=8648] vsize: 97980
Current children cumulated CPU time (s) 588.97
Current children cumulated vsize (Kb) 97980

[startup+600.02 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24433 0 0 0 59778 118 0 0 25 0 1 0 1801200883 102113280 24399 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 24930 24399 566 18 0 24912 0
[pid=8648] vsize: 99720
Current children cumulated CPU time (s) 598.96
Current children cumulated vsize (Kb) 99720

[startup+610.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 24810 0 0 0 60775 120 0 0 25 0 1 0 1801200883 103596032 24776 4294967295 134512640 134578447 3221224624 3221223296 134523410 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 25292 24776 566 18 0 25274 0
[pid=8648] vsize: 101168
Current children cumulated CPU time (s) 608.95
Current children cumulated vsize (Kb) 101168

[startup+620.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 25248 0 0 0 61772 122 0 0 25 0 1 0 1801200883 105533440 25214 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 25765 25214 566 18 0 25747 0
[pid=8648] vsize: 103060
Current children cumulated CPU time (s) 618.94
Current children cumulated vsize (Kb) 103060

[startup+630.021 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 25835 0 0 0 62764 126 0 0 25 0 1 0 1801200883 107962368 25801 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 26358 25801 566 18 0 26340 0
[pid=8648] vsize: 105432
Current children cumulated CPU time (s) 628.9
Current children cumulated vsize (Kb) 105432

[startup+640.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26139 0 0 0 63761 128 0 0 25 0 1 0 1801200883 109236224 26105 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 26669 26105 566 18 0 26651 0
[pid=8648] vsize: 106676
Current children cumulated CPU time (s) 638.89
Current children cumulated vsize (Kb) 106676

[startup+650.022 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26193 0 0 0 64760 128 0 0 25 0 1 0 1801200883 109371392 26159 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 26702 26159 566 18 0 26684 0
[pid=8648] vsize: 106808
Current children cumulated CPU time (s) 648.88
Current children cumulated vsize (Kb) 106808

[startup+660.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26553 0 0 0 65759 129 0 0 25 0 1 0 1801200883 110866432 26519 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 27067 26519 566 18 0 27049 0
[pid=8648] vsize: 108268
Current children cumulated CPU time (s) 658.88
Current children cumulated vsize (Kb) 108268

[startup+670.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 26872 0 0 0 66756 131 0 0 25 0 1 0 1801200883 112173056 26838 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 27386 26838 566 18 0 27368 0
[pid=8648] vsize: 109544
Current children cumulated CPU time (s) 668.87
Current children cumulated vsize (Kb) 109544

[startup+680.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27388 0 0 0 67751 133 0 0 25 0 1 0 1801200883 114376704 27354 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 27924 27354 566 18 0 27906 0
[pid=8648] vsize: 111696
Current children cumulated CPU time (s) 678.84
Current children cumulated vsize (Kb) 111696

[startup+690.023 s]
Raw data (loadavg): 1.00 1.02 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27798 0 0 0 68748 136 0 0 25 0 1 0 1801200883 115978240 27764 4294967295 134512640 134578447 3221224624 3221223476 134555763 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 28315 27764 566 18 0 28297 0
[pid=8648] vsize: 113260
Current children cumulated CPU time (s) 688.84
Current children cumulated vsize (Kb) 113260

[startup+700.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 27995 0 0 0 69747 137 0 0 25 0 1 0 1801200883 116826112 27961 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 28522 27961 566 18 0 28504 0
[pid=8648] vsize: 114088
Current children cumulated CPU time (s) 698.84
Current children cumulated vsize (Kb) 114088

[startup+710.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 28450 0 0 0 70744 138 0 0 25 0 1 0 1801200883 118677504 28416 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 28974 28416 566 18 0 28956 0
[pid=8648] vsize: 115896
Current children cumulated CPU time (s) 708.82
Current children cumulated vsize (Kb) 115896

[startup+720.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 28718 0 0 0 71741 139 0 0 25 0 1 0 1801200883 119779328 28684 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 29243 28684 566 18 0 29225 0
[pid=8648] vsize: 116972
Current children cumulated CPU time (s) 718.8
Current children cumulated vsize (Kb) 116972

[startup+730.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29036 0 0 0 72739 140 0 0 25 0 1 0 1801200883 120995840 29002 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 29540 29002 566 18 0 29522 0
[pid=8648] vsize: 118160
Current children cumulated CPU time (s) 728.79
Current children cumulated vsize (Kb) 118160

[startup+740.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29487 0 0 0 73735 142 0 0 25 0 1 0 1801200883 122892288 29453 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 30003 29453 566 18 0 29985 0
[pid=8648] vsize: 120012
Current children cumulated CPU time (s) 738.77
Current children cumulated vsize (Kb) 120012

[startup+750.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 29771 0 0 0 74733 144 0 0 25 0 1 0 1801200883 124014592 29737 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 30277 29737 566 18 0 30259 0
[pid=8648] vsize: 121108
Current children cumulated CPU time (s) 748.77
Current children cumulated vsize (Kb) 121108

[startup+760.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30066 0 0 0 75731 145 0 0 25 0 1 0 1801200883 125276160 30032 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 30585 30032 566 18 0 30567 0
[pid=8648] vsize: 122340
Current children cumulated CPU time (s) 758.76
Current children cumulated vsize (Kb) 122340

[startup+770.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30379 0 0 0 76729 147 0 0 25 0 1 0 1801200883 126517248 30345 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 30888 30345 566 18 0 30870 0
[pid=8648] vsize: 123552
Current children cumulated CPU time (s) 768.76
Current children cumulated vsize (Kb) 123552

[startup+780.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 30688 0 0 0 77726 148 0 0 25 0 1 0 1801200883 127819776 30654 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 31206 30654 566 18 0 31188 0
[pid=8648] vsize: 124824
Current children cumulated CPU time (s) 778.74
Current children cumulated vsize (Kb) 124824

[startup+790.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31022 0 0 0 78724 149 0 0 25 0 1 0 1801200883 129175552 30988 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 31537 30988 566 18 0 31519 0
[pid=8648] vsize: 126148
Current children cumulated CPU time (s) 788.73
Current children cumulated vsize (Kb) 126148

[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31360 0 0 0 79721 151 0 0 25 0 1 0 1801200883 130523136 31326 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 31866 31326 566 18 0 31848 0
[pid=8648] vsize: 127464
Current children cumulated CPU time (s) 798.72
Current children cumulated vsize (Kb) 127464

[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31673 0 0 0 80719 153 0 0 25 0 1 0 1801200883 131874816 31639 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 32196 31639 566 18 0 32178 0
[pid=8648] vsize: 128784
Current children cumulated CPU time (s) 808.72
Current children cumulated vsize (Kb) 128784

[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 31999 0 0 0 81716 155 0 0 25 0 1 0 1801200883 133189632 31965 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 32517 31965 566 18 0 32499 0
[pid=8648] vsize: 130068
Current children cumulated CPU time (s) 818.71
Current children cumulated vsize (Kb) 130068

[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32348 0 0 0 82713 156 0 0 25 0 1 0 1801200883 134549504 32314 4294967295 134512640 134578447 3221224624 3221220688 134533051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 32849 32314 566 18 0 32831 0
[pid=8648] vsize: 131396
Current children cumulated CPU time (s) 828.69
Current children cumulated vsize (Kb) 131396

[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32645 0 0 0 83710 158 0 0 25 0 1 0 1801200883 135798784 32611 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 33154 32611 566 18 0 33136 0
[pid=8648] vsize: 132616
Current children cumulated CPU time (s) 838.68
Current children cumulated vsize (Kb) 132616

[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 32834 0 0 0 84708 158 0 0 25 0 1 0 1801200883 136605696 32800 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 33351 32800 566 18 0 33333 0
[pid=8648] vsize: 133404
Current children cumulated CPU time (s) 848.66
Current children cumulated vsize (Kb) 133404

[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33212 0 0 0 85706 160 0 0 25 0 1 0 1801200883 138231808 33178 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 33748 33178 566 18 0 33730 0
[pid=8648] vsize: 134992
Current children cumulated CPU time (s) 858.66
Current children cumulated vsize (Kb) 134992

[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33586 0 0 0 86704 161 0 0 25 0 1 0 1801200883 139673600 33552 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 34100 33552 566 18 0 34082 0
[pid=8648] vsize: 136400
Current children cumulated CPU time (s) 868.65
Current children cumulated vsize (Kb) 136400

[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 33859 0 0 0 87701 163 0 0 25 0 1 0 1801200883 140886016 33825 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 34396 33825 566 18 0 34378 0
[pid=8648] vsize: 137584
Current children cumulated CPU time (s) 878.64
Current children cumulated vsize (Kb) 137584

[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34249 0 0 0 88698 165 0 0 25 0 1 0 1801200883 142458880 34215 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8648/statm): 34780 34215 566 18 0 34762 0
[pid=8648] vsize: 139120
Current children cumulated CPU time (s) 888.63
Current children cumulated vsize (Kb) 139120

[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34662 0 0 0 89694 167 0 0 25 0 1 0 1801200883 144105472 34628 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 35182 34628 566 18 0 35164 0
[pid=8648] vsize: 140728
Current children cumulated CPU time (s) 898.61
Current children cumulated vsize (Kb) 140728

[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34947 0 0 0 90692 169 0 0 25 0 1 0 1801200883 145309696 34913 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 35476 34913 566 18 0 35458 0
[pid=8648] vsize: 141904
Current children cumulated CPU time (s) 908.61
Current children cumulated vsize (Kb) 141904

[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 34991 0 0 0 91691 169 0 0 25 0 1 0 1801200883 145444864 34957 4294967295 134512640 134578447 3221224624 3221223520 134519978 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 35509 34957 566 18 0 35491 0
[pid=8648] vsize: 142036
Current children cumulated CPU time (s) 918.6
Current children cumulated vsize (Kb) 142036

[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35208 0 0 0 92690 170 0 0 25 0 1 0 1801200883 146399232 35174 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 35742 35174 566 18 0 35724 0
[pid=8648] vsize: 142968
Current children cumulated CPU time (s) 928.6
Current children cumulated vsize (Kb) 142968

[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35566 0 0 0 93688 171 0 0 25 0 1 0 1801200883 147771392 35532 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 36077 35532 566 18 0 36059 0
[pid=8648] vsize: 144308
Current children cumulated CPU time (s) 938.59
Current children cumulated vsize (Kb) 144308

[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 35837 0 0 0 94686 172 0 0 25 0 1 0 1801200883 148893696 35803 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 36351 35803 566 18 0 36333 0
[pid=8648] vsize: 145404
Current children cumulated CPU time (s) 948.58
Current children cumulated vsize (Kb) 145404

[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36257 0 0 0 95683 173 0 0 25 0 1 0 1801200883 150683648 36223 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 36788 36223 566 18 0 36770 0
[pid=8648] vsize: 147152
Current children cumulated CPU time (s) 958.56
Current children cumulated vsize (Kb) 147152

[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36457 0 0 0 96681 174 0 0 22 0 1 0 1801200883 151498752 36423 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 36987 36423 566 18 0 36969 0
[pid=8648] vsize: 147948
Current children cumulated CPU time (s) 968.55
Current children cumulated vsize (Kb) 147948

[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 36820 0 0 0 97679 175 0 0 25 0 1 0 1801200883 153055232 36786 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 37367 36786 566 18 0 37349 0
[pid=8648] vsize: 149468
Current children cumulated CPU time (s) 978.54
Current children cumulated vsize (Kb) 149468

[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37067 0 0 0 98677 176 0 0 25 0 1 0 1801200883 153980928 37033 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 37593 37033 566 18 0 37575 0
[pid=8648] vsize: 150372
Current children cumulated CPU time (s) 988.53
Current children cumulated vsize (Kb) 150372

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37397 0 0 0 99675 178 0 0 25 0 1 0 1801200883 155402240 37363 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 37940 37363 566 18 0 37922 0
[pid=8648] vsize: 151760
Current children cumulated CPU time (s) 998.53
Current children cumulated vsize (Kb) 151760

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 37885 0 0 0 100672 179 0 0 25 0 1 0 1801200883 157372416 37851 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 38421 37851 566 18 0 38403 0
[pid=8648] vsize: 153684
Current children cumulated CPU time (s) 1008.51
Current children cumulated vsize (Kb) 153684

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38041 0 0 0 101669 180 0 0 25 0 1 0 1801200883 158003200 38007 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 38575 38007 566 18 0 38557 0
[pid=8648] vsize: 154300
Current children cumulated CPU time (s) 1018.49
Current children cumulated vsize (Kb) 154300

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38438 0 0 0 102666 182 0 0 25 0 1 0 1801200883 159678464 38404 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 38984 38404 566 18 0 38966 0
[pid=8648] vsize: 155936
Current children cumulated CPU time (s) 1028.48
Current children cumulated vsize (Kb) 155936

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38888 0 0 0 103662 185 0 0 25 0 1 0 1801200883 161427456 38854 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 39411 38854 566 18 0 39393 0
[pid=8648] vsize: 157644
Current children cumulated CPU time (s) 1038.47
Current children cumulated vsize (Kb) 157644

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 38984 0 0 0 104660 185 0 0 25 0 1 0 1801200883 161820672 38950 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 39507 38950 566 18 0 39489 0
[pid=8648] vsize: 158028
Current children cumulated CPU time (s) 1048.45
Current children cumulated vsize (Kb) 158028

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39465 0 0 0 105657 187 0 0 25 0 1 0 1801200883 163905536 39431 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 40016 39431 566 18 0 39998 0
[pid=8648] vsize: 160064
Current children cumulated CPU time (s) 1058.44
Current children cumulated vsize (Kb) 160064

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39843 0 0 0 106655 188 0 0 25 0 1 0 1801200883 165388288 39809 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 40378 39809 566 18 0 40360 0
[pid=8648] vsize: 161512
Current children cumulated CPU time (s) 1068.43
Current children cumulated vsize (Kb) 161512

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 39962 0 0 0 107654 189 0 0 25 0 1 0 1801200883 165892096 39928 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 40501 39928 566 18 0 40483 0
[pid=8648] vsize: 162004
Current children cumulated CPU time (s) 1078.43
Current children cumulated vsize (Kb) 162004

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40070 0 0 0 108653 189 0 0 25 0 1 0 1801200883 166297600 40036 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 40600 40036 566 18 0 40582 0
[pid=8648] vsize: 162400
Current children cumulated CPU time (s) 1088.42
Current children cumulated vsize (Kb) 162400

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40442 0 0 0 109650 191 0 0 25 0 1 0 1801200883 167800832 40408 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 40967 40408 566 18 0 40949 0
[pid=8648] vsize: 163868
Current children cumulated CPU time (s) 1098.41
Current children cumulated vsize (Kb) 163868

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 40766 0 0 0 110648 192 0 0 25 0 1 0 1801200883 169177088 40732 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 41303 40732 566 18 0 41285 0
[pid=8648] vsize: 165212
Current children cumulated CPU time (s) 1108.4
Current children cumulated vsize (Kb) 165212

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41130 0 0 0 111645 194 0 0 25 0 1 0 1801200883 170655744 41096 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 41664 41096 566 18 0 41646 0
[pid=8648] vsize: 166656
Current children cumulated CPU time (s) 1118.39
Current children cumulated vsize (Kb) 166656

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41583 0 0 0 112642 195 0 0 25 0 1 0 1801200883 172593152 41549 4294967295 134512640 134578447 3221224624 3221223536 134556912 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 42137 41549 566 18 0 42119 0
[pid=8648] vsize: 168548
Current children cumulated CPU time (s) 1128.37
Current children cumulated vsize (Kb) 168548

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 41794 0 0 0 113640 197 0 0 25 0 1 0 1801200883 173436928 41760 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 42343 41760 566 18 0 42325 0
[pid=8648] vsize: 169372
Current children cumulated CPU time (s) 1138.37
Current children cumulated vsize (Kb) 169372

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42091 0 0 0 114638 198 0 0 25 0 1 0 1801200883 174669824 42057 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 42644 42057 566 18 0 42626 0
[pid=8648] vsize: 170576
Current children cumulated CPU time (s) 1148.36
Current children cumulated vsize (Kb) 170576

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42392 0 0 0 115635 200 0 0 25 0 1 0 1801200883 175947776 42358 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 42956 42358 566 18 0 42938 0
[pid=8648] vsize: 171824
Current children cumulated CPU time (s) 1158.35
Current children cumulated vsize (Kb) 171824

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 42688 0 0 0 116632 202 0 0 25 0 1 0 1801200883 177168384 42654 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 43254 42654 566 18 0 43236 0
[pid=8648] vsize: 173016
Current children cumulated CPU time (s) 1168.34
Current children cumulated vsize (Kb) 173016

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 43030 0 0 0 117630 204 0 0 25 0 1 0 1801200883 178577408 42996 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 43598 42996 566 18 0 43580 0
[pid=8648] vsize: 174392
Current children cumulated CPU time (s) 1178.34
Current children cumulated vsize (Kb) 174392

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 8709
Raw data (/proc/8648/stat): 8648 (Pueblo) R 8647 8648 30740 0 -1 0 43231 0 0 0 118628 205 0 0 25 0 1 0 1801200883 179343360 43197 4294967295 134512640 134578447 3221224624 3221223584 134559051 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8648/statm): 43785 43197 566 18 0 43767 0
[pid=8648] vsize: 175140
Current children cumulated CPU time (s) 1188.33
Current children cumulated vsize (Kb) 175140
One traced child (pid=8648) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.92
CPU time (s): 1189.22
CPU user time (s): 1187.08
CPU system time (s): 2.13967
CPU usage (%): 99.8572
Max. virtual memory (cumulated for all children) (Kb): 175140

Verifier Data

Verifier:	OK	-7