0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4443531-1721317444.opb
25.12/25.28 s SATISFIABLE
25.12/25.28 c _____________________________________________________________________________
25.12/25.28 c
25.12/25.28 c std/band forms : 3240,1
25.12/25.28 c 2cl/3cl ITE-codings : 24169,45278
25.12/25.28 c BDD/srt/adr Max costs : 46477,0,0
25.12/25.28 c BDDraw/bin/mul/srt/adr: 3241,0,0,0,0
25.12/25.28 c BDD nodes : 1239679
25.12/25.28 c Es1/CC detections : 0,0
25.12/25.28 c SAT/UNSAT calls : 1,0
25.12/25.28 c regenrated variables : 0
25.12/25.28 c restarts : 5
25.12/25.28 c conflicts : 680 (27 /sec)
25.12/25.28 c decisions : 116489 (4638 /sec)
25.12/25.28 c propagations : 840977 (33481 /sec)
25.12/25.28 c inspects : 0 (0 /sec)
25.12/25.28 c CPU time (solving tm) : 25.12 s (12.97 s)
25.12/25.28 c Time for Opt-base : 0 s
25.12/25.28 c _____________________________________________________________________________
25.12/25.28 v -x2 -x1601 -x3 -x1602 -x4 -x1603 -x5 -x1604 -x6 -x1605 -x7 -x1606 -x8 -x1607 -x10 -x1608 -x12 -x1609 -x13 -x1610 -x16 -x1611 -x17 -x1612 -x18 -x1613 -x19 -x1614 -x20 -x1615 -x22 -x1616 -x23 -x1617 -x24 -x1618 -x26 -x1619 -x27 -x1620 -x28 -x1621 -x30 -x1622 -x31 -x1623 -x32 -x1624 -x33 -x1625 -x34 -x1626 -x35 -x1627 -x36 -x1628 x37 -x1629 -x39 -x1630 -x1 -x1631 -x1632 -x1633 -x1634 -x1635 -x9 -x1636 -x11 -x1637 -x1638 -x1639 -x14 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x21 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x40 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x15 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x29 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x38 -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 -x25 -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
25.12/25.28 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 (63131 MiB free)
memory of node 1: 64473 MiB (63325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443531-1721317444/watcher-4443531-1721317444 -o /tmp/evaluation-result-4443531-1721317444/solver-4443531-1721317444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964663 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443531-1721317444.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=964725, runsolver pid=964721
Current StackSize limit: 8192 KiB
[startup+0.100812 s]*
/proc/loadavg: 1.94 2.43 3.04 5/249 964739
/proc/meminfo: memFree=129484728/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=7612 memory=4604 CPUtime=0.1 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 329 0 0 0 10 0 0 0 20 0 1 0 183901566 7794688 1151 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 1903 1151 405 379 0 1437 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17544 KiB
Current children cumulated memory: 7400 KiB
[startup+0.21461 s]*
/proc/loadavg: 1.94 2.43 3.04 5/249 964739
/proc/meminfo: memFree=129481832/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=8244 memory=5336 CPUtime=0.21 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 483 0 0 0 21 0 0 0 20 0 1 0 183901566 8441856 1334 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 2061 1334 405 379 0 1595 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18176 KiB
Current children cumulated memory: 8132 KiB
[startup+0.312853 s]*
/proc/loadavg: 1.94 2.43 3.04 5/249 964739
/proc/meminfo: memFree=129477600/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=8828 memory=5884 CPUtime=0.3 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 638 0 0 0 30 0 0 0 20 0 1 0 183901566 9039872 1471 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 2207 1471 405 379 0 1741 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18760 KiB
Current children cumulated memory: 8680 KiB
[startup+0.700338 s]
/proc/loadavg: 1.94 2.43 3.04 5/249 964739
/proc/meminfo: memFree=129471044/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=11940 memory=8460 CPUtime=0.67 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 1308 0 0 0 67 0 0 0 20 0 1 0 183901566 12226560 2115 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 2985 2115 405 379 0 2519 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21872 KiB
Current children cumulated memory: 11256 KiB
[startup+1.50035 s]
/proc/loadavg: 1.94 2.43 3.04 5/249 964741
/proc/meminfo: memFree=129454152/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=19136 memory=17376 CPUtime=1.48 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 3316 0 0 0 147 1 0 0 20 0 1 0 183901566 19595264 4344 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 4784 4344 405 379 0 4318 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29068 KiB
Current children cumulated memory: 20172 KiB
[startup+3.113 s]
/proc/loadavg: 2.10 2.45 3.04 5/249 964741
/proc/meminfo: memFree=129361740/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=41796 memory=39056 CPUtime=3.09 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 8762 0 0 0 307 2 0 0 20 0 1 0 183901566 42799104 9764 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 10449 9764 405 379 0 9983 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51728 KiB
Current children cumulated memory: 41852 KiB
[startup+6.30032 s]
/proc/loadavg: 2.10 2.45 3.04 5/249 964741
/proc/meminfo: memFree=129177576/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=94696 memory=86292 CPUtime=6.27 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 16094 0 0 0 622 5 0 0 20 0 1 0 183901566 96968704 21573 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 23674 21573 405 379 0 23208 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 104628 KiB
Current children cumulated memory: 89088 KiB
[startup+12.7004 s]
/proc/loadavg: 2.26 2.48 3.05 5/246 964756
/proc/meminfo: memFree=129164692/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=174300 CPUtime=12.65 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37151 0 0 0 1256 9 0 0 20 0 1 0 183901566 201805824 43575 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 43575 421 379 0 48803 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 177096 KiB
[startup+25.2966 s]
# the end of solver process 964725 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=25.1232 s, system=0.107249 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8005 s]
/proc/loadavg: 2.26 2.48 3.05 5/246 964756
/proc/meminfo: memFree=129164692/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=174300 CPUtime=12.75 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37151 0 0 0 1266 9 0 0 20 0 1 0 183901566 201805824 43575 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 43575 421 379 0 48803 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 177096 KiB
[startup+19.2004 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964792
/proc/meminfo: memFree=128995204/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=174300 CPUtime=19.13 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37178 0 0 0 1904 9 0 0 20 0 1 0 183901566 201805824 43575 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 43575 421 379 0 48803 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 177096 KiB
[startup+22.4003 s]
/proc/loadavg: 2.52 2.53 3.06 5/249 964794
/proc/meminfo: memFree=128943328/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=178508 CPUtime=22.32 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37248 0 0 0 2223 9 0 0 20 0 1 0 183901566 201805824 44627 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 44627 421 379 0 48803 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 181304 KiB
[startup+24.0003 s]*
/proc/loadavg: 2.64 2.55 3.07 5/244 964829
/proc/meminfo: memFree=129065344/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=178744 CPUtime=23.93 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37262 0 0 0 2384 9 0 0 20 0 1 0 183901566 201805824 44686 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 44686 421 379 0 48803 0
Current children cumulated CPU time: 23.93 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 181540 KiB
[startup+24.8003 s]
/proc/loadavg: 2.64 2.55 3.07 5/244 964829
/proc/meminfo: memFree=129065344/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=178744 CPUtime=24.72 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37263 0 0 0 2463 9 0 0 20 0 1 0 183901566 201805824 44686 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 44686 421 379 0 48803 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 181540 KiB
[startup+25.2004 s]
/proc/loadavg: 2.64 2.55 3.07 5/249 964844
/proc/meminfo: memFree=129025464/131655788 swapFree=131070704/131071996
[pid=964725] ppid=964721 vsize=9932 memory=2796 CPUtime=0 cores=5,7
/proc/964725/stat : 964725 (naps-1.02b5.sh) S 964721 964725 964650 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 183901566 10170368 699 134679101440 94109522964480 94109524043800 140723038792912 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94109526142256 94109526189444 94109544116224 140723038798815 140723038798942 140723038798942 140723038805958 0
/proc/964725/statm: 2483 699 621 264 0 134 0
[pid=964735] ppid=964725 vsize=197076 memory=178744 CPUtime=25.12 cores=5,7
/proc/964735/stat : 964735 (naps-1.02b5) R 964725 964725 964650 0 -1 4194304 37290 0 0 0 2503 9 0 0 20 0 1 0 183901566 201805824 44686 134679101440 4194304 5746509 140724097347616 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 6344704 140724097352686 140724097352800 140724097352800 140724097359817 0
/proc/964735/statm: 49269 44686 421 379 0 48803 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 207008 KiB
Current children cumulated memory: 181540 KiB
Child status: 20
Real time (s): 25.2967
CPU time (s): 25.2305
CPU user time (s): 25.1232
CPU system time (s): 0.107249
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 207008
Max. memory (cumulated for all children) (KiB): 181540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1232
system time used= 0.107249
maximum resident set size= 178852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37767
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= 12
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 964725
# total CPU time (s): 25.2305
# total CPU user time (s): 25.1232
# total CPU system time (s): 0.107249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147723 second user time and 0.321708 second system time
The end
Begin job on nodeC011 at 2024-07-18 17:44:17
IDJOB=4443531
IDBENCH=147877
IDSOLVER=3065
FILE ID=nodeC011/4443531-1721317444
RUNJOBID= nodeC011-1721317456-964663
SLURM_JOB_ID= 7542661
Free space on /tmp= 723696 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.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-4443531-1721317444/watcher-4443531-1721317444 -o /tmp/evaluation-result-4443531-1721317444/solver-4443531-1721317444 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721317456-964663 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4443531-1721317444.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8c304efff63a51bc9fe525a7646c6360
RANDOM SEED=1205889639
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 : 1271.936
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 : 1245.129
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.131
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 : 1197.167
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 : 1275.151
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 : 1224.420
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.128
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.133
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: 129492360 kB
MemAvailable: 129997616 kB
Buffers: 508656 kB
Cached: 836952 kB
SwapCached: 132 kB
Active: 1009692 kB
Inactive: 665544 kB
Active(anon): 1420 kB
Inactive(anon): 365608 kB
Active(file): 1008272 kB
Inactive(file): 299936 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 95260 kB
Writeback: 0 kB
AnonPages: 329552 kB
Mapped: 107772 kB
Shmem: 37400 kB
KReclaimable: 74496 kB
Slab: 156452 kB
SReclaimable: 74496 kB
SUnreclaim: 81956 kB
KernelStack: 3872 kB
PageTables: 9624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 817796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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= 723612 MiB
End job on nodeC011 at 2024-07-18 17:44:42