Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS4 2007-03-23 | SAT | 11.0943 | 11.0981 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/ dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb |
MD5SUM | 051b48fdf5558d73afe4ee3d3cae609a |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 5.77412 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2800 |
Total number of constraints | 990001 |
Number of constraints which are clauses | 986760 |
Number of constraints which are cardinality constraints (but not clauses) | 81 |
Number of constraints which are nor clauses,nor cardinality constraints | 3160 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 336 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1239 |
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/360603-1176971258/instance-360603-1176971258.opb ...... 10.99/11.08 c done parsing opb. 10.99/11.08 s SATISFIABLE 10.99/11.08 c Total Run Time 0.166975 10.99/11.08 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 x101 -x1010 -x1011 -x1012 -x1013 -x1014 10.99/11.08 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 10.99/11.08 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 10.99/11.08 v -x1047 -x1048 -x1049 -x105 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 10.99/11.08 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 10.99/11.08 v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 10.99/11.08 v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 10.99/11.08 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 10.99/11.08 v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 10.99/11.08 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 10.99/11.08 v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 x1171 -x1172 -x1173 10.99/11.08 v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 10.99/11.08 v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 10.99/11.08 v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 10.99/11.08 v -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 10.99/11.08 v -x1238 -x1239 -x124 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 10.99/11.08 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 10.99/11.08 v -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 10.99/11.08 v -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 10.99/11.08 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 10.99/11.08 v -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x133 -x1330 -x1331 -x1332 10.99/11.08 v -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 10.99/11.08 v -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 10.99/11.08 v -x1366 -x1367 -x1368 x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 10.99/11.08 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 10.99/11.08 v -x1398 -x1399 -x14 -x140 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 10.99/11.08 v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 10.99/11.08 v -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 10.99/11.08 v -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 10.99/11.08 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x147 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 10.99/11.08 v -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 10.99/11.08 v -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 10.99/11.08 v -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 10.99/11.08 v -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 10.99/11.08 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 10.99/11.08 v -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 10.99/11.08 v -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 10.99/11.08 v -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 10.99/11.08 v -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 x1620 -x1621 x1622 10.99/11.08 v -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 10.99/11.08 v -x164 x1640 -x1641 -x1642 x1643 x1644 -x1645 -x1646 x1647 -x1648 x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 10.99/11.08 v -x1656 x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x167 -x1670 -x1671 10.99/11.08 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 10.99/11.08 v -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 10.99/11.08 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 x1718 -x1719 -x172 10.99/11.08 v -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 10.99/11.08 v -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 x1743 -x1744 x1745 x1746 -x1747 -x1748 x1749 -x175 -x1750 -x1751 -x1752 10.99/11.08 v -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 10.99/11.08 v -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 10.99/11.08 v -x1786 x1787 -x1788 -x1789 -x179 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 10.99/11.08 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 10.99/11.08 v -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 10.99/11.08 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 10.99/11.08 v -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 10.99/11.08 v -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 10.99/11.08 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 10.99/11.08 v -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 10.99/11.08 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 10.99/11.08 v -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 10.99/11.08 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 10.99/11.08 v -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 10.99/11.08 v x1976 x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 10.99/11.08 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 10.99/11.08 v -x2007 -x2008 -x2009 -x201 -x2010 x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x202 -x2020 -x2021 -x2022 10.99/11.08 v x2023 x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x203 -x2030 x2031 -x2032 x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 10.99/11.08 v -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 10.99/11.08 v -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 10.99/11.08 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 10.99/11.08 v -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 10.99/11.08 v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 10.99/11.08 v -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 10.99/11.08 v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 -x2150 10.99/11.08 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 10.99/11.08 v -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 10.99/11.08 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 10.99/11.08 v -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 10.99/11.08 v -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 10.99/11.08 v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 10.99/11.08 v -x2246 -x2247 -x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 10.99/11.08 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 10.99/11.08 v -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 10.99/11.08 v -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 10.99/11.08 v -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 10.99/11.08 v -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 10.99/11.08 v -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 10.99/11.08 v -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 -x2371 -x2372 -x2373 10.99/11.08 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 10.99/11.08 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 10.99/11.08 v -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 10.99/11.08 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 10.99/11.08 v -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 10.99/11.08 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 10.99/11.08 v -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 10.99/11.08 v -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x25 -x250 -x2500 10.99/11.08 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 10.99/11.08 v -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x253 -x2530 -x2531 -x2532 10.99/11.08 v -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 10.99/11.08 v -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 10.99/11.08 v -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x258 -x2580 10.99/11.08 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 10.99/11.08 v -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 10.99/11.08 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 10.99/11.08 v -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 10.99/11.08 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 10.99/11.08 v -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 10.99/11.08 v -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690 -x2691 10.99/11.08 v -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 10.99/11.08 v -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722 -x2723 10.99/11.08 v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 10.99/11.08 v -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 10.99/11.08 v -x2756 -x2757 -x2758 -x2759 x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 10.99/11.08 v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 10.99/11.08 v -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x281 -x282 10.99/11.08 v -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 10.99/11.08 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x32 10.99/11.08 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 10.99/11.08 v -x34 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 10.99/11.08 v -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 10.99/11.08 v -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 10.99/11.08 v -x397 -x398 x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 10.99/11.08 v -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 10.99/11.08 v -x435 -x436 -x437 x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 10.99/11.08 v -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 10.99/11.08 v x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 10.99/11.08 v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 10.99/11.08 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x53 10.99/11.08 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 10.99/11.08 v x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 10.99/11.08 v -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 10.99/11.08 v -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 10.99/11.08 v -x607 x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 10.99/11.08 v -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 x642 -x643 -x644 10.99/11.08 v -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 10.99/11.08 v -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 10.99/11.08 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x7 -x70 -x700 -x701 10.99/11.08 v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 10.99/11.08 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 10.99/11.08 v -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 10.99/11.08 v -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 10.99/11.08 v -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 10.99/11.08 v -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 10.99/11.08 v -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x83 -x830 -x831 -x832 -x833 -x834 10.99/11.08 v -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 10.99/11.08 v -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 10.99/11.08 v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 10.99/11.08 v -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 10.99/11.08 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 10.99/11.08 v -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 10.99/11.08 v -x949 -x95 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 10.99/11.08 v -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 10.99/11.08 v -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 0
/tmp/evaluation/360603-1176971258/instance-360603-1176971258.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-360603-1176971258 -o ROOT/results/node62/solver-360603-1176971258 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360603-1176971258/PBS4 /tmp/evaluation/360603-1176971258/instance-360603-1176971258.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.97 0.97 0.99 3/64 18280 /proc/meminfo: memFree=1572352/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=1720 CPUtime=0 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 15701863 1761280 209 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590705 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 430 209 87 219 0 207 0 [startup+0.0158861 s] /proc/loadavg: 0.97 0.97 0.99 3/64 18280 /proc/meminfo: memFree=1572352/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=1864 CPUtime=0.01 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 261 0 0 0 1 0 0 0 18 0 1 0 15701863 1908736 243 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 466 243 87 219 0 243 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1864 [startup+0.101895 s] /proc/loadavg: 0.97 0.97 0.99 3/64 18280 /proc/meminfo: memFree=1572352/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=2616 CPUtime=0.09 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 15701863 2678784 402 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 654 402 89 219 0 431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2616 [startup+0.301918 s] /proc/loadavg: 0.97 0.97 0.99 3/64 18280 /proc/meminfo: memFree=1572352/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=3788 CPUtime=0.29 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 922 0 0 0 29 0 0 0 19 0 1 0 15701863 3878912 758 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134530219 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 947 758 89 219 0 724 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3788 [startup+0.701965 s] /proc/loadavg: 0.97 0.97 0.99 3/64 18280 /proc/meminfo: memFree=1572352/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=9692 CPUtime=0.69 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 2177 0 0 0 68 1 0 0 23 0 1 0 15701863 9924608 1435 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134531174 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 2423 1435 89 219 0 2200 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9692 [startup+1.50106 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1564856/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=17520 CPUtime=1.49 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 4194 0 0 0 147 2 0 0 25 0 1 0 15701863 17940480 2683 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134530221 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 4380 2683 89 219 0 4157 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17520 [startup+3.10125 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1557560/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=33440 CPUtime=3.09 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 8240 0 0 0 305 4 0 0 25 0 1 0 15701863 34242560 5192 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 8360 5192 89 219 0 8137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33440 [startup+6.30162 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1537400/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=64908 CPUtime=6.29 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 16185 0 0 0 621 8 0 0 25 0 1 0 15701863 66465792 10064 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 16227 10064 89 219 0 16004 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64908 Solver just ended. Dumping a history of the last processes samples [startup+9.502 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1516344/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=69148 CPUtime=9.48 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 21439 0 0 0 938 10 0 0 25 0 1 0 15701863 70807552 15318 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 17287 15318 89 219 0 17064 0 Current children cumulated CPU time (s) 9.48 Current children cumulated vsize (KiB) 69148 [startup+10.3011 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1509816/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=69940 CPUtime=10.28 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 22608 0 0 0 1017 11 0 0 25 0 1 0 15701863 71618560 16487 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134805365 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 17485 16487 89 219 0 17262 0 Current children cumulated CPU time (s) 10.28 Current children cumulated vsize (KiB) 69940 [startup+10.7011 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1509816/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=72976 CPUtime=10.69 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 23420 0 0 0 1057 12 0 0 25 0 1 0 15701863 74727424 17299 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134518594 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 18244 17299 89 219 0 18021 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (KiB) 72976 [startup+10.9012 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1503544/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=72976 CPUtime=10.9 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 23446 0 0 0 1078 12 0 0 25 0 1 0 15701863 74727424 17325 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134518332 0 0 4096 0 0 0 0 17 1 0 0 /proc/18280/statm: 18244 17325 89 219 0 18021 0 Current children cumulated CPU time (s) 10.9 Current children cumulated vsize (KiB) 72976 [startup+11.0052 s] /proc/loadavg: 0.97 0.97 0.99 2/65 18281 /proc/meminfo: memFree=1503544/2055920 swapFree=4184556/4192956 [pid=18280] ppid=18278 vsize=73636 CPUtime=10.99 /proc/18280/stat : 18280 (PBS4) R 18278 18280 17488 0 -1 4194304 23621 0 0 0 1086 13 0 0 25 0 1 0 15701863 75403264 17500 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18280/statm: 18409 17500 94 219 0 18186 0 Current children cumulated CPU time (s) 10.99 Current children cumulated vsize (KiB) 73636 Child status: 0 Real time (s): 11.0981 CPU time (s): 11.0943 CPU user time (s): 10.9383 CPU system time (s): 0.155976 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 73636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.9383 system time used= 0.155976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23748 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= 8 involuntary context switches= 20 runsolver used 0.014997 second user time and 0.026995 second system time The end
Begin job on node62 on Thu Apr 19 08:27:39 UTC 2007 IDJOB= 360603 IDBENCH= 1383 IDSOLVER= 157 FILE ID= node62/360603-1176971258 PBS_JOBID= 4630278 Free space on /tmp= 66464 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb COMMAND LINE= /tmp/evaluation/360603-1176971258/PBS4 /tmp/evaluation/360603-1176971258/instance-360603-1176971258.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-360603-1176971258 -o ROOT/results/node62/conversion-360603-1176971258 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360603-1176971258/instance-360603-1176971258.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-360603-1176971258 -o ROOT/results/node62/solver-360603-1176971258 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360603-1176971258/PBS4 /tmp/evaluation/360603-1176971258/instance-360603-1176971258.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 051b48fdf5558d73afe4ee3d3cae609a RANDOM SEED= 98385625 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1572888 kB Buffers: 31432 kB Cached: 377624 kB SwapCached: 2820 kB Active: 191780 kB Inactive: 227860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1572888 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 35256 kB Writeback: 0 kB Mapped: 16420 kB Slab: 49416 kB Committed_AS: 149424 kB PageTables: 1464 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= 66464 MiB End job on node62 on Thu Apr 19 08:27:50 UTC 2007