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/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM1694d09a3d3e6cb31138c73ed644b225
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -42
Optimality of the best value was proved NO
Number of terms in the objective function 1400
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 1400
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 1400
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 benchmark1203.01
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
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 7904

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-20 15:01:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5062 boxname=wulflinc29 idbench=374 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  1694d09a3d3e6cb31138c73ed644b225  /oldhome/oroussel/tmp/wulflinc29/normalized-frb56-25-5.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 5062
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        638384 kB
Buffers:         40852 kB
Cached:         323336 kB
SwapCached:        768 kB
Active:         234712 kB
Inactive:       132084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        638132 kB
SwapTotal:     2097892 kB
SwapFree:      2096528 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            23764 kB
Committed_AS:    64144 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 15:21:15 (client local time) WITH STATUS 10 IN 1189.09 SECONDS
stats: 5062 0 1189.09 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: 1400 - #constraints read: 109602
c total time              : 1189.01 s
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -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/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859445872 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 41 3 40 18 0 23 0
[pid=11756] 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): 1.01 1.02 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4286 0 0 0 975 15 0 0 25 0 1 0 1859445872 19152896 4252 4294967295 134512640 134578447 3221224624 3221223296 134523425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4676 4252 566 18 0 4658 0
[pid=11756] vsize: 18704
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 18704

[startup+20.0033 s]
Raw data (loadavg): 1.01 1.02 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4478 0 0 0 1968 17 0 0 25 0 1 0 1859445872 19992576 4444 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4881 4444 566 18 0 4863 0
[pid=11756] vsize: 19524
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 19524

[startup+30.0041 s]
Raw data (loadavg): 1.00 1.02 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4508 0 0 0 2966 18 0 0 25 0 1 0 1859445872 19767296 4407 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4826 4407 566 18 0 4808 0
[pid=11756] vsize: 19304
Current children cumulated CPU time (s) 29.84
Current children cumulated vsize (Kb) 19304

[startup+40.0049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4545 0 0 0 3959 21 0 0 25 0 1 0 1859445872 20021248 4444 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4888 4444 566 18 0 4870 0
[pid=11756] vsize: 19552
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (Kb) 19552

[startup+50.0046 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4595 0 0 0 4958 21 0 0 25 0 1 0 1859445872 20160512 4485 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4922 4485 566 18 0 4904 0
[pid=11756] vsize: 19688
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (Kb) 19688

[startup+60.0054 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4611 0 0 0 5952 23 0 0 25 0 1 0 1859445872 20160512 4485 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 4922 4485 566 18 0 4904 0
[pid=11756] vsize: 19688
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 19688

[startup+70.0062 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 4920 0 0 0 6950 24 0 0 25 0 1 0 1859445872 21438464 4794 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 5234 4794 566 18 0 5216 0
[pid=11756] vsize: 20936
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 20936

[startup+80.007 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 5203 0 0 0 7943 26 0 0 25 0 1 0 1859445872 22593536 5077 4294967295 134512640 134578447 3221224624 3221223456 134528501 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 5516 5077 566 18 0 5498 0
[pid=11756] vsize: 22064
Current children cumulated CPU time (s) 79.69
Current children cumulated vsize (Kb) 22064

[startup+90.0077 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 5518 0 0 0 8941 28 0 0 25 0 1 0 1859445872 23826432 5392 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 5817 5392 566 18 0 5799 0
[pid=11756] vsize: 23268
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 23268

[startup+100.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 5823 0 0 0 9938 29 0 0 25 0 1 0 1859445872 25067520 5697 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 6120 5697 566 18 0 6102 0
[pid=11756] vsize: 24480
Current children cumulated CPU time (s) 99.67
Current children cumulated vsize (Kb) 24480

[startup+110.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 6142 0 0 0 10936 31 0 0 25 0 1 0 1859445872 26488832 6016 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 6467 6016 566 18 0 6449 0
[pid=11756] vsize: 25868
Current children cumulated CPU time (s) 109.67
Current children cumulated vsize (Kb) 25868

[startup+120.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 6518 0 0 0 11929 33 0 0 25 0 1 0 1859445872 28028928 6392 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 6843 6392 566 18 0 6825 0
[pid=11756] vsize: 27372
Current children cumulated CPU time (s) 119.62
Current children cumulated vsize (Kb) 27372

[startup+130.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 6889 0 0 0 12927 34 0 0 25 0 1 0 1859445872 29466624 6763 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 7194 6763 566 18 0 7176 0
[pid=11756] vsize: 28776
Current children cumulated CPU time (s) 129.61
Current children cumulated vsize (Kb) 28776

[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 7173 0 0 0 13925 36 0 0 25 0 1 0 1859445872 30633984 7047 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 7479 7047 566 18 0 7461 0
[pid=11756] vsize: 29916
Current children cumulated CPU time (s) 139.61
Current children cumulated vsize (Kb) 29916

[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 7484 0 0 0 14923 36 0 0 25 0 1 0 1859445872 31891456 7358 4294967295 134512640 134578447 3221224624 3221223536 134556875 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 7786 7358 566 18 0 7768 0
[pid=11756] vsize: 31144
Current children cumulated CPU time (s) 149.59
Current children cumulated vsize (Kb) 31144

[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 7807 0 0 0 15921 37 0 0 25 0 1 0 1859445872 33288192 7681 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 8127 7681 566 18 0 8109 0
[pid=11756] vsize: 32508
Current children cumulated CPU time (s) 159.58
Current children cumulated vsize (Kb) 32508

[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 8162 0 0 0 16919 39 0 0 25 0 1 0 1859445872 34693120 8036 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 8470 8036 566 18 0 8452 0
[pid=11756] vsize: 33880
Current children cumulated CPU time (s) 169.58
Current children cumulated vsize (Kb) 33880

[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 8534 0 0 0 17912 41 0 0 25 0 1 0 1859445872 36253696 8408 4294967295 134512640 134578447 3221224624 3221223504 134527594 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 8851 8408 566 18 0 8833 0
[pid=11756] vsize: 35404
Current children cumulated CPU time (s) 179.53
Current children cumulated vsize (Kb) 35404

[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 8903 0 0 0 18910 42 0 0 25 0 1 0 1859445872 37720064 8777 4294967295 134512640 134578447 3221224624 3221223292 134523160 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 9209 8777 566 18 0 9191 0
[pid=11756] vsize: 36836
Current children cumulated CPU time (s) 189.52
Current children cumulated vsize (Kb) 36836

[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 9113 0 0 0 19908 43 0 0 25 0 1 0 1859445872 38600704 8987 4294967295 134512640 134578447 3221224624 3221223296 134523425 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 9424 8987 566 18 0 9406 0
[pid=11756] vsize: 37696
Current children cumulated CPU time (s) 199.51
Current children cumulated vsize (Kb) 37696

[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 9493 0 0 0 20906 44 0 0 25 0 1 0 1859445872 40148992 9367 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 9802 9367 566 18 0 9784 0
[pid=11756] vsize: 39208
Current children cumulated CPU time (s) 209.5
Current children cumulated vsize (Kb) 39208

[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 9725 0 0 0 21905 45 0 0 25 0 1 0 1859445872 41132032 9599 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 10042 9599 566 18 0 10024 0
[pid=11756] vsize: 40168
Current children cumulated CPU time (s) 219.5
Current children cumulated vsize (Kb) 40168

[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 9962 0 0 0 22904 46 0 0 25 0 1 0 1859445872 42094592 9836 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 10277 9836 566 18 0 10259 0
[pid=11756] vsize: 41108
Current children cumulated CPU time (s) 229.5
Current children cumulated vsize (Kb) 41108

[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 10240 0 0 0 23902 48 0 0 25 0 1 0 1859445872 43212800 10114 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 10550 10114 566 18 0 10532 0
[pid=11756] vsize: 42200
Current children cumulated CPU time (s) 239.5
Current children cumulated vsize (Kb) 42200

[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 10427 0 0 0 24900 49 0 0 25 0 1 0 1859445872 44060672 10301 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 10757 10301 566 18 0 10739 0
[pid=11756] vsize: 43028
Current children cumulated CPU time (s) 249.49
Current children cumulated vsize (Kb) 43028

[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11756
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 10828 0 0 0 25897 51 0 0 25 0 1 0 1859445872 45608960 10702 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 11135 10702 566 18 0 11117 0
[pid=11756] vsize: 44540
Current children cumulated CPU time (s) 259.48
Current children cumulated vsize (Kb) 44540

[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 10992 0 0 0 26890 53 0 0 25 0 1 0 1859445872 46292992 10866 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 11302 10866 566 18 0 11284 0
[pid=11756] vsize: 45208
Current children cumulated CPU time (s) 269.43
Current children cumulated vsize (Kb) 45208

[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 11410 0 0 0 27888 54 0 0 25 0 1 0 1859445872 47955968 11284 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 11708 11284 566 18 0 11690 0
[pid=11756] vsize: 46832
Current children cumulated CPU time (s) 279.42
Current children cumulated vsize (Kb) 46832

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 11639 0 0 0 28887 55 0 0 25 0 1 0 1859445872 48934912 11513 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 11947 11513 566 18 0 11929 0
[pid=11756] vsize: 47788
Current children cumulated CPU time (s) 289.42
Current children cumulated vsize (Kb) 47788

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 12044 0 0 0 29885 56 0 0 25 0 1 0 1859445872 50610176 11918 4294967295 134512640 134578447 3221224624 3221223476 134555916 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 12356 11918 566 18 0 12338 0
[pid=11756] vsize: 49424
Current children cumulated CPU time (s) 299.41
Current children cumulated vsize (Kb) 49424

[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 12301 0 0 0 30882 58 0 0 25 0 1 0 1859445872 51699712 12175 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 12622 12175 566 18 0 12604 0
[pid=11756] vsize: 50488
Current children cumulated CPU time (s) 309.4
Current children cumulated vsize (Kb) 50488

[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 12654 0 0 0 31879 60 0 0 25 0 1 0 1859445872 53133312 12528 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 12972 12528 566 18 0 12954 0
[pid=11756] vsize: 51888
Current children cumulated CPU time (s) 319.39
Current children cumulated vsize (Kb) 51888

[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 12978 0 0 0 32877 61 0 0 25 0 1 0 1859445872 54411264 12852 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 13284 12852 566 18 0 13266 0
[pid=11756] vsize: 53136
Current children cumulated CPU time (s) 329.38
Current children cumulated vsize (Kb) 53136

[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 13183 0 0 0 33875 62 0 0 25 0 1 0 1859445872 55255040 13057 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 13490 13057 566 18 0 13472 0
[pid=11756] vsize: 53960
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (Kb) 53960

[startup+350.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 13534 0 0 0 34872 63 0 0 25 0 1 0 1859445872 56700928 13408 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 13843 13408 566 18 0 13825 0
[pid=11756] vsize: 55372
Current children cumulated CPU time (s) 349.35
Current children cumulated vsize (Kb) 55372

[startup+360.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 13878 0 0 0 35871 64 0 0 25 0 1 0 1859445872 58101760 13752 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 14185 13752 566 18 0 14167 0
[pid=11756] vsize: 56740
Current children cumulated CPU time (s) 359.35
Current children cumulated vsize (Kb) 56740

[startup+370.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 14161 0 0 0 36869 66 0 0 25 0 1 0 1859445872 59219968 14035 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 14458 14035 566 18 0 14440 0
[pid=11756] vsize: 57832
Current children cumulated CPU time (s) 369.35
Current children cumulated vsize (Kb) 57832

[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 14373 0 0 0 37867 68 0 0 25 0 1 0 1859445872 60198912 14247 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 14697 14247 566 18 0 14679 0
[pid=11756] vsize: 58788
Current children cumulated CPU time (s) 379.35
Current children cumulated vsize (Kb) 58788

[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 14704 0 0 0 38864 69 0 0 25 0 1 0 1859445872 61460480 14578 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 15005 14578 566 18 0 14987 0
[pid=11756] vsize: 60020
Current children cumulated CPU time (s) 389.33
Current children cumulated vsize (Kb) 60020

[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 15032 0 0 0 39862 70 0 0 25 0 1 0 1859445872 62844928 14906 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 15343 14906 566 18 0 15325 0
[pid=11756] vsize: 61372
Current children cumulated CPU time (s) 399.32
Current children cumulated vsize (Kb) 61372

[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 15318 0 0 0 40855 74 0 0 25 0 1 0 1859445872 63959040 15192 4294967295 134512640 134578447 3221224624 3221223296 134523387 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 15615 15192 566 18 0 15597 0
[pid=11756] vsize: 62460
Current children cumulated CPU time (s) 409.29
Current children cumulated vsize (Kb) 62460

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 15713 0 0 0 41852 75 0 0 25 0 1 0 1859445872 65622016 15587 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 16021 15587 566 18 0 16003 0
[pid=11756] vsize: 64084
Current children cumulated CPU time (s) 419.27
Current children cumulated vsize (Kb) 64084

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 16009 0 0 0 42851 76 0 0 25 0 1 0 1859445872 66920448 15883 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 16338 15883 566 18 0 16320 0
[pid=11756] vsize: 65352
Current children cumulated CPU time (s) 429.27
Current children cumulated vsize (Kb) 65352

[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 16344 0 0 0 43848 78 0 0 25 0 1 0 1859445872 68317184 16218 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 16679 16218 566 18 0 16661 0
[pid=11756] vsize: 66716
Current children cumulated CPU time (s) 439.26
Current children cumulated vsize (Kb) 66716

[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 16580 0 0 0 44845 79 0 0 25 0 1 0 1859445872 69193728 16454 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 16893 16454 566 18 0 16875 0
[pid=11756] vsize: 67572
Current children cumulated CPU time (s) 449.24
Current children cumulated vsize (Kb) 67572

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 17011 0 0 0 45843 81 0 0 25 0 1 0 1859445872 70995968 16885 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 17333 16885 566 18 0 17315 0
[pid=11756] vsize: 69332
Current children cumulated CPU time (s) 459.24
Current children cumulated vsize (Kb) 69332

[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 17206 0 0 0 46840 83 0 0 25 0 1 0 1859445872 71847936 17080 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 17541 17080 566 18 0 17523 0
[pid=11756] vsize: 70164
Current children cumulated CPU time (s) 469.23
Current children cumulated vsize (Kb) 70164

[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 17613 0 0 0 47839 84 0 0 25 0 1 0 1859445872 73510912 17487 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 17947 17487 566 18 0 17929 0
[pid=11756] vsize: 71788
Current children cumulated CPU time (s) 479.23
Current children cumulated vsize (Kb) 71788

[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 17880 0 0 0 48838 84 0 0 25 0 1 0 1859445872 74551296 17754 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 18201 17754 566 18 0 18183 0
[pid=11756] vsize: 72804
Current children cumulated CPU time (s) 489.22
Current children cumulated vsize (Kb) 72804

[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 18215 0 0 0 49835 85 0 0 25 0 1 0 1859445872 75890688 18089 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 18528 18089 566 18 0 18510 0
[pid=11756] vsize: 74112
Current children cumulated CPU time (s) 499.2
Current children cumulated vsize (Kb) 74112

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 18544 0 0 0 50832 87 0 0 25 0 1 0 1859445872 77312000 18418 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 18875 18418 566 18 0 18857 0
[pid=11756] vsize: 75500
Current children cumulated CPU time (s) 509.19
Current children cumulated vsize (Kb) 75500

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 18867 0 0 0 51831 88 0 0 25 0 1 0 1859445872 78606336 18741 4294967295 134512640 134578447 3221224624 3221223488 134517841 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 19191 18741 566 18 0 19173 0
[pid=11756] vsize: 76764
Current children cumulated CPU time (s) 519.19
Current children cumulated vsize (Kb) 76764

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 19240 0 0 0 52829 89 0 0 25 0 1 0 1859445872 80183296 19114 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 19576 19114 566 18 0 19558 0
[pid=11756] vsize: 78304
Current children cumulated CPU time (s) 529.18
Current children cumulated vsize (Kb) 78304

[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 19496 0 0 0 53826 91 0 0 25 0 1 0 1859445872 81199104 19370 4294967295 134512640 134578447 3221224624 3221223504 134531685 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 19824 19370 566 18 0 19806 0
[pid=11756] vsize: 79296
Current children cumulated CPU time (s) 539.17
Current children cumulated vsize (Kb) 79296

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 19852 0 0 0 54825 92 0 0 25 0 1 0 1859445872 82669568 19726 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 20183 19726 566 18 0 20165 0
[pid=11756] vsize: 80732
Current children cumulated CPU time (s) 549.17
Current children cumulated vsize (Kb) 80732

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 20096 0 0 0 55823 93 0 0 25 0 1 0 1859445872 83660800 19970 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 20425 19970 566 18 0 20407 0
[pid=11756] vsize: 81700
Current children cumulated CPU time (s) 559.16
Current children cumulated vsize (Kb) 81700

[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 20499 0 0 0 56822 94 0 0 25 0 1 0 1859445872 85360640 20373 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 20840 20373 566 18 0 20822 0
[pid=11756] vsize: 83360
Current children cumulated CPU time (s) 569.16
Current children cumulated vsize (Kb) 83360

[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 20673 0 0 0 57820 95 0 0 25 0 1 0 1859445872 85946368 20547 4294967295 134512640 134578447 3221224624 3221223504 134527776 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 20983 20547 566 18 0 20965 0
[pid=11756] vsize: 83932
Current children cumulated CPU time (s) 579.15
Current children cumulated vsize (Kb) 83932

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 21072 0 0 0 58818 97 0 0 25 0 1 0 1859445872 87654400 20946 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 21400 20946 566 18 0 21382 0
[pid=11756] vsize: 85600
Current children cumulated CPU time (s) 589.15
Current children cumulated vsize (Kb) 85600

[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 21392 0 0 0 59811 100 0 0 25 0 1 0 1859445872 89022464 21266 4294967295 134512640 134578447 3221224624 3221223504 134518956 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 21734 21266 566 18 0 21716 0
[pid=11756] vsize: 86936
Current children cumulated CPU time (s) 599.11
Current children cumulated vsize (Kb) 86936

[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 21671 0 0 0 60809 101 0 0 25 0 1 0 1859445872 90058752 21545 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 21987 21545 566 18 0 21969 0
[pid=11756] vsize: 87948
Current children cumulated CPU time (s) 609.1
Current children cumulated vsize (Kb) 87948

[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 21929 0 0 0 61808 102 0 0 25 0 1 0 1859445872 91205632 21803 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 22267 21803 566 18 0 22249 0
[pid=11756] vsize: 89068
Current children cumulated CPU time (s) 619.1
Current children cumulated vsize (Kb) 89068

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 22228 0 0 0 62804 103 0 0 25 0 1 0 1859445872 92315648 22102 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 22538 22102 566 18 0 22520 0
[pid=11756] vsize: 90152
Current children cumulated CPU time (s) 629.07
Current children cumulated vsize (Kb) 90152

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 22486 0 0 0 63802 105 0 0 25 0 1 0 1859445872 93437952 22360 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 22812 22360 566 18 0 22794 0
[pid=11756] vsize: 91248
Current children cumulated CPU time (s) 639.07
Current children cumulated vsize (Kb) 91248

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 22768 0 0 0 64799 107 0 0 25 0 1 0 1859445872 94564352 22642 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 23087 22642 566 18 0 23069 0
[pid=11756] vsize: 92348
Current children cumulated CPU time (s) 649.06
Current children cumulated vsize (Kb) 92348

[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 23098 0 0 0 65797 108 0 0 25 0 1 0 1859445872 95965184 22972 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 23429 22972 566 18 0 23411 0
[pid=11756] vsize: 93716
Current children cumulated CPU time (s) 659.05
Current children cumulated vsize (Kb) 93716

[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 23376 0 0 0 66795 110 0 0 25 0 1 0 1859445872 97091584 23250 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 23704 23250 566 18 0 23686 0
[pid=11756] vsize: 94816
Current children cumulated CPU time (s) 669.05
Current children cumulated vsize (Kb) 94816

[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 23660 0 0 0 67794 110 0 0 25 0 1 0 1859445872 98205696 23534 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 23976 23534 566 18 0 23958 0
[pid=11756] vsize: 95904
Current children cumulated CPU time (s) 679.04
Current children cumulated vsize (Kb) 95904

[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 23977 0 0 0 68792 112 0 0 25 0 1 0 1859445872 99573760 23851 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 24310 23851 566 18 0 24292 0
[pid=11756] vsize: 97240
Current children cumulated CPU time (s) 689.04
Current children cumulated vsize (Kb) 97240

[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 24300 0 0 0 69790 113 0 0 25 0 1 0 1859445872 100851712 24174 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 24622 24174 566 18 0 24604 0
[pid=11756] vsize: 98488
Current children cumulated CPU time (s) 699.03
Current children cumulated vsize (Kb) 98488

[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 24561 0 0 0 70788 115 0 0 25 0 1 0 1859445872 101957632 24435 4294967295 134512640 134578447 3221224624 3221223520 134519777 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 24892 24435 566 18 0 24874 0
[pid=11756] vsize: 99568
Current children cumulated CPU time (s) 709.03
Current children cumulated vsize (Kb) 99568

[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 24814 0 0 0 71786 115 0 0 25 0 1 0 1859445872 102973440 24688 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 25140 24688 566 18 0 25122 0
[pid=11756] vsize: 100560
Current children cumulated CPU time (s) 719.01
Current children cumulated vsize (Kb) 100560

[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 25027 0 0 0 72785 117 0 0 25 0 1 0 1859445872 103841792 24901 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 25352 24901 566 18 0 25334 0
[pid=11756] vsize: 101408
Current children cumulated CPU time (s) 729.02
Current children cumulated vsize (Kb) 101408

[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 25306 0 0 0 73783 118 0 0 25 0 1 0 1859445872 105091072 25180 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 25657 25180 566 18 0 25639 0
[pid=11756] vsize: 102628
Current children cumulated CPU time (s) 739.01
Current children cumulated vsize (Kb) 102628

[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 25667 0 0 0 74781 119 0 0 25 0 1 0 1859445872 106491904 25541 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 25999 25541 566 18 0 25981 0
[pid=11756] vsize: 103996
Current children cumulated CPU time (s) 749
Current children cumulated vsize (Kb) 103996

[startup+760.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 25992 0 0 0 75778 121 0 0 25 0 1 0 1859445872 107884544 25866 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 26339 25866 566 18 0 26321 0
[pid=11756] vsize: 105356
Current children cumulated CPU time (s) 758.99
Current children cumulated vsize (Kb) 105356

[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 26219 0 0 0 76775 123 0 0 25 0 1 0 1859445872 108822528 26093 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 26568 26093 566 18 0 26550 0
[pid=11756] vsize: 106272
Current children cumulated CPU time (s) 768.98
Current children cumulated vsize (Kb) 106272

[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 26465 0 0 0 77774 124 0 0 25 0 1 0 1859445872 109809664 26339 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 26809 26339 566 18 0 26791 0
[pid=11756] vsize: 107236
Current children cumulated CPU time (s) 778.98
Current children cumulated vsize (Kb) 107236

[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 26729 0 0 0 78772 125 0 0 25 0 1 0 1859445872 110936064 26603 4294967295 134512640 134578447 3221224624 3221223280 1075289350 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 27084 26603 566 18 0 27066 0
[pid=11756] vsize: 108336
Current children cumulated CPU time (s) 788.97
Current children cumulated vsize (Kb) 108336

[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 27108 0 0 0 79770 126 0 0 25 0 1 0 1859445872 112463872 26982 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 27457 26982 566 18 0 27439 0
[pid=11756] vsize: 109828
Current children cumulated CPU time (s) 798.96
Current children cumulated vsize (Kb) 109828

[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 27471 0 0 0 80767 128 0 0 25 0 1 0 1859445872 113885184 27345 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 27804 27345 566 18 0 27786 0
[pid=11756] vsize: 111216
Current children cumulated CPU time (s) 808.95
Current children cumulated vsize (Kb) 111216

[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 27626 0 0 0 81766 129 0 0 25 0 1 0 1859445872 114601984 27500 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 27979 27500 566 18 0 27961 0
[pid=11756] vsize: 111916
Current children cumulated CPU time (s) 818.95
Current children cumulated vsize (Kb) 111916

[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 27994 0 0 0 82763 130 0 0 25 0 1 0 1859445872 116023296 27868 4294967295 134512640 134578447 3221224624 3221223296 134524069 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 28326 27868 566 18 0 28308 0
[pid=11756] vsize: 113304
Current children cumulated CPU time (s) 828.93
Current children cumulated vsize (Kb) 113304

[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 28300 0 0 0 83761 131 0 0 25 0 1 0 1859445872 117272576 28174 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 28631 28174 566 18 0 28613 0
[pid=11756] vsize: 114524
Current children cumulated CPU time (s) 838.92
Current children cumulated vsize (Kb) 114524

[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 28595 0 0 0 84759 132 0 0 25 0 1 0 1859445872 118513664 28469 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 28934 28469 566 18 0 28916 0
[pid=11756] vsize: 115736
Current children cumulated CPU time (s) 848.91
Current children cumulated vsize (Kb) 115736

[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 28825 0 0 0 85757 134 0 0 25 0 1 0 1859445872 119476224 28699 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 29169 28699 566 18 0 29151 0
[pid=11756] vsize: 116676
Current children cumulated CPU time (s) 858.91
Current children cumulated vsize (Kb) 116676

[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 29093 0 0 0 86755 135 0 0 25 0 1 0 1859445872 120672256 28967 4294967295 134512640 134578447 3221224624 3221223476 134555746 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 29461 28967 566 18 0 29443 0
[pid=11756] vsize: 117844
Current children cumulated CPU time (s) 868.9
Current children cumulated vsize (Kb) 117844

[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 29368 0 0 0 87754 135 0 0 25 0 1 0 1859445872 121700352 29242 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 29712 29242 566 18 0 29694 0
[pid=11756] vsize: 118848
Current children cumulated CPU time (s) 878.89
Current children cumulated vsize (Kb) 118848

[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 29620 0 0 0 88752 136 0 0 25 0 1 0 1859445872 122720256 29494 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 29961 29494 566 18 0 29943 0
[pid=11756] vsize: 119844
Current children cumulated CPU time (s) 888.88
Current children cumulated vsize (Kb) 119844

[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 29858 0 0 0 89750 137 0 0 25 0 1 0 1859445872 123686912 29732 4294967295 134512640 134578447 3221224624 3221222080 134532542 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 30197 29732 566 18 0 30179 0
[pid=11756] vsize: 120788
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 120788

[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 30311 0 0 0 90747 139 0 0 25 0 1 0 1859445872 125665280 30185 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 30680 30185 566 18 0 30662 0
[pid=11756] vsize: 122720
Current children cumulated CPU time (s) 908.86
Current children cumulated vsize (Kb) 122720

[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 30545 0 0 0 91746 140 0 0 25 0 1 0 1859445872 126492672 30419 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 30882 30419 566 18 0 30864 0
[pid=11756] vsize: 123528
Current children cumulated CPU time (s) 918.86
Current children cumulated vsize (Kb) 123528

[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 30886 0 0 0 92739 143 0 0 25 0 1 0 1859445872 127975424 30760 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 31244 30760 566 18 0 31226 0
[pid=11756] vsize: 124976
Current children cumulated CPU time (s) 928.82
Current children cumulated vsize (Kb) 124976

[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 31134 0 0 0 93737 144 0 0 25 0 1 0 1859445872 128991232 31008 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 31492 31008 566 18 0 31474 0
[pid=11756] vsize: 125968
Current children cumulated CPU time (s) 938.81
Current children cumulated vsize (Kb) 125968

[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 31405 0 0 0 94735 145 0 0 25 0 1 0 1859445872 130142208 31279 4294967295 134512640 134578447 3221224624 3221223520 134520024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 31773 31279 566 18 0 31755 0
[pid=11756] vsize: 127092
Current children cumulated CPU time (s) 948.8
Current children cumulated vsize (Kb) 127092

[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 31946 0 0 0 95732 147 0 0 25 0 1 0 1859445872 132280320 31820 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 32295 31820 566 18 0 32277 0
[pid=11756] vsize: 129180
Current children cumulated CPU time (s) 958.79
Current children cumulated vsize (Kb) 129180

[startup+970.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 32180 0 0 0 96730 148 0 0 25 0 1 0 1859445872 133206016 32054 4294967295 134512640 134578447 3221224624 3221223296 134523098 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 32521 32054 566 18 0 32503 0
[pid=11756] vsize: 130084
Current children cumulated CPU time (s) 968.78
Current children cumulated vsize (Kb) 130084

[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 32485 0 0 0 97728 149 0 0 25 0 1 0 1859445872 134447104 32359 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 32824 32359 566 18 0 32806 0
[pid=11756] vsize: 131296
Current children cumulated CPU time (s) 978.77
Current children cumulated vsize (Kb) 131296

[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 32738 0 0 0 98727 150 0 0 25 0 1 0 1859445872 135557120 32612 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 33095 32612 566 18 0 33077 0
[pid=11756] vsize: 132380
Current children cumulated CPU time (s) 988.77
Current children cumulated vsize (Kb) 132380

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 32967 0 0 0 99724 151 0 0 25 0 1 0 1859445872 136495104 32841 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 33324 32841 566 18 0 33306 0
[pid=11756] vsize: 133296
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 133296

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 33238 0 0 0 100723 152 0 0 25 0 1 0 1859445872 137670656 33112 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 33611 33112 566 18 0 33593 0
[pid=11756] vsize: 134444
Current children cumulated CPU time (s) 1008.75
Current children cumulated vsize (Kb) 134444

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 33536 0 0 0 101721 153 0 0 25 0 1 0 1859445872 138932224 33410 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 33919 33410 566 18 0 33901 0
[pid=11756] vsize: 135676
Current children cumulated CPU time (s) 1018.74
Current children cumulated vsize (Kb) 135676

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 33932 0 0 0 102719 155 0 0 25 0 1 0 1859445872 140484608 33806 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 34298 33806 566 18 0 34280 0
[pid=11756] vsize: 137192
Current children cumulated CPU time (s) 1028.74
Current children cumulated vsize (Kb) 137192

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 34362 0 0 0 103716 156 0 0 25 0 1 0 1859445872 142245888 34236 4294967295 134512640 134578447 3221224624 3221223296 134523346 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 34728 34236 566 18 0 34710 0
[pid=11756] vsize: 138912
Current children cumulated CPU time (s) 1038.72
Current children cumulated vsize (Kb) 138912

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 34613 0 0 0 104714 158 0 0 25 0 1 0 1859445872 143364096 34487 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 35001 34487 566 18 0 34983 0
[pid=11756] vsize: 140004
Current children cumulated CPU time (s) 1048.72
Current children cumulated vsize (Kb) 140004

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 34906 0 0 0 105712 158 0 0 25 0 1 0 1859445872 144498688 34780 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 35278 34780 566 18 0 35260 0
[pid=11756] vsize: 141112
Current children cumulated CPU time (s) 1058.7
Current children cumulated vsize (Kb) 141112

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 35140 0 0 0 106710 159 0 0 25 0 1 0 1859445872 145469440 35014 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 35515 35014 566 18 0 35497 0
[pid=11756] vsize: 142060
Current children cumulated CPU time (s) 1068.69
Current children cumulated vsize (Kb) 142060

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 35399 0 0 0 107709 160 0 0 25 0 1 0 1859445872 146620416 35273 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 35796 35273 566 18 0 35778 0
[pid=11756] vsize: 143184
Current children cumulated CPU time (s) 1078.69
Current children cumulated vsize (Kb) 143184

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 35750 0 0 0 108708 161 0 0 25 0 1 0 1859445872 148066304 35624 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 36149 35624 566 18 0 36131 0
[pid=11756] vsize: 144596
Current children cumulated CPU time (s) 1088.69
Current children cumulated vsize (Kb) 144596

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 36168 0 0 0 109706 163 0 0 25 0 1 0 1859445872 149770240 36042 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11756/statm): 36565 36042 566 18 0 36547 0
[pid=11756] vsize: 146260
Current children cumulated CPU time (s) 1098.69
Current children cumulated vsize (Kb) 146260

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 36440 0 0 0 110704 164 0 0 17 0 1 0 1859445872 150921216 36314 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 36846 36314 566 18 0 36828 0
[pid=11756] vsize: 147384
Current children cumulated CPU time (s) 1108.68
Current children cumulated vsize (Kb) 147384

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 36704 0 0 0 111702 165 0 0 25 0 1 0 1859445872 151887872 36578 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 37082 36578 566 18 0 37064 0
[pid=11756] vsize: 148328
Current children cumulated CPU time (s) 1118.67
Current children cumulated vsize (Kb) 148328

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 36974 0 0 0 112701 166 0 0 25 0 1 0 1859445872 153096192 36848 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 37377 36848 566 18 0 37359 0
[pid=11756] vsize: 149508
Current children cumulated CPU time (s) 1128.67
Current children cumulated vsize (Kb) 149508

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 37314 0 0 0 113698 168 0 0 25 0 1 0 1859445872 154521600 37188 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 37725 37188 566 18 0 37707 0
[pid=11756] vsize: 150900
Current children cumulated CPU time (s) 1138.66
Current children cumulated vsize (Kb) 150900

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 37694 0 0 0 114695 169 0 0 25 0 1 0 1859445872 155971584 37568 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 38079 37568 566 18 0 38061 0
[pid=11756] vsize: 152316
Current children cumulated CPU time (s) 1148.64
Current children cumulated vsize (Kb) 152316

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 37989 0 0 0 115693 171 0 0 25 0 1 0 1859445872 157159424 37863 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 38369 37863 566 18 0 38351 0
[pid=11756] vsize: 153476
Current children cumulated CPU time (s) 1158.64
Current children cumulated vsize (Kb) 153476

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 38359 0 0 0 116691 172 0 0 25 0 1 0 1859445872 158728192 38233 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 38752 38233 566 18 0 38734 0
[pid=11756] vsize: 155008
Current children cumulated CPU time (s) 1168.63
Current children cumulated vsize (Kb) 155008

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 38659 0 0 0 117688 173 0 0 25 0 1 0 1859445872 159973376 38533 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 39056 38533 566 18 0 39038 0
[pid=11756] vsize: 156224
Current children cumulated CPU time (s) 1178.61
Current children cumulated vsize (Kb) 156224

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 11758
Raw data (/proc/11756/stat): 11756 (Pueblo) R 11755 11756 19818 0 -1 0 39069 0 0 0 118686 175 0 0 25 0 1 0 1859445872 161570816 38943 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11756/statm): 39446 38943 566 18 0 39428 0
[pid=11756] vsize: 157784
Current children cumulated CPU time (s) 1188.61
Current children cumulated vsize (Kb) 157784
One traced child (pid=11756) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1190.53
CPU time (s): 1189.09
CPU user time (s): 1187.27
CPU system time (s): 1.82372
CPU usage (%): 99.8793
Max. virtual memory (cumulated for all children) (Kb): 157784

Verifier Data

Verifier:	OK	-6