Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb |
MD5SUM | 44910688b6ba81ef96bbced304e8624c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1860 |
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 | 1860 |
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 | 1860 |
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 | 1195.04 |
Number of variables | 1860 |
Total number of constraints | 7477 |
Number of constraints which are clauses | 7477 |
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 | 10 |
LAUNCH ON wulflinc2 THE 2005-09-23 14:45:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8368 boxname=wulflinc2 idbench=164 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 44910688b6ba81ef96bbced304e8624c /oldhome/oroussel/tmp/wulflinc2/normalized-ii8d2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-ii8d2.opb IDLAUNCH: 8368 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.261 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.261 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: 905212 kB Buffers: 16120 kB Cached: 93904 kB SwapCached: 0 kB Active: 45220 kB Inactive: 67688 kB HighTotal: 131008 kB HighFree: 39760 kB LowTotal: 903652 kB LowFree: 865452 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 11064 kB Committed_AS: 63656 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 15:06:01 (client local time) WITH STATUS 10 IN 1209.87 SECONDS stats: 8368 0 1209.87 10
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 930 c big objective detected c trying from 0 to 511 s SATISFIABLE v x1 -x10 -x100 x1000 -x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 x1008 -x1009 x101 x1010 -x1011 x1012 -x1013 x1014 -x1015 x1016 -x1017 x1018 -x1019 -x102 x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 x103 x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 -x104 x1040 -x1041 x1042 -x1043 x1044 x1045 -x1046 -x1047 x1048 -x1049 x105 x1050 -x1051 x1052 -x1053 x1054 -x1055 x1056 -x1057 x1058 -x1059 -x106 x1060 -x1061 x1062 -x1063 x1064 x1065 -x1066 -x1067 x1068 -x1069 x107 x1070 -x1071 x1072 -x1073 x1074 -x1075 x1076 -x1077 x1078 -x1079 -x108 x1080 -x1081 x1082 -x1083 x1084 -x1085 x1086 x1087 -x1088 -x1089 x109 x1090 -x1091 x1092 -x1093 x1094 -x1095 x1096 -x1097 x1098 -x1099 -x11 -x110 x1100 x1101 -x1102 -x1103 x1104 -x1105 x1106 -x1107 x1108 -x1109 x111 x1110 -x1111 x1112 -x1113 x1114 -x1115 x1116 -x1117 x1118 -x1119 -x112 x1120 -x1121 x1122 -x1123 x1124 -x1125 x1126 x1127 -x1128 -x1129 x113 x1130 -x1131 x1132 -x1133 x1134 -x1135 x1136 -x1137 x1138 -x1139 -x114 x1140 -x1141 x1142 -x1143 x1144 x1145 -x1146 -x1147 x1148 -x1149 x115 x1150 -x1151 x1152 -x1153 x1154 -x1155 x1156 -x1157 x1158 -x1159 -x116 x1160 x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 x1168 -x1169 x117 x1170 -x1171 x1172 -x1173 x1174 -x1175 x1176 -x1177 x1178 -x1179 -x118 x1180 x1181 -x1182 -x1183 x1184 -x1185 x1186 -x1187 x1188 -x1189 -x119 x1190 -x1191 x1192 -x1193 x1194 -x1195 x1196 -x1197 x1198 -x1199 x12 x120 x1200 -x1201 x1202 x1203 -x1204 -x1205 x1206 -x1207 x1208 -x1209 x121 x1210 -x1211 x1212 -x1213 x1214 -x1215 x1216 -x1217 x1218 -x1219 -x122 x1220 -x1221 x1222 -x1223 x1224 -x1225 x1226 x1227 -x1228 -x1229 x123 x1230 -x1231 x1232 -x1233 x1234 -x1235 x1236 -x1237 x1238 -x1239 -x124 x1240 -x1241 x1242 x1243 -x1244 -x1245 x1246 -x1247 x1248 -x1249 x125 x1250 -x1251 x1252 -x1253 x1254 -x1255 x1256 -x1257 x1258 -x1259 -x126 x1260 -x1261 x1262 -x1263 x1264 x1265 -x1266 -x1267 x1268 -x1269 x127 x1270 -x1271 x1272 -x1273 x1274 -x1275 x1276 -x1277 x1278 -x1279 -x128 x1280 x1281 -x1282 -x1283 x1284 -x1285 x1286 -x1287 x1288 -x1289 x129 x1290 -x1291 x1292 -x1293 x1294 -x1295 x1296 -x1297 x1298 -x1299 x13 -x130 x1300 x1301 -x1302 -x1303 x1304 -x1305 x1306 -x1307 x1308 -x1309 x131 x1310 -x1311 x1312 -x1313 x1314 -x1315 x1316 -x1317 x1318 -x1319 -x132 x1320 -x1321 x1322 x1323 -x1324 -x1325 x1326 -x1327 x1328 -x1329 x133 x1330 -x1331 x1332 -x1333 x1334 -x1335 x1336 -x1337 x1338 -x1339 -x134 x1340 -x1341 x1342 x1343 -x1344 -x1345 x1346 -x1347 x1348 -x1349 x135 x1350 -x1351 x1352 -x1353 x1354 -x1355 x1356 -x1357 x1358 -x1359 -x136 x1360 x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 x1368 -x1369 x137 x1370 -x1371 x1372 -x1373 x1374 -x1375 x1376 -x1377 x1378 -x1379 -x138 x1380 x1381 -x1382 -x1383 x1384 -x1385 x1386 -x1387 x1388 -x1389 x139 x1390 -x1391 x1392 -x1393 x1394 -x1395 x1396 -x1397 x1398 -x1399 -x14 -x140 x1400 -x1401 x1402 x1403 -x1404 -x1405 x1406 -x1407 x1408 -x1409 x141 x1410 -x1411 x1412 -x1413 x1414 -x1415 x1416 -x1417 x1418 -x1419 -x142 x1420 -x1421 x1422 -x1423 x1424 x1425 -x1426 -x1427 x1428 -x1429 x143 x1430 -x1431 x1432 -x1433 x1434 -x1435 x1436 -x1437 x1438 -x1439 -x144 x1440 x1441 -x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x145 x1450 -x1451 x1452 -x1453 x1454 -x1455 x1456 -x1457 x1458 -x1459 -x146 x1460 x1461 -x1462 -x1463 x1464 -x1465 x1466 -x1467 x1468 -x1469 x147 x1470 -x1471 x1472 -x1473 x1474 -x1475 x1476 -x1477 x1478 -x1479 -x148 x1480 -x1481 x1482 x1483 -x1484 -x1485 x1486 -x1487 x1488 -x1489 x149 x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 -x1497 x1498 -x1499 x15 -x150 x1500 -x1501 x1502 -x1503 x1504 -x1505 x1506 x1507 -x1508 -x1509 -x151 x1510 -x1511 x1512 -x1513 x1514 -x1515 x1516 -x1517 x1518 -x1519 x152 x1520 -x1521 x1522 x1523 -x1524 -x1525 x1526 -x1527 x1528 -x1529 x153 x1530 -x1531 x1532 -x1533 x1534 -x1535 x1536 -x1537 x1538 -x1539 -x154 x1540 -x1541 x1542 -x1543 x1544 x1545 -x1546 -x1547 x1548 -x1549 x155 x1550 -x1551 x1552 -x1553 x1554 -x1555 x1556 -x1557 x1558 -x1559 -x156 x1560 -x1561 x1562 x1563 -x1564 -x1565 x1566 -x1567 x1568 -x1569 x157 x1570 -x1571 x1572 -x1573 x1574 -x1575 x1576 -x1577 x1578 -x1579 -x158 x1580 x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 -x1589 x159 x1590 -x1591 x1592 -x1593 x1594 -x1595 x1596 -x1597 x1598 -x1599 -x16 -x160 x1600 x1601 -x1602 -x1603 x1604 -x1605 x1606 -x1607 x1608 -x1609 x161 x1610 -x1611 x1612 -x1613 x1614 -x1615 x1616 -x1617 x1618 -x1619 -x162 x1620 -x1621 x1622 -x1623 x1624 -x1625 x1626 x1627 -x1628 -x1629 x163 x1630 -x1631 x1632 -x1633 x1634 -x1635 x1636 -x1637 x1638 -x1639 -x164 x1640 -x1641 x1642 x1643 -x1644 -x1645 x1646 -x1647 x1648 -x1649 x165 x1650 -x1651 x1652 -x1653 x1654 -x1655 x1656 -x1657 x1658 -x1659 -x166 x1660 -x1661 x1662 x1663 -x1664 -x1665 x1666 -x1667 x1668 -x1669 x167 x1670 -x1671 x1672 -x1673 x1674 -x1675 x1676 -x1677 x1678 -x1679 -x168 x1680 -x1681 x1682 -x1683 x1684 x1685 -x1686 -x1687 x1688 -x1689 x169 x1690 -x1691 x1692 -x1693 x1694 -x1695 x1696 -x1697 x1698 -x1699 x17 -x170 x1700 -x1701 x1702 -x1703 x1704 x1705 -x1706 -x1707 x1708 -x1709 x171 x1710 -x1711 x1712 -x1713 x1714 -x1715 x1716 -x1717 x1718 -x1719 -x172 x1720 x1721 -x1722 -x1723 x1724 -x1725 x1726 -x1727 x1728 -x1729 x173 x1730 -x1731 x1732 -x1733 x1734 -x1735 x1736 -x1737 x1738 -x1739 -x174 x1740 x1741 -x1742 -x1743 x1744 -x1745 x1746 -x1747 x1748 -x1749 x175 x1750 -x1751 x1752 -x1753 x1754 -x1755 x1756 -x1757 x1758 -x1759 -x176 x1760 -x1761 x1762 -x1763 x1764 x1765 -x1766 -x1767 x1768 -x1769 x177 x1770 -x1771 x1772 -x1773 x1774 -x1775 x1776 -x1777 x1778 -x1779 -x178 x1780 -x1781 x1782 x1783 -x1784 -x1785 x1786 -x1787 x1788 -x1789 x179 x1790 -x1791 x1792 -x1793 x1794 -x1795 x1796 -x1797 x1798 -x1799 -x18 -x180 x1800 -x1801 x1802 -x1803 x1804 x1805 -x1806 -x1807 x1808 -x1809 x181 x1810 -x1811 x1812 -x1813 x1814 -x1815 x1816 -x1817 x1818 -x1819 -x182 x1820 x1821 -x1822 -x1823 x1824 -x1825 x1826 -x1827 x1828 -x1829 -x183 x1830 -x1831 x1832 -x1833 x1834 -x1835 x1836 -x1837 x1838 -x1839 x184 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 x1848 -x1849 x185 x1850 -x1851 x1852 -x1853 x1854 -x1855 x1856 x1857 -x1858 -x1859 -x186 x1860 x187 -x188 x189 x19 -x190 x191 -x192 x193 -x194 x195 -x196 x197 -x198 x199 -x2 -x20 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 x21 -x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 x219 -x22 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 x23 -x230 x231 -x232 x233 -x234 x235 -x236 x237 -x238 x239 -x24 -x240 x241 -x242 x243 -x244 x245 -x246 -x247 x248 x249 x25 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x26 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x27 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 -x279 x28 x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 x29 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 x3 -x30 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 x31 -x310 -x311 x312 x313 -x314 x315 -x316 x317 -x318 x319 -x32 -x320 x321 -x322 -x323 x324 -x325 x326 -x327 x328 -x329 x33 x330 -x331 x332 -x333 x334 -x335 x336 -x337 x338 -x339 -x34 x340 -x341 x342 -x343 x344 -x345 x346 x347 -x348 -x349 x35 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x36 x360 -x361 x362 x363 -x364 -x365 x366 -x367 x368 -x369 x37 x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x38 x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 x39 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 -x4 -x40 x400 -x401 x402 -x403 x404 -x405 x406 x407 -x408 -x409 x41 x410 -x411 x412 -x413 x414 -x415 x416 -x417 x418 -x419 -x42 x420 -x421 x422 -x423 x424 -x425 x426 x427 -x428 -x429 x43 x430 -x431 x432 -x433 x434 -x435 x436 -x437 x438 -x439 -x44 x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x45 x450 -x451 x452 -x453 x454 -x455 x456 -x457 x458 -x459 -x46 x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 x47 x470 -x471 x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x48 x480 -x481 x482 -x483 x484 x485 -x486 -x487 x488 -x489 x49 x490 -x491 x492 -x493 x494 -x495 x496 -x497 x498 -x499 x5 -x50 x500 -x501 x502 -x503 x504 x505 -x506 -x507 x508 -x509 -x51 x510 -x511 x512 -x513 x514 -x515 x516 -x517 x518 -x519 x52 x520 -x521 x522 -x523 x524 x525 -x526 -x527 x528 -x529 x53 x530 -x531 x532 -x533 x534 -x535 x536 -x537 x538 -x539 -x54 x540 -x541 x542 -x543 x544 -x545 x546 x547 -x548 -x549 -x55 x550 -x551 x552 -x553 x554 -x555 x556 -x557 x558 -x559 x56 x560 -x561 x562 x563 -x564 -x565 x566 -x567 x568 -x569 x57 x570 -x571 x572 -x573 x574 -x575 x576 -x577 x578 -x579 -x58 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 x59 x590 -x591 x592 -x593 x594 -x595 x596 -x597 x598 -x599 -x6 -x60 x600 -x601 x602 -x603 x604 x605 -x606 -x607 x608 -x609 x61 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 -x619 -x62 x620 x621 -x622 -x623 x624 -x625 x626 -x627 x628 -x629 x63 x630 -x631 x632 -x633 x634 -x635 x636 -x637 x638 -x639 -x64 x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 -x649 x65 x650 -x651 x652 -x653 x654 -x655 x656 -x657 x658 -x659 -x66 x660 x661 -x662 -x663 x664 -x665 x666 -x667 x668 -x669 x67 x670 -x671 x672 -x673 x674 -x675 x676 -x677 x678 -x679 -x68 x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 -x689 x69 x690 -x691 x692 -x693 x694 -x695 x696 -x697 x698 -x699 x7 -x70 x700 -x701 x702 -x703 x704 x705 -x706 -x707 x708 -x709 -x71 x710 -x711 x712 -x713 x714 -x715 x716 -x717 x718 -x719 x72 x720 -x721 x722 -x723 x724 x725 -x726 -x727 x728 -x729 x73 x730 -x731 x732 -x733 x734 -x735 x736 -x737 x738 -x739 -x74 x740 -x741 x742 x743 -x744 -x745 x746 -x747 x748 -x749 x75 x750 -x751 x752 -x753 x754 -x755 x756 -x757 x758 -x759 -x76 x760 x761 -x762 -x763 x764 -x765 x766 -x767 x768 -x769 x77 x770 -x771 x772 -x773 x774 -x775 x776 -x777 x778 -x779 -x78 x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 x79 x790 -x791 x792 -x793 x794 -x795 x796 -x797 x798 -x799 -x8 -x80 x800 -x801 x802 x803 -x804 -x805 x806 -x807 x808 -x809 x81 x810 -x811 x812 -x813 x814 -x815 x816 -x817 x818 -x819 -x82 x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 -x829 x83 x830 -x831 x832 -x833 x834 -x835 x836 -x837 x838 -x839 -x84 x840 x841 -x842 -x843 x844 -x845 x846 -x847 x848 -x849 x85 x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 -x86 x860 -x861 x862 -x863 x864 x865 -x866 -x867 x868 -x869 x87 x870 -x871 x872 -x873 x874 -x875 x876 -x877 x878 -x879 -x88 x880 -x881 x882 -x883 x884 x885 -x886 -x887 x888 -x889 x89 x890 -x891 x892 -x893 x894 -x895 x896 -x897 x898 -x899 x9 -x90 x900 -x901 x902 x903 -x904 -x905 x906 -x907 x908 -x909 x91 x910 -x911 x912 -x913 x914 -x915 x916 -x917 x918 -x919 -x92 x920 -x921 x922 -x923 x924 x925 -x926 -x927 x928 -x929 x93 x930 -x931 x932 -x933 x934 -x935 x936 -x937 x938 -x939 -x94 x940 -x941 x942 x943 -x944 -x945 x946 -x947 x948 -x949 x95 x950 -x951 x952 -x953 x954 -x955 x956 -x957 x958 -x959 -x96 x960 -x961 x962 -x963 x964 x965 -x966 -x967 x968 -x969 x97 x970 -x971 x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x98 x980 x981 -x982 -x983 x984 -x985 x986 -x987 x988 -x989 x99 x990 -x991 x992 -x993 x994 -x995 x996 -x997 x998 -x999
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/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21033031 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 373 2 364 364 0 9 0 [pid=8364] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-ii8d2.opb [startup+10.0016 s] Raw data (loadavg): 0.93 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 30252 0 0 0 926 68 0 0 25 0 1 0 21033031 96677888 19130 4294967295 134512640 135987407 3221224576 3220664496 134537477 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 23603 19130 364 364 0 23239 0 [pid=8364] vsize: 94412 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (Kb) 94412 [startup+20.0024 s] Raw data (loadavg): 0.94 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 60549 0 0 0 1866 126 0 0 25 0 1 0 21033031 191016960 38222 4294967295 134512640 135987407 3221224576 3221202032 135477380 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 46635 38222 364 364 0 46271 0 [pid=8364] vsize: 186540 Current children cumulated CPU time (s) 19.92 Current children cumulated vsize (Kb) 186540 [startup+30.003 s] Raw data (loadavg): 0.95 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 102834 0 0 0 2776 214 0 0 25 0 1 0 21033031 322621440 58319 4294967295 134512640 135987407 3221224576 3220862408 135479881 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 78765 58319 364 364 0 78401 0 [pid=8364] vsize: 315060 Current children cumulated CPU time (s) 29.9 Current children cumulated vsize (Kb) 315060 [startup+40.0028 s] Raw data (loadavg): 0.96 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 120033 0 0 0 3735 253 0 0 25 0 1 0 21033031 378478592 75311 4294967295 134512640 135987407 3221224576 3220972784 134866201 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 92402 75311 364 364 0 92038 0 [pid=8364] vsize: 369608 Current children cumulated CPU time (s) 39.88 Current children cumulated vsize (Kb) 369608 [startup+50.0034 s] Raw data (loadavg): 0.96 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 129379 0 0 0 4710 275 0 0 25 0 1 0 21033031 399421440 82770 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 97515 82770 364 364 0 97151 0 [pid=8364] vsize: 390060 Current children cumulated CPU time (s) 49.85 Current children cumulated vsize (Kb) 390060 [startup+60.0041 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 131810 0 0 0 5703 281 0 0 25 0 1 0 21033031 407285760 84471 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 99435 84471 364 364 0 99071 0 [pid=8364] vsize: 397740 Current children cumulated CPU time (s) 59.84 Current children cumulated vsize (Kb) 397740 [startup+70.0048 s] Raw data (loadavg): 0.97 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 135979 0 0 0 6688 292 0 0 25 0 1 0 21033031 422174720 87116 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 103070 87116 364 364 0 102706 0 [pid=8364] vsize: 412280 Current children cumulated CPU time (s) 69.8 Current children cumulated vsize (Kb) 412280 [startup+80.0055 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 138342 0 0 0 7680 297 0 0 25 0 1 0 21033031 429715456 88555 4294967295 134512640 135987407 3221224576 3221223232 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 104911 88555 364 364 0 104547 0 [pid=8364] vsize: 419644 Current children cumulated CPU time (s) 79.77 Current children cumulated vsize (Kb) 419644 [startup+90.0052 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 140934 0 0 0 8669 304 0 0 25 0 1 0 21033031 439148544 90280 4294967295 134512640 135987407 3221224576 3221223136 134812129 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 107214 90280 364 364 0 106850 0 [pid=8364] vsize: 428856 Current children cumulated CPU time (s) 89.73 Current children cumulated vsize (Kb) 428856 [startup+100.005 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 143105 0 0 0 9660 310 0 0 25 0 1 0 21033031 446177280 91445 4294967295 134512640 135987407 3221224576 3221223232 134812287 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 108930 91445 364 364 0 108566 0 [pid=8364] vsize: 435720 Current children cumulated CPU time (s) 99.7 Current children cumulated vsize (Kb) 435720 [startup+110.005 s] Raw data (loadavg): 0.98 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 145568 0 0 0 10651 317 0 0 25 0 1 0 21033031 453681152 92768 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 110762 92768 364 364 0 110398 0 [pid=8364] vsize: 443048 Current children cumulated CPU time (s) 109.68 Current children cumulated vsize (Kb) 443048 [startup+120.005 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 147005 0 0 0 11647 319 0 0 25 0 1 0 21033031 457617408 93264 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 111723 93264 364 364 0 111359 0 [pid=8364] vsize: 446892 Current children cumulated CPU time (s) 119.66 Current children cumulated vsize (Kb) 446892 [startup+130.005 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 147830 0 0 0 12643 322 0 0 25 0 1 0 21033031 459714560 93571 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 112235 93571 364 364 0 111871 0 [pid=8364] vsize: 448940 Current children cumulated CPU time (s) 129.65 Current children cumulated vsize (Kb) 448940 [startup+140.005 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 150400 0 0 0 13635 328 0 0 25 0 1 0 21033031 466575360 94840 4294967295 134512640 135987407 3221224576 3221223136 134812013 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 113910 94840 364 364 0 113546 0 [pid=8364] vsize: 455640 Current children cumulated CPU time (s) 139.63 Current children cumulated vsize (Kb) 455640 [startup+150.005 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 151729 0 0 0 14630 331 0 0 25 0 1 0 21033031 470274048 95486 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 114813 95486 364 364 0 114449 0 [pid=8364] vsize: 459252 Current children cumulated CPU time (s) 149.61 Current children cumulated vsize (Kb) 459252 [startup+160.005 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 154543 0 0 0 15622 338 0 0 25 0 1 0 21033031 478195712 96806 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 116747 96806 364 364 0 116383 0 [pid=8364] vsize: 466988 Current children cumulated CPU time (s) 159.6 Current children cumulated vsize (Kb) 466988 [startup+170.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 156612 0 0 0 16614 344 0 0 25 0 1 0 21033031 484265984 97705 4294967295 134512640 135987407 3221224576 3221223232 134812398 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 118229 97705 364 364 0 117865 0 [pid=8364] vsize: 472916 Current children cumulated CPU time (s) 169.58 Current children cumulated vsize (Kb) 472916 [startup+180.007 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 158419 0 0 0 17605 349 0 0 25 0 1 0 21033031 489566208 98665 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 119523 98665 364 364 0 119159 0 [pid=8364] vsize: 478092 Current children cumulated CPU time (s) 179.54 Current children cumulated vsize (Kb) 478092 [startup+190.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 159744 0 0 0 18599 353 0 0 25 0 1 0 21033031 493252608 99294 4294967295 134512640 135987407 3221224576 3221223136 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 120423 99294 364 364 0 120059 0 [pid=8364] vsize: 481692 Current children cumulated CPU time (s) 189.52 Current children cumulated vsize (Kb) 481692 [startup+200.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 161594 0 0 0 19594 357 0 0 25 0 1 0 21033031 499019776 100344 4294967295 134512640 135987407 3221224576 3221222908 135480732 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 121831 100344 364 364 0 121467 0 [pid=8364] vsize: 487324 Current children cumulated CPU time (s) 199.51 Current children cumulated vsize (Kb) 487324 [startup+210.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 163918 0 0 0 20587 362 0 0 25 0 1 0 21033031 505909248 101588 4294967295 134512640 135987407 3221224576 3221223232 134812365 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 123513 101588 364 364 0 123149 0 [pid=8364] vsize: 494052 Current children cumulated CPU time (s) 209.49 Current children cumulated vsize (Kb) 494052 [startup+220.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 165915 0 0 0 21581 367 0 0 25 0 1 0 21033031 511430656 102484 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 124861 102484 364 364 0 124497 0 [pid=8364] vsize: 499444 Current children cumulated CPU time (s) 219.48 Current children cumulated vsize (Kb) 499444 [startup+230.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 166456 0 0 0 22577 369 0 0 25 0 1 0 21033031 512749568 102798 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 125183 102798 364 364 0 124819 0 [pid=8364] vsize: 500732 Current children cumulated CPU time (s) 229.46 Current children cumulated vsize (Kb) 500732 [startup+240.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 167142 0 0 0 23575 370 0 0 25 0 1 0 21033031 514322432 103095 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 125567 103095 364 364 0 125203 0 [pid=8364] vsize: 502268 Current children cumulated CPU time (s) 239.45 Current children cumulated vsize (Kb) 502268 [startup+250.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 167962 0 0 0 24573 372 0 0 25 0 1 0 21033031 516841472 103639 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 126182 103639 364 364 0 125818 0 [pid=8364] vsize: 504728 Current children cumulated CPU time (s) 249.45 Current children cumulated vsize (Kb) 504728 [startup+260.006 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 168711 0 0 0 25570 374 0 0 25 0 1 0 21033031 518942720 103933 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 126695 103933 364 364 0 126331 0 [pid=8364] vsize: 506780 Current children cumulated CPU time (s) 259.44 Current children cumulated vsize (Kb) 506780 [startup+270.007 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 169542 0 0 0 26567 376 0 0 25 0 1 0 21033031 521039872 104245 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127207 104245 364 364 0 126843 0 [pid=8364] vsize: 508828 Current children cumulated CPU time (s) 269.43 Current children cumulated vsize (Kb) 508828 [startup+280.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 169708 0 0 0 27565 377 0 0 25 0 1 0 21033031 521302016 104346 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127271 104346 364 364 0 126907 0 [pid=8364] vsize: 509084 Current children cumulated CPU time (s) 279.42 Current children cumulated vsize (Kb) 509084 [startup+290.007 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 170267 0 0 0 28562 380 0 0 25 0 1 0 21033031 522350592 104647 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127527 104647 364 364 0 127163 0 [pid=8364] vsize: 510108 Current children cumulated CPU time (s) 289.42 Current children cumulated vsize (Kb) 510108 [startup+300.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 170592 0 0 0 29560 381 0 0 25 0 1 0 21033031 523137024 104778 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127719 104778 364 364 0 127355 0 [pid=8364] vsize: 510876 Current children cumulated CPU time (s) 299.41 Current children cumulated vsize (Kb) 510876 [startup+310.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 170872 0 0 0 30558 382 0 0 25 0 1 0 21033031 523730944 104881 4294967295 134512640 135987407 3221224576 3221223136 134812046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127864 104881 364 364 0 127500 0 [pid=8364] vsize: 511456 Current children cumulated CPU time (s) 309.4 Current children cumulated vsize (Kb) 511456 [startup+320.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 170978 0 0 0 31556 383 0 0 25 0 1 0 21033031 523993088 104922 4294967295 134512640 135987407 3221224576 3221223136 134812049 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 127928 104922 364 364 0 127564 0 [pid=8364] vsize: 511712 Current children cumulated CPU time (s) 319.39 Current children cumulated vsize (Kb) 511712 [startup+330.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 171322 0 0 0 32552 386 0 0 25 0 1 0 21033031 525045760 105071 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 128185 105071 364 364 0 127821 0 [pid=8364] vsize: 512740 Current children cumulated CPU time (s) 329.38 Current children cumulated vsize (Kb) 512740 [startup+340.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 172788 0 0 0 33547 389 0 0 25 0 1 0 21033031 528715776 105631 4294967295 134512640 135987407 3221224576 3221223232 134812361 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 129081 105631 364 364 0 128717 0 [pid=8364] vsize: 516324 Current children cumulated CPU time (s) 339.36 Current children cumulated vsize (Kb) 516324 [startup+350.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 173414 0 0 0 34544 391 0 0 25 0 1 0 21033031 530554880 105869 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 129530 105869 364 364 0 129166 0 [pid=8364] vsize: 518120 Current children cumulated CPU time (s) 349.35 Current children cumulated vsize (Kb) 518120 [startup+360.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 173888 0 0 0 35539 394 0 0 25 0 1 0 21033031 532004864 106115 4294967295 134512640 135987407 3221224576 3221223136 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 129884 106115 364 364 0 129520 0 [pid=8364] vsize: 519536 Current children cumulated CPU time (s) 359.33 Current children cumulated vsize (Kb) 519536 [startup+370.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 175160 0 0 0 36535 397 0 0 25 0 1 0 21033031 535019520 106643 4294967295 134512640 135987407 3221224576 3221223136 134811773 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 130620 106643 364 364 0 130256 0 [pid=8364] vsize: 522480 Current children cumulated CPU time (s) 369.32 Current children cumulated vsize (Kb) 522480 [startup+380.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 175634 0 0 0 37532 398 0 0 25 0 1 0 21033031 536199168 106825 4294967295 134512640 135987407 3221224576 3221223312 134812789 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 130908 106825 364 364 0 130544 0 [pid=8364] vsize: 523632 Current children cumulated CPU time (s) 379.3 Current children cumulated vsize (Kb) 523632 [startup+390.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 176222 0 0 0 38530 400 0 0 25 0 1 0 21033031 537640960 107056 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 131260 107056 364 364 0 130896 0 [pid=8364] vsize: 525040 Current children cumulated CPU time (s) 389.3 Current children cumulated vsize (Kb) 525040 [startup+400.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 176713 0 0 0 39526 402 0 0 25 0 1 0 21033031 538689536 107287 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 131516 107287 364 364 0 131152 0 [pid=8364] vsize: 526064 Current children cumulated CPU time (s) 399.28 Current children cumulated vsize (Kb) 526064 [startup+410.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 177303 0 0 0 40522 404 0 0 25 0 1 0 21033031 540409856 107582 4294967295 134512640 135987407 3221224576 3221223272 134812257 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 131936 107582 364 364 0 131572 0 [pid=8364] vsize: 527744 Current children cumulated CPU time (s) 409.26 Current children cumulated vsize (Kb) 527744 [startup+420.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 178782 0 0 0 41514 409 0 0 25 0 1 0 21033031 544555008 108218 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 132948 108218 364 364 0 132584 0 [pid=8364] vsize: 531792 Current children cumulated CPU time (s) 419.23 Current children cumulated vsize (Kb) 531792 [startup+430.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 179352 0 0 0 42510 411 0 0 25 0 1 0 21033031 545734656 108496 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 133236 108496 364 364 0 132872 0 [pid=8364] vsize: 532944 Current children cumulated CPU time (s) 429.21 Current children cumulated vsize (Kb) 532944 [startup+440.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 180105 0 0 0 43507 413 0 0 25 0 1 0 21033031 547569664 108795 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 133684 108795 364 364 0 133320 0 [pid=8364] vsize: 534736 Current children cumulated CPU time (s) 439.2 Current children cumulated vsize (Kb) 534736 [startup+450.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 182113 0 0 0 44500 418 0 0 25 0 1 0 21033031 553074688 109450 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135028 109450 364 364 0 134664 0 [pid=8364] vsize: 540112 Current children cumulated CPU time (s) 449.18 Current children cumulated vsize (Kb) 540112 [startup+460.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 182750 0 0 0 45498 419 0 0 25 0 1 0 21033031 554385408 109764 4294967295 134512640 135987407 3221224576 3221223296 134790057 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135348 109764 364 364 0 134984 0 [pid=8364] vsize: 541392 Current children cumulated CPU time (s) 459.17 Current children cumulated vsize (Kb) 541392 [startup+470.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 183129 0 0 0 46496 421 0 0 25 0 1 0 21033031 555302912 109916 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135572 109916 364 364 0 135208 0 [pid=8364] vsize: 542288 Current children cumulated CPU time (s) 469.17 Current children cumulated vsize (Kb) 542288 [startup+480.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 183307 0 0 0 47494 422 0 0 25 0 1 0 21033031 555827200 109965 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135700 109965 364 364 0 135336 0 [pid=8364] vsize: 542800 Current children cumulated CPU time (s) 479.16 Current children cumulated vsize (Kb) 542800 [startup+490.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 183638 0 0 0 48490 424 0 0 25 0 1 0 21033031 556613632 110102 4294967295 134512640 135987407 3221224576 3221223012 134788428 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135892 110102 364 364 0 135528 0 [pid=8364] vsize: 543568 Current children cumulated CPU time (s) 489.14 Current children cumulated vsize (Kb) 543568 [startup+500.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 183754 0 0 0 49489 424 0 0 25 0 1 0 21033031 556875776 110153 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 135956 110153 364 364 0 135592 0 [pid=8364] vsize: 543824 Current children cumulated CPU time (s) 499.13 Current children cumulated vsize (Kb) 543824 [startup+510.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 184031 0 0 0 50485 426 0 0 25 0 1 0 21033031 557400064 110301 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 136084 110301 364 364 0 135720 0 [pid=8364] vsize: 544336 Current children cumulated CPU time (s) 509.11 Current children cumulated vsize (Kb) 544336 [startup+520.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 184387 0 0 0 51482 428 0 0 25 0 1 0 21033031 558186496 110463 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 136276 110463 364 364 0 135912 0 [pid=8364] vsize: 545104 Current children cumulated CPU time (s) 519.1 Current children cumulated vsize (Kb) 545104 [startup+530.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 184744 0 0 0 52480 430 0 0 25 0 1 0 21033031 558972928 110626 4294967295 134512640 135987407 3221224576 3221223024 134801576 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 136468 110626 364 364 0 136104 0 [pid=8364] vsize: 545872 Current children cumulated CPU time (s) 529.1 Current children cumulated vsize (Kb) 545872 [startup+540.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 184762 0 0 0 53478 430 0 0 25 0 1 0 21033031 558972928 110644 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 136468 110644 364 364 0 136104 0 [pid=8364] vsize: 545872 Current children cumulated CPU time (s) 539.08 Current children cumulated vsize (Kb) 545872 [startup+550.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 185561 0 0 0 54475 433 0 0 25 0 1 0 21033031 560807936 110991 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 136916 110991 364 364 0 136552 0 [pid=8364] vsize: 547664 Current children cumulated CPU time (s) 549.08 Current children cumulated vsize (Kb) 547664 [startup+560.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 186488 0 0 0 55471 435 0 0 25 0 1 0 21033031 562905088 111400 4294967295 134512640 135987407 3221224576 3221223232 134812406 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 137428 111400 364 364 0 137064 0 [pid=8364] vsize: 549712 Current children cumulated CPU time (s) 559.06 Current children cumulated vsize (Kb) 549712 [startup+570.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 187054 0 0 0 56468 438 0 0 25 0 1 0 21033031 564355072 111706 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 137782 111706 364 364 0 137418 0 [pid=8364] vsize: 551128 Current children cumulated CPU time (s) 569.06 Current children cumulated vsize (Kb) 551128 [startup+580.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 187474 0 0 0 57465 439 0 0 25 0 1 0 21033031 565403648 111867 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 138038 111867 364 364 0 137674 0 [pid=8364] vsize: 552152 Current children cumulated CPU time (s) 579.04 Current children cumulated vsize (Kb) 552152 [startup+590.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 187901 0 0 0 58459 442 0 0 25 0 1 0 21033031 566661120 112131 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 138345 112131 364 364 0 137981 0 [pid=8364] vsize: 553380 Current children cumulated CPU time (s) 589.01 Current children cumulated vsize (Kb) 553380 [startup+600.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 188520 0 0 0 59456 444 0 0 25 0 1 0 21033031 568504320 112362 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 138795 112362 364 364 0 138431 0 [pid=8364] vsize: 555180 Current children cumulated CPU time (s) 599 Current children cumulated vsize (Kb) 555180 [startup+610.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 188784 0 0 0 60452 446 0 0 25 0 1 0 21033031 569294848 112496 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 138988 112496 364 364 0 138624 0 [pid=8364] vsize: 555952 Current children cumulated CPU time (s) 608.98 Current children cumulated vsize (Kb) 555952 [startup+620.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 189547 0 0 0 61448 448 0 0 25 0 1 0 21033031 571551744 112933 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 139539 112933 364 364 0 139175 0 [pid=8364] vsize: 558156 Current children cumulated CPU time (s) 618.96 Current children cumulated vsize (Kb) 558156 [startup+630.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 189929 0 0 0 62445 449 0 0 25 0 1 0 21033031 572608512 113120 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 139797 113120 364 364 0 139433 0 [pid=8364] vsize: 559188 Current children cumulated CPU time (s) 628.94 Current children cumulated vsize (Kb) 559188 [startup+640.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 189952 0 0 0 63444 450 0 0 25 0 1 0 21033031 572608512 113143 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 139797 113143 364 364 0 139433 0 [pid=8364] vsize: 559188 Current children cumulated CPU time (s) 638.94 Current children cumulated vsize (Kb) 559188 [startup+650.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 190415 0 0 0 64440 452 0 0 25 0 1 0 21033031 573788160 113314 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 140085 113314 364 364 0 139721 0 [pid=8364] vsize: 560340 Current children cumulated CPU time (s) 648.92 Current children cumulated vsize (Kb) 560340 [startup+660.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 191476 0 0 0 65434 456 0 0 25 0 1 0 21033031 576409600 113729 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 140725 113729 364 364 0 140361 0 [pid=8364] vsize: 562900 Current children cumulated CPU time (s) 658.9 Current children cumulated vsize (Kb) 562900 [startup+670.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 191560 0 0 0 66433 456 0 0 25 0 1 0 21033031 576409600 113813 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 140725 113813 364 364 0 140361 0 [pid=8364] vsize: 562900 Current children cumulated CPU time (s) 668.89 Current children cumulated vsize (Kb) 562900 [startup+680.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 191992 0 0 0 67430 458 0 0 25 0 1 0 21033031 577196032 114051 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 140917 114051 364 364 0 140553 0 [pid=8364] vsize: 563668 Current children cumulated CPU time (s) 678.88 Current children cumulated vsize (Kb) 563668 [startup+690.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 192419 0 0 0 68427 460 0 0 25 0 1 0 21033031 577982464 114284 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 141109 114284 364 364 0 140745 0 [pid=8364] vsize: 564436 Current children cumulated CPU time (s) 688.87 Current children cumulated vsize (Kb) 564436 [startup+700.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 193296 0 0 0 69424 462 0 0 25 0 1 0 21033031 580341760 114581 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 141685 114581 364 364 0 141321 0 [pid=8364] vsize: 566740 Current children cumulated CPU time (s) 698.86 Current children cumulated vsize (Kb) 566740 [startup+710.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 193929 0 0 0 70421 464 0 0 25 0 1 0 21033031 581914624 114826 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 142069 114826 364 364 0 141705 0 [pid=8364] vsize: 568276 Current children cumulated CPU time (s) 708.85 Current children cumulated vsize (Kb) 568276 [startup+720.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 194493 0 0 0 71419 466 0 0 25 0 1 0 21033031 582963200 115131 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 142325 115131 364 364 0 141961 0 [pid=8364] vsize: 569300 Current children cumulated CPU time (s) 718.85 Current children cumulated vsize (Kb) 569300 [startup+730.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 194741 0 0 0 72416 468 0 0 25 0 1 0 21033031 583757824 115281 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 142519 115281 364 364 0 142155 0 [pid=8364] vsize: 570076 Current children cumulated CPU time (s) 728.84 Current children cumulated vsize (Kb) 570076 [startup+740.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 194837 0 0 0 73415 468 0 0 25 0 1 0 21033031 584019968 115312 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 142583 115312 364 364 0 142219 0 [pid=8364] vsize: 570332 Current children cumulated CPU time (s) 738.83 Current children cumulated vsize (Kb) 570332 [startup+750.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 195345 0 0 0 74409 471 0 0 25 0 1 0 21033031 585342976 115625 4294967295 134512640 135987407 3221224576 3221223268 134812452 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 142906 115625 364 364 0 142542 0 [pid=8364] vsize: 571624 Current children cumulated CPU time (s) 748.8 Current children cumulated vsize (Kb) 571624 [startup+760.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 195952 0 0 0 75405 472 0 0 25 0 1 0 21033031 586915840 115843 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 143290 115843 364 364 0 142926 0 [pid=8364] vsize: 573160 Current children cumulated CPU time (s) 758.77 Current children cumulated vsize (Kb) 573160 [startup+770.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 196330 0 0 0 76401 474 0 0 25 0 1 0 21033031 587702272 116027 4294967295 134512640 135987407 3221224576 3221223136 134812056 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 143482 116027 364 364 0 143118 0 [pid=8364] vsize: 573928 Current children cumulated CPU time (s) 768.75 Current children cumulated vsize (Kb) 573928 [startup+780.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 196529 0 0 0 77398 475 0 0 25 0 1 0 21033031 588226560 116097 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 143610 116097 364 364 0 143246 0 [pid=8364] vsize: 574440 Current children cumulated CPU time (s) 778.73 Current children cumulated vsize (Kb) 574440 [startup+790.014 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 197041 0 0 0 78395 477 0 0 25 0 1 0 21033031 589537280 116285 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 143930 116285 364 364 0 143566 0 [pid=8364] vsize: 575720 Current children cumulated CPU time (s) 788.72 Current children cumulated vsize (Kb) 575720 [startup+800.015 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 197727 0 0 0 79392 479 0 0 25 0 1 0 21033031 591384576 116612 4294967295 134512640 135987407 3221224576 3221223312 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 144381 116612 364 364 0 144017 0 [pid=8364] vsize: 577524 Current children cumulated CPU time (s) 798.71 Current children cumulated vsize (Kb) 577524 [startup+810.016 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 197858 0 0 0 80390 480 0 0 25 0 1 0 21033031 591646720 116678 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 144445 116678 364 364 0 144081 0 [pid=8364] vsize: 577780 Current children cumulated CPU time (s) 808.7 Current children cumulated vsize (Kb) 577780 [startup+820.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 197951 0 0 0 81388 481 0 0 25 0 1 0 21033031 591908864 116706 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 144509 116706 364 364 0 144145 0 [pid=8364] vsize: 578036 Current children cumulated CPU time (s) 818.69 Current children cumulated vsize (Kb) 578036 [startup+830.017 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 198072 0 0 0 82387 481 0 0 25 0 1 0 21033031 592171008 116762 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 144573 116762 364 364 0 144209 0 [pid=8364] vsize: 578292 Current children cumulated CPU time (s) 828.68 Current children cumulated vsize (Kb) 578292 [startup+840.018 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 198185 0 0 0 83385 482 0 0 25 0 1 0 21033031 592433152 116810 4294967295 134512640 135987407 3221224576 3221223208 134811683 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 144637 116810 364 364 0 144273 0 [pid=8364] vsize: 578548 Current children cumulated CPU time (s) 838.67 Current children cumulated vsize (Kb) 578548 [startup+850.019 s] Raw data (loadavg): 0.99 0.99 0.99 2/55 8364 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 198843 0 0 0 84383 484 0 0 25 0 1 0 21033031 594006016 117080 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 145021 117080 364 364 0 144657 0 [pid=8364] vsize: 580084 Current children cumulated CPU time (s) 848.67 Current children cumulated vsize (Kb) 580084 [startup+860.018 s] Raw data (loadavg): 1.23 1.04 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 199468 0 0 0 85376 489 0 0 25 0 1 0 21033031 595578880 117318 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 145405 117318 364 364 0 145041 0 [pid=8364] vsize: 581620 Current children cumulated CPU time (s) 858.65 Current children cumulated vsize (Kb) 581620 [startup+870.019 s] Raw data (loadavg): 1.20 1.04 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 200123 0 0 0 86374 490 0 0 25 0 1 0 21033031 597151744 117586 4294967295 134512640 135987407 3221224576 3221223264 134824688 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 145789 117586 364 364 0 145425 0 [pid=8364] vsize: 583156 Current children cumulated CPU time (s) 868.64 Current children cumulated vsize (Kb) 583156 [startup+880.02 s] Raw data (loadavg): 1.17 1.03 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 201022 0 0 0 87372 492 0 0 25 0 1 0 21033031 599248896 117970 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 146301 117970 364 364 0 145937 0 [pid=8364] vsize: 585204 Current children cumulated CPU time (s) 878.64 Current children cumulated vsize (Kb) 585204 [startup+890.019 s] Raw data (loadavg): 1.14 1.03 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 201577 0 0 0 88371 494 0 0 25 0 1 0 21033031 600297472 118268 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 146557 118268 364 364 0 146193 0 [pid=8364] vsize: 586228 Current children cumulated CPU time (s) 888.65 Current children cumulated vsize (Kb) 586228 [startup+900.02 s] Raw data (loadavg): 1.12 1.03 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 203236 0 0 0 89367 497 0 0 25 0 1 0 21033031 604753920 118833 4294967295 134512640 135987407 3221224576 3221223136 134812005 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 147645 118833 364 364 0 147281 0 [pid=8364] vsize: 590580 Current children cumulated CPU time (s) 898.64 Current children cumulated vsize (Kb) 590580 [startup+910.021 s] Raw data (loadavg): 1.10 1.03 1.01 2/55 8419 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 204027 0 0 0 90365 499 0 0 25 0 1 0 21033031 606326784 119238 4294967295 134512640 135987407 3221224576 3221223136 134811747 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/8364/statm): 148029 119238 364 364 0 147665 0 [pid=8364] vsize: 592116 Current children cumulated CPU time (s) 908.64 Current children cumulated vsize (Kb) 592116 [startup+920.022 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 8423 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 204422 0 0 0 91362 500 0 0 25 0 1 0 21033031 607375360 119376 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 148285 119376 364 364 0 147921 0 [pid=8364] vsize: 593140 Current children cumulated CPU time (s) 918.62 Current children cumulated vsize (Kb) 593140 [startup+930.022 s] Raw data (loadavg): 1.07 1.03 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 204645 0 0 0 92361 500 0 0 25 0 1 0 21033031 607899648 119470 4294967295 134512640 135987407 3221224576 3221223136 134811885 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 148413 119470 364 364 0 148049 0 [pid=8364] vsize: 593652 Current children cumulated CPU time (s) 928.61 Current children cumulated vsize (Kb) 593652 [startup+940.022 s] Raw data (loadavg): 1.06 1.03 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 205792 0 0 0 93355 504 0 0 25 0 1 0 21033031 610656256 120002 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149086 120002 364 364 0 148722 0 [pid=8364] vsize: 596344 Current children cumulated CPU time (s) 938.59 Current children cumulated vsize (Kb) 596344 [startup+950.023 s] Raw data (loadavg): 1.05 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206510 0 0 0 94351 507 0 0 25 0 1 0 21033031 612491264 120268 4294967295 134512640 135987407 3221224576 3221223024 134801596 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149534 120268 364 364 0 149170 0 [pid=8364] vsize: 598136 Current children cumulated CPU time (s) 948.58 Current children cumulated vsize (Kb) 598136 [startup+960.022 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206513 0 0 0 95349 509 0 0 25 0 1 0 21033031 612491264 120271 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149534 120271 364 364 0 149170 0 [pid=8364] vsize: 598136 Current children cumulated CPU time (s) 958.58 Current children cumulated vsize (Kb) 598136 [startup+970.023 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206557 0 0 0 96347 509 0 0 25 0 1 0 21033031 612491264 120315 4294967295 134512640 135987407 3221224576 3221223136 134812038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149534 120315 364 364 0 149170 0 [pid=8364] vsize: 598136 Current children cumulated CPU time (s) 968.56 Current children cumulated vsize (Kb) 598136 [startup+980.024 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206557 0 0 0 97345 510 0 0 25 0 1 0 21033031 612491264 120315 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149534 120315 364 364 0 149170 0 [pid=8364] vsize: 598136 Current children cumulated CPU time (s) 978.55 Current children cumulated vsize (Kb) 598136 [startup+990.023 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206645 0 0 0 98344 511 0 0 25 0 1 0 21033031 612753408 120338 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149598 120338 364 364 0 149234 0 [pid=8364] vsize: 598392 Current children cumulated CPU time (s) 988.55 Current children cumulated vsize (Kb) 598392 [startup+1000.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206672 0 0 0 99343 511 0 0 25 0 1 0 21033031 612753408 120365 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149598 120365 364 364 0 149234 0 [pid=8364] vsize: 598392 Current children cumulated CPU time (s) 998.54 Current children cumulated vsize (Kb) 598392 [startup+1010.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 206729 0 0 0 100342 511 0 0 25 0 1 0 21033031 612753408 120422 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 149598 120422 364 364 0 149234 0 [pid=8364] vsize: 598392 Current children cumulated CPU time (s) 1008.53 Current children cumulated vsize (Kb) 598392 [startup+1020.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 207915 0 0 0 101339 514 0 0 25 0 1 0 21033031 615899136 120838 4294967295 134512640 135987407 3221224576 3221223260 134812262 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 150366 120838 364 364 0 150002 0 [pid=8364] vsize: 601464 Current children cumulated CPU time (s) 1018.53 Current children cumulated vsize (Kb) 601464 [startup+1030.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 208442 0 0 0 102335 515 0 0 25 0 1 0 21033031 617209856 121041 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 150686 121041 364 364 0 150322 0 [pid=8364] vsize: 602744 Current children cumulated CPU time (s) 1028.5 Current children cumulated vsize (Kb) 602744 [startup+1040.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 208706 0 0 0 103332 516 0 0 25 0 1 0 21033031 617734144 121176 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 150814 121176 364 364 0 150450 0 [pid=8364] vsize: 603256 Current children cumulated CPU time (s) 1038.48 Current children cumulated vsize (Kb) 603256 [startup+1050.02 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 209524 0 0 0 104328 519 0 0 25 0 1 0 21033031 619569152 121542 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 151262 121542 364 364 0 150898 0 [pid=8364] vsize: 605048 Current children cumulated CPU time (s) 1048.47 Current children cumulated vsize (Kb) 605048 [startup+1060.02 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 210254 0 0 0 105324 521 0 0 25 0 1 0 21033031 622071808 121819 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 151873 121819 364 364 0 151509 0 [pid=8364] vsize: 607492 Current children cumulated CPU time (s) 1058.45 Current children cumulated vsize (Kb) 607492 [startup+1070.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 211387 0 0 0 106320 525 0 0 25 0 1 0 21033031 624975872 122397 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 152582 122397 364 364 0 152218 0 [pid=8364] vsize: 610328 Current children cumulated CPU time (s) 1068.45 Current children cumulated vsize (Kb) 610328 [startup+1080.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 211527 0 0 0 107317 526 0 0 25 0 1 0 21033031 625238016 122472 4294967295 134512640 135987407 3221224576 3221223008 134788496 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 152646 122472 364 364 0 152282 0 [pid=8364] vsize: 610584 Current children cumulated CPU time (s) 1078.43 Current children cumulated vsize (Kb) 610584 [startup+1090.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 212518 0 0 0 108313 529 0 0 25 0 1 0 21033031 627859456 122818 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153286 122818 364 364 0 152922 0 [pid=8364] vsize: 613144 Current children cumulated CPU time (s) 1088.42 Current children cumulated vsize (Kb) 613144 [startup+1100.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 212554 0 0 0 109310 531 0 0 25 0 1 0 21033031 628125696 122854 4294967295 134512640 135987407 3221224576 3221223136 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153351 122854 364 364 0 152987 0 [pid=8364] vsize: 613404 Current children cumulated CPU time (s) 1098.41 Current children cumulated vsize (Kb) 613404 [startup+1110.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 212669 0 0 0 110308 532 0 0 25 0 1 0 21033031 628387840 122904 4294967295 134512640 135987407 3221224576 3221223008 134788493 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153415 122904 364 364 0 153051 0 [pid=8364] vsize: 613660 Current children cumulated CPU time (s) 1108.4 Current children cumulated vsize (Kb) 613660 [startup+1120.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 212807 0 0 0 111305 533 0 0 25 0 1 0 21033031 628387840 123042 4294967295 134512640 135987407 3221224576 3221223136 134811988 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153415 123042 364 364 0 153051 0 [pid=8364] vsize: 613660 Current children cumulated CPU time (s) 1118.38 Current children cumulated vsize (Kb) 613660 [startup+1130.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 213052 0 0 0 112302 534 0 0 25 0 1 0 21033031 628912128 123158 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153543 123158 364 364 0 153179 0 [pid=8364] vsize: 614172 Current children cumulated CPU time (s) 1128.36 Current children cumulated vsize (Kb) 614172 [startup+1140.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 213053 0 0 0 113301 535 0 0 25 0 1 0 21033031 628912128 123159 4294967295 134512640 135987407 3221224576 3221223232 134812368 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153543 123159 364 364 0 153179 0 [pid=8364] vsize: 614172 Current children cumulated CPU time (s) 1138.36 Current children cumulated vsize (Kb) 614172 [startup+1150.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 213070 0 0 0 114298 535 0 0 25 0 1 0 21033031 628912128 123176 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153543 123176 364 364 0 153179 0 [pid=8364] vsize: 614172 Current children cumulated CPU time (s) 1148.33 Current children cumulated vsize (Kb) 614172 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 213330 0 0 0 115295 537 0 0 25 0 1 0 21033031 629305344 123338 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 153639 123338 364 364 0 153275 0 [pid=8364] vsize: 614556 Current children cumulated CPU time (s) 1158.32 Current children cumulated vsize (Kb) 614556 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 213961 0 0 0 116292 539 0 0 25 0 1 0 21033031 630878208 123583 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154023 123583 364 364 0 153659 0 [pid=8364] vsize: 616092 Current children cumulated CPU time (s) 1168.31 Current children cumulated vsize (Kb) 616092 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8425 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 214353 0 0 0 117290 540 0 0 25 0 1 0 21033031 631926784 123717 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154279 123717 364 364 0 153915 0 [pid=8364] vsize: 617116 Current children cumulated CPU time (s) 1178.3 Current children cumulated vsize (Kb) 617116 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8427 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 214523 0 0 0 118287 541 0 0 25 0 1 0 21033031 632451072 123758 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154407 123758 364 364 0 154043 0 [pid=8364] vsize: 617628 Current children cumulated CPU time (s) 1188.28 Current children cumulated vsize (Kb) 617628 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8427 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 214553 0 0 0 119286 542 0 0 25 0 1 0 21033031 632451072 123788 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154407 123788 364 364 0 154043 0 [pid=8364] vsize: 617628 Current children cumulated CPU time (s) 1198.28 Current children cumulated vsize (Kb) 617628 [startup+1210.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8427 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 214554 0 0 0 120284 543 0 0 25 0 1 0 21033031 632451072 123789 4294967295 134512640 135987407 3221224576 3221223312 134812644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154407 123789 364 364 0 154043 0 [pid=8364] vsize: 617628 Current children cumulated CPU time (s) 1208.27 Current children cumulated vsize (Kb) 617628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 8427 Raw data (/proc/8364/stat): 8364 (pb2sat) R 8363 8364 4070 0 -1 0 214554 0 0 0 120284 543 0 0 25 0 1 0 21033031 632451072 123789 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/8364/statm): 154407 123789 364 364 0 154043 0 [pid=8364] vsize: 617628 Current children cumulated CPU time (s) 1208.27 Current children cumulated vsize (Kb) 617628 Sending SIGTERM to -8364 Sleeping 2 seconds One traced child (pid=8364) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1211.63 CPU time (s): 1209.87 CPU user time (s): 1204.18 CPU system time (s): 5.68713 CPU usage (%): 99.8547 Max. virtual memory (cumulated for all children) (Kb): 617628
Verifier: OK 930