Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | -24 | 1800.69 | 1801.25 |
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 Running pbsmodels-v1.31 7.64 o -12 7.64 o -14 10.35 o -19 10.37 o -20 90.22 o -21 104.40 o -22 104.78 o -23 315.70 o -24 1801.23 sh: line 1: 751 Done pb2smodels ROOT/tmp/node61/45523-1154038348/instance-45523-1154038348.opb ROOT/tmp/node61/45523-1154038348 1801.23 752 Terminated | smodels-2.31 0 -seed 152054521 1801.23 753 Terminated | pbout.new.pl ROOT/tmp/node61/45523-1154038348/instance-45523-1154038348.opb ROOT/tmp/node61/45523-1154038348 1801.24 s SATISFIABLE 1801.24 v x13 x23 x42 x45 x48 x64 x76 x95 x98 x5 x16 x24 x27 x43 x46 x77 x79 x6 x15 x25 x28 x44 x53 x78 x436 x680 x714 x723 x763 x928 x965 x1075 1801.24 v x1338 x276 x1371 x432 x178 x314 x595 x1122 x1404 x1650 x1617 x1584 x1246 x1209 x1039 x1002 x841 x796 x612 x484 x398 x240 x202 1801.24 v x1831 x1748 x1712 x535 -x1 -x33 -x63 -x94 -x110 -x113 -x117 -x118 -x4 -x7 -x10 -x17 -x20 -x26 -x29 -x35 -x39 -x51 -x54 -x58 -x67 1801.24 v -x70 -x73 -x80 -x83 -x86 -x89 -x102 -x103 -x104 -x105 -x106 -x107 -x2 -x34 -x61 -x92 -x108 -x111 -x114 -x115 -x119 -x8 -x11 1801.24 v -x14 -x18 -x21 -x30 -x36 -x38 -x40 -x49 -x52 -x55 -x57 -x59 -x65 -x68 -x71 -x74 -x81 -x84 -x87 -x90 -x96 -x99 -x101 -x3 -x32 -x62 1801.24 v -x93 -x109 -x112 -x116 -x120 -x9 -x12 -x19 -x22 -x31 -x37 -x41 -x47 -x50 -x56 -x60 -x66 -x69 -x72 -x75 -x82 -x85 -x88 -x91 -x97 1801.24 v -x100 -x148 -x146 -x144 -x142 -x140 -x139 -x136 -x133 -x130 -x128 -x125 -x123 -x155 -x154 -x152 -x143 -x121 -x218 -x216 -x214 1801.24 v -x212 -x210 -x209 -x206 -x203 -x200 -x198 -x195 -x193 -x225 -x224 -x222 -x213 -x191 -x463 -x461 -x459 -x457 -x455 -x454 -x451 1801.24 v -x448 -x445 -x443 -x440 -x438 -x470 -x469 -x467 -x458 -x498 -x496 -x494 -x492 -x490 -x489 -x486 -x483 -x480 -x478 -x475 -x473 1801.24 v -x505 -x504 -x502 -x493 -x471 -x568 -x566 -x564 -x562 -x560 -x559 -x556 -x553 -x550 -x548 -x545 -x543 -x575 -x574 -x572 -x563 1801.24 v -x541 -x638 -x636 -x634 -x632 -x630 -x629 -x626 -x623 -x620 -x618 -x615 -x613 -x645 -x644 -x642 -x633 -x611 -x673 -x671 -x669 1801.24 v -x667 -x665 -x664 -x661 -x658 -x655 -x653 -x650 -x648 -x679 -x677 -x668 -x646 -x708 -x706 -x704 -x702 -x700 -x699 -x696 -x693 1801.24 v -x690 -x688 -x685 -x683 -x715 -x712 -x703 -x681 -x743 -x741 -x739 -x737 -x735 -x734 -x731 -x728 -x725 -x720 -x718 -x750 -x749 1801.24 v -x747 -x738 -x716 -x778 -x776 -x774 -x772 -x770 -x769 -x766 -x760 -x758 -x755 -x753 -x785 -x784 -x782 -x773 -x751 -x813 -x811 1801.24 v -x809 -x807 -x805 -x804 -x801 -x798 -x795 -x793 -x790 -x788 -x820 -x819 -x817 -x808 -x786 -x883 -x881 -x879 -x877 -x875 -x874 1801.24 v -x871 -x868 -x865 -x863 -x860 -x858 -x890 -x889 -x887 -x878 -x856 -x253 -x251 -x249 -x247 -x245 -x244 -x241 -x238 -x235 -x233 1801.24 v -x230 -x228 -x260 -x259 -x257 -x248 -x226 -x953 -x951 -x949 -x947 -x945 -x944 -x941 -x938 -x935 -x933 -x930 -x960 -x959 -x957 1801.24 v -x948 -x926 -x988 -x986 -x984 -x982 -x980 -x979 -x976 -x973 -x970 -x968 -x963 -x995 -x994 -x992 -x983 -x961 -x1023 -x1021 1801.24 v -x1019 -x1017 -x1015 -x1014 -x1011 -x1008 -x1005 -x1003 -x1000 -x998 -x1030 -x1029 -x1027 -x1018 -x996 -x1058 -x1056 -x1054 1801.24 v -x1052 -x1050 -x1049 -x1046 -x1043 -x1040 -x1038 -x1035 -x1033 -x1065 -x1064 -x1062 -x1053 -x1031 -x1093 -x1091 -x1089 1801.24 v -x1087 -x1085 -x1084 -x1081 -x1078 -x1073 -x1070 -x1068 -x1100 -x1099 -x1097 -x1088 -x1066 -x1163 -x1161 -x1159 -x1157 1801.24 v -x1155 -x1154 -x1151 -x1148 -x1145 -x1143 -x1140 -x1138 -x1170 -x1169 -x1167 -x1158 -x1136 -x1198 -x1196 -x1194 -x1192 1801.24 v -x1190 -x1189 -x1186 -x1183 -x1180 -x1178 -x1175 -x1173 -x1205 -x1204 -x1202 -x1193 -x1171 -x1233 -x1231 -x1229 -x1227 1801.24 v -x1225 -x1224 -x1221 -x1218 -x1215 -x1213 -x1210 -x1208 -x1240 -x1239 -x1237 -x1228 -x1206 -x1268 -x1266 -x1264 -x1262 1801.24 v -x1260 -x1259 -x1256 -x1253 -x1250 -x1248 -x1245 -x1243 -x1275 -x1274 -x1272 -x1263 -x1241 -x1336 -x1334 -x1332 -x1330 1801.24 v -x1329 -x1326 -x1323 -x1320 -x1318 -x1315 -x1313 -x1345 -x1344 -x1342 -x1333 -x1311 -x288 -x286 -x284 -x282 -x280 -x279 1801.24 v -x273 -x270 -x268 -x265 -x263 -x295 -x294 -x292 -x283 -x261 -x1373 -x1369 -x1367 -x1365 -x1364 -x1361 -x1358 -x1355 -x1353 1801.24 v -x1350 -x1348 -x1380 -x1379 -x1377 -x1368 -x1346 -x358 -x356 -x354 -x352 -x350 -x349 -x346 -x343 -x340 -x338 -x335 -x333 1801.24 v -x365 -x364 -x362 -x353 -x331 -x393 -x391 -x389 -x387 -x385 -x384 -x381 -x378 -x375 -x373 -x370 -x368 -x400 -x399 -x397 -x388 1801.24 v -x366 -x428 -x426 -x424 -x422 -x420 -x419 -x416 -x413 -x410 -x408 -x405 -x403 -x435 -x434 -x423 -x401 -x533 -x531 -x529 -x527 1801.24 v -x525 -x524 -x521 -x518 -x515 -x513 -x510 -x508 -x540 -x539 -x537 -x528 -x506 -x918 -x916 -x914 -x912 -x910 -x909 -x906 -x903 1801.24 v -x900 -x898 -x895 -x893 -x925 -x924 -x922 -x913 -x891 -x1443 -x1441 -x1439 -x1437 -x1435 -x1434 -x1431 -x1428 -x1425 -x1423 1801.24 v -x1420 -x1418 -x1450 -x1449 -x1447 -x1438 -x1416 -x1478 -x1476 -x1474 -x1472 -x1470 -x1469 -x1466 -x1463 -x1460 -x1458 1801.24 v -x1455 -x1453 -x1485 -x1484 -x1482 -x1473 -x1451 -x1513 -x1511 -x1509 -x1507 -x1505 -x1504 -x1501 -x1498 -x1495 -x1493 1801.24 v -x1490 -x1488 -x1520 -x1519 -x1517 -x1508 -x1486 -x1303 -x1301 -x1299 -x1297 -x1295 -x1294 -x1291 -x1288 -x1285 -x1283 1801.24 v -x1280 -x1278 -x1310 -x1309 -x1307 -x1298 -x1276 -x1548 -x1546 -x1544 -x1542 -x1540 -x1539 -x1536 -x1533 -x1530 -x1528 1801.24 v -x1525 -x1523 -x1555 -x1554 -x1552 -x1543 -x1521 -x1583 -x1581 -x1579 -x1577 -x1575 -x1574 -x1571 -x1568 -x1565 -x1563 1801.24 v -x1560 -x1558 -x1590 -x1589 -x1587 -x1578 -x1556 -x1618 -x1616 -x1614 -x1612 -x1610 -x1609 -x1606 -x1603 -x1600 -x1598 1801.24 v -x1595 -x1593 -x1625 -x1624 -x1622 -x1613 -x1591 -x1688 -x1686 -x1684 -x1682 -x1680 -x1679 -x1676 -x1673 -x1670 -x1668 1801.24 v -x1665 -x1663 -x1695 -x1694 -x1692 -x1683 -x1661 -x1723 -x1721 -x1719 -x1717 -x1715 -x1714 -x1711 -x1708 -x1705 -x1703 1801.24 v -x1700 -x1698 -x1730 -x1729 -x1727 -x1718 -x1696 -x1758 -x1756 -x1754 -x1752 -x1750 -x1749 -x1746 -x1743 -x1740 -x1738 1801.24 v -x1735 -x1733 -x1765 -x1764 -x1762 -x1753 -x1731 -x1793 -x1791 -x1789 -x1787 -x1785 -x1784 -x1781 -x1778 -x1775 -x1773 1801.24 v -x1770 -x1768 -x1800 -x1799 -x1797 -x1788 -x1766 -x1828 -x1826 -x1824 -x1822 -x1820 -x1819 -x1816 -x1813 -x1810 -x1808 1801.24 v -x1805 -x1803 -x1835 -x1834 -x1832 -x1823 -x1801 -x183 -x181 -x179 -x177 -x175 -x174 -x171 -x168 -x165 -x163 -x160 -x158 1801.24 v -x190 -x189 -x187 -x156 -x323 -x321 -x319 -x317 -x315 -x311 -x308 -x305 -x303 -x300 -x298 -x330 -x329 -x327 -x318 -x296 -x603 1801.24 v -x601 -x599 -x597 -x594 -x591 -x588 -x585 -x583 -x580 -x578 -x610 -x609 -x607 -x598 -x576 -x848 -x846 -x844 -x842 -x840 -x839 1801.24 v -x836 -x833 -x830 -x828 -x825 -x823 -x855 -x854 -x852 -x843 -x821 -x1128 -x1126 -x1124 -x1120 -x1119 -x1116 -x1113 -x1110 1801.24 v -x1108 -x1105 -x1103 -x1135 -x1134 -x1132 -x1123 -x1101 -x1408 -x1406 -x1402 -x1400 -x1399 -x1396 -x1393 -x1390 -x1388 1801.24 v -x1385 -x1383 -x1415 -x1414 -x1412 -x1403 -x1381 -x1653 -x1651 -x1649 -x1647 -x1645 -x1644 -x1641 -x1638 -x1635 -x1633 1801.24 v -x1630 -x1628 -x1660 -x1659 -x1657 -x1648 -x1626 -x1654 -x1652 -x1646 -x1643 -x1642 -x1640 -x1639 -x1636 -x1634 -x1632 1801.24 v -x1631 -x1629 -x1627 -x1658 -x1656 -x1655 -x1637 -x1619 -x1615 -x1611 -x1608 -x1607 -x1605 -x1604 -x1601 -x1599 -x1597 1801.24 v -x1596 -x1594 -x1592 -x1623 -x1621 -x1620 -x1602 -x1582 -x1580 -x1576 -x1573 -x1572 -x1570 -x1569 -x1566 -x1564 -x1562 1801.24 v -x1561 -x1559 -x1557 -x1588 -x1586 -x1585 -x1567 -x1549 -x1547 -x1545 -x1541 -x1538 -x1537 -x1535 -x1534 -x1531 -x1529 1801.24 v -x1527 -x1526 -x1524 -x1522 -x1553 -x1551 -x1550 -x1532 -x1514 -x1512 -x1510 -x1506 -x1503 -x1502 -x1500 -x1499 -x1496 1801.24 v -x1494 -x1492 -x1491 -x1489 -x1487 -x1518 -x1516 -x1515 -x1497 -x1479 -x1477 -x1475 -x1471 -x1468 -x1467 -x1465 -x1464 1801.24 v -x1461 -x1459 -x1457 -x1456 -x1454 -x1452 -x1483 -x1481 -x1480 -x1462 -x1444 -x1442 -x1440 -x1436 -x1433 -x1432 -x1430 1801.24 v -x1429 -x1426 -x1424 -x1422 -x1421 -x1419 -x1417 -x1448 -x1446 -x1445 -x1427 -x1409 -x1407 -x1405 -x1401 -x1398 -x1397 1801.24 v -x1395 -x1394 -x1391 -x1389 -x1387 -x1386 -x1384 -x1382 -x1413 -x1411 -x1410 -x1392 -x1374 -x1372 -x1370 -x1366 -x1363 1801.24 v -x1362 -x1360 -x1359 -x1356 -x1354 -x1352 -x1351 -x1349 -x1347 -x1378 -x1376 -x1375 -x1357 -x1339 -x1337 -x1335 -x1331 1801.24 v -x1328 -x1327 -x1325 -x1324 -x1321 -x1319 -x1317 -x1316 -x1314 -x1312 -x1343 -x1341 -x1340 -x1322 -x1269 -x1267 -x1265 1801.24 v -x1261 -x1258 -x1257 -x1255 -x1254 -x1251 -x1249 -x1247 -x1244 -x1242 -x1273 -x1271 -x1270 -x1252 -x1234 -x1232 -x1230 1801.24 v -x1226 -x1223 -x1222 -x1220 -x1219 -x1216 -x1214 -x1212 -x1211 -x1207 -x1238 -x1236 -x1235 -x1217 -x1199 -x1197 -x1195 1801.24 v -x1191 -x1188 -x1187 -x1185 -x1184 -x1181 -x1179 -x1177 -x1176 -x1174 -x1172 -x1203 -x1201 -x1200 -x1182 -x1164 -x1162 1801.24 v -x1160 -x1156 -x1153 -x1152 -x1150 -x1149 -x1146 -x1144 -x1142 -x1141 -x1139 -x1137 -x1168 -x1166 -x1165 -x1147 -x1129 1801.24 v -x1127 -x1125 -x1121 -x1118 -x1117 -x1115 -x1114 -x1111 -x1109 -x1107 -x1106 -x1104 -x1102 -x1133 -x1131 -x1130 -x1112 1801.24 v -x1094 -x1092 -x1090 -x1086 -x1083 -x1082 -x1080 -x1079 -x1076 -x1074 -x1072 -x1071 -x1069 -x1067 -x1098 -x1096 -x1095 1801.24 v -x1077 -x1059 -x1057 -x1055 -x1051 -x1048 -x1047 -x1045 -x1044 -x1041 -x1037 -x1036 -x1034 -x1032 -x1063 -x1061 -x1060 1801.24 v -x1042 -x1024 -x1022 -x1020 -x1016 -x1013 -x1012 -x1010 -x1009 -x1006 -x1004 -x1001 -x999 -x997 -x1028 -x1026 -x1025 -x1007 1801.24 v -x989 -x987 -x985 -x981 -x978 -x977 -x975 -x974 -x971 -x969 -x967 -x966 -x964 -x962 -x993 -x991 -x990 -x972 -x954 -x952 -x950 1801.24 v -x946 -x943 -x942 -x940 -x939 -x936 -x934 -x932 -x931 -x929 -x927 -x958 -x956 -x955 -x937 -x884 -x882 -x880 -x876 -x873 -x872 1801.24 v -x870 -x869 -x866 -x864 -x862 -x861 -x859 -x857 -x888 -x886 -x885 -x867 -x849 -x847 -x845 -x838 -x837 -x835 -x834 -x831 -x829 1801.24 v -x827 -x826 -x824 -x822 -x853 -x851 -x850 -x832 -x814 -x812 -x810 -x806 -x803 -x802 -x800 -x799 -x794 -x792 -x791 -x789 -x787 1801.24 v -x818 -x816 -x815 -x797 -x779 -x777 -x775 -x771 -x768 -x767 -x765 -x764 -x761 -x759 -x757 -x756 -x754 -x752 -x783 -x781 -x780 1801.24 v -x762 -x744 -x742 -x740 -x736 -x733 -x732 -x730 -x729 -x726 -x724 -x722 -x721 -x719 -x717 -x748 -x746 -x745 -x727 -x709 -x707 1801.24 v -x705 -x701 -x698 -x697 -x695 -x694 -x691 -x689 -x687 -x686 -x684 -x682 -x713 -x711 -x710 -x692 -x674 -x672 -x670 -x666 -x663 1801.24 v -x662 -x660 -x659 -x656 -x654 -x652 -x651 -x649 -x647 -x678 -x676 -x675 -x657 -x639 -x637 -x635 -x631 -x628 -x627 -x625 -x624 1801.24 v -x621 -x619 -x617 -x616 -x614 -x643 -x641 -x640 -x622 -x604 -x602 -x600 -x596 -x593 -x592 -x590 -x589 -x586 -x584 -x582 -x581 1801.24 v -x579 -x577 -x608 -x606 -x605 -x587 -x569 -x567 -x565 -x561 -x558 -x557 -x555 -x554 -x551 -x549 -x547 -x546 -x544 -x542 -x573 1801.24 v -x571 -x570 -x552 -x499 -x497 -x495 -x491 -x488 -x487 -x485 -x481 -x479 -x477 -x476 -x474 -x472 -x503 -x501 -x500 -x482 -x464 1801.24 v -x462 -x460 -x456 -x453 -x452 -x450 -x449 -x446 -x444 -x442 -x441 -x439 -x437 -x468 -x466 -x465 -x447 -x429 -x427 -x425 -x421 1801.24 v -x418 -x417 -x415 -x414 -x411 -x409 -x407 -x406 -x404 -x402 -x433 -x431 -x430 -x412 -x394 -x392 -x390 -x386 -x383 -x382 -x380 1801.24 v -x379 -x376 -x374 -x372 -x371 -x369 -x367 -x396 -x395 -x377 -x359 -x357 -x355 -x351 -x348 -x347 -x345 -x344 -x341 -x339 -x337 1801.24 v -x336 -x334 -x332 -x363 -x361 -x360 -x342 -x324 -x322 -x320 -x316 -x313 -x312 -x310 -x309 -x306 -x304 -x302 -x301 -x299 -x297 1801.24 v -x328 -x326 -x325 -x307 -x289 -x287 -x285 -x281 -x278 -x277 -x275 -x274 -x271 -x269 -x267 -x266 -x264 -x262 -x293 -x291 -x290 1801.24 v -x272 -x254 -x252 -x250 -x246 -x243 -x242 -x239 -x236 -x234 -x232 -x231 -x229 -x227 -x258 -x256 -x255 -x237 -x219 -x217 -x215 1801.24 v -x211 -x208 -x207 -x205 -x204 -x201 -x199 -x197 -x196 -x194 -x192 -x223 -x221 -x220 -x184 -x182 -x180 -x176 -x173 -x172 -x170 1801.24 v -x169 -x166 -x164 -x162 -x161 -x159 -x157 -x188 -x186 -x185 -x167 -x1829 -x1827 -x1825 -x1821 -x1818 -x1817 -x1815 -x1814 1801.24 v -x1811 -x1809 -x1807 -x1806 -x1804 -x1802 -x1833 -x1830 -x1812 -x1794 -x1792 -x1790 -x1786 -x1783 -x1782 -x1780 -x1779 1801.24 v -x1776 -x1774 -x1772 -x1771 -x1769 -x1767 -x1798 -x1796 -x1795 -x1777 -x1759 -x1757 -x1755 -x1751 -x1747 -x1745 -x1744 1801.24 v -x1741 -x1739 -x1737 -x1736 -x1734 -x1732 -x1763 -x1761 -x1760 -x1742 -x1724 -x1722 -x1720 -x1716 -x1713 -x1710 -x1709 1801.24 v -x1706 -x1704 -x1702 -x1701 -x1699 -x1697 -x1728 -x1726 -x1725 -x1707 -x1689 -x1687 -x1685 -x1681 -x1678 -x1677 -x1675 1801.24 v -x1674 -x1671 -x1669 -x1667 -x1666 -x1664 -x1662 -x1693 -x1691 -x1690 -x1672 -x1304 -x1302 -x1300 -x1296 -x1293 -x1292 1801.24 v -x1290 -x1289 -x1286 -x1284 -x1282 -x1281 -x1279 -x1277 -x1308 -x1306 -x1305 -x1287 -x919 -x917 -x915 -x911 -x908 -x907 1801.24 v -x905 -x904 -x901 -x899 -x897 -x896 -x894 -x892 -x923 -x921 -x920 -x902 -x534 -x532 -x530 -x526 -x523 -x522 -x520 -x519 -x516 1801.24 v -x514 -x512 -x511 -x509 -x507 -x538 -x536 -x517 -x149 -x147 -x145 -x141 -x138 -x137 -x135 -x134 -x131 -x129 -x127 -x126 -x124 1801.24 v -x122 -x153 -x151 -x150 -x132
OK -24
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/node61/watcher-45523-1154038348 -o ROOT/results/node61/solver-45523-1154038348 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45523-1154038348/instance-45523-1154038348.opb 152054521 ROOT/tmp/node61/45523-1154038348 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.98 3/64 748 /proc/meminfo: memFree=1282064/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5356 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) R 746 748 699 0 -1 4194304 191 0 0 0 0 0 0 0 19 0 1 0 150704976 5484544 157 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 4542874 0 0 4096 0 0 0 0 17 1 0 0 /proc/748/statm: 1339 161 132 169 0 50 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279552/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=9.75 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 511 0 0 0 975 0 0 0 25 0 1 0 150704985 3452928 475 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518687 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 475 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 10.05 Current children cumulated vsize (Kb) 38624 [startup+20.0092 s] /proc/loadavg: 0.94 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=19.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 516 0 0 0 1976 0 0 0 25 0 1 0 150704985 3452928 480 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 480 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 20.06 Current children cumulated vsize (Kb) 38624 [startup+30.016 s] /proc/loadavg: 0.95 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279752/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=29.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 520 0 0 0 2976 0 0 0 25 0 1 0 150704985 3452928 484 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539712 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 484 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 30.06 Current children cumulated vsize (Kb) 38624 [startup+40.0218 s] /proc/loadavg: 0.96 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=39.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 524 0 0 0 3976 0 0 0 25 0 1 0 150704985 3452928 488 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 488 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 40.06 Current children cumulated vsize (Kb) 38624 [startup+50.0275 s] /proc/loadavg: 0.96 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=49.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 528 0 0 0 4976 0 0 0 25 0 1 0 150704985 3452928 492 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539281 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 492 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 50.06 Current children cumulated vsize (Kb) 38624 [startup+60.0333 s] /proc/loadavg: 0.97 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279752/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=59.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 532 0 0 0 5976 0 0 0 25 0 1 0 150704985 3452928 496 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533223 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 496 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 60.06 Current children cumulated vsize (Kb) 38624 [startup+70.0391 s] /proc/loadavg: 0.97 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=69.76 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 535 0 0 0 6976 0 0 0 25 0 1 0 150704985 3452928 499 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 499 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 70.06 Current children cumulated vsize (Kb) 38624 [startup+80.0448 s] /proc/loadavg: 0.98 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3372 CPUtime=79.77 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 538 0 0 0 7977 0 0 0 25 0 1 0 150704985 3452928 502 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538398 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 843 502 213 21 0 279 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 80.07 Current children cumulated vsize (Kb) 38624 [startup+90.0506 s] /proc/loadavg: 0.98 0.98 0.98 2/68 753 /proc/meminfo: memFree=1279688/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3504 CPUtime=89.77 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 541 0 0 0 8977 0 0 0 25 0 1 0 150704985 3588096 505 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538425 0 0 4096 0 0 0 0 17 1 0 0 ################ # More data... # ################ [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1793.3 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179329 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 39020 [startup+1795.19 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1794.31 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179430 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 39020 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1795.31 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179530 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532331 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 39020 [startup+1797.21 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1796.32 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179631 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 39020 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1797.32 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179731 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 39020 [startup+1799.22 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1798.33 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179832 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539299 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 39020 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1799.33 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 179932 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539299 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 39020 [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1800.34 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 180033 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533239 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 39020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.98 2/68 755 /proc/meminfo: memFree=1278984/2055920 swapFree=4183000/4192956 [pid=748] ppid=746 vsize=5360 CPUtime=0 /proc/748/stat : 748 (runpbsmodels) S 746 748 699 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150704976 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/748/statm: 1340 234 195 169 0 51 0 [pid=749] ppid=748 vsize=12268 CPUtime=0 /proc/749/stat : 749 (pbsmodels-v1.31) S 748 748 699 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150704977 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 246415409044 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/749/statm: 3067 383 293 3 0 167 0 [pid=750] ppid=749 vsize=5356 CPUtime=0.3 /proc/750/stat : 750 (sh) S 749 748 699 0 -1 4194304 309 580 0 0 0 0 30 0 16 0 1 0 150704985 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/750/statm: 1339 227 188 169 0 50 0 [pid=752] ppid=750 vsize=3768 CPUtime=1800.34 /proc/752/stat : 752 (smodels-2.31) R 750 748 699 0 -1 4194304 614 0 0 0 180033 1 0 0 25 0 1 0 150704985 3858432 578 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539721 0 0 4096 0 0 0 0 17 1 0 0 /proc/752/statm: 942 578 213 21 0 378 0 [pid=753] ppid=750 vsize=12268 CPUtime=0 /proc/753/stat : 753 (pbout.new.pl) S 750 748 699 0 -1 4194304 472 0 0 0 0 0 0 0 17 0 1 0 150704985 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 246415405154 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/753/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 39020 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.69 CPU user time (s): 1800.65 CPU system time (s): 0.035994 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 39020 The end
Begin job on node61 on Thu Jul 27 22:12:28 UTC 2006 FILE ID= 45523-1154038348 PBS_JOBID= 881247 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/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45523-1154038348/instance-45523-1154038348.opb 152054521 ROOT/tmp/node61/45523-1154038348 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-45523-1154038348 -o ROOT/results/node61/solver-45523-1154038348 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node61/45523-1154038348/instance-45523-1154038348.opb 152054521 ROOT/tmp/node61/45523-1154038348 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2 RANDOM SEED= 152054521 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.267 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.267 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: 1282272 kB Buffers: 39752 kB Cached: 645516 kB SwapCached: 4048 kB Active: 136828 kB Inactive: 557348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1282272 kB SwapTotal: 4192956 kB SwapFree: 4183000 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14764 kB Slab: 65556 kB Committed_AS: 1050252 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264884 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Thu Jul 27 22:42:29 UTC 2006