0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118813-1467228402.opb
0.00/0.00	c File size is 169636 bytes.
1800.01/1800.30	c Sum of soft weights:         3174
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          3336                                                                   |
1800.01/1800.30	c |  Number of hard clauses:       2208                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       2955                                                                   |
1800.01/1800.30	c |  Number of cardinality:           0                                                                   |
1800.01/1800.30	c |  Number of PB :                2208                                                                   |
1800.01/1800.30	c |  Parse time:                   0.02 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o -204
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x1129 x1 -x116 x1130 -x1131 -x1132 -x1133 -x2 -x559 -x1134 x611 -x1135 -x1136 -x1137 -x3 x676 -x1138 -x1139 -x1140 x1141 x4 x46 -x1142 -x346 x1143 x572 -x1144 -x691 x1145 x5 x51 -x1146 -x521 x1147 -x1148 -x1149 -x6 -x1150 x57 -x1151 x475 -x1152 x1153 x7 -x1154 -x67 x1155 -x1156 -x1157 -x8 x30 -x1158 x157 -x1159 -x1160 -x1161 -x9 -x1162 -x79 -x1163 -x1164 x1165 x10 -x1166 x1167 -x1168 -x1169 x11 x1170 x1171 -x1172 x1173 x12 x594 -x1174 -x1175 -x1176 -x1177 x13 -x1178 -x115 x1179 -x1180 -x1181 x14 -x161 -x1182 -x1183 -x1184 x1185 x15 x271 x1186 -x1187 -x1188 -x1189 -x16 -x187 -x1190 x366 -x1191 -x450 -x1192 -x1193 x17 -x310 -x1194 -x1195 -x1196 -x1197 x18 -x217 x1198 x321 x1199 x494 -x1200 x1201 x19 x499 x1202 x659 x1203 -x1204 x1205 x20 -x1206 -x355 x1207 -x1208 -x1209 x21 -x246 -x1210 -x537 -x1211 -x1212 x1213 x22 x368 x1214 x455 x1215 x725 -x1216 -x727 -x1217 x23 -x24 -x1218 -x65 -x1219 -x1220 -x1221 x28 -x1222 -x471 -x1223 x622 -x1224 x25 -x180 x1225 x399 x1226 -x1227 -x1228 -x26 x280 -x1229 -x1230 x593 -x1231 x1232 x27 x167 x1233 x666 -x1234 -x1235 x1236 x29 -x1237 -x77 -x1238 x1239 x33 -x1240 -x426 -x1241 -x685 -x1242 -x81 x1243 x269 -x1244 -x704 -x1245 -x31 x319 -x1246 -x1247 x656 -x1248 x1249 x32 x193 x1250 x733 x1251 -x1252 x1253 x34 -x1254 -x92 -x1255 x1256 x37 -x1257 -x386 -x1258 -x1259 -x35 -x145 -x1260 x219 -x1261 -x1262 -x1263 -x36 -x63 -x1264 x562 x1265 x38 -x1266 -x112 -x1267 x1268 x41 -x1269 -x341 -x1270 -x1271 x39 -x388 -x1272 -x1273 -x1274 x1275 x40 -x1276 -x250 x1277 x373 -x1278 x1279 x42 -x1280 -x132 -x1281 x1282 x44 -x1283 -x299 -x1284 -x1285 -x43 -x1286 x286 -x1287 x415 -x1288 x1289 x45 -x1290 -x153 -x1291 x1292 x50 x1293 x261 -x1294 -x1295 -x393 -x1296 -x576 -x1297 -x47 -x1298 -x329 -x1299 x460 -x1300 -x1301 -x48 x105 -x1302 -x1303 -x1304 -x1305 -x49 -x110 -x1306 -x1307 -x175 x1308 x683 -x1309 x1310 x348 -x1311 -x631 -x1312 -x52 x122 -x1313 x215 -x1314 x448 -x1315 x587 -x1316 -x53 -x1317 x374 -x1318 x504 -x1319 -x1320 -x54 x73 -x1321 x126 -x1322 -x1323 -x1324 -x55 x130 -x1325 -x1326 x56 -x200 x1327 x620 x1328 -x1329 x1330 x304 -x1331 -x696 x1332 x58 x135 x1333 x349 -x1334 -x1335 x1336 x59 x243 x1337 x491 -x1338 -x650 -x1339 -x1340 -x60 -x1341 -x416 -x1342 x548 -x1343 x1344 x61 x87 -x1345 x1346 x147 -x1347 -x1348 -x62 x106 -x1349 -x1350 x253 -x1351 -x1352 -x64 -x1353 x129 -x1354 x255 -x1355 x151 -x1356 x78 -x1357 x66 -x227 x1358 x566 x1359 -x1360 -x1361 -x265 -x1362 -x1363 -x68 -x1364 x178 -x1365 -x1366 -x1367 -x69 x119 -x1368 x241 -x1369 -x1370 -x1371 -x70 x277 -x1372 x534 -x1373 x715 -x1374 -x1375 -x71 -x1376 x461 -x1377 x605 -x1378 x1379 x72 -x1380 -x169 x1381 -x1382 x1383 x671 x1384 -x1385 -x1386 -x74 x108 -x1387 -x1388 -x173 -x1389 x1390 x75 x76 x1391 x109 x1392 x295 -x1393 -x1394 -x1395 x93 -x1396 -x516 x1397 -x1398 -x1399 -x234 -x1400 -x1401 x80 -x206 -x1402 -x479 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x82 -x97 -x1409 x712 -x1410 -x1411 -x1412 -x83 x316 -x1413 -x589 -x1414 -x1415 -x1416 x84 -x245 -x1417 -x317 -x1418 -x721 -x1419 -x1420 -x85 -x1421 -x505 -x1422 x667 -x1423 x1424 x86 -x1425 -x195 -x1426 -x1427 x1428 x289 x1429 -x1430 -x1431 -x88 x89 -x1432 x107 -x1433 -x1434 x1435 x90 x1436 x128 -x1437 -x198 x1438 x91 x1439 x337 -x1440 -x1441 -x1442 x113 -x1443 -x469 -x1444 -x1445 -x1446 x94 -x134 -x1447 -x1448 -x1449 -x1450 -x95 -x1451 x235 -x1452 x433 -x1453 -x1454 x96 -x98 -x1455 -x403 -x1456 -x647 -x1457 -x1458 x645 -x1459 -x1460 -x1461 -x710 -x1462 -x1463 -x1464 -x99 x362 -x1465 x651 -x1466 -x1467 x1468 x100 x364 x1469 -x1470 -x1471 -x1472 -x101 -x102 -x1473 -x162 -x1474 x324 -x1475 -x1476 x140 -x1477 x190 -x1478 x456 -x1479 -x103 -x1480 -x550 -x1481 x734 -x1482 x1483 x104 -x1484 -x221 -x1485 -x1486 x1487 -x1488 x1489 x1490 -x1491 x1492 x149 -x1493 x1494 x1495 -x1496 x1497 -x1498 -x225 -x1499 x111 -x1500 x382 -x1501 -x1502 x133 -x1503 -x425 -x1504 -x1505 x1506 x114 x230 x1507 x427 x1508 x689 -x1509 -x1510 -x1511 -x1512 -x1513 x155 -x1514 x694 -x1515 -x117 -x1516 -x267 -x1517 -x1518 x1519 x118 x120 x1520 x360 x1521 x585 -x1522 x1523 x583 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x121 -x405 -x1530 x716 -x1531 -x1532 x1533 x590 x1534 -x1535 x1536 x123 x408 x1537 x1538 -x1539 -x1540 -x124 -x1541 x607 -x1542 -x1543 -x1544 x125 -x1545 -x252 x1546 -x1547 x1548 -x1549 -x1550 x127 -x171 -x1551 x1552 -x1553 x1554 x1555 -x1556 -x1557 -x1558 -x256 x1559 x131 x1560 x745 -x1561 -x1562 -x1563 x154 x1564 x385 -x1565 -x1566 -x1567 -x1568 -x306 -x1569 -x1570 -x1571 x136 -x530 -x1572 -x1573 -x1574 -x1575 x137 x1576 -x1577 -x1578 x1579 x138 x278 x1580 x446 -x1581 -x1582 -x1583 x139 -x449 -x1584 -x1585 -x1586 x1587 x142 x1588 x143 -x1589 x1590 x141 x1591 x192 -x1592 -x1593 x1594 x191 x1595 -x1596 x1597 -x1598 -x1599 x144 x1600 x669 -x1601 -x1602 -x1603 -x146 -x1604 -x1605 -x1606 x288 -x1607 -x1608 -x1609 x148 -x556 x1610 x741 -x1611 -x1612 -x1613 -x150 -x1614 -x1615 x196 -x1616 -x296 -x1617 x1618 x152 x1619 x679 -x1620 -x1621 -x1622 x176 x1623 x340 x1624 -x1625 -x1626 x1627 -x1628 -x351 -x1629 x156 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 x158 -x1636 x1637 -x1638 x1639 x159 x441 -x1640 x1641 -x1642 -x1643 x160 x1644 x493 x1645 -x1646 -x1647 -x536 -x1648 -x1649 x164 -x1650 x283 -x1651 x502 x1652 x163 x1653 -x1654 -x1655 x1656 x165 -x1657 -x1658 x1659 x604 x1660 x731 -x1661 -x1662 -x166 -x1663 x736 -x1664 -x1665 -x1666 -x168 -x1667 -x1668 -x331 -x1669 -x1670 -x1671 -x1672 -x170 -x1673 -x1674 x675 -x1675 -x1676 -x172 -x1677 x293 -x1678 -x223 -x1679 -x338 -x1680 -x1681 x174 -x1682 x614 -x1683 -x1684 x201 x1685 x298 x1686 -x1687 -x468 -x1688 x177 -x430 x1689 -x1690 -x1691 x1692 x179 -x1693 x1694 x395 -x1695 -x1696 -x1697 x182 -x1698 x401 -x1699 x1700 x181 x359 x1701 x1702 x708 -x1703 x1704 -x1705 -x1706 x1707 x183 x185 x1708 x240 -x1709 -x1710 -x1711 x184 -x442 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 x186 -x1719 -x1720 -x535 -x1721 -x1722 -x281 -x1723 x592 -x1724 x188 -x1725 -x323 x1726 -x1727 -x1728 -x189 -x1729 x248 -x1730 -x545 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 x1737 x547 x1738 x664 -x1739 -x1740 -x194 -x1741 -x1742 x376 -x1743 x737 -x1744 -x1745 -x1746 -x197 -x1747 -x335 -x1748 -x1749 x254 -x1750 -x383 -x1751 -x1752 x199 -x1753 x560 -x1754 -x1755 x228 x1756 x259 x1757 -x1758 -x514 x1759 x202 x203 -x1760 -x623 x1761 -x1762 -x1763 -x204 x1764 x474 -x1765 -x1766 x264 -x1767 -x1768 -x1769 -x205 -x476 -x1770 -x1771 -x1772 -x1773 x207 -x1774 -x435 x1775 -x1776 -x1777 -x208 x210 -x1778 -x357 -x1779 -x1780 -x1781 -x209 x211 -x1782 -x1783 -x643 -x1784 x1785 -x1786 -x1787 x1788 x212 -x1789 x1790 x214 -x1791 -x1792 -x1793 -x213 x487 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 x1801 -x1802 -x1803 x216 -x1804 -x591 -x1805 -x1806 -x1807 x320 -x1808 x655 x1809 x218 -x1810 -x1811 -x1812 -x1813 -x220 -x1814 -x1815 -x1816 x419 -x1817 x670 -x1818 -x377 -x1819 x1820 x222 x555 x1821 -x1822 -x1823 -x1824 -x224 -x1825 -x380 -x1826 -x1827 x294 -x1828 -x424 -x1829 -x1830 x226 -x1831 x615 -x1832 -x1833 x258 x1834 x229 x1835 -x1836 -x564 x1837 x1838 -x1839 -x1840 -x231 -x1841 -x470 -x1842 -x232 -x1843 -x686 -x1844 -x1845 -x1846 x520 -x1847 -x1848 -x233 -x522 -x1849 -x1850 -x1851 -x1852 x305 -x1853 x695 -x1854 x1855 x236 -x1856 x1857 x481 x1858 -x1859 x1860 x237 x239 x1861 x312 -x1862 -x639 -x1863 -x1864 -x238 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x242 -x1873 -x531 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x244 -x1881 -x654 -x1882 -x1883 -x1884 x365 -x1885 -x1886 -x1887 -x1888 x720 -x1889 -x247 -x1890 x411 -x1891 x596 -x1892 x1893 x497 x1894 x662 -x1895 x1896 x249 -x1897 x1898 -x1899 -x1900 -x251 -x1901 -x1902 -x1903 -x463 -x1904 x608 -x1905 -x332 -x1906 -x1907 -x510 x1908 -x1909 x1910 -x1911 -x422 -x1912 x1913 x336 -x1914 -x467 -x1915 x257 -x1916 x680 -x1917 -x1918 -x260 -x1919 -x618 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x262 -x1926 -x1927 -x263 x1928 -x1929 -x1930 -x1931 -x570 -x1932 -x1933 -x573 x1934 -x1935 -x1936 x350 -x1937 x630 -x1938 -x1939 -x266 -x1940 -x526 -x1941 -x1942 -x1943 -x1944 -x1945 x268 -x270 -x1946 -x700 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x273 x1954 x274 -x1955 -x580 -x1956 -x272 -x1957 -x1958 -x1959 -x1960 -x275 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x276 x1968 -x1969 -x1970 x1971 x489 -x1972 -x1973 x1974 -x1975 x1976 x279 -x1977 -x719 -x1978 -x1979 -x1980 -x409 -x1981 -x1982 -x282 -x1983 -x1984 -x1985 -x1986 x658 x1987 x541 x1988 x600 -x1989 x1990 x284 x285 -x1991 -x1992 -x1993 x1994 x1995 -x1996 -x1997 -x287 -x1998 -x1999 -x2000 x508 -x2001 x551 -x2002 -x290 -x2003 -x2004 -x292 -x2005 -x674 -x2006 -x2007 -x2008 -x2009 -x291 -x2010 x464 -x2011 -x2012 -x2013 -x2014 -x2015 -x381 x2016 x2017 x465 -x2018 -x2019 -x2020 -x513 -x2021 x297 -x2022 x746 -x2023 x2024 x300 -x2025 -x2026 -x301 -x2027 x428 -x2028 -x2029 -x684 -x2030 -x2031 x302 -x2032 x2033 x2034 x625 -x2035 -x2036 -x303 -x628 -x2037 -x2038 -x2039 x2040 x394 -x2041 -x575 x2042 x2043 x578 -x2044 -x2045 -x308 -x2046 -x2047 -x2048 x307 -x309 x2049 x635 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x313 -x2058 x529 x2059 x311 -x2060 x2061 -x2062 -x2063 -x314 x2064 x581 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 x315 -x2071 -x2072 -x2073 -x2074 -x447 -x2075 -x2076 -x2077 -x2078 x2079 x318 x2080 x2081 -x2082 x2083 x451 -x2084 x2085 x322 -x2086 -x2087 x2088 -x2089 x2090 x2091 x724 -x2092 -x2093 -x2094 -x410 -x2095 x2096 x326 -x2097 -x2098 -x325 -x544 -x2099 -x2100 -x2101 -x2102 -x542 -x2103 -x2104 -x2105 x327 -x328 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x330 x2113 x2114 x506 -x2115 -x553 -x2116 -x333 -x2117 -x2118 -x2119 -x2120 -x2121 -x421 -x2122 -x2123 -x2124 -x334 -x2125 -x420 -x2126 -x2127 -x2128 -x423 -x2129 x2130 -x2131 -x511 -x2132 -x2133 -x2134 -x561 -x2135 x339 -x2136 -x2137 x2138 x342 -x2139 -x2140 -x343 -x2141 x473 -x2142 -x2143 -x621 -x2144 -x2145 x344 -x2146 x2147 x627 x2148 x688 -x2149 -x2150 -x345 -x347 -x2151 -x692 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x431 -x2159 -x2160 -x434 -x2161 -x524 -x2162 -x2163 x2164 x634 -x2165 -x2166 -x353 -x2167 -x2168 x352 -x354 x2169 x579 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x358 -x2178 x485 -x2179 -x356 -x2180 -x640 -x2181 -x2182 -x2183 -x2184 x641 -x2185 x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x361 x406 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x363 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x367 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x369 -x501 x2214 x2215 -x2216 -x2217 x370 -x2218 -x598 -x2219 -x2220 -x2221 x371 -x372 x2222 x729 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x375 -x2231 -x2232 -x609 -x2233 -x2234 -x378 -x2235 -x2236 -x2237 -x2238 -x2239 -x379 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x466 -x2246 -x2247 -x2248 x557 -x2249 -x2250 -x616 -x2251 x384 -x2252 -x2253 x2254 x387 -x2255 -x2256 x389 -x2257 x2258 -x2259 -x567 -x2260 -x2261 -x2262 x2263 -x2264 -x2265 -x390 -x477 -x2266 -x2267 -x2268 x2269 x391 x392 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x478 -x2277 x480 x2278 -x2279 -x699 -x2280 x2281 x396 x2282 -x2283 -x2284 -x397 -x2285 -x2286 -x2287 x398 -x2288 -x2289 x2290 x400 -x2291 -x2292 x2293 x402 -x2294 -x439 x2295 x2296 x705 -x2297 -x2298 x2299 x706 -x2300 -x2301 -x2302 -x2303 -x2304 -x404 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 x2313 x407 x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 -x2325 -x2326 x412 -x457 -x2327 -x2328 -x2329 -x2330 x413 -x2331 -x660 -x2332 -x2333 x2334 x414 x2335 -x2336 -x2337 -x2338 -x549 -x2339 -x2340 -x2341 x418 -x2342 -x417 -x2343 -x2344 -x2345 x2346 -x2347 -x673 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x512 -x2355 -x2356 x612 -x2357 -x2358 -x2359 -x2360 -x2361 x518 -x2362 x429 -x2363 x569 x2364 -x2365 -x517 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x523 -x2372 -x2373 x2374 x432 x2375 -x2376 x2377 x2378 -x2379 x2380 x525 -x2381 -x2382 -x436 -x2383 -x2384 x437 -x2385 -x2386 -x2387 -x2388 x2389 x438 -x2390 x2391 x440 x2392 -x2393 -x2394 -x484 -x2395 -x2396 x2397 x2398 -x2399 x2400 x443 -x2401 -x2402 -x2403 -x2404 x2405 x444 -x2406 x2407 x2408 -x2409 -x2410 x445 -x714 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 x533 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x452 -x2427 -x2428 -x2429 -x2430 -x2431 x453 -x454 x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x726 -x2442 -x2443 -x602 -x2444 -x2445 x458 -x459 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x606 -x2453 -x2454 -x462 -x2455 -x2456 -x740 -x2457 -x2458 -x2459 -x2460 x2461 x558 x2462 -x2463 -x2464 x677 -x2465 -x2466 -x2467 -x2468 x515 -x2469 x472 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x624 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 x574 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 x577 x2492 x482 -x2493 -x2494 -x2495 -x483 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 x486 -x2503 x2504 -x2505 x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 x488 -x490 x2513 x649 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x492 -x2525 x717 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 x495 -x496 x2533 x2534 -x2535 -x2536 -x498 -x2537 -x2538 x2539 x500 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x503 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x668 -x2559 -x2560 x507 x2561 x2562 -x2563 -x2564 -x509 -x2565 -x2566 -x2567 -x2568 x672 -x2569 -x2570 -x2571 -x613 -x2572 -x2573 -x2574 -x2575 -x743 -x2576 -x2577 -x2578 -x2579 x565 -x2580 -x2581 -x2582 x519 -x2583 -x2584 -x2585 x2586 x2587 x687 -x2588 x2589 -x2590 -x2591 -x2592 -x629 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x527 -x2602 -x2603 x701 -x2604 -x632 -x2605 -x2606 -x2607 -x528 x702 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2617 x532 x2618 x586 x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x722 -x2630 -x2631 -x538 x540 -x2632 -x2633 -x2634 -x2635 x539 x2636 x657 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 x543 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x546 -x2649 -x2650 -x2651 -x2652 -x2653 -x735 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x552 x2661 -x2662 -x2663 -x554 -x2664 -x2665 -x2666 -x2667 x739 -x2668 -x2669 -x2670 -x678 -x2671 -x2672 x2673 -x2674 x2675 x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x563 -x2683 -x2684 -x2685 x619 -x2686 -x2687 x2688 x568 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x571 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x693 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x697 -x2709 x2710 -x2711 -x2712 -x636 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 x582 x584 -x2720 x2721 -x2722 -x2723 -x2724 x2725 x2726 -x2727 x2728 -x2729 -x711 -x2730 x2731 x588 -x2732 x2733 x648 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x718 -x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x597 x2752 -x2753 -x2754 -x595 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x599 x2763 x601 x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 x603 -x2772 x730 -x2773 x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 x738 -x2786 x2787 -x2788 -x2789 x610 x2790 -x2791 -x2792 -x2793 -x744 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x617 -x2804 -x2805 -x2806 x682 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x626 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x633 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x637 -x2839 -x2840 x638 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x642 x644 -x2853 -x2854 -x2855 -x2856 x646 -x2857 x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x713 -x2872 -x2873 -x2874 -x653 -x2875 -x2876 x652 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x661 x2896 x663 -x2897 -x2898 x2899 -x2900 x2901 x2902 -x2903 x2904 x665 -x2905 x2906 x2907 -x2908 -x2909 x2910 -x2911 x2912 -x2913 x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x747 -x2930 -x2931 -x2932 -x681 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x690 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 x2956 -x2957 -x2958 x698 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x703 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x707 x709 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x723 -x3010 x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x728 -x3019 -x3020 -x3021 x3022 x3023 -x3024 x3025 -x3026 -x3027 x3028 x732 -x3029 x3030 x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 x3038 -x3039 x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x742 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x757 -x758 -x767 x759 x771 -x763 -x764 x779 x799 -x800 x811 x823 -x824 -x813 x855 x841 x788 -x832 x833 -x834 x854 -x872 -x777 -x848 -x849 -x863 -x770 -x795 -x859 x826 -x898 -x899 -x842 -x913 -x914 x836 -x919 x926 -x927 -x789 -x912 -x925 x939 -x940 x796 -x907 -x908 -x938 x805 x922 -x923 -x949 -x810 x935 x936 -x959 -x822 -x782 -x946 -x839 x957 x966 x967 x948 x975 x958 -x996 -x901 x981 -x911 x978 -x784 x844 x916 x947 -x976 x992 -x977 -x1003 x753 -x774 x856 -x929 x930 -x931 x937 -x968 -x994 x1002 -x982 -x1015 -x752 -x1030 -x768 -x775 x1021 -x786 -x941 x942 -x819 -x943 x850 x924 x751 -x1035 x1013 -x1014 -x1027 -x760 -x885 x886 -x762 -x1010 -x793 -x1042 x953 x748 -x831 -x954 -x754 x909 -x969 -x809 -x1046 -x1026 -x1037 -x988 -x828 -x999 -x802 x889 -x1053 -x749 -x963 -x906 -x835 -x1012 -x750 x894 -x897 -x993 -x1036 -x1047 x785 -x998 -x815 x989 -x990 -x816 x900 -x974 x1061 x820 x868 -x1024 -x1044 -x1001 x884 -x1018 -x1048 -x1007 x843 -x1060 -x915 -x984 x830 x803 -x964 -x806 x861 -x1034 -x991 -x870 x1004 -x1071 x783 -x1006 x1057 x827 x951 -x1051 -x928 x979 -x845 -x1074 x852 -x895 -x1077 x756 x1016 x1065 x995 x1058 -x814 x961 x1052 -x1040 x1081 -x1082 x1023 -x933 x838 -x1085 x1087 x1028 x987 x1049 x1072 x997 x1080 x1031 x1089 x971 x1041 -x1090 -x846 x918 -x1092 -x920 -x790 -x821 -x1094 x896 -x1005 x983 -x1079 x761 x1073 -x1019 -x1096 -x1032 -x1097 x972 x1098 x818 -x1062 x776 x905 x965 -x797 -x808 x1099 -x883 x1086 -x1017 x970 -x1039 -x1088 x1068 x1008 x1020 -x952 -x864 x980 -x1101 x769 -x904 -x1000 x1102 -x1093 x893 -x956 x1104 -x1105 x1106 x869 x1078 x766 -x1029 x871 -x960 x1038 -x1095 -x1066 x801 -x1009 x1022 x962 x875 -x985 x892 x1108 -x881 -x1084 -x945 -x986 x882 x1070 x1111 -x781 -x862 -x950 x825 -x812 x887 x888 -x857 -x1011 x847 -x866 x1114 -x880 x1076 -x934 x1110 -x837 -x1064 x1116 x792 x910 -x773 -x853 -x874 -x1107 x858 -x1091 x1118 x877 -x1119 x867 -x804 x1069 -x921 -x851 x1056 x1121 -x840 x765 x1100 x829 x1083 -x1125 -x1054 x1120 x890 -x860 -x794 x755 x1067 -x1124 -x1043 x1075 -x879 -x1115 x902 -x955 -x798 -x1063 -x1045 x778 -x1127 -x1122 -x1059 x1126 -x1117 x1033 -x891 -x1109 -x917 -x944 x807 -x1055 -x1025 -x780 x873 -x1050 -x1123 -x1113 -x973 -x903 -x1103 x932 -x772 -x1112 x1128 x878 x876 -x787 x791 x865 x817 

OK	-204

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118813-1467228402/watcher-4118813-1467228402 -o /tmp/evaluation-result-4118813-1467228402/solver-4118813-1467228402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6355 --watchdog 1960 open-wbo HOME/instance-4118813-1467228402.opb 

pid=9218
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.23 2.18 2/176 9221
/proc/meminfo: memFree=28679036/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=2900 CPUtime=0 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 455 0 0 0 0 0 0 0 20 0 1 0 3795063 2969600 330 33554432000 4194304 6059633 140735089250896 140735089249480 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 725 330 175 456 0 219 0

[startup+0.100192 s]
/proc/loadavg: 2.22 2.23 2.18 2/176 9221
/proc/meminfo: memFree=28679036/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=13888 CPUtime=0.09 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 2249 0 0 0 9 0 0 0 20 0 1 0 3795063 14221312 2032 33554432000 4194304 6059633 140735089250896 140735089249656 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 3472 2032 173 456 0 3008 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13888

[startup+0.200295 s]
/proc/loadavg: 2.22 2.23 2.18 2/176 9221
/proc/meminfo: memFree=28679036/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=14416 CPUtime=0.19 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 2425 0 0 0 19 0 0 0 20 0 1 0 3795063 14761984 2207 33554432000 4194304 6059633 140735089250896 140735089249656 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 3604 2207 173 456 0 3140 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14416

[startup+0.300269 s]
/proc/loadavg: 2.22 2.23 2.18 2/176 9221
/proc/meminfo: memFree=28679036/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=15568 CPUtime=0.29 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 2800 0 0 0 29 0 0 0 20 0 1 0 3795063 15941632 2579 33554432000 4194304 6059633 140735089250896 140735089249656 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 3892 2579 187 456 0 3428 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15568

[startup+0.700273 s]
/proc/loadavg: 2.22 2.23 2.18 2/176 9221
/proc/meminfo: memFree=28679036/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=15232 CPUtime=0.69 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 3644 0 0 0 69 0 0 0 20 0 1 0 3795063 15597568 3033 33554432000 4194304 6059633 140735089250896 140735089249656 4278024 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 3808 3033 192 456 0 3344 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15232

[startup+1.50025 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 9222
/proc/meminfo: memFree=28666464/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=18432 CPUtime=1.49 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 4742 0 0 0 149 0 0 0 20 0 1 0 3795063 18874368 3699 33554432000 4194304 6059633 140735089250896 140735089249384 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 4608 3699 192 456 0 4144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18432

[startup+3.10023 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 9222
/proc/meminfo: memFree=28670560/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=20080 CPUtime=3.09 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 5341 0 0 0 309 0 0 0 20 0 1 0 3795063 20561920 4238 33554432000 4194304 6059633 140735089250896 140735089249656 4867836 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 5020 4238 192 456 0 4556 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20080

[startup+6.30024 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 9222
/proc/meminfo: memFree=28670080/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=22764 CPUtime=6.29 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 6203 0 0 0 629 0 0 0 20 0 1 0 3795063 23310336 5030 33554432000 4194304 6059633 140735089250896 140735089249080 4278631 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 5691 5030 192 456 0 5227 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22764

[startup+12.7003 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 9222
/proc/meminfo: memFree=28653988/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=22976 CPUtime=12.69 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 6465 0 0 0 1269 0 0 0 20 0 1 0 3795063 23527424 5086 33554432000 4194304 6059633 140735089250896 140735089249096 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 5744 5086 192 456 0 5280 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22976

[startup+25.5003 s]
/proc/loadavg: 2.22 2.23 2.18 3/177 9222
/proc/meminfo: memFree=28644408/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=32144 CPUtime=25.48 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 7119 0 0 0 2548 0 0 0 20 0 1 0 3795063 32915456 7238 33554432000 4194304 6059633 140735089250896 140735089249080 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 8036 7238 192 456 0 7572 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32144

[startup+51.1004 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 9222
/proc/meminfo: memFree=28637312/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=36564 CPUtime=51.08 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 7894 0 0 0 5108 0 0 0 20 0 1 0 3795063 37441536 8468 33554432000 4194304 6059633 140735089250896 140735089249080 4278432 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 9141 8468 192 456 0 8677 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36564

[startup+102.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 9223
/proc/meminfo: memFree=28608404/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=63116 CPUtime=102.28 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 9466 0 0 0 10227 1 0 0 20 0 1 0 3795063 64630784 13774 33554432000 4194304 6059633 140735089250896 140735089249048 4278402 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 15779 13774 192 456 0 15315 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 63116

[startup+162.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 9225
/proc/meminfo: memFree=28605860/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=59708 CPUtime=162.27 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 10360 0 0 0 16225 2 0 0 20 0 1 0 3795063 61140992 13314 33554432000 4194304 6059633 140735089250896 140735089249384 4262564 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 14927 13314 193 456 0 14463 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 59708

[startup+222.307 s]
/proc/loadavg: 2.17 2.19 2.18 4/178 9229
/proc/meminfo: memFree=28586760/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=222.26 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11369 0 0 0 22224 2 0 0 20 0 1 0 3795063 104165376 17999 33554432000 4194304 6059633 140735089250896 140735089249656 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 17999 193 456 0 24967 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 101724

[startup+282.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 9230
/proc/meminfo: memFree=28575288/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=282.24 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11620 0 0 0 28222 2 0 0 20 0 1 0 3795063 104165376 20805 33554432000 4194304 6059633 140735089250896 140735089249656 4278011 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 20805 193 456 0 24967 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 101724

[startup+342.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 9231
/proc/meminfo: memFree=28583784/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=342.24 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11941 0 0 0 34221 3 0 0 20 0 1 0 3795063 104165376 23165 33554432000 4194304 6059633 140735089250896 140735089249656 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 23165 193 456 0 24967 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 101724

[startup+402.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/177 9232
/proc/meminfo: memFree=28553612/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=402.23 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11969 0 0 0 40220 3 0 0 20 0 1 0 3795063 104165376 23704 33554432000 4194304 6059633 140735089250896 140735089249656 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 23704 193 456 0 24967 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 101724

[startup+462.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 9234
/proc/meminfo: memFree=28555092/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=462.22 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11979 0 0 0 46219 3 0 0 20 0 1 0 3795063 104165376 24225 33554432000 4194304 6059633 140735089250896 140735089249656 4301570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24225 193 456 0 24967 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 101724

[startup+522.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/177 9235
/proc/meminfo: memFree=28552744/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=522.21 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 11987 0 0 0 52218 3 0 0 20 0 1 0 3795063 104165376 24233 33554432000 4194304 6059633 140735089250896 140735089249656 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24233 193 456 0 24967 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 101724

[startup+582.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 9236
/proc/meminfo: memFree=28542564/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=582.2 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12012 0 0 0 58217 3 0 0 20 0 1 0 3795063 104165376 24258 33554432000 4194304 6059633 140735089250896 140735089249656 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24258 193 456 0 24967 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 101724


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/177 9246
/proc/meminfo: memFree=28529948/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=942.14 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12143 0 0 0 94209 5 0 0 20 0 1 0 3795063 104165376 24813 33554432000 4194304 6059633 140735089250896 140735089249656 4278402 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24813 193 456 0 24967 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 101724

[startup+1002.3 s]
/proc/loadavg: 2.41 2.29 2.21 3/177 9247
/proc/meminfo: memFree=28529020/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1002.13 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12171 0 0 0 100207 6 0 0 20 0 1 0 3795063 104165376 24813 33554432000 4194304 6059633 140735089250896 140735089249384 4277882 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24813 193 456 0 24967 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 101724

[startup+1062.3 s]
/proc/loadavg: 2.31 2.28 2.21 3/176 9248
/proc/meminfo: memFree=28529216/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1062.12 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12265 0 0 0 106205 7 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 101724

[startup+1122.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/177 9250
/proc/meminfo: memFree=28497244/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1122.11 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12293 0 0 0 112204 7 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4278540 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 101724

[startup+1182.3 s]
/proc/loadavg: 2.33 2.29 2.21 4/177 9251
/proc/meminfo: memFree=28528332/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1182.1 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12322 0 0 0 118202 8 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4278523 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 101724

[startup+1242.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 9252
/proc/meminfo: memFree=28526520/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1242.09 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12381 0 0 0 124200 9 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 101724

[startup+1302.3 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 9253
/proc/meminfo: memFree=28525772/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1302.09 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12411 0 0 0 130199 10 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 101724

[startup+1362.3 s]
/proc/loadavg: 2.27 2.28 2.21 3/177 9254
/proc/meminfo: memFree=28490332/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=101724 CPUtime=1362.08 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12441 0 0 0 136197 11 0 0 20 0 1 0 3795063 104165376 24851 33554432000 4194304 6059633 140735089250896 140735089249384 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 25431 24851 193 456 0 24967 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 101724

[startup+1422.3 s]
/proc/loadavg: 2.13 2.24 2.20 4/178 9259
/proc/meminfo: memFree=28459784/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=151044 CPUtime=1422.07 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 12502 0 0 0 142195 12 0 0 20 0 1 0 3795063 154669056 34079 33554432000 4194304 6059633 140735089250896 140735089249096 4280227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 37761 34079 193 456 0 37297 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 151044

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.20 3/177 9260
/proc/meminfo: memFree=28512112/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1482.05 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13023 0 0 0 148192 13 0 0 20 0 1 0 3795063 118697984 28399 33554432000 4194304 6059633 140735089250896 140735089249384 4277998 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28399 193 456 0 28515 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 115916

[startup+1542.31 s]
/proc/loadavg: 2.13 2.21 2.19 3/177 9261
/proc/meminfo: memFree=28512228/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1542.05 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13056 0 0 0 154191 14 0 0 20 0 1 0 3795063 118697984 28400 33554432000 4194304 6059633 140735089250896 140735089249384 4277572 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28400 193 456 0 28515 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 115916

[startup+1602.3 s]
/proc/loadavg: 2.09 2.18 2.18 3/177 9262
/proc/meminfo: memFree=28476364/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1602.04 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13112 0 0 0 160189 15 0 0 20 0 1 0 3795063 118697984 28423 33554432000 4194304 6059633 140735089250896 140735089249384 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28423 193 456 0 28515 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 115916

[startup+1662.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 9263
/proc/meminfo: memFree=28477552/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=165236 CPUtime=1662.03 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13173 0 0 0 166187 16 0 0 20 0 1 0 3795063 169201664 36627 33554432000 4194304 6059633 140735089250896 140735089249096 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 41309 36627 193 456 0 40845 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 165236

[startup+1722.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 9311
/proc/meminfo: memFree=28576160/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=165236 CPUtime=1722.02 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13208 0 0 0 172185 17 0 0 20 0 1 0 3795063 169201664 36628 33554432000 4194304 6059633 140735089250896 140735089249096 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 41309 36628 193 456 0 40845 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 165236

[startup+1782.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/177 9312
/proc/meminfo: memFree=28584276/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1782.01 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13212 0 0 0 178183 18 0 0 20 0 1 0 3795063 118697984 28424 33554432000 4194304 6059633 140735089250896 140735089249384 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28424 193 456 0 28515 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 115916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 9312
/proc/meminfo: memFree=28576620/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1800.01 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13212 0 0 0 179983 18 0 0 20 0 1 0 3795063 118697984 28424 33554432000 4194304 6059633 140735089250896 140735089249384 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28424 193 456 0 28515 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 115916

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9221 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 9312
/proc/meminfo: memFree=28576620/32872528 swapFree=1370068/1517236
[pid=9221] ppid=9218 vsize=115916 CPUtime=1800.01 cores=1,3,5,7
/proc/9221/stat : 9221 (open-wbo) R 9218 9221 6338 0 -1 4202496 13212 0 0 0 179983 18 0 0 20 0 1 0 3795063 118697984 28424 33554432000 4194304 6059633 140735089250896 140735089249384 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/9221/statm: 28979 28424 193 456 0 28515 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 115916

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.84
CPU system time (s): 0.184971
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 165236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.184971
maximum resident set size= 158796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13215
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= 15
involuntary context switches= 1992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43532 second user time and 7.02493 second system time

The end

Begin job on node129 at 2016-06-29 21:26:42
IDJOB=4118813
IDBENCH=111535
IDSOLVER=2547
FILE ID=node129/4118813-1467228402
RUNJOBID= node129-1467209011-6355
PBS_JOBID= 19997579
Free space on /tmp= 71596 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament48.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118813-1467228402/watcher-4118813-1467228402 -o /tmp/evaluation-result-4118813-1467228402/solver-4118813-1467228402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467209011-6355 --watchdog 1960  open-wbo HOME/instance-4118813-1467228402.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a3c924ebe8e1086b1c8aa91d10d929c1
RANDOM SEED=1179416657

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28679416 kB
Buffers:           83412 kB
Cached:          1773728 kB
SwapCached:            0 kB
Active:           360448 kB
Inactive:        1565600 kB
Active(anon):      71224 kB
Inactive(anon):        0 kB
Active(file):     289224 kB
Inactive(file):  1565600 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4672 kB
Writeback:             0 kB
AnonPages:       1668040 kB
Mapped:            14684 kB
Shmem:               204 kB
Slab:             617504 kB
SReclaimable:      61864 kB
SUnreclaim:       555640 kB
KernelStack:        1472 kB
PageTables:         7100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1696312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71592 MiB
End job on node129 at 2016-06-29 21:56:43