0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692450-1277890932.wbo>
0.00/0.01 c original problem has 2280 variables (2190 bin, 0 int, 0 impl, 90 cont) and 221 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 90 impls, 17 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 90 impls, 17 clqs
0.00/0.02 c (round 3) 0 del vars, 1 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 90 impls, 17 clqs
0.00/0.02 c (round 4) 0 del vars, 1 del conss, 90 chg bounds, 0 chg sides, 0 chg coeffs, 40 upgd conss, 90 impls, 17 clqs
0.00/0.03 c (0.0s) probing: 101/2190 (4.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 0 deleted vars, 1 deleted constraints, 90 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 90 implications, 17 cliques
0.00/0.03 c presolved problem has 2280 variables (2190 bin, 0 int, 0 impl, 90 cont) and 220 constraints
0.00/0.03 c 90 constraints of type <indicator>
0.00/0.03 c 17 constraints of type <setppc>
0.00/0.03 c 90 constraints of type <linear>
0.00/0.03 c 23 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 3420
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 23 | - |5080k| 0 | 0 |2280 | 220 |2280 | 40 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 95 | - |5219k| 0 | 0 |2280 | 220 |2280 | 89 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 116 | - |5222k| 0 | 0 |2280 | 220 |2280 | 91 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 2 | 116 | - |5223k| 0 | 0 |2280 | 220 |2280 | 91 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 o 120
0.19/0.27 c * 0.2s| 149 | 129 | 3404 | 22.2 |5515k| 90 | - |2280 | 226 |2280 | 130 | 129 | 6 | 0 | 2.000000e+00 | 1.200000e+02 |5900.00%
0.39/0.43 o 69
0.39/0.43 c * 0.4s| 286 | 191 | 5135 | 17.6 |5721k| 159 | - |2280 | 226 |2280 | 130 | 168 | 6 | 0 | 2.000000e+00 | 6.900000e+01 |3350.00%
0.39/0.43 o 63
0.39/0.43 c * 0.4s| 287 | 181 | 5135 | 17.5 |5739k| 159 | - |2280 | 226 |2280 | 130 | 168 | 6 | 0 | 2.000000e+00 | 6.300000e+01 |3050.00%
0.39/0.49 o 60
0.39/0.49 c * 0.5s| 310 | 194 | 6050 | 19.2 |5811k| 159 | - |2280 | 192 |2280 | 130 | 189 | 6 | 0 | 2.000000e+00 | 6.000000e+01 |2900.00%
0.39/0.49 o 38
0.39/0.49 c * 0.5s| 311 | 155 | 6050 | 19.1 |5811k| 159 | - |2280 | 192 |2280 | 130 | 189 | 6 | 0 | 2.000000e+00 | 3.800000e+01 |1800.00%
0.69/0.71 o 12
0.69/0.71 c * 0.7s| 407 | 151 | 9836 | 23.9 |5921k| 159 | - |2280 | 179 |2280 | 130 | 281 | 13 | 0 | 2.000000e+00 | 1.200000e+01 | 500.00%
0.69/0.72 c
0.69/0.72 c SCIP Status : problem is solved [optimal solution found]
0.69/0.72 c Solving Time (sec) : 0.69
0.69/0.72 c Solving Nodes : 410
0.69/0.72 c Primal Bound : +1.20000000000000e+01 (10 solutions)
0.69/0.72 c Dual Bound : +1.20000000000000e+01
0.69/0.72 c Gap : 0.00 %
0.69/0.72 s OPTIMUM FOUND
0.69/0.72 v -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 x2082
0.69/0.72 v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064
0.69/0.72 v -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047
0.69/0.72 v -x2046 -x2045 -x2044 -x2043 -x2042 x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 x2033 -x2032 -x2031 -x2030 -x2029 -x2028
0.69/0.72 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
0.69/0.72 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 x1993
0.69/0.72 v -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
0.69/0.72 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957
0.69/0.72 v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939
0.69/0.72 v -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921
0.69/0.72 v -x1920 -x1919 -x1918 -x1917 x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903
0.69/0.72 v -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
0.69/0.72 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
0.69/0.72 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849
0.69/0.72 v -x1848 -x1847 -x1846 x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
0.69/0.72 v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813
0.69/0.72 v -x1812 -x1811 -x1810 -x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795
0.69/0.72 v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 x1782 -x1781 -x1780 -x1779 -x1778 -x1777
0.69/0.72 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759
0.69/0.72 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 -x1744 -x1743 -x1742 -x1741
0.69/0.72 v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 x1727 -x1726 -x1725 -x1724 -x1723
0.69/0.72 v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706
0.69/0.72 v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 x1690 -x1689 -x1688
0.69/0.72 v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
0.69/0.72 v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
0.69/0.72 v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
0.69/0.72 v -x1633 -x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616
0.69/0.72 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
0.69/0.72 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580
0.69/0.72 v -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
0.69/0.72 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544
0.69/0.72 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
0.69/0.72 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
0.69/0.72 v -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
0.69/0.72 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472
0.69/0.72 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 x1456 -x1455 -x1454
0.69/0.72 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
0.69/0.72 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418
0.69/0.72 v -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401
0.69/0.72 v -x1400 -x1399 -x1398 x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
0.69/0.72 v -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
0.69/0.72 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
0.69/0.72 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
0.69/0.72 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311
0.69/0.72 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 x1293
0.69/0.72 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
0.69/0.72 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
0.69/0.72 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
0.69/0.72 v -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
0.69/0.72 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
0.69/0.72 v x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185
0.69/0.72 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
0.69/0.72 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
0.69/0.72 v -x1148 x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
0.69/0.72 v -x1130 -x1129 -x1128 x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
0.69/0.72 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
0.69/0.72 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078
0.69/0.72 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
0.69/0.72 v -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
0.69/0.72 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024
0.69/0.72 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006
0.69/0.72 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986
0.69/0.72 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
0.69/0.72 v -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 x949 -x948 -x947 -x946 -x945 -x944
0.69/0.72 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923
0.69/0.72 v -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
0.69/0.72 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
0.69/0.72 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
0.69/0.72 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839
0.69/0.72 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
0.69/0.72 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
0.69/0.72 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776
0.69/0.72 v -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755
0.69/0.72 v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734
0.69/0.72 v -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
0.69/0.72 v -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
0.69/0.72 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
0.69/0.72 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651
0.69/0.72 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
0.69/0.72 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
0.69/0.72 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588
0.69/0.72 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
0.69/0.72 v -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546
0.69/0.72 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
0.69/0.72 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504
0.69/0.72 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483
0.69/0.72 v -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
0.69/0.72 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441
0.69/0.72 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420
0.69/0.72 v -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
0.69/0.72 v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378
0.69/0.72 v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357
0.69/0.72 v -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
0.69/0.72 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315
0.69/0.72 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
0.69/0.72 v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
0.69/0.72 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253
0.69/0.72 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232
0.69/0.72 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
0.69/0.72 v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
0.69/0.72 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
0.69/0.72 v -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
0.69/0.72 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
0.69/0.72 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
0.69/0.72 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
0.69/0.72 v -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
0.69/0.72 v -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32
0.69/0.72 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6
0.69/0.72 v -x5 -x4 -x3 -x2 x1
0.69/0.72 c SCIP Status : problem is solved [optimal solution found]
0.69/0.72 c Solving Time : 0.69
0.69/0.72 c Original Problem :
0.69/0.72 c Problem name : HOME/instance-2692450-1277890932.wbo
0.69/0.72 c Variables : 2280 (2190 binary, 0 integer, 0 implicit integer, 90 continuous)
0.69/0.72 c Constraints : 221 initial, 221 maximal
0.69/0.72 c Presolved Problem :
0.69/0.72 c Problem name : t_HOME/instance-2692450-1277890932.wbo
0.69/0.72 c Variables : 2280 (2190 binary, 0 integer, 0 implicit integer, 90 continuous)
0.69/0.72 c Constraints : 220 initial, 226 maximal
0.69/0.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
0.69/0.72 c trivial : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c implics : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c probing : 0.01 0 0 0 0 0 0 0 0
0.69/0.72 c indicator : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c setppc : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c linear : 0.01 0 0 0 90 0 1 0 0
0.69/0.72 c logicor : 0.00 0 0 0 0 0 0 0 0
0.69/0.72 c root node : - 89 - - 177 - - - -
0.69/0.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
0.69/0.72 c integral : 0 0 0 613 0 0 0 0 0 0
0.69/0.72 c indicator : 90 0 1093 613 0 0 383 0 0 0
0.69/0.72 c setppc : 17 3 1092 613 0 0 0 0 0 0
0.69/0.72 c linear : 90 3 1092 613 0 0 270 281 0 0
0.69/0.72 c logicor : 23+ 3 116 396 0 4 30 0 0 0
0.69/0.72 c countsols : 0 0 0 396 0 0 0 0 0 0
0.69/0.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
0.69/0.72 c integral : 0.00 0.00 0.00 0.00 0.00
0.69/0.72 c indicator : 0.01 0.00 0.00 0.01 0.00
0.69/0.72 c setppc : 0.00 0.00 0.00 0.00 0.00
0.69/0.72 c linear : 0.00 0.00 0.00 0.00 0.00
0.69/0.72 c logicor : 0.00 0.00 0.00 0.00 0.00
0.69/0.72 c countsols : 0.00 0.00 0.00 0.00 0.00
0.69/0.72 c Propagators : Time Calls Cutoffs DomReds
0.69/0.72 c vbounds : 0.00 2 0 0
0.69/0.72 c rootredcost : 0.00 6 0 77
0.69/0.72 c pseudoobj : 0.00 897 4 37
0.69/0.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.69/0.72 c propagation : 0.00 8 7 7 1.1 0 0.0 -
0.69/0.72 c infeasible LP : 0.00 11 11 13 24.9 0 0.0 0
0.69/0.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.69/0.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.69/0.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
0.69/0.72 c applied globally : - - - 20 16.6 - - -
0.69/0.72 c applied locally : - - - 0 0.0 - - -
0.69/0.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
0.69/0.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
0.69/0.72 c redcost : 0.01 453 0 6 0 0
0.69/0.72 c impliedbounds : 0.00 0 0 0 0 0
0.69/0.72 c intobj : 0.00 0 0 0 0 0
0.69/0.72 c cgmip : 0.00 0 0 0 0 0
0.69/0.72 c gomory : 0.00 0 0 0 0 0
0.69/0.72 c strongcg : 0.00 0 0 0 0 0
0.69/0.72 c cmir : 0.00 0 0 0 0 0
0.69/0.72 c flowcover : 0.00 0 0 0 0 0
0.69/0.72 c clique : 0.00 0 0 0 0 0
0.69/0.72 c zerohalf : 0.00 0 0 0 0 0
0.69/0.72 c mcf : 0.00 0 0 0 0 0
0.69/0.72 c rapidlearning : 0.00 0 0 0 0 0
0.69/0.72 c Pricers : Time Calls Vars
0.69/0.72 c problem variables: 0.00 0 0
0.69/0.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
0.69/0.72 c relpscost : 0.00 0 0 0 0 0 0
0.69/0.72 c pscost : 0.00 0 0 0 0 0 0
0.69/0.72 c inference : 0.04 390 0 0 0 0 780
0.69/0.72 c mostinf : 0.00 0 0 0 0 0 0
0.69/0.72 c leastinf : 0.00 0 0 0 0 0 0
0.69/0.72 c fullstrong : 0.00 0 0 0 0 0 0
0.69/0.72 c allfullstrong : 0.00 0 0 0 0 0 0
0.69/0.72 c random : 0.00 0 0 0 0 0 0
0.69/0.72 c Primal Heuristics : Time Calls Found
0.69/0.72 c LP solutions : 0.00 - 6
0.69/0.72 c pseudo solutions : 0.00 - 0
0.69/0.72 c crossover : 0.00 0 0
0.69/0.72 c feaspump : 0.00 0 0
0.69/0.72 c oneopt : 0.00 3 0
0.69/0.72 c coefdiving : 0.00 1 0
0.69/0.72 c pscostdiving : 0.00 1 0
0.69/0.72 c fracdiving : 0.01 1 0
0.69/0.72 c veclendiving : 0.00 1 0
0.69/0.72 c linesearchdiving : 0.00 1 0
0.69/0.72 c guideddiving : 0.00 1 0
0.69/0.72 c objpscostdiving : 0.00 1 0
0.69/0.72 c rootsoldiving : 0.00 1 0
0.69/0.72 c trivial : 0.00 2 0
0.69/0.72 c simplerounding : 0.00 0 0
0.69/0.72 c zirounding : 0.00 0 0
0.69/0.72 c rounding : 0.00 0 0
0.69/0.72 c shifting : 0.00 0 0
0.69/0.72 c intshifting : 0.00 0 0
0.69/0.72 c twoopt : 0.00 0 0
0.69/0.72 c fixandinfer : 0.00 0 0
0.69/0.72 c intdiving : 0.00 0 0
0.69/0.72 c actconsdiving : 0.00 0 0
0.69/0.72 c octane : 0.00 0 0
0.69/0.72 c rens : 0.00 0 0
0.69/0.72 c rins : 0.00 0 0
0.69/0.72 c localbranching : 0.00 0 0
0.69/0.72 c mutation : 0.00 0 0
0.69/0.72 c dins : 0.00 0 0
0.69/0.72 c undercover : 0.00 0 0
0.69/0.72 c nlp : 0.00 0 0
0.69/0.72 c trysol : 0.00 5 4
0.69/0.72 c LP : Time Calls Iterations Iter/call Iter/sec
0.69/0.72 c primal LP : 0.00 0 0 0.00 -
0.69/0.72 c dual LP : 0.47 282 9832 34.87 20919.15
0.69/0.72 c lex dual LP : 0.00 0 0 0.00 -
0.69/0.72 c barrier LP : 0.00 0 0 0.00 -
0.69/0.72 c diving/probing LP: 0.00 2 4 2.00 -
0.69/0.72 c strong branching : 0.00 0 0 0.00 -
0.69/0.72 c (at root node) : - 0 0 0.00 -
0.69/0.72 c conflict analysis: 0.00 0 0 0.00 -
0.69/0.72 c B&B Tree :
0.69/0.72 c number of runs : 1
0.69/0.72 c nodes : 410
0.69/0.72 c nodes (total) : 410
0.69/0.72 c nodes left : 0
0.69/0.72 c max depth : 159
0.69/0.72 c max depth (total): 159
0.69/0.72 c backtracks : 16 (3.9%)
0.69/0.72 c delayed cutoffs : 148
0.69/0.72 c repropagations : 408 (246 domain reductions, 5 cutoffs)
0.69/0.72 c avg switch length: 3.91
0.69/0.72 c switching time : 0.02
0.69/0.72 c Solution :
0.69/0.72 c Solutions found : 10 (6 improvements)
0.69/0.72 c First Solution : +1.20000000000000e+02 (in run 1, after 149 nodes, 0.25 seconds, depth 90, found by <relaxation>)
0.69/0.72 c Primal Bound : +1.20000000000000e+01 (in run 1, after 407 nodes, 0.68 seconds, depth 125, found by <relaxation>)
0.69/0.72 c Dual Bound : +1.20000000000000e+01
0.69/0.72 c Gap : 0.00 %
0.69/0.72 c Root Dual Bound : +0.00000000000000e+00
0.69/0.72 c Root Iterations : 116
0.69/0.72 c Time complete: 0.71.
Begin job on node130 at 2010-06-30 11:42:12
IDJOB=2692450
IDBENCH=78691
IDSOLVER=1204
FILE ID=node130/2692450-1277890932
PBS_JOBID= 11197093
Free space on /tmp= 74188 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692450-1277890932/watcher-2692450-1277890932 -o /tmp/evaluation-result-2692450-1277890932/solver-2692450-1277890932 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692450-1277890932.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 694cfd83cbc837ad458e2da6a5d5efcc
RANDOM SEED=864446511
node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.59
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.72
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5237.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31308240 kB
Buffers: 174108 kB
Cached: 971004 kB
SwapCached: 0 kB
Active: 821380 kB
Inactive: 678560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31308240 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4716 kB
Writeback: 0 kB
AnonPages: 354708 kB
Mapped: 18704 kB
Slab: 78172 kB
PageTables: 5948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 628368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74184 MiB
End job on node130 at 2010-06-30 11:42:13