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/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM45b026c6b351128e9764d865ca917a59
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of terms in the objective function 1272
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 1272
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 1272
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 benchmark1206.13
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 7897

Launcher Data

LAUNCH ON wulflinc12 THE 2005-09-20 14:58:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5055 boxname=wulflinc12 idbench=367 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  45b026c6b351128e9764d865ca917a59  /oldhome/oroussel/tmp/wulflinc12/normalized-frb53-24-2.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5055
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        887676 kB
Buffers:         34084 kB
Cached:          81772 kB
SwapCached:        492 kB
Active:          71176 kB
Inactive:        47236 kB
HighTotal:      131008 kB
HighFree:        47040 kB
LowTotal:       903652 kB
LowFree:        840636 kB
SwapTotal:     2097136 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5904 kB
Slab:            22880 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-20 15:18:31 (client local time) WITH STATUS 10 IN 1189.28 SECONDS
stats: 5055 0 1189.28 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: 1272 - #constraints read: 94290
c total time              : 1189.19 s
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -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/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1801200303 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 41 3 40 18 0 23 0
[pid=20303] 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.0035 s]
Raw data (loadavg): 0.94 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 3850 0 0 0 978 13 0 0 25 0 1 0 1801200303 17539072 3816 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 4282 3816 566 18 0 4264 0
[pid=20303] vsize: 17128
Current children cumulated CPU time (s) 9.91
Current children cumulated vsize (Kb) 17128

[startup+20.0043 s]
Raw data (loadavg): 0.95 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 3918 0 0 0 1971 17 0 0 25 0 1 0 1801200303 17694720 3860 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4320 3860 566 18 0 4302 0
[pid=20303] vsize: 17280
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (Kb) 17280

[startup+30.0051 s]
Raw data (loadavg): 0.95 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 3942 0 0 0 2969 18 0 0 25 0 1 0 1801200303 17641472 3872 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4307 3872 566 18 0 4289 0
[pid=20303] vsize: 17228
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 17228

[startup+40.006 s]
Raw data (loadavg): 0.96 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 4004 0 0 0 3962 20 0 0 25 0 1 0 1801200303 17948672 3934 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4382 3934 566 18 0 4364 0
[pid=20303] vsize: 17528
Current children cumulated CPU time (s) 39.82
Current children cumulated vsize (Kb) 17528

[startup+50.0068 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 4040 0 0 0 4961 21 0 0 25 0 1 0 1801200303 17870848 3929 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4363 3929 566 18 0 4345 0
[pid=20303] vsize: 17452
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (Kb) 17452

[startup+60.0066 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 4229 0 0 0 5955 23 0 0 25 0 1 0 1801200303 18681856 4118 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4561 4118 566 18 0 4543 0
[pid=20303] vsize: 18244
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 18244

[startup+70.0075 s]
Raw data (loadavg): 0.97 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 4554 0 0 0 6951 25 0 0 25 0 1 0 1801200303 20074496 4443 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 4901 4443 566 18 0 4883 0
[pid=20303] vsize: 19604
Current children cumulated CPU time (s) 69.76
Current children cumulated vsize (Kb) 19604

[startup+80.0083 s]
Raw data (loadavg): 0.98 0.98 0.92 2/56 20303
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 4906 0 0 0 7949 27 0 0 25 0 1 0 1801200303 21549056 4795 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 5261 4795 566 18 0 5243 0
[pid=20303] vsize: 21044
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (Kb) 21044

[startup+90.0091 s]
Raw data (loadavg): 1.06 1.00 0.93 2/60 20350
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 5395 0 0 0 8941 30 0 0 25 0 1 0 1801200303 23437312 5284 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 5722 5284 566 18 0 5704 0
[pid=20303] vsize: 22888
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 22888

[startup+100.009 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 5661 0 0 0 9934 36 0 0 25 0 1 0 1801200303 24567808 5550 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 5998 5550 566 18 0 5980 0
[pid=20303] vsize: 23992
Current children cumulated CPU time (s) 99.7
Current children cumulated vsize (Kb) 23992

[startup+110.009 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 6049 0 0 0 10931 37 0 0 25 0 1 0 1801200303 26169344 5938 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 6389 5938 566 18 0 6371 0
[pid=20303] vsize: 25556
Current children cumulated CPU time (s) 109.68
Current children cumulated vsize (Kb) 25556

[startup+120.01 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 6367 0 0 0 11924 40 0 0 25 0 1 0 1801200303 27471872 6256 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 6707 6256 566 18 0 6689 0
[pid=20303] vsize: 26828
Current children cumulated CPU time (s) 119.64
Current children cumulated vsize (Kb) 26828

[startup+130.009 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 6727 0 0 0 12922 41 0 0 25 0 1 0 1801200303 28975104 6616 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 7074 6616 566 18 0 7056 0
[pid=20303] vsize: 28296
Current children cumulated CPU time (s) 129.63
Current children cumulated vsize (Kb) 28296

[startup+140.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 7112 0 0 0 13920 42 0 0 25 0 1 0 1801200303 30466048 7001 4294967295 134512640 134578447 3221224624 3221223296 134522591 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 7438 7001 566 18 0 7420 0
[pid=20303] vsize: 29752
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 29752

[startup+150.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20358
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 7425 0 0 0 14918 44 0 0 25 0 1 0 1801200303 31744000 7314 4294967295 134512640 134578447 3221224624 3221223504 134528068 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 7750 7314 566 18 0 7732 0
[pid=20303] vsize: 31000
Current children cumulated CPU time (s) 149.62
Current children cumulated vsize (Kb) 31000

[startup+160.011 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 20360
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 7685 0 0 0 15916 45 0 0 25 0 1 0 1801200303 32866304 7574 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 8024 7574 566 18 0 8006 0
[pid=20303] vsize: 32096
Current children cumulated CPU time (s) 159.61
Current children cumulated vsize (Kb) 32096

[startup+170.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 8055 0 0 0 16909 47 0 0 25 0 1 0 1801200303 34394112 7944 4294967295 134512640 134578447 3221224624 3221223296 134523360 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 8397 7944 566 18 0 8379 0
[pid=20303] vsize: 33588
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (Kb) 33588

[startup+180.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 8381 0 0 0 17906 49 0 0 25 0 1 0 1801200303 35733504 8270 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 8724 8270 566 18 0 8706 0
[pid=20303] vsize: 34896
Current children cumulated CPU time (s) 179.55
Current children cumulated vsize (Kb) 34896

[startup+190.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 8699 0 0 0 18905 50 0 0 25 0 1 0 1801200303 36990976 8588 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 9031 8588 566 18 0 9013 0
[pid=20303] vsize: 36124
Current children cumulated CPU time (s) 189.55
Current children cumulated vsize (Kb) 36124

[startup+200.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 9111 0 0 0 19902 52 0 0 25 0 1 0 1801200303 38658048 9000 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 9438 9000 566 18 0 9420 0
[pid=20303] vsize: 37752
Current children cumulated CPU time (s) 199.54
Current children cumulated vsize (Kb) 37752

[startup+210.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 9479 0 0 0 20899 53 0 0 25 0 1 0 1801200303 40165376 9368 4294967295 134512640 134578447 3221224624 3221223416 134528797 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 9806 9368 566 18 0 9788 0
[pid=20303] vsize: 39224
Current children cumulated CPU time (s) 209.52
Current children cumulated vsize (Kb) 39224

[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 9825 0 0 0 21898 55 0 0 25 0 1 0 1801200303 41668608 9714 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 10173 9714 566 18 0 10155 0
[pid=20303] vsize: 40692
Current children cumulated CPU time (s) 219.53
Current children cumulated vsize (Kb) 40692

[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 10145 0 0 0 22896 56 0 0 25 0 1 0 1801200303 42934272 10034 4294967295 134512640 134578447 3221224624 3221223296 134523427 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 10482 10034 566 18 0 10464 0
[pid=20303] vsize: 41928
Current children cumulated CPU time (s) 229.52
Current children cumulated vsize (Kb) 41928

[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 10436 0 0 0 23889 58 0 0 25 0 1 0 1801200303 44122112 10325 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 10772 10325 566 18 0 10754 0
[pid=20303] vsize: 43088
Current children cumulated CPU time (s) 239.47
Current children cumulated vsize (Kb) 43088

[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 10814 0 0 0 24886 60 0 0 25 0 1 0 1801200303 45637632 10703 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 11142 10703 566 18 0 11124 0
[pid=20303] vsize: 44568
Current children cumulated CPU time (s) 249.46
Current children cumulated vsize (Kb) 44568

[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 11067 0 0 0 25884 61 0 0 25 0 1 0 1801200303 46764032 10956 4294967295 134512640 134578447 3221224624 3221223504 134527733 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 11417 10956 566 18 0 11399 0
[pid=20303] vsize: 45668
Current children cumulated CPU time (s) 259.45
Current children cumulated vsize (Kb) 45668

[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 11353 0 0 0 26882 62 0 0 25 0 1 0 1801200303 47927296 11242 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 11701 11242 566 18 0 11683 0
[pid=20303] vsize: 46804
Current children cumulated CPU time (s) 269.44
Current children cumulated vsize (Kb) 46804

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 11640 0 0 0 27879 64 0 0 25 0 1 0 1801200303 49065984 11529 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 11979 11529 566 18 0 11961 0
[pid=20303] vsize: 47916
Current children cumulated CPU time (s) 279.43
Current children cumulated vsize (Kb) 47916

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 11969 0 0 0 28877 65 0 0 25 0 1 0 1801200303 50454528 11858 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 12318 11858 566 18 0 12300 0
[pid=20303] vsize: 49272
Current children cumulated CPU time (s) 289.42
Current children cumulated vsize (Kb) 49272

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 12207 0 0 0 29875 66 0 0 25 0 1 0 1801200303 51425280 12096 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 12555 12096 566 18 0 12537 0
[pid=20303] vsize: 50220
Current children cumulated CPU time (s) 299.41
Current children cumulated vsize (Kb) 50220

[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 12488 0 0 0 30872 68 0 0 25 0 1 0 1801200303 52535296 12377 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 12826 12377 566 18 0 12808 0
[pid=20303] vsize: 51304
Current children cumulated CPU time (s) 309.4
Current children cumulated vsize (Kb) 51304

[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 12852 0 0 0 31870 69 0 0 25 0 1 0 1801200303 54075392 12741 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 13202 12741 566 18 0 13184 0
[pid=20303] vsize: 52808
Current children cumulated CPU time (s) 319.39
Current children cumulated vsize (Kb) 52808

[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 13150 0 0 0 32868 71 0 0 25 0 1 0 1801200303 55300096 13039 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 13501 13039 566 18 0 13483 0
[pid=20303] vsize: 54004
Current children cumulated CPU time (s) 329.39
Current children cumulated vsize (Kb) 54004

[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 13454 0 0 0 33867 71 0 0 25 0 1 0 1801200303 56504320 13343 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 13795 13343 566 18 0 13777 0
[pid=20303] vsize: 55180
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (Kb) 55180

[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 13732 0 0 0 34866 72 0 0 25 0 1 0 1801200303 57659392 13621 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 14077 13621 566 18 0 14059 0
[pid=20303] vsize: 56308
Current children cumulated CPU time (s) 349.38
Current children cumulated vsize (Kb) 56308

[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 14085 0 0 0 35860 74 0 0 25 0 1 0 1801200303 59060224 13974 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 14419 13974 566 18 0 14401 0
[pid=20303] vsize: 57676
Current children cumulated CPU time (s) 359.34
Current children cumulated vsize (Kb) 57676

[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 14302 0 0 0 36858 75 0 0 25 0 1 0 1801200303 60092416 14191 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 14671 14191 566 18 0 14653 0
[pid=20303] vsize: 58684
Current children cumulated CPU time (s) 369.33
Current children cumulated vsize (Kb) 58684

[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 14635 0 0 0 37856 77 0 0 25 0 1 0 1801200303 61390848 14524 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 14988 14524 566 18 0 14970 0
[pid=20303] vsize: 59952
Current children cumulated CPU time (s) 379.33
Current children cumulated vsize (Kb) 59952

[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 14849 0 0 0 38855 77 0 0 25 0 1 0 1801200303 62246912 14738 4294967295 134512640 134578447 3221224624 3221223296 134523358 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 15197 14738 566 18 0 15179 0
[pid=20303] vsize: 60788
Current children cumulated CPU time (s) 389.32
Current children cumulated vsize (Kb) 60788

[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 15122 0 0 0 39854 78 0 0 25 0 1 0 1801200303 63459328 15011 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 15493 15011 566 18 0 15475 0
[pid=20303] vsize: 61972
Current children cumulated CPU time (s) 399.32
Current children cumulated vsize (Kb) 61972

[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 15494 0 0 0 40851 79 0 0 25 0 1 0 1801200303 64872448 15383 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 15838 15383 566 18 0 15820 0
[pid=20303] vsize: 63352
Current children cumulated CPU time (s) 409.3
Current children cumulated vsize (Kb) 63352

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 15705 0 0 0 41850 80 0 0 25 0 1 0 1801200303 65798144 15594 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 16064 15594 566 18 0 16046 0
[pid=20303] vsize: 64256
Current children cumulated CPU time (s) 419.3
Current children cumulated vsize (Kb) 64256

[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 16109 0 0 0 42847 81 0 0 25 0 1 0 1801200303 67461120 15998 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 16470 15998 566 18 0 16452 0
[pid=20303] vsize: 65880
Current children cumulated CPU time (s) 429.28
Current children cumulated vsize (Kb) 65880

[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 16360 0 0 0 43846 82 0 0 25 0 1 0 1801200303 68489216 16249 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 16721 16249 566 18 0 16703 0
[pid=20303] vsize: 66884
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 66884

[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 16594 0 0 0 44844 84 0 0 25 0 1 0 1801200303 69480448 16483 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 16963 16483 566 18 0 16945 0
[pid=20303] vsize: 67852
Current children cumulated CPU time (s) 449.28
Current children cumulated vsize (Kb) 67852

[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20362
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 16934 0 0 0 45840 85 0 0 25 0 1 0 1801200303 70774784 16823 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 17279 16823 566 18 0 17261 0
[pid=20303] vsize: 69116
Current children cumulated CPU time (s) 459.25
Current children cumulated vsize (Kb) 69116

[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 17248 0 0 0 46837 88 0 0 25 0 1 0 1801200303 72142848 17137 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 17613 17137 566 18 0 17595 0
[pid=20303] vsize: 70452
Current children cumulated CPU time (s) 469.25
Current children cumulated vsize (Kb) 70452

[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 17458 0 0 0 47836 89 0 0 25 0 1 0 1801200303 72986624 17347 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 17819 17347 566 18 0 17801 0
[pid=20303] vsize: 71276
Current children cumulated CPU time (s) 479.25
Current children cumulated vsize (Kb) 71276

[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 17748 0 0 0 48833 90 0 0 25 0 1 0 1801200303 74092544 17637 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 18089 17637 566 18 0 18071 0
[pid=20303] vsize: 72356
Current children cumulated CPU time (s) 489.23
Current children cumulated vsize (Kb) 72356

[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 17955 0 0 0 49831 92 0 0 25 0 1 0 1801200303 75055104 17844 4294967295 134512640 134578447 3221224624 3221223296 134523352 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 18324 17844 566 18 0 18306 0
[pid=20303] vsize: 73296
Current children cumulated CPU time (s) 499.23
Current children cumulated vsize (Kb) 73296

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 18290 0 0 0 50829 93 0 0 25 0 1 0 1801200303 76357632 18179 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 18642 18179 566 18 0 18624 0
[pid=20303] vsize: 74568
Current children cumulated CPU time (s) 509.22
Current children cumulated vsize (Kb) 74568

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 18481 0 0 0 51827 94 0 0 25 0 1 0 1801200303 77082624 18370 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 18819 18370 566 18 0 18801 0
[pid=20303] vsize: 75276
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 75276

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 18690 0 0 0 52825 96 0 0 25 0 1 0 1801200303 77955072 18579 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 19032 18579 566 18 0 19014 0
[pid=20303] vsize: 76128
Current children cumulated CPU time (s) 529.21
Current children cumulated vsize (Kb) 76128

[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 18998 0 0 0 53822 97 0 0 25 0 1 0 1801200303 79327232 18887 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 19367 18887 566 18 0 19349 0
[pid=20303] vsize: 77468
Current children cumulated CPU time (s) 539.19
Current children cumulated vsize (Kb) 77468

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 19255 0 0 0 54820 98 0 0 25 0 1 0 1801200303 80371712 19144 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 19622 19144 566 18 0 19604 0
[pid=20303] vsize: 78488
Current children cumulated CPU time (s) 549.18
Current children cumulated vsize (Kb) 78488

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 19592 0 0 0 55813 101 0 0 25 0 1 0 1801200303 81657856 19481 4294967295 134512640 134578447 3221224624 3221223488 134517703 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 19936 19481 566 18 0 19918 0
[pid=20303] vsize: 79744
Current children cumulated CPU time (s) 559.14
Current children cumulated vsize (Kb) 79744

[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 19798 0 0 0 56810 103 0 0 25 0 1 0 1801200303 82612224 19687 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 20169 19687 566 18 0 20151 0
[pid=20303] vsize: 80676
Current children cumulated CPU time (s) 569.13
Current children cumulated vsize (Kb) 80676

[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 20183 0 0 0 57807 106 0 0 25 0 1 0 1801200303 84152320 20072 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 20545 20072 566 18 0 20527 0
[pid=20303] vsize: 82180
Current children cumulated CPU time (s) 579.13
Current children cumulated vsize (Kb) 82180

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 20416 0 0 0 58805 107 0 0 25 0 1 0 1801200303 85143552 20305 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 20787 20305 566 18 0 20769 0
[pid=20303] vsize: 83148
Current children cumulated CPU time (s) 589.12
Current children cumulated vsize (Kb) 83148

[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 20643 0 0 0 59804 107 0 0 25 0 1 0 1801200303 85958656 20532 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 20986 20532 566 18 0 20968 0
[pid=20303] vsize: 83944
Current children cumulated CPU time (s) 599.11
Current children cumulated vsize (Kb) 83944

[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 20922 0 0 0 60802 108 0 0 25 0 1 0 1801200303 87199744 20811 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 21289 20811 566 18 0 21271 0
[pid=20303] vsize: 85156
Current children cumulated CPU time (s) 609.1
Current children cumulated vsize (Kb) 85156

[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 21211 0 0 0 61800 109 0 0 25 0 1 0 1801200303 88371200 21100 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 21575 21100 566 18 0 21557 0
[pid=20303] vsize: 86300
Current children cumulated CPU time (s) 619.09
Current children cumulated vsize (Kb) 86300

[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 21452 0 0 0 62798 110 0 0 25 0 1 0 1801200303 89346048 21341 4294967295 134512640 134578447 3221224624 3221223296 134523315 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 21813 21341 566 18 0 21795 0
[pid=20303] vsize: 87252
Current children cumulated CPU time (s) 629.08
Current children cumulated vsize (Kb) 87252

[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 21706 0 0 0 63796 111 0 0 25 0 1 0 1801200303 90398720 21595 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 22070 21595 566 18 0 22052 0
[pid=20303] vsize: 88280
Current children cumulated CPU time (s) 639.07
Current children cumulated vsize (Kb) 88280

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.93 1/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) T 20302 20303 8263 0 -1 0 21944 0 0 0 64795 113 0 0 25 0 1 0 1801200303 91410432 21833 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/20303/statm): 22317 21833 566 18 0 22299 0
[pid=20303] vsize: 89268
Current children cumulated CPU time (s) 649.08
Current children cumulated vsize (Kb) 89268

[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 22177 0 0 0 65794 113 0 0 25 0 1 0 1801200303 92274688 22066 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 22528 22066 566 18 0 22510 0
[pid=20303] vsize: 90112
Current children cumulated CPU time (s) 659.07
Current children cumulated vsize (Kb) 90112

[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 22403 0 0 0 66792 114 0 0 25 0 1 0 1801200303 93315072 22292 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 22782 22292 566 18 0 22764 0
[pid=20303] vsize: 91128
Current children cumulated CPU time (s) 669.06
Current children cumulated vsize (Kb) 91128

[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 22634 0 0 0 67790 116 0 0 25 0 1 0 1801200303 94171136 22523 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 22991 22523 566 18 0 22973 0
[pid=20303] vsize: 91964
Current children cumulated CPU time (s) 679.06
Current children cumulated vsize (Kb) 91964

[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 23211 0 0 0 68787 117 0 0 25 0 1 0 1801200303 96583680 23100 4294967295 134512640 134578447 3221224624 3221221792 134532475 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 23580 23100 566 18 0 23562 0
[pid=20303] vsize: 94320
Current children cumulated CPU time (s) 689.04
Current children cumulated vsize (Kb) 94320

[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 23736 0 0 0 69784 118 0 0 25 0 1 0 1801200303 98746368 23625 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 24108 23625 566 18 0 24090 0
[pid=20303] vsize: 96432
Current children cumulated CPU time (s) 699.02
Current children cumulated vsize (Kb) 96432

[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 24141 0 0 0 70781 120 0 0 25 0 1 0 1801200303 100388864 24030 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 24509 24030 566 18 0 24491 0
[pid=20303] vsize: 98036
Current children cumulated CPU time (s) 709.01
Current children cumulated vsize (Kb) 98036

[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 24675 0 0 0 71778 121 0 0 25 0 1 0 1801200303 102580224 24564 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 25044 24564 566 18 0 25026 0
[pid=20303] vsize: 100176
Current children cumulated CPU time (s) 718.99
Current children cumulated vsize (Kb) 100176

[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 25191 0 0 0 72772 124 0 0 25 0 1 0 1801200303 104689664 25080 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 25559 25080 566 18 0 25541 0
[pid=20303] vsize: 102236
Current children cumulated CPU time (s) 728.96
Current children cumulated vsize (Kb) 102236

[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 25616 0 0 0 73770 126 0 0 25 0 1 0 1801200303 106463232 25505 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 25992 25505 566 18 0 25974 0
[pid=20303] vsize: 103968
Current children cumulated CPU time (s) 738.96
Current children cumulated vsize (Kb) 103968

[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 26068 0 0 0 74767 128 0 0 25 0 1 0 1801200303 108376064 25957 4294967295 134512640 134578447 3221224624 3221223296 134523438 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 26459 25957 566 18 0 26441 0
[pid=20303] vsize: 105836
Current children cumulated CPU time (s) 748.95
Current children cumulated vsize (Kb) 105836

[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 26826 0 0 0 75762 131 0 0 25 0 1 0 1801200303 111468544 26715 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 27214 26715 566 18 0 27196 0
[pid=20303] vsize: 108856
Current children cumulated CPU time (s) 758.93
Current children cumulated vsize (Kb) 108856

[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 27230 0 0 0 76754 133 0 0 25 0 1 0 1801200303 113147904 27119 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 27624 27119 566 18 0 27606 0
[pid=20303] vsize: 110496
Current children cumulated CPU time (s) 768.87
Current children cumulated vsize (Kb) 110496

[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 27587 0 0 0 77751 134 0 0 25 0 1 0 1801200303 114614272 27476 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 27982 27476 566 18 0 27964 0
[pid=20303] vsize: 111928
Current children cumulated CPU time (s) 778.85
Current children cumulated vsize (Kb) 111928

[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 27886 0 0 0 78750 135 0 0 25 0 1 0 1801200303 115859456 27775 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 28286 27775 566 18 0 28268 0
[pid=20303] vsize: 113144
Current children cumulated CPU time (s) 788.85
Current children cumulated vsize (Kb) 113144

[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 28111 0 0 0 79748 136 0 0 25 0 1 0 1801200303 116682752 28000 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 28487 28000 566 18 0 28469 0
[pid=20303] vsize: 113948
Current children cumulated CPU time (s) 798.84
Current children cumulated vsize (Kb) 113948

[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 28350 0 0 0 80746 137 0 0 25 0 1 0 1801200303 117788672 28239 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 28757 28239 566 18 0 28739 0
[pid=20303] vsize: 115028
Current children cumulated CPU time (s) 808.83
Current children cumulated vsize (Kb) 115028

[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 28645 0 0 0 81744 138 0 0 25 0 1 0 1801200303 119009280 28534 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 29055 28534 566 18 0 29037 0
[pid=20303] vsize: 116220
Current children cumulated CPU time (s) 818.82
Current children cumulated vsize (Kb) 116220

[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 28940 0 0 0 82742 139 0 0 25 0 1 0 1801200303 120131584 28829 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 29329 28829 566 18 0 29311 0
[pid=20303] vsize: 117316
Current children cumulated CPU time (s) 828.81
Current children cumulated vsize (Kb) 117316

[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 29229 0 0 0 83741 140 0 0 25 0 1 0 1801200303 121393152 29118 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 29637 29118 566 18 0 29619 0
[pid=20303] vsize: 118548
Current children cumulated CPU time (s) 838.81
Current children cumulated vsize (Kb) 118548

[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 29454 0 0 0 84739 141 0 0 25 0 1 0 1801200303 122241024 29343 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 29844 29343 566 18 0 29826 0
[pid=20303] vsize: 119376
Current children cumulated CPU time (s) 848.8
Current children cumulated vsize (Kb) 119376

[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 29703 0 0 0 85737 142 0 0 25 0 1 0 1801200303 123236352 29592 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 30087 29592 566 18 0 30069 0
[pid=20303] vsize: 120348
Current children cumulated CPU time (s) 858.79
Current children cumulated vsize (Kb) 120348

[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 29956 0 0 0 86736 143 0 0 25 0 1 0 1801200303 124321792 29845 4294967295 134512640 134578447 3221224624 3221223488 134517848 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 30352 29845 566 18 0 30334 0
[pid=20303] vsize: 121408
Current children cumulated CPU time (s) 868.79
Current children cumulated vsize (Kb) 121408

[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 30219 0 0 0 87734 144 0 0 25 0 1 0 1801200303 125349888 30108 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 30603 30108 566 18 0 30585 0
[pid=20303] vsize: 122412
Current children cumulated CPU time (s) 878.78
Current children cumulated vsize (Kb) 122412

[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 30441 0 0 0 88733 145 0 0 25 0 1 0 1801200303 126304256 30330 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 30836 30330 566 18 0 30818 0
[pid=20303] vsize: 123344
Current children cumulated CPU time (s) 888.78
Current children cumulated vsize (Kb) 123344

[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 30817 0 0 0 89731 146 0 0 25 0 1 0 1801200303 127848448 30706 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 31213 30706 566 18 0 31195 0
[pid=20303] vsize: 124852
Current children cumulated CPU time (s) 898.77
Current children cumulated vsize (Kb) 124852

[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 31045 0 0 0 90728 147 0 0 25 0 1 0 1801200303 128716800 30934 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 31425 30934 566 18 0 31407 0
[pid=20303] vsize: 125700
Current children cumulated CPU time (s) 908.75
Current children cumulated vsize (Kb) 125700

[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 31291 0 0 0 91726 148 0 0 25 0 1 0 1801200303 129769472 31180 4294967295 134512640 134578447 3221224624 3221223296 134522294 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 31682 31180 566 18 0 31664 0
[pid=20303] vsize: 126728
Current children cumulated CPU time (s) 918.74
Current children cumulated vsize (Kb) 126728

[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 31537 0 0 0 92725 149 0 0 25 0 1 0 1801200303 130785280 31426 4294967295 134512640 134578447 3221224624 3221223504 134527597 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 31930 31426 566 18 0 31912 0
[pid=20303] vsize: 127720
Current children cumulated CPU time (s) 928.74
Current children cumulated vsize (Kb) 127720

[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 31761 0 0 0 93723 150 0 0 25 0 1 0 1801200303 131649536 31650 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 32141 31650 566 18 0 32123 0
[pid=20303] vsize: 128564
Current children cumulated CPU time (s) 938.73
Current children cumulated vsize (Kb) 128564

[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 32043 0 0 0 94721 151 0 0 25 0 1 0 1801200303 132923392 31932 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 32452 31932 566 18 0 32434 0
[pid=20303] vsize: 129808
Current children cumulated CPU time (s) 948.72
Current children cumulated vsize (Kb) 129808

[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 32440 0 0 0 95719 153 0 0 25 0 1 0 1801200303 134488064 32329 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 32834 32329 566 18 0 32816 0
[pid=20303] vsize: 131336
Current children cumulated CPU time (s) 958.72
Current children cumulated vsize (Kb) 131336

[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 32661 0 0 0 96717 154 0 0 20 0 1 0 1801200303 135348224 32550 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/20303/statm): 33044 32550 566 18 0 33026 0
[pid=20303] vsize: 132176
Current children cumulated CPU time (s) 968.71
Current children cumulated vsize (Kb) 132176

[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 32866 0 0 0 97715 155 0 0 25 0 1 0 1801200303 136208384 32755 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 33254 32755 566 18 0 33236 0
[pid=20303] vsize: 133016
Current children cumulated CPU time (s) 978.7
Current children cumulated vsize (Kb) 133016

[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 33096 0 0 0 98713 156 0 0 25 0 1 0 1801200303 137211904 32985 4294967295 134512640 134578447 3221224624 3221223296 134522610 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 33499 32985 566 18 0 33481 0
[pid=20303] vsize: 133996
Current children cumulated CPU time (s) 988.69
Current children cumulated vsize (Kb) 133996

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 33465 0 0 0 99711 157 0 0 25 0 1 0 1801200303 138743808 33354 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 33873 33354 566 18 0 33855 0
[pid=20303] vsize: 135492
Current children cumulated CPU time (s) 998.68
Current children cumulated vsize (Kb) 135492

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 33774 0 0 0 100709 158 0 0 25 0 1 0 1801200303 139960320 33663 4294967295 134512640 134578447 3221224624 3221221200 134532404 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 34170 33663 566 18 0 34152 0
[pid=20303] vsize: 136680
Current children cumulated CPU time (s) 1008.67
Current children cumulated vsize (Kb) 136680

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 34004 0 0 0 101708 158 0 0 25 0 1 0 1801200303 140914688 33893 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 34403 33893 566 18 0 34385 0
[pid=20303] vsize: 137612
Current children cumulated CPU time (s) 1018.66
Current children cumulated vsize (Kb) 137612

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 34277 0 0 0 102705 160 0 0 25 0 1 0 1801200303 142028800 34166 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 34675 34166 566 18 0 34657 0
[pid=20303] vsize: 138700
Current children cumulated CPU time (s) 1028.65
Current children cumulated vsize (Kb) 138700

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 34533 0 0 0 103704 160 0 0 25 0 1 0 1801200303 143036416 34422 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 34921 34422 566 18 0 34903 0
[pid=20303] vsize: 139684
Current children cumulated CPU time (s) 1038.64
Current children cumulated vsize (Kb) 139684

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 34783 0 0 0 104703 161 0 0 25 0 1 0 1801200303 144048128 34672 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 35168 34672 566 18 0 35150 0
[pid=20303] vsize: 140672
Current children cumulated CPU time (s) 1048.64
Current children cumulated vsize (Kb) 140672

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 35087 0 0 0 105701 162 0 0 25 0 1 0 1801200303 145309696 34976 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 35476 34976 566 18 0 35458 0
[pid=20303] vsize: 141904
Current children cumulated CPU time (s) 1058.63
Current children cumulated vsize (Kb) 141904

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 35280 0 0 0 106700 163 0 0 25 0 1 0 1801200303 146051072 35169 4294967295 134512640 134578447 3221224624 3221223296 134523398 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 35657 35169 566 18 0 35639 0
[pid=20303] vsize: 142628
Current children cumulated CPU time (s) 1068.63
Current children cumulated vsize (Kb) 142628

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 35653 0 0 0 107698 164 0 0 25 0 1 0 1801200303 147726336 35542 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 36066 35542 566 18 0 36048 0
[pid=20303] vsize: 144264
Current children cumulated CPU time (s) 1078.62
Current children cumulated vsize (Kb) 144264

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 35981 0 0 0 108696 165 0 0 25 0 1 0 1801200303 148987904 35870 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 36374 35870 566 18 0 36356 0
[pid=20303] vsize: 145496
Current children cumulated CPU time (s) 1088.61
Current children cumulated vsize (Kb) 145496

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 36248 0 0 0 109694 167 0 0 25 0 1 0 1801200303 150142976 36137 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 36656 36137 566 18 0 36638 0
[pid=20303] vsize: 146624
Current children cumulated CPU time (s) 1098.61
Current children cumulated vsize (Kb) 146624

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 36508 0 0 0 110692 167 0 0 25 0 1 0 1801200303 151085056 36397 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 36886 36397 566 18 0 36868 0
[pid=20303] vsize: 147544
Current children cumulated CPU time (s) 1108.59
Current children cumulated vsize (Kb) 147544

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 36759 0 0 0 111691 168 0 0 25 0 1 0 1801200303 152162304 36648 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 37149 36648 566 18 0 37131 0
[pid=20303] vsize: 148596
Current children cumulated CPU time (s) 1118.59
Current children cumulated vsize (Kb) 148596

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 37035 0 0 0 112690 170 0 0 25 0 1 0 1801200303 153264128 36924 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 37418 36924 566 18 0 37400 0
[pid=20303] vsize: 149672
Current children cumulated CPU time (s) 1128.6
Current children cumulated vsize (Kb) 149672

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 37299 0 0 0 113687 171 0 0 25 0 1 0 1801200303 154357760 37188 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 37685 37188 566 18 0 37667 0
[pid=20303] vsize: 150740
Current children cumulated CPU time (s) 1138.58
Current children cumulated vsize (Kb) 150740

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 37609 0 0 0 114685 173 0 0 25 0 1 0 1801200303 155602944 37498 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 37989 37498 566 18 0 37971 0
[pid=20303] vsize: 151956
Current children cumulated CPU time (s) 1148.58
Current children cumulated vsize (Kb) 151956

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 37846 0 0 0 115683 174 0 0 25 0 1 0 1801200303 156602368 37735 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 38233 37735 566 18 0 38215 0
[pid=20303] vsize: 152932
Current children cumulated CPU time (s) 1158.57
Current children cumulated vsize (Kb) 152932

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 38106 0 0 0 116680 177 0 0 25 0 1 0 1801200303 157810688 37995 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 38528 37995 566 18 0 38510 0
[pid=20303] vsize: 154112
Current children cumulated CPU time (s) 1168.57
Current children cumulated vsize (Kb) 154112

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 38321 0 0 0 117678 178 0 0 25 0 1 0 1801200303 158646272 38210 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 38732 38210 566 18 0 38714 0
[pid=20303] vsize: 154928
Current children cumulated CPU time (s) 1178.56
Current children cumulated vsize (Kb) 154928

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 20364
Raw data (/proc/20303/stat): 20303 (Pueblo) R 20302 20303 8263 0 -1 0 38624 0 0 0 118676 179 0 0 25 0 1 0 1801200303 159928320 38513 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20303/statm): 39045 38513 566 18 0 39027 0
[pid=20303] vsize: 156180
Current children cumulated CPU time (s) 1188.55
Current children cumulated vsize (Kb) 156180
One traced child (pid=20303) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.77
CPU time (s): 1189.28
CPU user time (s): 1187.41
CPU system time (s): 1.86772
CPU usage (%): 99.8748
Max. virtual memory (cumulated for all children) (Kb): 156180

Verifier Data

Verifier:	OK	-6