Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 932 | 1800.79 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 1514.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.31 1225.02 o 956 1632.27 o 932 1801.24 sh: line 1: 29100 Done pb2smodels ROOT/tmp/node44/45525-1154038611/instance-45525-1154038611.opb ROOT/tmp/node44/45525-1154038611 1801.24 29101 Terminated | smodels-2.31 0 -seed 111318519 1801.24 29102 Terminated | pbout.new.pl ROOT/tmp/node44/45525-1154038611/instance-45525-1154038611.opb ROOT/tmp/node44/45525-1154038611 1801.25 s SATISFIABLE 1801.25 v x1052 x1085 x1154 x1190 x1224 x1272 x1335 x1346 x1408 x1464 x1495 x1551 x1603 x1620 x1683 x1733 x1769 x7 x49 x122 x170 x191 1801.25 v x247 x273 x310 x385 x403 x465 x526 x548 x578 x663 x701 x719 x781 x804 x882 x901 x979 x992 -x1027 -x1028 -x1029 -x1030 -x1031 1801.25 v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1801.25 v -x1049 -x1050 -x1051 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1801.25 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 1801.25 v -x1084 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 1801.25 v -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 1801.25 v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1801.25 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 1801.25 v -x1153 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1801.25 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 1801.25 v -x1188 -x1189 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 1801.25 v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 1801.25 v -x1223 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1801.25 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1801.25 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1273 -x1274 -x1275 1801.25 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 1801.25 v -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 1801.25 v -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 1801.25 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 1801.25 v -x1345 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 1801.25 v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 1801.25 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 1801.25 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 1801.25 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1801.25 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 1801.25 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1465 -x1466 1801.25 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1801.25 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1801.25 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1801.25 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1801.25 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1552 -x1553 1801.25 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1801.25 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1801.25 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1604 -x1605 1801.25 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1621 -x1622 -x1623 1801.25 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1801.25 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 1801.25 v -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1801.25 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1801.25 v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 1801.25 v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 1801.25 v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 1801.25 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 1801.25 v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 1801.25 v -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1801.25 v -x1797 -x1798 -x1799 -x1800 -x1 -x2 -x3 -x4 -x5 -x6 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 1801.25 v -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x50 1801.25 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1801.25 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 1801.25 v -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x123 1801.25 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1801.25 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 1801.25 v -x166 -x167 -x168 -x169 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 1801.25 v -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1801.25 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1801.25 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x249 -x250 -x251 -x252 1801.25 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x274 1801.25 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 1801.25 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1801.25 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1801.25 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 1801.25 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1801.25 v -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1801.25 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1801.25 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1801.25 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 1801.25 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1801.25 v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 1801.25 v -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x527 -x528 -x529 -x530 -x531 1801.25 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x549 -x550 -x551 -x552 -x553 1801.25 v -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1801.25 v -x575 -x576 -x577 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 1801.25 v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 1801.25 v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 1801.25 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 1801.25 v -x660 -x661 -x662 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 1801.25 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x702 -x703 1801.25 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 1801.25 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 1801.25 v -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 1801.25 v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1801.25 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x805 -x806 -x807 -x808 -x809 -x810 -x811 1801.25 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 1801.25 v -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 1801.25 v -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 1801.25 v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 1801.25 v -x897 -x898 -x899 -x900 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1801.25 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 1801.25 v -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1801.25 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 1801.25 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 1801.25 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1801.25 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
OK 932
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node44/watcher-45525-1154038611 -o ROOT/results/node44/solver-45525-1154038611 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45525-1154038611/instance-45525-1154038611.opb 111318519 ROOT/tmp/node44/45525-1154038611 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 29097 /proc/meminfo: memFree=1260560/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5356 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) R 29095 29097 29048 0 -1 4194304 236 0 0 0 0 0 0 0 19 0 1 0 150731986 5484544 202 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840079859 0 0 4100 65536 0 0 0 17 1 0 0 /proc/29097/statm: 1339 202 167 169 0 50 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258288/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=9.85 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 443 0 0 0 985 0 0 0 25 0 1 0 150731988 3174400 407 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520064 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 407 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.01 Current children cumulated vsize (Kb) 38352 [startup+20.0091 s] /proc/loadavg: 0.94 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258352/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=19.85 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 443 0 0 0 1985 0 0 0 25 0 1 0 150731988 3174400 407 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 407 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.01 Current children cumulated vsize (Kb) 38352 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258352/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=29.86 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 443 0 0 0 2986 0 0 0 25 0 1 0 150731988 3174400 407 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 407 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.02 Current children cumulated vsize (Kb) 38352 [startup+40.0212 s] /proc/loadavg: 0.96 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=39.86 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 444 0 0 0 3986 0 0 0 25 0 1 0 150731988 3174400 408 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538416 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 408 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.02 Current children cumulated vsize (Kb) 38352 [startup+50.0282 s] /proc/loadavg: 0.96 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=49.86 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 467 0 0 0 4986 0 0 0 25 0 1 0 150731988 3174400 431 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538416 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 431 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.02 Current children cumulated vsize (Kb) 38352 [startup+60.0353 s] /proc/loadavg: 0.97 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=59.87 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 467 0 0 0 5987 0 0 0 25 0 1 0 150731988 3174400 431 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134547504 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 431 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.03 Current children cumulated vsize (Kb) 38352 [startup+70.0413 s] /proc/loadavg: 0.97 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=69.87 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 467 0 0 0 6987 0 0 0 25 0 1 0 150731988 3174400 431 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539627 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 431 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 70.03 Current children cumulated vsize (Kb) 38352 [startup+80.0473 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3100 CPUtime=79.87 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 467 0 0 0 7987 0 0 0 25 0 1 0 150731988 3174400 431 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 775 431 210 21 0 211 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150731988 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 80.03 Current children cumulated vsize (Kb) 38352 [startup+90.0534 s] /proc/loadavg: 0.98 0.98 0.99 2/68 29102 /proc/meminfo: memFree=1258416/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=3232 CPUtime=89.88 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 487 0 0 0 8988 0 0 0 25 0 1 0 150731988 3309568 451 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533278 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1793.55 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179354 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538393 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1793.71 Current children cumulated vsize (Kb) 42840 [startup+1795.21 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1794.55 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179454 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539289 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (Kb) 42840 [startup+1796.21 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1795.56 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179555 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518298 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1795.72 Current children cumulated vsize (Kb) 42840 [startup+1797.22 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1796.56 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179655 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 42840 [startup+1798.22 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1797.57 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179756 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538381 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 42840 [startup+1799.23 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1798.57 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179856 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533006 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 42840 [startup+1800.23 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1799.58 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 179957 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539534 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 42840 [startup+1801.24 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1800.58 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 180057 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539651 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (Kb) 42840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 0.99 0.98 0.99 2/68 29104 /proc/meminfo: memFree=1253552/2055920 swapFree=4183100/4192956 [pid=29097] ppid=29095 vsize=5360 CPUtime=0 /proc/29097/stat : 29097 (runpbsmodels) S 29095 29097 29048 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150731986 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29097/statm: 1340 234 195 169 0 51 0 [pid=29098] ppid=29097 vsize=12268 CPUtime=0 /proc/29098/stat : 29098 (pbsmodels-v1.31) S 29097 29097 29048 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150731987 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29098/statm: 3067 383 293 3 0 167 0 [pid=29099] ppid=29098 vsize=5356 CPUtime=0.16 /proc/29099/stat : 29099 (sh) S 29098 29097 29048 0 -1 4194304 309 644 0 0 0 0 16 0 16 0 1 0 150731987 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29099/statm: 1339 227 188 169 0 50 0 [pid=29101] ppid=29099 vsize=7588 CPUtime=1800.59 /proc/29101/stat : 29101 (smodels-2.31) R 29099 29097 29048 0 -1 4194304 1574 0 0 0 180058 1 0 0 25 0 1 0 150731988 7770112 1538 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539622 0 0 4096 0 0 0 0 17 1 0 0 /proc/29101/statm: 1897 1538 213 21 0 1333 0 [pid=29102] ppid=29099 vsize=12268 CPUtime=0 /proc/29102/stat : 29102 (pbout.new.pl) S 29099 29097 29048 0 -1 4194304 475 0 0 0 0 0 0 0 16 0 1 0 150731988 12562432 435 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29102/statm: 3067 435 333 3 0 167 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (Kb) 42840 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.79 CPU user time (s): 1800.76 CPU system time (s): 0.033994 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (Kb): 42840 The end
Begin job on node44 on Thu Jul 27 22:16:51 UTC 2006 FILE ID= 45525-1154038611 PBS_JOBID= 881251 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45525-1154038611/instance-45525-1154038611.opb 111318519 ROOT/tmp/node44/45525-1154038611 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-45525-1154038611 -o ROOT/results/node44/solver-45525-1154038611 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45525-1154038611/instance-45525-1154038611.opb 111318519 ROOT/tmp/node44/45525-1154038611 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED= 111318519 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1260768 kB Buffers: 27392 kB Cached: 711220 kB SwapCached: 3540 kB Active: 271092 kB Inactive: 476052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1260768 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14480 kB Slab: 33988 kB Committed_AS: 609364 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Thu Jul 27 22:46:52 UTC 2006