Name | web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | 5b8ef604a7452dcb7c7d749b75aed566 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
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 | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1204.55 |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
LAUNCH ON wulflinc8 THE 2005-09-20 15:03:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5065 boxname=wulflinc8 idbench=377 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 5b8ef604a7452dcb7c7d749b75aed566 /oldhome/oroussel/tmp/wulflinc8/normalized-frb59-26-2.opb REAL COMMAND: Pueblo IDLAUNCH: 5065 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 821124 kB Buffers: 33300 kB Cached: 153572 kB SwapCached: 876 kB Active: 83208 kB Inactive: 106416 kB HighTotal: 131008 kB HighFree: 1624 kB LowTotal: 903652 kB LowFree: 819500 kB SwapTotal: 2097136 kB SwapFree: 2095848 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5768 kB Slab: 18220 kB Committed_AS: 64136 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 15:23:09 (client local time) WITH STATUS 10 IN 1189.86 SECONDS stats: 5065 0 1189.86 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 1534 - #constraints read: 126164 c total time : 1189.78 s s SATISFIABLE v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -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
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/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787674881 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1752/statm): 41 3 40 18 0 23 0 [pid=1752] 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.0058 s] Raw data (loadavg): 0.94 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 4753 0 0 0 980 13 0 0 25 0 1 0 1787674881 21065728 4719 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5143 4719 566 18 0 5125 0 [pid=1752] vsize: 20572 Current children cumulated CPU time (s) 9.93 Current children cumulated vsize (Kb) 20572 [startup+20.0066 s] Raw data (loadavg): 0.95 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 4993 0 0 0 1967 17 0 0 23 0 1 0 1787674881 21991424 4959 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5369 4959 566 18 0 5351 0 [pid=1752] vsize: 21476 Current children cumulated CPU time (s) 19.84 Current children cumulated vsize (Kb) 21476 [startup+30.0074 s] Raw data (loadavg): 0.95 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5061 0 0 0 2966 18 0 0 25 0 1 0 1787674881 22081536 4991 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5391 4991 566 18 0 5373 0 [pid=1752] vsize: 21564 Current children cumulated CPU time (s) 29.84 Current children cumulated vsize (Kb) 21564 [startup+40.0082 s] Raw data (loadavg): 0.96 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5127 0 0 0 3959 21 0 0 25 0 1 0 1787674881 22388736 5057 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5466 5057 566 18 0 5448 0 [pid=1752] vsize: 21864 Current children cumulated CPU time (s) 39.8 Current children cumulated vsize (Kb) 21864 [startup+50.009 s] Raw data (loadavg): 0.97 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5245 0 0 0 4953 22 0 0 25 0 1 0 1787674881 22880256 5154 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5586 5154 566 18 0 5568 0 [pid=1752] vsize: 22344 Current children cumulated CPU time (s) 49.75 Current children cumulated vsize (Kb) 22344 [startup+60.0097 s] Raw data (loadavg): 0.97 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5326 0 0 0 5952 22 0 0 25 0 1 0 1787674881 22728704 5117 4294967295 134512640 134578447 3221224624 3221223296 134523328 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5549 5117 566 18 0 5531 0 [pid=1752] vsize: 22196 Current children cumulated CPU time (s) 59.74 Current children cumulated vsize (Kb) 22196 [startup+70.0105 s] Raw data (loadavg): 0.97 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5363 0 0 0 6951 23 0 0 25 0 1 0 1787674881 22544384 5104 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5504 5104 566 18 0 5486 0 [pid=1752] vsize: 22016 Current children cumulated CPU time (s) 69.74 Current children cumulated vsize (Kb) 22016 [startup+80.0103 s] Raw data (loadavg): 0.98 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5683 0 0 0 7944 27 0 0 25 0 1 0 1787674881 23977984 5424 4294967295 134512640 134578447 3221224624 3221220720 134533043 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 5854 5424 566 18 0 5836 0 [pid=1752] vsize: 23416 Current children cumulated CPU time (s) 79.71 Current children cumulated vsize (Kb) 23416 [startup+90.0111 s] Raw data (loadavg): 0.98 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 5901 0 0 0 8944 27 0 0 25 0 1 0 1787674881 24842240 5642 4294967295 134512640 134578447 3221224624 3221223296 134523334 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 6065 5642 566 18 0 6047 0 [pid=1752] vsize: 24260 Current children cumulated CPU time (s) 89.71 Current children cumulated vsize (Kb) 24260 [startup+100.011 s] Raw data (loadavg): 0.98 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 6192 0 0 0 9942 28 0 0 25 0 1 0 1787674881 26071040 5933 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 6365 5933 566 18 0 6347 0 [pid=1752] vsize: 25460 Current children cumulated CPU time (s) 99.7 Current children cumulated vsize (Kb) 25460 [startup+110.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 6558 0 0 0 10940 30 0 0 25 0 1 0 1787674881 27525120 6299 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 6720 6299 566 18 0 6702 0 [pid=1752] vsize: 26880 Current children cumulated CPU time (s) 109.7 Current children cumulated vsize (Kb) 26880 [startup+120.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1752 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 6868 0 0 0 11934 32 0 0 25 0 1 0 1787674881 28794880 6609 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 7030 6609 566 18 0 7012 0 [pid=1752] vsize: 28120 Current children cumulated CPU time (s) 119.66 Current children cumulated vsize (Kb) 28120 [startup+130.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 7231 0 0 0 12932 33 0 0 25 0 1 0 1787674881 30244864 6972 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 7384 6972 566 18 0 7366 0 [pid=1752] vsize: 29536 Current children cumulated CPU time (s) 129.65 Current children cumulated vsize (Kb) 29536 [startup+140.011 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 7484 0 0 0 13931 34 0 0 25 0 1 0 1787674881 31240192 7225 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 7627 7225 566 18 0 7609 0 [pid=1752] vsize: 30508 Current children cumulated CPU time (s) 139.65 Current children cumulated vsize (Kb) 30508 [startup+150.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 7834 0 0 0 14928 36 0 0 25 0 1 0 1787674881 32686080 7575 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 7980 7575 566 18 0 7962 0 [pid=1752] vsize: 31920 Current children cumulated CPU time (s) 149.64 Current children cumulated vsize (Kb) 31920 [startup+160.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 8150 0 0 0 15926 37 0 0 25 0 1 0 1787674881 34095104 7891 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 8324 7891 566 18 0 8306 0 [pid=1752] vsize: 33296 Current children cumulated CPU time (s) 159.63 Current children cumulated vsize (Kb) 33296 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 8491 0 0 0 16923 39 0 0 25 0 1 0 1787674881 35405824 8232 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1752/statm): 8644 8232 566 18 0 8626 0 [pid=1752] vsize: 34576 Current children cumulated CPU time (s) 169.62 Current children cumulated vsize (Kb) 34576 [startup+180.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 8860 0 0 0 17922 39 0 0 25 0 1 0 1787674881 37003264 8601 4294967295 134512640 134578447 3221224624 3221223504 134527853 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 9034 8601 566 18 0 9016 0 [pid=1752] vsize: 36136 Current children cumulated CPU time (s) 179.61 Current children cumulated vsize (Kb) 36136 [startup+190.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 9143 0 0 0 18920 40 0 0 25 0 1 0 1787674881 38117376 8884 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 9306 8884 566 18 0 9288 0 [pid=1752] vsize: 37224 Current children cumulated CPU time (s) 189.6 Current children cumulated vsize (Kb) 37224 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 9525 0 0 0 19912 43 0 0 25 0 1 0 1787674881 39690240 9266 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 9690 9266 566 18 0 9672 0 [pid=1752] vsize: 38760 Current children cumulated CPU time (s) 199.55 Current children cumulated vsize (Kb) 38760 [startup+210.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 9999 0 0 0 20910 44 0 0 25 0 1 0 1787674881 41623552 9740 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 10162 9740 566 18 0 10144 0 [pid=1752] vsize: 40648 Current children cumulated CPU time (s) 209.54 Current children cumulated vsize (Kb) 40648 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 10260 0 0 0 21909 45 0 0 25 0 1 0 1787674881 42643456 10001 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 10411 10001 566 18 0 10393 0 [pid=1752] vsize: 41644 Current children cumulated CPU time (s) 219.54 Current children cumulated vsize (Kb) 41644 [startup+230.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 10575 0 0 0 22906 47 0 0 25 0 1 0 1787674881 43978752 10316 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 10737 10316 566 18 0 10719 0 [pid=1752] vsize: 42948 Current children cumulated CPU time (s) 229.53 Current children cumulated vsize (Kb) 42948 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 10963 0 0 0 23904 48 0 0 25 0 1 0 1787674881 45576192 10704 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 11127 10704 566 18 0 11109 0 [pid=1752] vsize: 44508 Current children cumulated CPU time (s) 239.52 Current children cumulated vsize (Kb) 44508 [startup+250.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 11156 0 0 0 24902 49 0 0 25 0 1 0 1787674881 46407680 10897 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 11330 10897 566 18 0 11312 0 [pid=1752] vsize: 45320 Current children cumulated CPU time (s) 249.51 Current children cumulated vsize (Kb) 45320 [startup+260.012 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 11401 0 0 0 25900 50 0 0 25 0 1 0 1787674881 47411200 11142 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 11575 11142 566 18 0 11557 0 [pid=1752] vsize: 46300 Current children cumulated CPU time (s) 259.5 Current children cumulated vsize (Kb) 46300 [startup+270.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 11717 0 0 0 26898 52 0 0 25 0 1 0 1787674881 48668672 11458 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 11882 11458 566 18 0 11864 0 [pid=1752] vsize: 47528 Current children cumulated CPU time (s) 269.5 Current children cumulated vsize (Kb) 47528 [startup+280.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 11967 0 0 0 27896 52 0 0 25 0 1 0 1787674881 49688576 11708 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 12131 11708 566 18 0 12113 0 [pid=1752] vsize: 48524 Current children cumulated CPU time (s) 279.48 Current children cumulated vsize (Kb) 48524 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 12275 0 0 0 28890 55 0 0 25 0 1 0 1787674881 50937856 12016 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 12436 12016 566 18 0 12418 0 [pid=1752] vsize: 49744 Current children cumulated CPU time (s) 289.45 Current children cumulated vsize (Kb) 49744 [startup+300.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 12568 0 0 0 29888 56 0 0 25 0 1 0 1787674881 52084736 12309 4294967295 134512640 134578447 3221224624 3221223296 134523436 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 12716 12309 566 18 0 12698 0 [pid=1752] vsize: 50864 Current children cumulated CPU time (s) 299.44 Current children cumulated vsize (Kb) 50864 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 12785 0 0 0 30886 57 0 0 25 0 1 0 1787674881 53067776 12526 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 12956 12526 566 18 0 12938 0 [pid=1752] vsize: 51824 Current children cumulated CPU time (s) 309.43 Current children cumulated vsize (Kb) 51824 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 12990 0 0 0 31885 59 0 0 25 0 1 0 1787674881 53891072 12731 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 13157 12731 566 18 0 13139 0 [pid=1752] vsize: 52628 Current children cumulated CPU time (s) 319.44 Current children cumulated vsize (Kb) 52628 [startup+330.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 13348 0 0 0 32883 60 0 0 25 0 1 0 1787674881 55349248 13089 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 13513 13089 566 18 0 13495 0 [pid=1752] vsize: 54052 Current children cumulated CPU time (s) 329.43 Current children cumulated vsize (Kb) 54052 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 13639 0 0 0 33882 61 0 0 25 0 1 0 1787674881 56471552 13380 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 13787 13380 566 18 0 13769 0 [pid=1752] vsize: 55148 Current children cumulated CPU time (s) 339.43 Current children cumulated vsize (Kb) 55148 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 13801 0 0 0 34880 62 0 0 25 0 1 0 1787674881 57143296 13542 4294967295 134512640 134578447 3221224624 3221223476 134555830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 13951 13542 566 18 0 13933 0 [pid=1752] vsize: 55804 Current children cumulated CPU time (s) 349.42 Current children cumulated vsize (Kb) 55804 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 14117 0 0 0 35879 63 0 0 25 0 1 0 1787674881 58494976 13858 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 14281 13858 566 18 0 14263 0 [pid=1752] vsize: 57124 Current children cumulated CPU time (s) 359.42 Current children cumulated vsize (Kb) 57124 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 14458 0 0 0 36876 65 0 0 25 0 1 0 1787674881 59928576 14199 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 14631 14199 566 18 0 14613 0 [pid=1752] vsize: 58524 Current children cumulated CPU time (s) 369.41 Current children cumulated vsize (Kb) 58524 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 14632 0 0 0 37874 66 0 0 25 0 1 0 1787674881 60514304 14373 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 14774 14373 566 18 0 14756 0 [pid=1752] vsize: 59096 Current children cumulated CPU time (s) 379.4 Current children cumulated vsize (Kb) 59096 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 14869 0 0 0 38873 67 0 0 25 0 1 0 1787674881 61517824 14610 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 15019 14610 566 18 0 15001 0 [pid=1752] vsize: 60076 Current children cumulated CPU time (s) 389.4 Current children cumulated vsize (Kb) 60076 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 15098 0 0 0 39872 67 0 0 25 0 1 0 1787674881 62541824 14839 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 15269 14839 566 18 0 15251 0 [pid=1752] vsize: 61076 Current children cumulated CPU time (s) 399.39 Current children cumulated vsize (Kb) 61076 [startup+410.016 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 15410 0 0 0 40870 69 0 0 25 0 1 0 1787674881 63827968 15151 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 15583 15151 566 18 0 15565 0 [pid=1752] vsize: 62332 Current children cumulated CPU time (s) 409.39 Current children cumulated vsize (Kb) 62332 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 15679 0 0 0 41869 70 0 0 25 0 1 0 1787674881 64847872 15420 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 15832 15420 566 18 0 15814 0 [pid=1752] vsize: 63328 Current children cumulated CPU time (s) 419.39 Current children cumulated vsize (Kb) 63328 [startup+430.018 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 15874 0 0 0 42867 71 0 0 25 0 1 0 1787674881 65728512 15615 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 16047 15615 566 18 0 16029 0 [pid=1752] vsize: 64188 Current children cumulated CPU time (s) 429.38 Current children cumulated vsize (Kb) 64188 [startup+440.018 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 16117 0 0 0 43866 71 0 0 25 0 1 0 1787674881 66625536 15858 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 16266 15858 566 18 0 16248 0 [pid=1752] vsize: 65064 Current children cumulated CPU time (s) 439.37 Current children cumulated vsize (Kb) 65064 [startup+450.018 s] Raw data (loadavg): 0.99 0.98 0.96 1/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) T 1751 1752 27660 0 -1 0 16340 0 0 0 44864 72 0 0 25 0 1 0 1787674881 67637248 16081 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/1752/statm): 16513 16081 566 18 0 16495 0 [pid=1752] vsize: 66052 Current children cumulated CPU time (s) 449.36 Current children cumulated vsize (Kb) 66052 [startup+460.018 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 16718 0 0 0 45857 75 0 0 25 0 1 0 1787674881 69107712 16459 4294967295 134512640 134578447 3221224624 3221223456 134528351 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 16872 16459 566 18 0 16854 0 [pid=1752] vsize: 67488 Current children cumulated CPU time (s) 459.32 Current children cumulated vsize (Kb) 67488 [startup+470.019 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 17157 0 0 0 46855 76 0 0 25 0 1 0 1787674881 70914048 16898 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 17313 16898 566 18 0 17295 0 [pid=1752] vsize: 69252 Current children cumulated CPU time (s) 469.31 Current children cumulated vsize (Kb) 69252 [startup+480.02 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 17385 0 0 0 47853 77 0 0 25 0 1 0 1787674881 71942144 17126 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 17564 17126 566 18 0 17546 0 [pid=1752] vsize: 70256 Current children cumulated CPU time (s) 479.3 Current children cumulated vsize (Kb) 70256 [startup+490.02 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 17563 0 0 0 48852 78 0 0 25 0 1 0 1787674881 72671232 17304 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 17742 17304 566 18 0 17724 0 [pid=1752] vsize: 70968 Current children cumulated CPU time (s) 489.3 Current children cumulated vsize (Kb) 70968 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 17818 0 0 0 49851 79 0 0 25 0 1 0 1787674881 73682944 17559 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 17989 17559 566 18 0 17971 0 [pid=1752] vsize: 71956 Current children cumulated CPU time (s) 499.3 Current children cumulated vsize (Kb) 71956 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 18088 0 0 0 50849 80 0 0 25 0 1 0 1787674881 74821632 17829 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 18267 17829 566 18 0 18249 0 [pid=1752] vsize: 73068 Current children cumulated CPU time (s) 509.29 Current children cumulated vsize (Kb) 73068 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 18325 0 0 0 51848 81 0 0 25 0 1 0 1787674881 75698176 18066 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 18481 18066 566 18 0 18463 0 [pid=1752] vsize: 73924 Current children cumulated CPU time (s) 519.29 Current children cumulated vsize (Kb) 73924 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 18571 0 0 0 52846 81 0 0 25 0 1 0 1787674881 76713984 18312 4294967295 134512640 134578447 3221224624 3221223412 1075289711 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 18729 18312 566 18 0 18711 0 [pid=1752] vsize: 74916 Current children cumulated CPU time (s) 529.27 Current children cumulated vsize (Kb) 74916 [startup+540.021 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 18806 0 0 0 53846 82 0 0 25 0 1 0 1787674881 77709312 18547 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 18972 18547 566 18 0 18954 0 [pid=1752] vsize: 75888 Current children cumulated CPU time (s) 539.28 Current children cumulated vsize (Kb) 75888 [startup+550.022 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 19073 0 0 0 54845 82 0 0 25 0 1 0 1787674881 78823424 18814 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 19244 18814 566 18 0 19226 0 [pid=1752] vsize: 76976 Current children cumulated CPU time (s) 549.27 Current children cumulated vsize (Kb) 76976 [startup+560.022 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 19327 0 0 0 55843 83 0 0 25 0 1 0 1787674881 79781888 19068 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 19478 19068 566 18 0 19460 0 [pid=1752] vsize: 77912 Current children cumulated CPU time (s) 559.26 Current children cumulated vsize (Kb) 77912 [startup+570.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 19705 0 0 0 56842 84 0 0 25 0 1 0 1787674881 81346560 19446 4294967295 134512640 134578447 3221224624 3221223296 134523419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 19860 19446 566 18 0 19842 0 [pid=1752] vsize: 79440 Current children cumulated CPU time (s) 569.26 Current children cumulated vsize (Kb) 79440 [startup+580.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 19936 0 0 0 57840 85 0 0 25 0 1 0 1787674881 82358272 19677 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 20107 19677 566 18 0 20089 0 [pid=1752] vsize: 80428 Current children cumulated CPU time (s) 579.25 Current children cumulated vsize (Kb) 80428 [startup+590.022 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 20149 0 0 0 58839 85 0 0 25 0 1 0 1787674881 83218432 19890 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 20317 19890 566 18 0 20299 0 [pid=1752] vsize: 81268 Current children cumulated CPU time (s) 589.24 Current children cumulated vsize (Kb) 81268 [startup+600.023 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 20588 0 0 0 59836 86 0 0 25 0 1 0 1787674881 84938752 20329 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 20737 20329 566 18 0 20719 0 [pid=1752] vsize: 82948 Current children cumulated CPU time (s) 599.22 Current children cumulated vsize (Kb) 82948 [startup+610.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 20849 0 0 0 60835 87 0 0 25 0 1 0 1787674881 86040576 20590 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 21006 20590 566 18 0 20988 0 [pid=1752] vsize: 84024 Current children cumulated CPU time (s) 609.22 Current children cumulated vsize (Kb) 84024 [startup+620.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 21057 0 0 0 61833 88 0 0 25 0 1 0 1787674881 86929408 20798 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 21223 20798 566 18 0 21205 0 [pid=1752] vsize: 84892 Current children cumulated CPU time (s) 619.21 Current children cumulated vsize (Kb) 84892 [startup+630.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 21270 0 0 0 62832 88 0 0 25 0 1 0 1787674881 87789568 21011 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 21433 21011 566 18 0 21415 0 [pid=1752] vsize: 85732 Current children cumulated CPU time (s) 629.2 Current children cumulated vsize (Kb) 85732 [startup+640.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 21454 0 0 0 63831 89 0 0 25 0 1 0 1787674881 88510464 21195 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 21609 21195 566 18 0 21591 0 [pid=1752] vsize: 86436 Current children cumulated CPU time (s) 639.2 Current children cumulated vsize (Kb) 86436 [startup+650.024 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 21771 0 0 0 64830 89 0 0 25 0 1 0 1787674881 89829376 21512 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 21931 21512 566 18 0 21913 0 [pid=1752] vsize: 87724 Current children cumulated CPU time (s) 649.19 Current children cumulated vsize (Kb) 87724 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 21997 0 0 0 65829 90 0 0 25 0 1 0 1787674881 90730496 21738 4294967295 134512640 134578447 3221224624 3221223504 134518961 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 22151 21738 566 18 0 22133 0 [pid=1752] vsize: 88604 Current children cumulated CPU time (s) 659.19 Current children cumulated vsize (Kb) 88604 [startup+670.026 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 22263 0 0 0 66828 91 0 0 25 0 1 0 1787674881 91873280 22004 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 22430 22004 566 18 0 22412 0 [pid=1752] vsize: 89720 Current children cumulated CPU time (s) 669.19 Current children cumulated vsize (Kb) 89720 [startup+680.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 22508 0 0 0 67827 92 0 0 25 0 1 0 1787674881 92860416 22249 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 22671 22249 566 18 0 22653 0 [pid=1752] vsize: 90684 Current children cumulated CPU time (s) 679.19 Current children cumulated vsize (Kb) 90684 [startup+690.026 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 22732 0 0 0 68819 95 0 0 25 0 1 0 1787674881 93736960 22473 4294967295 134512640 134578447 3221224624 3221223488 134517787 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 22885 22473 566 18 0 22867 0 [pid=1752] vsize: 91540 Current children cumulated CPU time (s) 689.14 Current children cumulated vsize (Kb) 91540 [startup+700.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 23070 0 0 0 69818 95 0 0 25 0 1 0 1787674881 95219712 22811 4294967295 134512640 134578447 3221224624 3221220720 134533075 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 23247 22811 566 18 0 23229 0 [pid=1752] vsize: 92988 Current children cumulated CPU time (s) 699.13 Current children cumulated vsize (Kb) 92988 [startup+710.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 23324 0 0 0 70816 97 0 0 25 0 1 0 1787674881 96206848 23065 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 23488 23065 566 18 0 23470 0 [pid=1752] vsize: 93952 Current children cumulated CPU time (s) 709.13 Current children cumulated vsize (Kb) 93952 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 23575 0 0 0 71815 97 0 0 25 0 1 0 1787674881 97239040 23316 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 23740 23316 566 18 0 23722 0 [pid=1752] vsize: 94960 Current children cumulated CPU time (s) 719.12 Current children cumulated vsize (Kb) 94960 [startup+730.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 23833 0 0 0 72813 99 0 0 25 0 1 0 1787674881 98344960 23574 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 24010 23574 566 18 0 23992 0 [pid=1752] vsize: 96040 Current children cumulated CPU time (s) 729.12 Current children cumulated vsize (Kb) 96040 [startup+740.027 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 24093 0 0 0 73812 100 0 0 25 0 1 0 1787674881 99344384 23834 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 24254 23834 566 18 0 24236 0 [pid=1752] vsize: 97016 Current children cumulated CPU time (s) 739.12 Current children cumulated vsize (Kb) 97016 [startup+750.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 24097 0 0 0 74811 101 0 0 25 0 1 0 1787674881 99344384 23838 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 24254 23838 566 18 0 24236 0 [pid=1752] vsize: 97016 Current children cumulated CPU time (s) 749.12 Current children cumulated vsize (Kb) 97016 [startup+760.028 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 24548 0 0 0 75808 102 0 0 25 0 1 0 1787674881 101199872 24289 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 24707 24289 566 18 0 24689 0 [pid=1752] vsize: 98828 Current children cumulated CPU time (s) 759.1 Current children cumulated vsize (Kb) 98828 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 24830 0 0 0 76806 104 0 0 25 0 1 0 1787674881 102379520 24571 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 24995 24571 566 18 0 24977 0 [pid=1752] vsize: 99980 Current children cumulated CPU time (s) 769.1 Current children cumulated vsize (Kb) 99980 [startup+780.029 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 25033 0 0 0 77804 104 0 0 25 0 1 0 1787674881 103190528 24774 4294967295 134512640 134578447 3221224624 3221223296 134523380 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 25193 24774 566 18 0 25175 0 [pid=1752] vsize: 100772 Current children cumulated CPU time (s) 779.08 Current children cumulated vsize (Kb) 100772 [startup+790.029 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 25472 0 0 0 78802 106 0 0 25 0 1 0 1787674881 105017344 25213 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 25639 25213 566 18 0 25621 0 [pid=1752] vsize: 102556 Current children cumulated CPU time (s) 789.08 Current children cumulated vsize (Kb) 102556 [startup+800.029 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 25881 0 0 0 79800 108 0 0 25 0 1 0 1787674881 106725376 25622 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 26056 25622 566 18 0 26038 0 [pid=1752] vsize: 104224 Current children cumulated CPU time (s) 799.08 Current children cumulated vsize (Kb) 104224 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 26251 0 0 0 80798 109 0 0 25 0 1 0 1787674881 108138496 25992 4294967295 134512640 134578447 3221224624 3221223488 134517824 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 26401 25992 566 18 0 26383 0 [pid=1752] vsize: 105604 Current children cumulated CPU time (s) 809.07 Current children cumulated vsize (Kb) 105604 [startup+820.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 26400 0 0 0 81796 110 0 0 25 0 1 0 1787674881 108851200 26141 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 26575 26141 566 18 0 26557 0 [pid=1752] vsize: 106300 Current children cumulated CPU time (s) 819.06 Current children cumulated vsize (Kb) 106300 [startup+830.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 26807 0 0 0 82793 112 0 0 25 0 1 0 1787674881 110460928 26548 4294967295 134512640 134578447 3221224624 3221223296 134522582 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 26968 26548 566 18 0 26950 0 [pid=1752] vsize: 107872 Current children cumulated CPU time (s) 829.05 Current children cumulated vsize (Kb) 107872 [startup+840.03 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 27158 0 0 0 83792 113 0 0 25 0 1 0 1787674881 111906816 26899 4294967295 134512640 134578447 3221224624 3221223296 134523385 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 27321 26899 566 18 0 27303 0 [pid=1752] vsize: 109284 Current children cumulated CPU time (s) 839.05 Current children cumulated vsize (Kb) 109284 [startup+850.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 27527 0 0 0 84790 114 0 0 25 0 1 0 1787674881 113446912 27268 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 27697 27268 566 18 0 27679 0 [pid=1752] vsize: 110788 Current children cumulated CPU time (s) 849.04 Current children cumulated vsize (Kb) 110788 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 27710 0 0 0 85788 115 0 0 25 0 1 0 1787674881 114151424 27451 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 27869 27451 566 18 0 27851 0 [pid=1752] vsize: 111476 Current children cumulated CPU time (s) 859.03 Current children cumulated vsize (Kb) 111476 [startup+870.032 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 27971 0 0 0 86786 117 0 0 25 0 1 0 1787674881 115236864 27712 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 28134 27712 566 18 0 28116 0 [pid=1752] vsize: 112536 Current children cumulated CPU time (s) 869.03 Current children cumulated vsize (Kb) 112536 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 28438 0 0 0 87784 118 0 0 25 0 1 0 1787674881 117104640 28179 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 28590 28179 566 18 0 28572 0 [pid=1752] vsize: 114360 Current children cumulated CPU time (s) 879.02 Current children cumulated vsize (Kb) 114360 [startup+890.032 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 28744 0 0 0 88782 119 0 0 25 0 1 0 1787674881 118370304 28485 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 28899 28485 566 18 0 28881 0 [pid=1752] vsize: 115596 Current children cumulated CPU time (s) 889.01 Current children cumulated vsize (Kb) 115596 [startup+900.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 28956 0 0 0 89781 120 0 0 25 0 1 0 1787674881 119214080 28697 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 29105 28697 566 18 0 29087 0 [pid=1752] vsize: 116420 Current children cumulated CPU time (s) 899.01 Current children cumulated vsize (Kb) 116420 [startup+910.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 29199 0 0 0 90780 121 0 0 25 0 1 0 1787674881 120233984 28940 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 29354 28940 566 18 0 29336 0 [pid=1752] vsize: 117416 Current children cumulated CPU time (s) 909.01 Current children cumulated vsize (Kb) 117416 [startup+920.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 29468 0 0 0 91778 122 0 0 25 0 1 0 1787674881 121384960 29209 4294967295 134512640 134578447 3221224624 3221223296 134523413 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 29635 29209 566 18 0 29617 0 [pid=1752] vsize: 118540 Current children cumulated CPU time (s) 919 Current children cumulated vsize (Kb) 118540 [startup+930.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 29746 0 0 0 92776 123 0 0 25 0 1 0 1787674881 122531840 29487 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 29915 29487 566 18 0 29897 0 [pid=1752] vsize: 119660 Current children cumulated CPU time (s) 928.99 Current children cumulated vsize (Kb) 119660 [startup+940.033 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 30073 0 0 0 93775 124 0 0 25 0 1 0 1787674881 123826176 29814 4294967295 134512640 134578447 3221224624 3221223296 134523369 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 30231 29814 566 18 0 30213 0 [pid=1752] vsize: 120924 Current children cumulated CPU time (s) 938.99 Current children cumulated vsize (Kb) 120924 [startup+950.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 30382 0 0 0 94773 125 0 0 25 0 1 0 1787674881 125153280 30123 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 30555 30123 566 18 0 30537 0 [pid=1752] vsize: 122220 Current children cumulated CPU time (s) 948.98 Current children cumulated vsize (Kb) 122220 [startup+960.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 30652 0 0 0 95771 126 0 0 25 0 1 0 1787674881 126246912 30393 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 30822 30393 566 18 0 30804 0 [pid=1752] vsize: 123288 Current children cumulated CPU time (s) 958.97 Current children cumulated vsize (Kb) 123288 [startup+970.034 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 30957 0 0 0 96769 127 0 0 25 0 1 0 1787674881 127492096 30698 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 31126 30698 566 18 0 31108 0 [pid=1752] vsize: 124504 Current children cumulated CPU time (s) 968.96 Current children cumulated vsize (Kb) 124504 [startup+980.035 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 31312 0 0 0 97768 128 0 0 25 0 1 0 1787674881 128983040 31053 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 31490 31053 566 18 0 31472 0 [pid=1752] vsize: 125960 Current children cumulated CPU time (s) 978.96 Current children cumulated vsize (Kb) 125960 [startup+990.035 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 31498 0 0 0 98766 129 0 0 25 0 1 0 1787674881 129671168 31239 4294967295 134512640 134578447 3221224624 3221223520 134519895 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 31658 31239 566 18 0 31640 0 [pid=1752] vsize: 126632 Current children cumulated CPU time (s) 988.95 Current children cumulated vsize (Kb) 126632 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 31979 0 0 0 99764 131 0 0 25 0 1 0 1787674881 131735552 31720 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 32162 31720 566 18 0 32144 0 [pid=1752] vsize: 128648 Current children cumulated CPU time (s) 998.95 Current children cumulated vsize (Kb) 128648 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 32183 0 0 0 100763 131 0 0 25 0 1 0 1787674881 132546560 31924 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 32360 31924 566 18 0 32342 0 [pid=1752] vsize: 129440 Current children cumulated CPU time (s) 1008.94 Current children cumulated vsize (Kb) 129440 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 32664 0 0 0 101761 133 0 0 25 0 1 0 1787674881 134508544 32405 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 32839 32405 566 18 0 32821 0 [pid=1752] vsize: 131356 Current children cumulated CPU time (s) 1018.94 Current children cumulated vsize (Kb) 131356 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 32777 0 0 0 102760 133 0 0 25 0 1 0 1787674881 135004160 32518 4294967295 134512640 134578447 3221224624 3221223488 134517801 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/1752/statm): 32960 32518 566 18 0 32942 0 [pid=1752] vsize: 131840 Current children cumulated CPU time (s) 1028.93 Current children cumulated vsize (Kb) 131840 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 33166 0 0 0 103757 135 0 0 25 0 1 0 1787674881 136536064 32907 4294967295 134512640 134578447 3221224624 3221223228 1075289350 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 33334 32907 566 18 0 33316 0 [pid=1752] vsize: 133336 Current children cumulated CPU time (s) 1038.92 Current children cumulated vsize (Kb) 133336 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 33532 0 0 0 104754 136 0 0 25 0 1 0 1787674881 138096640 33273 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 33715 33273 566 18 0 33697 0 [pid=1752] vsize: 134860 Current children cumulated CPU time (s) 1048.9 Current children cumulated vsize (Kb) 134860 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 33902 0 0 0 105751 138 0 0 25 0 1 0 1787674881 139497472 33643 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 34057 33643 566 18 0 34039 0 [pid=1752] vsize: 136228 Current children cumulated CPU time (s) 1058.89 Current children cumulated vsize (Kb) 136228 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 34560 0 0 0 106743 141 0 0 25 0 1 0 1787674881 142311424 34301 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 34744 34301 566 18 0 34726 0 [pid=1752] vsize: 138976 Current children cumulated CPU time (s) 1068.84 Current children cumulated vsize (Kb) 138976 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 35007 0 0 0 107741 143 0 0 25 0 1 0 1787674881 144154624 34748 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 35194 34748 566 18 0 35176 0 [pid=1752] vsize: 140776 Current children cumulated CPU time (s) 1078.84 Current children cumulated vsize (Kb) 140776 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 35296 0 0 0 108740 143 0 0 25 0 1 0 1787674881 145289216 35037 4294967295 134512640 134578447 3221224624 3221223296 134523382 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 35471 35037 566 18 0 35453 0 [pid=1752] vsize: 141884 Current children cumulated CPU time (s) 1088.83 Current children cumulated vsize (Kb) 141884 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 35470 0 0 0 109739 144 0 0 25 0 1 0 1787674881 145981440 35211 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 35640 35211 566 18 0 35622 0 [pid=1752] vsize: 142560 Current children cumulated CPU time (s) 1098.83 Current children cumulated vsize (Kb) 142560 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 35544 0 0 0 110737 145 0 0 25 0 1 0 1787674881 146247680 35285 4294967295 134512640 134578447 3221224624 3221223296 134523325 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 35705 35285 566 18 0 35687 0 [pid=1752] vsize: 142820 Current children cumulated CPU time (s) 1108.82 Current children cumulated vsize (Kb) 142820 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 35832 0 0 0 111737 146 0 0 25 0 1 0 1787674881 147410944 35573 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 35989 35573 566 18 0 35971 0 [pid=1752] vsize: 143956 Current children cumulated CPU time (s) 1118.83 Current children cumulated vsize (Kb) 143956 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 36020 0 0 0 112735 146 0 0 25 0 1 0 1787674881 148283392 35761 4294967295 134512640 134578447 3221224624 3221223504 134518947 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 36202 35761 566 18 0 36184 0 [pid=1752] vsize: 144808 Current children cumulated CPU time (s) 1128.81 Current children cumulated vsize (Kb) 144808 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 36262 0 0 0 113734 147 0 0 25 0 1 0 1787674881 149245952 36003 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 36437 36003 566 18 0 36419 0 [pid=1752] vsize: 145748 Current children cumulated CPU time (s) 1138.81 Current children cumulated vsize (Kb) 145748 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 36507 0 0 0 114733 148 0 0 25 0 1 0 1787674881 150233088 36248 4294967295 134512640 134578447 3221224624 3221223296 134523343 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 36678 36248 566 18 0 36660 0 [pid=1752] vsize: 146712 Current children cumulated CPU time (s) 1148.81 Current children cumulated vsize (Kb) 146712 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 36673 0 0 0 115732 148 0 0 25 0 1 0 1787674881 150958080 36414 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 36855 36414 566 18 0 36837 0 [pid=1752] vsize: 147420 Current children cumulated CPU time (s) 1158.8 Current children cumulated vsize (Kb) 147420 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 36792 0 0 0 116731 149 0 0 25 0 1 0 1787674881 151384064 36533 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 36959 36533 566 18 0 36941 0 [pid=1752] vsize: 147836 Current children cumulated CPU time (s) 1168.8 Current children cumulated vsize (Kb) 147836 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 37007 0 0 0 117730 150 0 0 25 0 1 0 1787674881 152363008 36748 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 37198 36748 566 18 0 37180 0 [pid=1752] vsize: 148792 Current children cumulated CPU time (s) 1178.8 Current children cumulated vsize (Kb) 148792 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.96 2/56 1754 Raw data (/proc/1752/stat): 1752 (Pueblo) R 1751 1752 27660 0 -1 0 37316 0 0 0 118728 151 0 0 25 0 1 0 1787674881 153509888 37057 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/1752/statm): 37478 37057 566 18 0 37460 0 [pid=1752] vsize: 149912 Current children cumulated CPU time (s) 1188.79 Current children cumulated vsize (Kb) 149912 One traced child (pid=1752) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1191.1 CPU time (s): 1189.86 CPU user time (s): 1188.28 CPU system time (s): 1.57976 CPU usage (%): 99.8953 Max. virtual memory (cumulated for all children) (Kb): 149912
Verifier: OK -6