Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | -20 | 1782.74 | 1783.27 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb |
MD5SUM | 7f40f8d513f22fc9adca96d8fdf626e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -24 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -24 |
Optimality of the best value was proved | NO |
Number of variables | 1835 |
Total number of constraints | 2112 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 86 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 882 |
Number of terms in the objective function | 120 |
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 | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.10 c starting to Solve 0.10 c #variables read: 1835 - #constraints read: 2150 0.17 o 13 0.18 o 14 0.18 o 15 533.69 o 16 640.44 o 17 696.06 o 18 1731.97 o 19 1761.38 o 20 1783.26 c total time : 1783 s 1783.26 s SATISFIABLE 1783.26 v -x1 -x33 -x63 -x94 -x110 -x113 -x117 -x118 -x4 -x7 -x10 -x13 -x17 -x20 x23 x26 x29 x35 -x39 x42 -x45 -x48 -x51 -x54 -x58 -x64 x67 1783.26 v x70 x73 -x76 -x80 -x83 -x86 -x89 -x95 -x98 -x102 -x103 -x104 -x105 -x106 -x107 -x2 -x34 -x61 -x92 -x108 -x111 -x114 -x115 -x119 1783.26 v -x5 -x8 -x11 -x14 x16 -x18 -x21 x24 -x27 x30 -x36 -x38 -x40 -x43 x46 -x49 x52 -x55 -x57 -x59 -x65 -x68 x71 -x74 -x77 -x79 -x81 -x84 1783.26 v -x87 -x90 -x96 -x99 -x101 -x3 -x32 -x62 -x93 -x109 -x112 -x116 -x120 -x6 -x9 -x12 -x15 x19 -x22 -x25 x28 -x31 -x37 -x41 x44 x47 1783.26 v -x50 x53 -x56 -x60 -x66 x69 -x72 -x75 -x78 -x82 -x85 -x88 -x91 -x97 -x100 -x148 -x146 -x144 -x142 -x140 -x139 -x136 -x133 -x130 1783.26 v -x128 -x125 -x123 -x155 -x154 -x152 -x143 -x121 -x218 -x216 -x214 -x212 -x210 -x209 -x206 -x203 -x200 -x198 -x195 -x193 -x225 1783.26 v -x224 -x222 -x213 -x191 -x463 -x461 -x459 -x457 -x455 -x454 -x451 -x448 -x445 -x443 -x440 -x438 -x470 -x469 -x467 -x458 x436 1783.26 v -x498 -x496 -x494 -x492 -x490 -x489 -x486 -x483 -x480 -x478 -x475 -x473 -x505 -x504 -x502 x493 -x471 -x568 -x566 -x564 -x562 1783.26 v -x560 -x559 -x556 -x553 -x550 -x548 -x545 -x543 -x575 -x574 x572 -x563 -x541 -x638 -x636 -x634 -x632 -x630 -x629 -x626 -x623 1783.26 v -x620 -x618 -x615 -x613 -x645 -x644 -x642 -x633 -x611 -x673 x671 -x669 -x667 -x665 -x664 -x661 -x658 -x655 -x653 -x650 -x648 1783.26 v -x680 -x679 -x677 -x668 -x646 -x708 -x706 -x704 -x702 -x700 -x699 -x696 -x693 x690 -x688 -x685 -x683 -x715 -x714 -x712 -x703 1783.26 v -x681 -x743 -x741 -x739 -x737 -x735 -x734 -x731 -x728 -x725 -x723 -x720 -x718 -x750 -x749 -x747 -x738 -x716 -x778 -x776 -x774 1783.26 v -x772 -x770 -x769 -x766 x763 -x760 -x758 -x755 -x753 -x785 -x784 -x782 -x773 -x751 -x813 -x811 -x809 -x807 -x805 -x804 -x801 1783.26 v -x798 -x795 -x793 -x790 -x788 -x820 -x819 -x817 -x808 -x786 -x883 -x881 -x879 -x877 -x875 -x874 -x871 -x868 -x865 -x863 -x860 1783.26 v -x858 -x890 -x889 -x887 -x878 -x856 -x253 -x251 -x249 -x247 -x245 -x244 -x241 -x238 -x235 -x233 -x230 -x228 -x260 -x259 -x257 1783.26 v -x248 -x226 -x953 -x951 -x949 -x947 -x945 -x944 -x941 -x938 -x935 -x933 -x930 -x928 -x960 -x959 -x957 -x948 -x926 -x988 -x986 1783.26 v x984 -x982 -x980 -x979 -x976 -x973 -x970 -x968 -x965 -x963 -x995 -x994 -x992 -x983 -x961 -x1023 -x1021 -x1019 -x1017 x1015 1783.26 v -x1014 -x1011 -x1008 -x1005 -x1003 -x1000 -x998 -x1030 -x1029 -x1027 -x1018 -x996 -x1058 -x1056 -x1054 -x1052 -x1050 x1049 1783.26 v -x1046 -x1043 -x1040 -x1038 -x1035 -x1033 -x1065 -x1064 -x1062 -x1053 -x1031 -x1093 -x1091 -x1089 -x1087 -x1085 -x1084 1783.26 v x1081 -x1078 -x1075 -x1073 -x1070 -x1068 -x1100 -x1099 -x1097 -x1088 -x1066 -x1163 -x1161 -x1159 -x1157 -x1155 -x1154 1783.26 v -x1151 -x1148 -x1145 -x1143 -x1140 -x1138 -x1170 -x1169 -x1167 -x1158 -x1136 -x1198 -x1196 -x1194 -x1192 -x1190 -x1189 1783.26 v -x1186 -x1183 -x1180 -x1178 -x1175 -x1173 -x1205 -x1204 -x1202 -x1193 -x1171 -x1233 -x1231 -x1229 -x1227 -x1225 -x1224 1783.26 v -x1221 -x1218 -x1215 -x1213 -x1210 -x1208 -x1240 -x1239 -x1237 -x1228 -x1206 -x1268 -x1266 -x1264 x1262 -x1260 -x1259 1783.26 v -x1256 -x1253 -x1250 -x1248 -x1245 -x1243 -x1275 -x1274 -x1272 -x1263 -x1241 -x1338 -x1336 -x1334 -x1332 -x1330 -x1329 1783.26 v -x1326 -x1323 -x1320 -x1318 -x1315 -x1313 -x1345 -x1344 -x1342 -x1333 -x1311 -x288 -x286 -x284 -x282 -x280 -x279 -x276 1783.26 v -x273 -x270 -x268 -x265 -x263 -x295 -x294 -x292 -x283 -x261 -x1373 -x1371 -x1369 -x1367 -x1365 -x1364 -x1361 -x1358 -x1355 1783.26 v -x1353 -x1350 -x1348 -x1380 -x1379 -x1377 -x1368 -x1346 x358 -x356 -x354 -x352 -x350 -x349 -x346 -x343 -x340 -x338 -x335 1783.26 v -x333 -x365 -x364 -x362 -x353 -x331 -x393 -x391 -x389 -x387 -x385 -x384 -x381 -x378 -x375 -x373 -x370 -x368 -x400 -x399 -x397 1783.26 v -x388 -x366 -x428 -x426 -x424 -x422 -x420 -x419 -x416 -x413 -x410 x408 -x405 -x403 -x435 -x434 -x432 -x423 -x401 -x533 -x531 1783.26 v -x529 -x527 -x525 -x524 -x521 -x518 -x515 -x513 -x510 -x508 -x540 -x539 -x537 -x528 -x506 -x918 -x916 -x914 -x912 -x910 -x909 1783.26 v -x906 -x903 -x900 -x898 x895 -x893 -x925 -x924 -x922 -x913 -x891 -x1443 -x1441 -x1439 -x1437 -x1435 -x1434 -x1431 -x1428 1783.26 v -x1425 -x1423 -x1420 -x1418 -x1450 -x1449 -x1447 -x1438 -x1416 -x1478 -x1476 -x1474 -x1472 -x1470 -x1469 -x1466 -x1463 1783.26 v -x1460 -x1458 -x1455 -x1453 -x1485 -x1484 -x1482 -x1473 -x1451 -x1513 -x1511 -x1509 -x1507 -x1505 -x1504 -x1501 -x1498 1783.26 v -x1495 -x1493 -x1490 -x1488 -x1520 -x1519 -x1517 -x1508 -x1486 -x1303 -x1301 -x1299 -x1297 -x1295 -x1294 -x1291 -x1288 1783.26 v -x1285 -x1283 -x1280 -x1278 -x1310 -x1309 -x1307 -x1298 -x1276 -x1548 -x1546 -x1544 -x1542 -x1540 -x1539 -x1536 -x1533 1783.26 v -x1530 -x1528 -x1525 -x1523 -x1555 -x1554 -x1552 -x1543 -x1521 -x1583 -x1581 -x1579 -x1577 -x1575 -x1574 -x1571 -x1568 1783.26 v -x1565 -x1563 -x1560 -x1558 -x1590 -x1589 -x1587 -x1578 -x1556 -x1618 -x1616 -x1614 -x1612 -x1610 -x1609 -x1606 -x1603 1783.26 v -x1600 -x1598 -x1595 -x1593 -x1625 -x1624 -x1622 -x1613 -x1591 -x1688 -x1686 -x1684 -x1682 -x1680 -x1679 -x1676 -x1673 1783.26 v -x1670 -x1668 -x1665 x1663 -x1695 -x1694 -x1692 -x1683 -x1661 -x1723 -x1721 -x1719 -x1717 -x1715 -x1714 -x1711 -x1708 1783.26 v -x1705 -x1703 -x1700 -x1698 -x1730 -x1729 -x1727 -x1718 -x1696 -x1758 -x1756 -x1754 -x1752 -x1750 -x1749 -x1746 -x1743 1783.26 v -x1740 -x1738 -x1735 -x1733 -x1765 -x1764 -x1762 -x1753 -x1731 -x1793 -x1791 -x1789 -x1787 -x1785 -x1784 -x1781 -x1778 1783.26 v -x1775 -x1773 -x1770 -x1768 -x1800 -x1799 -x1797 -x1788 -x1766 -x1828 -x1826 -x1824 -x1822 -x1820 -x1819 -x1816 -x1813 1783.26 v -x1810 -x1808 -x1805 -x1803 -x1835 -x1834 -x1832 -x1823 -x1801 -x183 -x181 -x179 -x177 -x175 -x174 -x171 -x168 -x165 -x163 1783.26 v -x160 -x158 -x190 -x189 -x187 -x178 -x156 -x323 -x321 -x319 -x317 -x315 -x314 -x311 -x308 -x305 -x303 -x300 -x298 x330 -x329 1783.26 v -x327 -x318 -x296 -x603 -x601 -x599 -x597 -x595 -x594 -x591 -x588 -x585 -x583 -x580 -x578 -x610 x609 -x607 -x598 -x576 -x848 1783.26 v -x846 -x844 -x842 -x840 -x839 -x836 -x833 -x830 -x828 -x825 -x823 -x855 -x854 -x852 -x843 -x821 -x1128 -x1126 -x1124 -x1122 1783.26 v -x1120 -x1119 -x1116 -x1113 -x1110 -x1108 -x1105 -x1103 -x1135 -x1134 -x1132 -x1123 -x1101 -x1408 -x1406 -x1404 -x1402 1783.26 v -x1400 -x1399 -x1396 -x1393 -x1390 -x1388 -x1385 -x1383 -x1415 -x1414 -x1412 -x1403 -x1381 -x1653 -x1651 -x1649 -x1647 1783.26 v -x1645 -x1644 -x1641 -x1638 -x1635 -x1633 -x1630 -x1628 -x1660 -x1659 -x1657 -x1648 -x1626 -x1654 -x1652 -x1650 -x1646 1783.26 v -x1643 -x1642 -x1640 -x1639 -x1636 -x1634 -x1632 -x1631 -x1629 -x1627 -x1658 -x1656 -x1655 -x1637 -x1619 -x1617 -x1615 1783.26 v -x1611 -x1608 -x1607 -x1605 -x1604 -x1601 -x1599 -x1597 -x1596 -x1594 -x1592 -x1623 -x1621 -x1620 -x1602 -x1584 -x1582 1783.26 v -x1580 -x1576 -x1573 -x1572 -x1570 -x1569 -x1566 -x1564 -x1562 -x1561 -x1559 -x1557 -x1588 -x1586 -x1585 -x1567 -x1549 1783.26 v -x1547 -x1545 -x1541 -x1538 -x1537 -x1535 -x1534 -x1531 -x1529 -x1527 -x1526 -x1524 -x1522 -x1553 -x1551 -x1550 -x1532 1783.26 v -x1514 -x1512 -x1510 -x1506 -x1503 -x1502 -x1500 -x1499 -x1496 -x1494 -x1492 -x1491 -x1489 -x1487 -x1518 -x1516 -x1515 1783.26 v -x1497 -x1479 -x1477 -x1475 -x1471 -x1468 -x1467 -x1465 -x1464 -x1461 -x1459 -x1457 -x1456 -x1454 -x1452 -x1483 -x1481 1783.26 v -x1480 -x1462 -x1444 -x1442 -x1440 -x1436 -x1433 -x1432 -x1430 -x1429 -x1426 -x1424 -x1422 -x1421 -x1419 -x1417 -x1448 1783.26 v -x1446 -x1445 -x1427 -x1409 -x1407 -x1405 -x1401 -x1398 x1397 -x1395 -x1394 -x1391 -x1389 -x1387 -x1386 -x1384 -x1382 1783.26 v -x1413 -x1411 -x1410 -x1392 -x1374 -x1372 -x1370 -x1366 x1363 -x1362 -x1360 -x1359 -x1356 -x1354 -x1352 -x1351 -x1349 1783.26 v -x1347 -x1378 -x1376 -x1375 -x1357 -x1339 -x1337 -x1335 x1331 -x1328 -x1327 -x1325 -x1324 -x1321 -x1319 -x1317 -x1316 1783.26 v -x1314 -x1312 -x1343 -x1341 -x1340 -x1322 -x1269 -x1267 -x1265 -x1261 -x1258 -x1257 -x1255 -x1254 -x1251 -x1249 -x1247 1783.26 v -x1246 -x1244 -x1242 -x1273 -x1271 -x1270 -x1252 -x1234 -x1232 -x1230 -x1226 -x1223 -x1222 -x1220 -x1219 -x1216 -x1214 1783.26 v -x1212 -x1211 -x1209 -x1207 -x1238 -x1236 -x1235 -x1217 -x1199 -x1197 -x1195 -x1191 -x1188 -x1187 -x1185 -x1184 -x1181 1783.26 v -x1179 -x1177 -x1176 -x1174 -x1172 -x1203 -x1201 -x1200 -x1182 -x1164 -x1162 -x1160 -x1156 -x1153 -x1152 -x1150 -x1149 1783.26 v -x1146 -x1144 -x1142 -x1141 -x1139 -x1137 -x1168 -x1166 -x1165 -x1147 -x1129 -x1127 -x1125 -x1121 -x1118 -x1117 x1115 1783.26 v -x1114 -x1111 -x1109 -x1107 -x1106 -x1104 -x1102 -x1133 -x1131 -x1130 -x1112 -x1094 -x1092 -x1090 -x1086 -x1083 -x1082 1783.26 v -x1080 -x1079 -x1076 -x1074 -x1072 -x1071 -x1069 -x1067 -x1098 -x1096 -x1095 -x1077 -x1059 -x1057 -x1055 -x1051 -x1048 1783.26 v -x1047 -x1045 -x1044 -x1041 -x1039 -x1037 -x1036 -x1034 -x1032 -x1063 -x1061 -x1060 -x1042 -x1024 -x1022 -x1020 -x1016 1783.26 v -x1013 -x1012 -x1010 -x1009 -x1006 -x1004 -x1002 -x1001 -x999 -x997 -x1028 -x1026 -x1025 -x1007 -x989 -x987 -x985 -x981 1783.26 v -x978 -x977 -x975 -x974 -x971 -x969 -x967 -x966 -x964 -x962 -x993 -x991 -x990 -x972 -x954 -x952 x950 -x946 -x943 -x942 -x940 1783.26 v -x939 -x936 -x934 -x932 -x931 -x929 -x927 -x958 -x956 -x955 -x937 -x884 -x882 -x880 -x876 -x873 -x872 -x870 -x869 -x866 -x864 1783.26 v -x862 -x861 -x859 -x857 -x888 -x886 -x885 -x867 -x849 -x847 -x845 -x841 -x838 -x837 -x835 -x834 -x831 -x829 -x827 -x826 -x824 1783.26 v -x822 x853 -x851 -x850 -x832 -x814 -x812 -x810 -x806 -x803 -x802 -x800 x799 -x796 -x794 -x792 -x791 -x789 -x787 -x818 -x816 1783.26 v -x815 -x797 -x779 -x777 -x775 -x771 -x768 -x767 -x765 -x764 -x761 -x759 -x757 -x756 -x754 -x752 -x783 -x781 -x780 -x762 -x744 1783.26 v -x742 -x740 -x736 -x733 -x732 -x730 -x729 x726 -x724 -x722 -x721 -x719 -x717 -x748 -x746 -x745 -x727 -x709 -x707 -x705 -x701 1783.26 v -x698 -x697 -x695 -x694 -x691 -x689 -x687 -x686 -x684 -x682 -x713 -x711 -x710 -x692 -x674 -x672 -x670 -x666 -x663 -x662 -x660 1783.26 v -x659 -x656 -x654 -x652 -x651 -x649 -x647 -x678 -x676 -x675 -x657 -x639 x637 -x635 -x631 -x628 -x627 -x625 -x624 -x621 -x619 1783.26 v -x617 -x616 -x614 -x612 -x643 -x641 -x640 -x622 -x604 -x602 -x600 -x596 -x593 -x592 -x590 -x589 -x586 -x584 -x582 -x581 -x579 1783.26 v -x577 -x608 -x606 -x605 -x587 -x569 -x567 -x565 -x561 -x558 -x557 -x555 -x554 -x551 -x549 -x547 -x546 -x544 -x542 -x573 -x571 1783.26 v -x570 -x552 -x499 -x497 -x495 -x491 -x488 -x487 -x485 -x484 -x481 -x479 -x477 -x476 -x474 -x472 -x503 -x501 -x500 -x482 -x464 1783.26 v -x462 -x460 -x456 -x453 -x452 -x450 -x449 -x446 -x444 -x442 -x441 -x439 -x437 -x468 -x466 -x465 -x447 -x429 -x427 -x425 -x421 1783.26 v -x418 -x417 -x415 -x414 -x411 -x409 -x407 -x406 -x404 -x402 -x433 -x431 -x430 -x412 -x394 -x392 -x390 -x386 -x383 -x382 -x380 1783.26 v -x379 -x376 x374 -x372 -x371 -x369 -x367 -x398 -x396 -x395 -x377 -x359 -x357 -x355 -x351 -x348 -x347 -x345 -x344 -x341 -x339 1783.26 v -x337 -x336 -x334 -x332 -x363 -x361 -x360 -x342 -x324 -x322 -x320 -x316 -x313 -x312 -x310 -x309 -x306 -x304 -x302 -x301 -x299 1783.26 v -x297 -x328 -x326 -x325 -x307 -x289 -x287 -x285 -x281 -x278 -x277 -x275 -x274 -x271 -x269 -x267 -x266 -x264 -x262 -x293 x291 1783.26 v -x290 -x272 -x254 -x252 -x250 -x246 -x243 -x242 -x240 -x239 -x236 -x234 -x232 -x231 -x229 -x227 -x258 -x256 x255 -x237 -x219 1783.26 v -x217 -x215 -x211 -x208 -x207 -x205 -x204 -x201 -x199 -x197 -x196 -x194 -x192 -x223 -x221 -x220 x202 -x184 -x182 -x180 -x176 1783.26 v -x173 -x172 -x170 -x169 -x166 -x164 -x162 -x161 -x159 -x157 -x188 -x186 -x185 -x167 -x1829 -x1827 -x1825 -x1821 -x1818 -x1817 1783.26 v -x1815 -x1814 -x1811 -x1809 x1807 -x1806 -x1804 -x1802 -x1833 -x1831 -x1830 -x1812 x1794 -x1792 -x1790 -x1786 -x1783 -x1782 1783.26 v -x1780 -x1779 -x1776 -x1774 -x1772 -x1771 -x1769 -x1767 -x1798 -x1796 -x1795 -x1777 -x1759 -x1757 -x1755 -x1751 -x1748 1783.26 v -x1747 -x1745 -x1744 -x1741 -x1739 -x1737 -x1736 -x1734 -x1732 -x1763 -x1761 -x1760 -x1742 -x1724 -x1722 -x1720 -x1716 1783.26 v -x1713 -x1712 -x1710 -x1709 -x1706 -x1704 -x1702 -x1701 -x1699 x1697 -x1728 -x1726 -x1725 -x1707 -x1689 -x1687 -x1685 1783.26 v -x1681 -x1678 -x1677 -x1675 -x1674 -x1671 -x1669 -x1667 -x1666 -x1664 -x1662 -x1693 -x1691 -x1690 -x1672 -x1304 -x1302 1783.26 v -x1300 -x1296 -x1293 -x1292 -x1290 -x1289 -x1286 -x1284 -x1282 -x1281 x1279 -x1277 -x1308 -x1306 -x1305 -x1287 -x919 -x917 1783.26 v -x915 -x911 -x908 -x907 -x905 -x904 -x901 -x899 -x897 -x896 -x894 -x892 -x923 -x921 -x920 -x902 -x534 -x532 -x530 -x526 -x523 1783.26 v -x522 -x520 -x519 -x516 -x514 -x512 x511 -x509 -x507 -x538 -x536 -x535 -x517 -x149 -x147 -x145 -x141 -x138 -x137 -x135 -x134 1783.26 v -x131 -x129 -x127 -x126 -x124 -x122 -x153 -x151 -x150 -x132
OK -20
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-37818-1149369926 -o ROOT/results/node66/solver-37818-1149369926 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.92 3/64 26210 /proc/meminfo: memFree=1681664/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=2572 CPUtime=0 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 202660687 2633728 239 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10104391 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 643 239 199 16 0 84 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1677208/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=6764 CPUtime=9.99 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1336 0 0 0 983 16 0 0 25 0 1 0 202660687 6926336 1307 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 1691 1307 205 16 0 1132 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6764 [startup+20.0084 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1677208/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=6892 CPUtime=20 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1354 0 0 0 1970 30 0 0 25 0 1 0 202660687 7057408 1325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 1723 1325 205 16 0 1164 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6892 [startup+30.0146 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1675992/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=8028 CPUtime=29.99 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1653 0 0 0 2955 44 0 0 25 0 1 0 202660687 8220672 1624 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 2007 1624 205 16 0 1448 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 8028 [startup+40.0209 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1675928/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=8140 CPUtime=40 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1692 0 0 0 3942 58 0 0 25 0 1 0 202660687 8335360 1659 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 2035 1659 205 16 0 1476 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 8140 [startup+50.0271 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1675160/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=8968 CPUtime=50 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 1889 0 0 0 4932 68 0 0 25 0 1 0 202660687 9183232 1856 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 2242 1856 205 16 0 1683 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 8968 [startup+60.0333 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1673944/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=10220 CPUtime=60.01 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2188 0 0 0 5924 77 0 0 25 0 1 0 202660687 10465280 2155 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 2555 2155 205 16 0 1996 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10220 [startup+70.0396 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1672792/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=11348 CPUtime=70.01 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2489 0 0 0 6918 83 0 0 25 0 1 0 202660687 11620352 2456 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 2837 2456 205 16 0 2278 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 11348 [startup+80.0458 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=80.01 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 7915 86 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 12368 [startup+90.052 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=90.02 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 8912 90 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 12368 [startup+100.058 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=100.02 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 9909 93 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12368 [startup+110.065 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=110.02 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 10903 99 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 12368 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=120.02 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 11893 109 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 12368 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=130.03 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 12886 117 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 12368 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=140.03 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 13879 124 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 12368 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=150.04 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 14875 129 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 12368 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=160.04 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 15865 139 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 12368 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671832/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=170.04 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 16855 149 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 12368 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=180.05 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 17845 160 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 12368 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=190.05 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 18836 169 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 12368 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=12368 CPUtime=200.05 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 2732 0 0 0 19829 176 0 0 25 0 1 0 202660687 12664832 2699 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 3092 2699 205 16 0 2533 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 12368 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26210 /proc/meminfo: memFree=1671768/2055920 swapFree=4182224/4192956 ################ # More data... # ################ /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1590.58 Current children cumulated vsize (Kb) 18424 [startup+1601.07 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665496/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1600.58 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 159028 1030 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1600.58 Current children cumulated vsize (Kb) 18424 [startup+1611.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665496/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1610.59 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 160019 1040 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1610.59 Current children cumulated vsize (Kb) 18424 [startup+1621.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1620.59 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 161012 1047 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520212 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1620.59 Current children cumulated vsize (Kb) 18424 [startup+1631.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1630.59 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 162006 1053 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1630.59 Current children cumulated vsize (Kb) 18424 [startup+1641.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1640.59 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 162999 1060 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1640.59 Current children cumulated vsize (Kb) 18424 [startup+1651.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1650.6 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 163992 1068 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1650.6 Current children cumulated vsize (Kb) 18424 [startup+1661.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1660.6 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 164986 1074 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1660.6 Current children cumulated vsize (Kb) 18424 [startup+1671.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1670.61 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 165982 1079 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1670.61 Current children cumulated vsize (Kb) 18424 [startup+1681.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1680.61 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 166978 1083 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1680.61 Current children cumulated vsize (Kb) 18424 [startup+1691.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1665560/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=18424 CPUtime=1690.61 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5261 0 0 0 167971 1090 0 0 25 0 1 0 202660687 18866176 4228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4606 4228 205 16 0 4047 0 Current children cumulated CPU time (s) 1690.61 Current children cumulated vsize (Kb) 18424 [startup+1701.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664600/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19376 CPUtime=1700.61 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 168966 1095 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4844 4467 205 16 0 4285 0 Current children cumulated CPU time (s) 1700.61 Current children cumulated vsize (Kb) 19376 [startup+1711.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664600/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19376 CPUtime=1710.62 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 169961 1101 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559230 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4844 4467 205 16 0 4285 0 Current children cumulated CPU time (s) 1710.62 Current children cumulated vsize (Kb) 19376 [startup+1721.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664536/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19376 CPUtime=1720.62 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5500 0 0 0 170955 1107 0 0 25 0 1 0 202660687 19841024 4467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4844 4467 205 16 0 4285 0 Current children cumulated CPU time (s) 1720.62 Current children cumulated vsize (Kb) 19376 [startup+1731.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664472/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19496 CPUtime=1730.62 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5527 0 0 0 171953 1109 0 0 25 0 1 0 202660687 19963904 4494 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4874 4494 205 16 0 4315 0 Current children cumulated CPU time (s) 1730.62 Current children cumulated vsize (Kb) 19496 [startup+1741.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1663704/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=20036 CPUtime=1740.62 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 172944 1118 0 0 25 0 1 0 202660687 20516864 4635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 5009 4635 205 16 0 4450 0 Current children cumulated CPU time (s) 1740.62 Current children cumulated vsize (Kb) 20036 [startup+1751.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1663704/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=20036 CPUtime=1750.63 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 173935 1128 0 0 25 0 1 0 202660687 20516864 4635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 5009 4635 205 16 0 4450 0 Current children cumulated CPU time (s) 1750.63 Current children cumulated vsize (Kb) 20036 [startup+1761.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19380 CPUtime=1760.64 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 174925 1139 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4845 4471 205 16 0 4286 0 Current children cumulated CPU time (s) 1760.64 Current children cumulated vsize (Kb) 19380 [startup+1771.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19380 CPUtime=1770.63 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 175917 1146 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4845 4471 205 16 0 4286 0 Current children cumulated CPU time (s) 1770.63 Current children cumulated vsize (Kb) 19380 [startup+1781.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19380 CPUtime=1780.64 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 176907 1157 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4845 4471 205 16 0 4286 0 Current children cumulated CPU time (s) 1780.64 Current children cumulated vsize (Kb) 19380 [startup+1782.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19380 CPUtime=1781.65 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 177006 1159 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4845 4471 205 16 0 4286 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (Kb) 19380 [startup+1783.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26212 /proc/meminfo: memFree=1664344/2055920 swapFree=4182224/4192956 [pid=26210] ppid=26208 vsize=19380 CPUtime=1782.64 /proc/26210/stat : 26210 (Pueblo13) R 26208 26210 26164 0 -1 4194304 5731 0 0 0 177105 1159 0 0 25 0 1 0 202660687 19845120 4471 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/26210/statm: 4845 4471 205 16 0 4286 0 Current children cumulated CPU time (s) 1782.64 Current children cumulated vsize (Kb) 19380 Child status: 10 Real time (s): 1783.27 CPU time (s): 1782.74 CPU user time (s): 1771.13 CPU system time (s): 11.6042 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (Kb): 20036
Begin job on node66 on Sat Jun 3 21:25:26 UTC 2006 FILE ID= 37818-1149369926 PBS_JOBID= 312139 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-37818-1149369926 -o ROOT/results/node66/solver-37818-1149369926 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node66/37818-1149369926/instance-37818-1149369926.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2 RANDOM SEED= 137932611 /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.225 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.225 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: 1681808 kB Buffers: 30944 kB Cached: 273028 kB SwapCached: 2368 kB Active: 56044 kB Inactive: 256584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1681808 kB SwapTotal: 4192956 kB SwapFree: 4182224 kB Dirty: 172 kB Writeback: 0 kB Mapped: 15144 kB Slab: 47484 kB Committed_AS: 331636 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node66 on Sat Jun 3 21:55:09 UTC 2006