0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4443891-1721317486.opb
26.42/26.55 s SATISFIABLE
26.42/26.55 c _____________________________________________________________________________
26.42/26.55 c
26.42/26.55 c std/band forms : 3240,1
26.42/26.55 c 2cl/3cl ITE-codings : 23581,45278
26.42/26.55 c BDD/srt/adr Max costs : 46477,0,0
26.42/26.55 c BDDraw/bin/mul/srt/adr: 3241,0,0,0,0
26.42/26.55 c BDD nodes : 1227439
26.42/26.55 c Es1/CC detections : 0,0
26.42/26.55 c SAT/UNSAT calls : 1,0
26.42/26.55 c regenrated variables : 0
26.42/26.55 c restarts : 52
26.42/26.55 c conflicts : 9003 (341 /sec)
26.42/26.55 c decisions : 291525 (11050 /sec)
26.42/26.55 c propagations : 12149495 (460522 /sec)
26.42/26.55 c inspects : 0 (0 /sec)
26.42/26.55 c CPU time (solving tm) : 26.38 s (14.63 s)
26.42/26.55 c Time for Opt-base : 0 s
26.42/26.55 c _____________________________________________________________________________
26.42/26.55 v -x3 -x1601 -x4 -x1602 -x5 -x1603 -x6 -x1604 -x8 -x1605 -x9 -x1606 -x10 -x1607 -x12 -x1608 -x13 -x1609 -x15 -x1610 -x17 -x1611 -x18 -x1612 -x19 -x1613 -x23 -x1614 -x25 -x1615 -x26 -x1616 -x28 -x1617 -x29 -x1618 -x30 -x1619 -x31 -x1620 x33 -x1621 -x34 -x1622 -x35 -x1623 -x38 -x1624 -x39 -x1625 -x40 -x1626 -x1627 -x1628 -x1629 -x7 -x1630 -x1631 -x1632 -x11 -x1633 -x1634 -x1635 -x14 -x1636 -x1637 -x1638 -x1639 -x1640 -x20 -x1641 -x21 -x1642 -x22 -x1643 -x24 -x1644 -x27 -x1645 -x1646 -x1647 -x1648 -x32 -x1649 -x1650 -x1651 -x1652 -x36 -x1653 -x37 -x1654 -x1655 -x1656 -x1 -x1657 -x2 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x16 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 -x2722 x2723 x2724 x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
26.42/26.55 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62803 MiB free)
memory of node 1: 64473 MiB (63064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443891-1721317486/watcher-4443891-1721317486 -o /tmp/evaluation-result-4443891-1721317486/solver-4443891-1721317486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964661 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443891-1721317486.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=965093, runsolver pid=965090
[startup+0.100523 s]*
/proc/loadavg: 3.02 2.64 3.09 5/249 965098
/proc/meminfo: memFree=128884108/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=7616 memory=2560 CPUtime=0.1 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 354 0 0 0 10 0 0 0 20 0 1 0 183905726 7798784 640 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 1904 640 405 379 0 1438 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17548 KiB
Current children cumulated memory: 5324 KiB
[startup+0.212989 s]*
/proc/loadavg: 3.02 2.64 3.09 5/249 965098
/proc/meminfo: memFree=128877240/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=9260 memory=4588 CPUtime=0.21 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 820 0 0 0 21 0 0 0 20 0 1 0 183905726 9482240 1147 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 2315 1147 405 379 0 1849 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 19192 KiB
Current children cumulated memory: 7352 KiB
[startup+0.312325 s]*
/proc/loadavg: 3.02 2.64 3.09 5/249 965098
/proc/meminfo: memFree=128871964/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=10388 memory=6196 CPUtime=0.31 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 1253 0 0 0 31 0 0 0 20 0 1 0 183905726 10637312 1549 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 2597 1549 405 379 0 2131 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20320 KiB
Current children cumulated memory: 8960 KiB
[startup+0.700336 s]
/proc/loadavg: 3.10 2.66 3.09 5/249 965098
/proc/meminfo: memFree=128863396/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=14564 memory=12608 CPUtime=0.68 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 2520 0 0 0 68 0 0 0 20 0 1 0 183905726 14913536 3152 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 3641 3152 405 379 0 3175 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 24496 KiB
Current children cumulated memory: 15372 KiB
[startup+1.50036 s]
/proc/loadavg: 3.10 2.66 3.09 5/249 965098
/proc/meminfo: memFree=128839932/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=26120 memory=22368 CPUtime=1.47 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 5309 0 0 0 147 0 0 0 20 0 1 0 183905726 26746880 5592 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 6530 5592 405 379 0 6064 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36052 KiB
Current children cumulated memory: 25132 KiB
[startup+3.11244 s]
/proc/loadavg: 3.10 2.66 3.09 5/249 965098
/proc/meminfo: memFree=128712108/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=55624 memory=45432 CPUtime=3.09 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 9853 0 0 0 307 2 0 0 20 0 1 0 183905726 56958976 11358 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 13906 11358 405 379 0 13440 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 65556 KiB
Current children cumulated memory: 48196 KiB
[startup+6.30033 s]
/proc/loadavg: 3.17 2.69 3.10 5/249 965098
/proc/meminfo: memFree=128597856/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=95420 memory=89744 CPUtime=6.27 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 16971 0 0 0 622 5 0 0 20 0 1 0 183905726 97710080 22436 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 23855 22436 405 379 0 23389 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105352 KiB
Current children cumulated memory: 92508 KiB
[startup+12.7004 s]
/proc/loadavg: 3.24 2.71 3.10 5/249 965100
/proc/meminfo: memFree=128355600/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=175300 CPUtime=12.66 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 37902 0 0 0 1257 9 0 0 20 0 1 0 183905726 201691136 43825 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 43825 421 379 0 48775 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 178064 KiB
[startup+25.5004 s]
/proc/loadavg: 3.43 2.77 3.12 5/249 965102
/proc/meminfo: memFree=128000592/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=179736 CPUtime=25.42 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 38035 0 0 0 2533 9 0 0 20 0 1 0 183905726 201691136 44934 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 44934 421 379 0 48775 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 182500 KiB
[startup+26.5592 s]
# the end of solver process 965093 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=26.3861 s, system=0.10853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 3.43 2.77 3.12 5/249 965102
/proc/meminfo: memFree=128000592/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=179736 CPUtime=25.52 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 38035 0 0 0 2543 9 0 0 20 0 1 0 183905726 201691136 44934 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 44934 421 379 0 48775 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 182500 KiB
[startup+26.0004 s]*
/proc/loadavg: 3.48 2.79 3.12 5/249 965102
/proc/meminfo: memFree=128000516/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=179736 CPUtime=25.93 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 38035 0 0 0 2584 9 0 0 20 0 1 0 183905726 201691136 44934 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 44934 421 379 0 48775 0
Current children cumulated CPU time: 25.93 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 182500 KiB
[startup+26.4004 s]
/proc/loadavg: 3.48 2.79 3.12 5/249 965102
/proc/meminfo: memFree=128000516/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=179736 CPUtime=26.32 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 38035 0 0 0 2623 9 0 0 20 0 1 0 183905726 201691136 44934 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 44934 421 379 0 48775 0
Current children cumulated CPU time: 26.32 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 182500 KiB
[startup+26.5004 s]
/proc/loadavg: 3.48 2.79 3.12 5/249 965102
/proc/meminfo: memFree=128000516/131655788 swapFree=131070704/131071996
[pid=965093] ppid=965090 vsize=9932 memory=2764 CPUtime=0 cores=4,6
/proc/965093/stat : 965093 (naps-1.02b5.sh) S 965090 965093 964650 0 -1 4194304 221 245 0 0 0 0 0 0 20 0 1 0 183905726 10170368 691 134679101440 93916317470720 93916318550040 140730505276400 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93916320648496 93916320695684 93916347748352 140730505278431 140730505278558 140730505278558 140730505285574 0
/proc/965093/statm: 2483 691 614 264 0 134 0
[pid=965098] ppid=965093 vsize=196964 memory=181784 CPUtime=26.42 cores=4,6
/proc/965098/stat : 965098 (naps-1.02b5) R 965093 965093 964650 0 -1 4194304 38036 0 0 0 2633 9 0 0 20 0 1 0 183905726 201691136 45446 134679101440 4194304 5746509 140735106608128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 22872064 140735106614254 140735106614368 140735106614368 140735106621385 0
/proc/965098/statm: 49241 45446 421 379 0 48775 0
Current children cumulated CPU time: 26.42 s
Current children cumulated vsize: 206896 KiB
Current children cumulated memory: 184548 KiB
Child status: 20
Real time (s): 26.5593
CPU time (s): 26.4946
CPU user time (s): 26.3861
CPU system time (s): 0.10853
CPU usage (%): 99.7564
Max. virtual memory (cumulated for all children) (KiB): 206896
Max. memory (cumulated for all children) (KiB): 184548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.3861
system time used= 0.10853
maximum resident set size= 181864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 965093
# total CPU time (s): 26.4946
# total CPU user time (s): 26.3861
# total CPU system time (s): 0.10853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.182561 second user time and 0.29305 second system time
The end
Begin job on nodeC011 at 2024-07-18 17:44:58
IDJOB=4443891
IDBENCH=147889
IDSOLVER=3065
FILE ID=nodeC011/4443891-1721317486
RUNJOBID= nodeC011-1721317456-964661
SLURM_JOB_ID= 7542661
Free space on /tmp= 723476 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443891-1721317486/watcher-4443891-1721317486 -o /tmp/evaluation-result-4443891-1721317486/solver-4443891-1721317486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964661 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443891-1721317486.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83145cb85d026c8624ca6bfbca5bd154
RANDOM SEED=1680736545
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.778
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1383.653
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1653.421
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3541.573
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.142
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128890100 kB
MemAvailable: 129617992 kB
Buffers: 508800 kB
Cached: 1058336 kB
SwapCached: 132 kB
Active: 1142388 kB
Inactive: 1133240 kB
Active(anon): 1468 kB
Inactive(anon): 744440 kB
Active(file): 1140920 kB
Inactive(file): 388800 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 316112 kB
Writeback: 0 kB
AnonPages: 708432 kB
Mapped: 109740 kB
Shmem: 37400 kB
KReclaimable: 76744 kB
Slab: 158520 kB
SReclaimable: 76744 kB
SUnreclaim: 81776 kB
KernelStack: 3936 kB
PageTables: 10544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1110908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 301056 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723472 MiB
End job on nodeC011 at 2024-07-18 17:45:25