Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 98 | 1800.07 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_006_area_delay.opb |
MD5SUM | 7294dff8a2fbe1f0b26c181010dcfed2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 3.2725 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 22 |
Optimality of the best value was proved | YES |
Number of variables | 3041 |
Total number of constraints | 7696 |
Number of constraints which are clauses | 7696 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 1510 |
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 | 1510 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 1510 |
Number of bits of the biggest sum of numbers | 11 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb ...... 0.01/0.09 c done parsing opb. 0.01/0.09 o 231 0.09/0.10 o 230 0.59/0.63 o 229 1.19/1.24 o 228 1.19/1.25 o 227 1.69/1.75 o 226 1.99/2.04 o 225 6.39/6.40 o 224 6.99/7.02 o 223 7.29/7.37 o 133 7.29/7.37 o 114 7.29/7.38 o 110 7.29/7.38 o 100 1742.16/1742.71 o 99 1743.25/1743.80 o 98 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 v -x1 x10 x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 1800.05/1800.61 v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 -x1030 1800.05/1800.61 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.05/1800.61 v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 1800.05/1800.61 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1800.05/1800.61 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x109 -x1090 -x1091 -x1092 -x1093 -x1094 1800.05/1800.61 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 1800.05/1800.61 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.05/1800.61 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 1800.05/1800.61 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.05/1800.61 v -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 -x1172 -x1173 -x1174 1800.05/1800.61 v -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x119 -x1190 1800.05/1800.61 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 1800.05/1800.61 v -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 1800.05/1800.61 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 1800.05/1800.61 v -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 1800.05/1800.61 v -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 1800.05/1800.61 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 1800.05/1800.61 v -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 1800.05/1800.61 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.05/1800.61 v x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 1800.05/1800.61 v -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 1800.05/1800.61 v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.05/1800.61 v -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x138 -x1380 -x1381 -x1382 -x1383 1800.05/1800.61 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.05/1800.61 v -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 1800.05/1800.61 v -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 1800.05/1800.61 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 1800.05/1800.61 v -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 1800.05/1800.61 v -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.05/1800.61 v -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x149 x1490 -x1491 -x1492 -x1493 -x1494 1800.05/1800.61 v -x1495 -x1496 -x1497 -x1498 -x1499 x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 -x1507 -x1508 -x1509 -x151 1800.05/1800.61 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 1800.05/1800.61 v -x1527 -x1528 x1529 -x153 x1530 -x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 x1538 x1539 -x154 -x1540 -x1541 -x1542 1800.05/1800.61 v -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 1800.05/1800.61 v -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.05/1800.61 v -x1576 -x1577 -x1578 x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 -x1590 -x1591 1800.05/1800.61 v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1800.05/1800.61 v -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 x1619 -x162 -x1620 -x1621 -x1622 -x1623 1800.05/1800.61 v -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.05/1800.61 v -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 x1651 x1652 -x1653 -x1654 -x1655 1800.05/1800.61 v -x1656 -x1657 -x1658 -x1659 -x166 x1660 x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 1800.05/1800.61 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.05/1800.61 v -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 x17 -x170 x1700 -x1701 -x1702 1800.05/1800.61 v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.05/1800.61 v -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 1800.05/1800.61 v -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 1800.05/1800.61 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1800.05/1800.61 v -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 1800.05/1800.61 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1800.05/1800.61 v -x1799 x18 -x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 1800.05/1800.61 v -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 1800.05/1800.61 v -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.05/1800.61 v -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 1800.05/1800.61 v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.05/1800.61 v -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 1800.05/1800.61 v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1800.05/1800.61 v -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1800.05/1800.61 v -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 1800.05/1800.61 v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 1800.05/1800.61 v -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 1800.05/1800.61 v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.05/1800.61 v -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 1800.05/1800.61 v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.05/1800.61 v -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 1800.05/1800.61 v x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 1800.05/1800.61 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.05/1800.61 v -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 x2081 x2082 -x2083 1800.05/1800.61 v -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.05/1800.61 v -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 1800.05/1800.61 v -x2115 -x2116 -x2117 -x2118 -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 1800.05/1800.61 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.05/1800.61 v -x2148 -x2149 -x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 1800.05/1800.61 v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x218 1800.05/1800.61 v -x2180 -x2181 -x2182 -x2183 x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.05/1800.61 v -x2197 -x2198 -x2199 -x22 -x220 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x221 -x2210 -x2211 1800.05/1800.61 v -x2212 -x2213 -x2214 -x2215 x2216 x2217 -x2218 -x2219 -x222 x2220 x2221 x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 1800.05/1800.61 v x2229 -x223 -x2230 x2231 x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 1800.05/1800.61 v -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 1800.05/1800.61 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 1800.05/1800.61 v -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 1800.05/1800.61 v -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 1800.05/1800.61 v -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 x2321 x2322 -x2323 -x2324 1800.05/1800.61 v -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 1800.05/1800.61 v -x2341 -x2342 -x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.05/1800.61 v -x2358 -x2359 -x236 -x2360 -x2361 -x2362 x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 1800.05/1800.61 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.05/1800.61 v -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 1800.05/1800.61 v -x2405 -x2406 -x2407 -x2408 -x2409 -x241 x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 1800.05/1800.61 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 x2431 x2432 -x2433 -x2434 x2435 x2436 -x2437 1800.05/1800.61 v -x2438 -x2439 -x244 -x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 x2451 x2452 -x2453 1800.05/1800.61 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 1800.05/1800.61 v x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 x2479 -x248 -x2480 -x2481 -x2482 x2483 x2484 x2485 -x2486 -x2487 1800.05/1800.61 v -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 1800.05/1800.61 v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 x2513 x2514 x2515 -x2516 -x2517 -x2518 -x2519 1800.05/1800.61 v -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x253 -x2530 -x2531 x2532 -x2533 x2534 -x2535 1800.05/1800.61 v -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 1800.05/1800.61 v -x2552 -x2553 x2554 x2555 x2556 x2557 x2558 x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 x2568 x2569 1800.05/1800.61 v -x257 -x2570 -x2571 -x2572 -x2573 x2574 x2575 x2576 x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 1800.05/1800.61 v -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 1800.05/1800.61 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.05/1800.61 v -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 1800.05/1800.61 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 1800.05/1800.61 v -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 1800.05/1800.61 v -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 1800.05/1800.61 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1800.05/1800.61 v -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 x2702 -x2703 x2704 x2705 x2706 x2707 x2708 x2709 x271 -x2710 x2711 -x2712 1800.05/1800.61 v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 1800.05/1800.61 v -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1800.05/1800.61 v -x2746 -x2747 -x2748 -x2749 x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x276 -x2760 -x2761 1800.05/1800.61 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 1800.05/1800.61 v x2778 x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x279 -x2790 -x2791 -x2792 -x2793 1800.05/1800.61 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 x280 x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 1800.05/1800.61 v -x281 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.05/1800.61 v -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 1800.05/1800.61 v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 1800.05/1800.61 v -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x287 -x2870 x2871 -x2872 -x2873 1800.05/1800.61 v -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x288 x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 1800.05/1800.61 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1800.05/1800.61 v -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 1800.05/1800.61 v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.05/1800.61 v -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 1800.05/1800.61 v -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 x2966 -x2967 -x2968 -x2969 -x297 1800.05/1800.61 v -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 1800.05/1800.61 v -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30 -x300 -x3000 -x3001 1800.05/1800.61 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 1800.05/1800.61 v -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x303 -x3030 x3031 -x3032 -x3033 1800.05/1800.61 v -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x304 -x3040 x3041 -x305 -x306 -x307 -x308 -x309 -x31 x310 x311 x312 x313 x314 -x315 1800.05/1800.61 v -x316 -x317 -x318 x319 -x32 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 1800.05/1800.61 v -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 1800.05/1800.61 v -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 1800.05/1800.61 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x39 -x390 -x391 1800.05/1800.61 v -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x4 x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x41 -x410 1800.05/1800.61 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 1800.05/1800.61 v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 1800.05/1800.61 v -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 1800.05/1800.61 v -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 x488 1800.05/1800.61 v -x489 x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.05/1800.61 v -x508 -x509 x51 x510 -x511 -x512 x513 x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1800.05/1800.61 v -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.05/1800.61 v -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 1800.05/1800.61 v -x566 -x567 -x568 -x569 -x57 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 1800.05/1800.61 v -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 -x60 -x600 -x601 -x602 -x603 1800.05/1800.61 v -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 x622 1800.05/1800.61 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 x640 x641 1800.05/1800.61 v -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 1800.05/1800.61 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 1800.05/1800.61 v x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 x694 x695 -x696 -x697 -x698 -x699 -x7 1800.05/1800.61 v x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 x709 x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 1800.05/1800.61 v -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 1800.05/1800.61 v -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1800.05/1800.61 v -x758 -x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.05/1800.61 v -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 x785 x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 1800.05/1800.61 v -x796 -x797 -x798 -x799 -x8 x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 1800.05/1800.61 v -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 -x833 1800.05/1800.61 v -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x85 -x850 -x851 -x852 1800.05/1800.61 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87 -x870 -x871 1800.05/1800.61 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 1800.05/1800.61 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x9 x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 1800.05/1800.61 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1800.05/1800.61 v x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.05/1800.61 v -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.05/1800.61 v -x968 -x969 x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.05/1800.61 v -x987 -x988 -x989 x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 98
/tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-459208-1178651368 -o ROOT/results/node22/solver-459208-1178651368 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 0.98 0.99 3/77 9812 /proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=1752 CPUtime=0 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 313054469 1794048 215 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134804492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 438 215 84 219 0 215 0 [startup+0.016481 s] /proc/loadavg: 0.98 0.98 0.99 3/77 9812 /proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=1752 CPUtime=0.01 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 253 0 0 0 1 0 0 0 18 0 1 0 313054469 1794048 235 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134587081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 438 235 86 219 0 215 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101494 s] /proc/loadavg: 0.98 0.98 0.99 3/77 9812 /proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=2232 CPUtime=0.09 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 313054469 2285568 416 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 558 416 102 219 0 335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2232 [startup+0.301525 s] /proc/loadavg: 0.98 0.98 0.99 3/77 9812 /proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=3136 CPUtime=0.29 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 577 0 0 0 29 0 0 0 19 0 1 0 313054469 3211264 559 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 784 559 102 219 0 561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3136 [startup+0.701585 s] /proc/loadavg: 0.98 0.98 0.99 3/77 9812 /proc/meminfo: memFree=1489904/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=4500 CPUtime=0.69 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 896 0 0 0 68 1 0 0 22 0 1 0 313054469 4608000 829 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545355 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 1125 829 102 219 0 902 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4500 [startup+1.50171 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1486440/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=6828 CPUtime=1.49 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 1386 0 0 0 148 1 0 0 25 0 1 0 313054469 6991872 1319 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 1707 1319 102 219 0 1484 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6828 [startup+3.10195 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1483304/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=11328 CPUtime=3.09 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 2165 0 0 0 306 3 0 0 25 0 1 0 313054469 11599872 2098 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 2832 2098 102 219 0 2609 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11328 [startup+6.30244 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1477992/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=19520 CPUtime=6.29 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 3447 0 0 0 626 3 0 0 25 0 1 0 313054469 19988480 3380 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 4880 3380 102 219 0 4657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19520 [startup+12.7014 s] /proc/loadavg: 0.98 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1472616/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=20592 CPUtime=12.68 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 4450 0 0 0 1263 5 0 0 25 0 1 0 313054469 21086208 4286 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 5148 4286 102 219 0 4925 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20592 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1471976/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=21272 CPUtime=25.48 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 4653 0 0 0 2542 6 0 0 25 0 1 0 313054469 21782528 4489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 5318 4489 102 219 0 5095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21272 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1470888/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=22912 CPUtime=51.07 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 5103 0 0 0 5098 9 0 0 25 0 1 0 313054469 23461888 4746 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 5728 4746 102 219 0 5505 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22912 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1469672/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=23632 CPUtime=102.26 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 5430 0 0 0 10210 16 0 0 25 0 1 0 313054469 24199168 5073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 5908 5073 102 219 0 5685 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23632 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1468392/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=25960 CPUtime=162.24 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6139 0 0 0 16199 25 0 0 25 0 1 0 313054469 26583040 5397 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 6490 5397 102 219 0 6267 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25960 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1466600/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=27296 CPUtime=222.22 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6570 0 0 0 22190 32 0 0 25 0 1 0 313054469 27951104 5828 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544794 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 6824 5828 102 219 0 6601 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 27296 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1465384/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=28124 CPUtime=282.2 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 6863 0 0 0 28182 38 0 0 25 0 1 0 313054469 28798976 6121 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 7031 6121 102 219 0 6808 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 28124 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1463976/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=31936 CPUtime=342.19 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 7930 0 0 0 34174 45 0 0 25 0 1 0 313054469 32702464 6419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 7984 6419 102 219 0 7761 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 31936 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1463016/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=32604 CPUtime=402.17 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8197 0 0 0 40165 52 0 0 25 0 1 0 313054469 33386496 6686 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 8151 6686 102 219 0 7928 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 32604 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1462120/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=33444 CPUtime=462.15 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8467 0 0 0 46157 58 0 0 25 0 1 0 313054469 34246656 6956 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 8361 6956 102 219 0 8138 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 33444 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1461288/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=33824 CPUtime=522.13 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8677 0 0 0 52149 64 0 0 25 0 1 0 313054469 34635776 7166 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 8456 7166 102 219 0 8233 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 33824 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1460456/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=34108 CPUtime=582.11 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 8878 0 0 0 58142 69 0 0 25 0 1 0 313054469 34926592 7367 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 8527 7367 102 219 0 8304 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 34108 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1459560/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=34944 CPUtime=642.09 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 9100 0 0 0 64135 74 0 0 25 0 1 0 313054469 35782656 7589 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 8736 7589 102 219 0 8513 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 34944 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 9813 /proc/meminfo: memFree=1456808/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=42400 CPUtime=822.04 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11241 0 0 0 82114 90 0 0 25 0 1 0 313054469 43417600 8193 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 10600 8193 102 219 0 10377 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 42400 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1456296/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=42804 CPUtime=882.02 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11418 0 0 0 88107 95 0 0 25 0 1 0 313054469 43831296 8370 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 10701 8370 102 219 0 10478 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 42804 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1455592/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=42936 CPUtime=942 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11591 0 0 0 94101 99 0 0 25 0 1 0 313054469 43966464 8543 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 10734 8543 102 219 0 10511 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 42936 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1455080/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=43368 CPUtime=1001.99 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11765 0 0 0 100095 104 0 0 25 0 1 0 313054469 44408832 8717 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 10842 8717 102 219 0 10619 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 43368 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1454440/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=43932 CPUtime=1061.97 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 11939 0 0 0 106088 109 0 0 25 0 1 0 313054469 44986368 8891 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 10983 8891 102 219 0 10760 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 43932 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 9813 /proc/meminfo: memFree=1453672/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=44064 CPUtime=1121.95 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12121 0 0 0 112081 114 0 0 25 0 1 0 313054469 45121536 9073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11016 9073 102 219 0 10793 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 44064 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1453032/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=44660 CPUtime=1181.93 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12287 0 0 0 118074 119 0 0 25 0 1 0 313054469 45731840 9239 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11165 9239 102 219 0 10942 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 44660 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1452264/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=45176 CPUtime=1241.91 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12453 0 0 0 124068 123 0 0 25 0 1 0 313054469 46260224 9405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11294 9405 102 219 0 11071 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 45176 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1451624/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=45288 CPUtime=1301.9 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12604 0 0 0 130063 127 0 0 25 0 1 0 313054469 46374912 9556 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11322 9556 102 219 0 11099 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 45288 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 9813 /proc/meminfo: memFree=1450984/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=45836 CPUtime=1361.87 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12759 0 0 0 136057 130 0 0 25 0 1 0 313054469 46936064 9711 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11459 9711 102 219 0 11236 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 45836 [startup+1422.31 s] /proc/loadavg: 1.04 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1450344/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=45944 CPUtime=1421.86 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 12915 0 0 0 142052 134 0 0 25 0 1 0 313054469 47046656 9867 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11486 9867 102 219 0 11263 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 45944 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1449768/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=46528 CPUtime=1481.83 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13052 0 0 0 148045 138 0 0 25 0 1 0 313054469 47644672 10004 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11632 10004 102 219 0 11409 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 46528 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1449128/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=46528 CPUtime=1541.82 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13213 0 0 0 154038 144 0 0 25 0 1 0 313054469 47644672 10165 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11632 10165 102 219 0 11409 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 46528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1448552/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=47148 CPUtime=1601.8 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13355 0 0 0 160033 147 0 0 25 0 1 0 313054469 48279552 10307 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11787 10307 102 219 0 11564 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 47148 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1447912/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=47256 CPUtime=1661.78 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13503 0 0 0 166028 150 0 0 25 0 1 0 313054469 48390144 10455 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11814 10455 102 219 0 11591 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 47256 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1447336/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=47912 CPUtime=1721.76 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13663 0 0 0 172022 154 0 0 25 0 1 0 313054469 49061888 10615 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 11978 10615 102 219 0 11755 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 47912 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 9813 /proc/meminfo: memFree=1446440/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=48168 CPUtime=1781.75 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13888 0 0 0 178017 158 0 0 25 0 1 0 313054469 49324032 10840 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 12042 10840 102 219 0 11819 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 48168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9813 /proc/meminfo: memFree=1446120/2055920 swapFree=4163680/4192956 [pid=9812] ppid=9810 vsize=48448 CPUtime=1800.05 /proc/9812/stat : 9812 (PBS4_SAT07v2) R 9810 9812 8576 0 -1 4194304 13956 0 0 0 179846 159 0 0 25 0 1 0 313054469 49610752 10908 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9812/statm: 12112 10908 102 219 0 11889 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 48448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1798.47 CPU system time (s): 1.59876 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 48448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.47 system time used= 1.59876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13959 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 3965 runsolver used 1.37279 second user time and 4.01239 second system time The end
Begin job on node22 on Tue May 8 19:09:28 UTC 2007 IDJOB= 459208 IDBENCH= 24979 IDSOLVER= 200 FILE ID= node22/459208-1178651368 PBS_JOBID= 5218358 Free space on /tmp= 66540 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-459208-1178651368 -o ROOT/results/node22/conversion-459208-1178651368 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-459208-1178651368 -o ROOT/results/node22/solver-459208-1178651368 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459208-1178651368/instance-459208-1178651368.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2 RANDOM SEED= 811295179 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 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.265 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: 1490376 kB Buffers: 38648 kB Cached: 405236 kB SwapCached: 7364 kB Active: 208024 kB Inactive: 258876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1490376 kB SwapTotal: 4192956 kB SwapFree: 4163680 kB Dirty: 2500 kB Writeback: 0 kB Mapped: 30176 kB Slab: 84316 kB Committed_AS: 4535800 kB PageTables: 1676 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66540 MiB End job on node22 on Tue May 8 19:39:31 UTC 2007