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

OK	0

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-4118423-1467237328/watcher-4118423-1467237328 -o /tmp/evaluation-result-4118423-1467237328/solver-4118423-1467237328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467233726-4227 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118423-1467237328.opb 

pid=4530
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.02 1.97 3/174 4533
/proc/meminfo: memFree=31610640/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=6828 CPUtime=0 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 2764145 6991872 252 33554432000 4194304 5796924 140735040410288 140735914631784 5151211 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 1707 259 114 392 0 1306 0

[startup+0.100116 s]
/proc/loadavg: 2.04 2.02 1.97 3/174 4533
/proc/meminfo: memFree=31610640/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=9844 CPUtime=0.09 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 1224 0 0 0 9 0 0 0 20 0 1 0 2764145 10080256 1049 33554432000 4194304 5796924 140735040410288 140735914631784 4448864 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 2461 1049 139 392 0 2060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9844

[startup+0.200202 s]
/proc/loadavg: 2.04 2.02 1.97 3/174 4533
/proc/meminfo: memFree=31610640/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=15256 CPUtime=0.19 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 3691 0 0 0 19 0 0 0 20 0 1 0 2764145 15622144 3397 33554432000 4194304 5796924 140735040410288 140735914631784 4245206 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 3814 3397 166 392 0 3413 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15256

[startup+0.300389 s]
/proc/loadavg: 2.04 2.02 1.97 3/174 4533
/proc/meminfo: memFree=31610640/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=41040 CPUtime=0.28 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 8899 0 0 0 28 0 0 0 20 0 1 0 2764145 42024960 9451 33554432000 4194304 5796924 140735040410288 140735040405592 4621249 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 10293 9454 166 392 0 9892 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 41040

[startup+0.700283 s]
/proc/loadavg: 2.04 2.02 1.97 3/174 4533
/proc/meminfo: memFree=31610640/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=146628 CPUtime=0.68 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 27397 0 0 0 66 2 0 0 20 0 1 0 2764145 150147072 32765 33554432000 4194304 5796924 140735040410288 140735040405592 4623737 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 36657 32765 166 392 0 36256 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 146628

[startup+1.50031 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31413384/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=177280 CPUtime=1.49 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 33558 0 0 0 145 4 0 0 20 0 1 0 2764145 181534720 40260 33554432000 4194304 5796924 140735040410288 140735040407848 4639839 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 44320 40260 166 392 0 43919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 177280

[startup+3.10031 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31419708/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=170816 CPUtime=3.08 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 33866 0 0 0 304 4 0 0 20 0 1 0 2764145 174915584 39718 33554432000 4194304 5796924 140735040410288 140735040407336 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 42704 39718 176 392 0 42303 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 170816

[startup+6.30029 s]
/proc/loadavg: 2.03 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31415256/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=170816 CPUtime=6.29 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 33924 0 0 0 624 5 0 0 20 0 1 0 2764145 174915584 39776 33554432000 4194304 5796924 140735040410288 140735040407336 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 42704 39776 178 392 0 42303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170816

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31414156/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=171828 CPUtime=12.69 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 34093 0 0 0 1264 5 0 0 20 0 1 0 2764145 175951872 39945 33554432000 4194304 5796924 140735040410288 140735040407336 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 42957 39945 178 392 0 42556 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171828

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31373012/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=201660 CPUtime=25.48 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 35319 0 0 0 2543 5 0 0 20 0 1 0 2764145 206499840 45702 33554432000 4194304 5796924 140735040410288 140735040407352 4613453 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 50415 45702 178 392 0 50014 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201660

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 4566
/proc/meminfo: memFree=31373200/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=201660 CPUtime=51.08 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 35675 0 0 0 5102 6 0 0 20 0 1 0 2764145 206499840 46564 33554432000 4194304 5796924 140735040410288 140735040407352 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 50415 46564 178 392 0 50014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 201660

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 4567
/proc/meminfo: memFree=31330492/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=201660 CPUtime=102.28 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 35677 0 0 0 10222 6 0 0 20 0 1 0 2764145 206499840 47588 33554432000 4194304 5796924 140735040410288 140735040407352 4606708 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 50415 47588 178 392 0 50014 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 201660

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 4568
/proc/meminfo: memFree=31314428/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=220516 CPUtime=162.25 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36044 0 0 0 16218 7 0 0 20 0 1 0 2764145 225808384 52470 33554432000 4194304 5796924 140735040410288 140735040407528 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 55129 52470 178 392 0 54728 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 220516

[startup+222.307 s]
/proc/loadavg: 2.04 2.02 1.97 3/177 4569
/proc/meminfo: memFree=31310660/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=220516 CPUtime=222.24 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36065 0 0 0 22217 7 0 0 20 0 1 0 2764145 225808384 53302 33554432000 4194304 5796924 140735040410288 140735040407528 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 55129 53302 178 392 0 54728 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 220516

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 4574
/proc/meminfo: memFree=31297336/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=282.22 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36074 0 0 0 28215 7 0 0 20 0 1 0 2764145 238338048 56015 33554432000 4194304 5796924 140735040410288 140735040407528 4606420 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56015 178 392 0 57787 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 232752

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 4598
/proc/meminfo: memFree=31260980/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=342.21 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36075 0 0 0 34214 7 0 0 20 0 1 0 2764145 238338048 56527 33554432000 4194304 5796924 140735040410288 140735040407528 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56527 178 392 0 57787 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 232752

[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/177 4599
/proc/meminfo: memFree=31228588/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=402.2 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36075 0 0 0 40213 7 0 0 20 0 1 0 2764145 238338048 56527 33554432000 4194304 5796924 140735040410288 140735040407528 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56527 178 392 0 57787 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 232752

[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 4600
/proc/meminfo: memFree=31234912/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=462.19 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 36709 0 0 0 46210 9 0 0 20 0 1 0 2764145 238338048 56527 33554432000 4194304 5796924 140735040410288 140735040407752 4606514 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56527 178 392 0 57787 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 232752

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 4601
/proc/meminfo: memFree=31266760/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=522.18 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 37027 0 0 0 52209 9 0 0 20 0 1 0 2764145 238338048 56527 33554432000 4194304 5796924 140735040410288 140735040407752 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56527 178 392 0 57787 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 232752

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4603
/proc/meminfo: memFree=31266776/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=232752 CPUtime=582.17 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 37664 0 0 0 58207 10 0 0 20 0 1 0 2764145 238338048 56527 33554432000 4194304 5796924 140735040410288 140735040407752 4568928 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 58188 56527 178 392 0 57787 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 232752

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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 4612
/proc/meminfo: memFree=31188428/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=251428 CPUtime=882.13 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 39319 0 0 0 88199 14 0 0 20 0 1 0 2764145 257462272 61182 33554432000 4194304 5796924 140735040410288 140735040407752 4606503 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 62857 61182 178 392 0 62456 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 251428

[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4613
/proc/meminfo: memFree=31146912/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=300748 CPUtime=942.12 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 39958 0 0 0 94197 15 0 0 20 0 1 0 2764145 307965952 70699 33554432000 4194304 5796924 140735040410288 140735040407576 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 75187 70699 178 392 0 74786 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 300748

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 4614
/proc/meminfo: memFree=31126144/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1002.11 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 40907 0 0 0 100194 17 0 0 20 0 1 0 2764145 320970752 75922 33554432000 4194304 5796924 140735040410288 140735040407576 4607258 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 75922 178 392 0 77961 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 313448

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4615
/proc/meminfo: memFree=31188536/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=264128 CPUtime=1062.1 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 41756 0 0 0 106192 18 0 0 20 0 1 0 2764145 270467072 64357 33554432000 4194304 5796924 140735040410288 140735040407752 4568985 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 66032 64357 178 392 0 65631 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 264128

[startup+1122.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 4616
/proc/meminfo: memFree=31140824/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1122.09 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 42080 0 0 0 112190 19 0 0 20 0 1 0 2764145 320970752 76434 33554432000 4194304 5796924 140735040410288 140735040407576 4607198 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 76434 178 392 0 77961 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 313448

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 4618
/proc/meminfo: memFree=31142900/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1182.08 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 42998 0 0 0 118187 21 0 0 20 0 1 0 2764145 320970752 75922 33554432000 4194304 5796924 140735040410288 140735040407576 4592017 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 75922 178 392 0 77961 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 313448

[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 4619
/proc/meminfo: memFree=31175368/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=264128 CPUtime=1242.08 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 43320 0 0 0 124186 22 0 0 20 0 1 0 2764145 270467072 64357 33554432000 4194304 5796924 140735040410288 140735040407752 4606640 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 66032 64357 178 392 0 65631 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 264128

[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 4620
/proc/meminfo: memFree=31130756/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1302.06 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 43644 0 0 0 130184 22 0 0 20 0 1 0 2764145 320970752 76434 33554432000 4194304 5796924 140735040410288 140735040407576 4606495 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 76434 178 392 0 77961 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 313448

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 4621
/proc/meminfo: memFree=31119068/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1362.06 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 44205 0 0 0 136182 24 0 0 20 0 1 0 2764145 320970752 74394 33554432000 4194304 5796924 140735040410288 140735040407576 4583148 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 74394 178 392 0 77961 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 313448

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4622
/proc/meminfo: memFree=31129452/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1422.05 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 44529 0 0 0 142180 25 0 0 20 0 1 0 2764145 320970752 74394 33554432000 4194304 5796924 140735040410288 140735040407576 4606514 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 74394 178 392 0 77961 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 313448

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 4627
/proc/meminfo: memFree=31168584/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=264128 CPUtime=1482.04 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 44703 0 0 0 148179 25 0 0 20 0 1 0 2764145 270467072 64365 33554432000 4194304 5796924 140735040410288 140735040407752 4568988 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 66032 64365 178 392 0 65631 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 264128

[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 4628
/proc/meminfo: memFree=31166972/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=264128 CPUtime=1542.04 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 45022 0 0 0 154178 26 0 0 20 0 1 0 2764145 270467072 64365 33554432000 4194304 5796924 140735040410288 140735040407752 4593232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 66032 64365 178 392 0 65631 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 264128

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 4629
/proc/meminfo: memFree=31114716/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=344268 CPUtime=1602.02 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 45936 0 0 0 160175 27 0 0 20 0 1 0 2764145 352530432 77533 33554432000 4194304 5796924 140735040410288 140735040407928 4606565 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 86067 77533 178 392 0 85666 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 344268

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 4630
/proc/meminfo: memFree=31115160/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=313448 CPUtime=1662.01 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 46259 0 0 0 166173 28 0 0 20 0 1 0 2764145 320970752 75930 33554432000 4194304 5796924 140735040410288 140735040407576 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 78362 75930 178 392 0 77961 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 313448

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 4631
/proc/meminfo: memFree=31076196/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=334584 CPUtime=1722 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 47317 0 0 0 172170 30 0 0 20 0 1 0 2764145 342614016 75773 33554432000 4194304 5796924 140735040410288 140735040407576 4607215 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 83646 75773 178 392 0 83245 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 334584

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 4633
/proc/meminfo: memFree=31115224/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=334584 CPUtime=1781.99 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 48224 0 0 0 178167 32 0 0 20 0 1 0 2764145 342614016 73725 33554432000 4194304 5796924 140735040410288 140735040407576 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 83646 73725 178 392 0 83245 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 334584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 4633
/proc/meminfo: memFree=31096360/32872528 swapFree=170020/176152
[pid=4533] ppid=4530 vsize=334584 CPUtime=1800.09 cores=1,3,5,7
/proc/4533/stat : 4533 (naps-1.02) R 4530 4533 1985 0 -1 4202496 48228 0 0 0 179977 32 0 0 20 0 1 0 2764145 342614016 75773 33554432000 4194304 5796924 140735040410288 140735040407576 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/4533/statm: 83646 75773 178 392 0 83245 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 334584

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 4533 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.77
CPU system time (s): 0.32595
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 365404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.32595
maximum resident set size= 319744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48240
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= 47
involuntary context switches= 2025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83026 second user time and 7.19091 second system time

The end

Begin job on node105 at 2016-06-29 23:55:28
IDJOB=4118423
IDBENCH=111492
IDSOLVER=2544
FILE ID=node105/4118423-1467237328
RUNJOBID= node105-1467233726-4227
PBS_JOBID= 19997600
Free space on /tmp= 71736 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament50.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118423-1467237328/watcher-4118423-1467237328 -o /tmp/evaluation-result-4118423-1467237328/solver-4118423-1467237328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467233726-4227 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118423-1467237328.opb

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

MD5SUM BENCH= 79ba3292e41e8cd575854fc91abd48c3
RANDOM SEED=159156824

node105.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.487
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	: 5332.97
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.487
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.55
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.487
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.487
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.487
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.487
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.55
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.487
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.487
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31610828 kB
Buffers:           68556 kB
Cached:           295608 kB
SwapCached:            0 kB
Active:            94900 kB
Inactive:         283616 kB
Active(anon):      16520 kB
Inactive(anon):        4 kB
Active(file):      78380 kB
Inactive(file):   283612 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:        197492 kB
Mapped:            13796 kB
Shmem:               204 kB
Slab:             577656 kB
SReclaimable:      21888 kB
SUnreclaim:       555768 kB
KernelStack:        1472 kB
PageTables:         4772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     273816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71732 MiB
End job on node105 at 2016-06-30 00:25:29