Trace number 4530116

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a2SAT (TO)410 3600.32 3612.1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUMaa9fde9a58805e0fa430d773484bcae7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark288
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

997.00/1000.67	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530116-1752252525.opb
997.00/1000.67	c Solving mode: optimization
997.00/1000.67	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.00/1000.67	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.00/1000.67	c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
997.00/1000.67	c presolving:
997.00/1000.67	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
997.00/1000.67	c (round 2, medium)     0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 43200 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
997.00/1000.67	c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 43200 chg sides, 64800 chg coeffs, 42620 upgd conss, 0 impls, 3960 clqs
997.00/1000.67	c    (1.7s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
997.00/1000.67	c    (1.7s) probing aborted: 50/50 successive totally useless probings
997.00/1000.67	c    (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.00/1000.67	c    (2.6s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.09)
997.00/1000.67	c dynamic symmetry handling statistics:
997.00/1000.67	c    orbitopal reduction:       no components
997.00/1000.67	c    orbital reduction:          1 components of sizes 2
997.00/1000.67	c    lexicographic reduction:    2 permutations with support sizes 2624, 2700
997.00/1000.67	c handled 1 out of 1 symmetry components
997.00/1000.67	c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
997.00/1000.67	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
997.00/1000.67	c  0 implications, 3960 cliques
997.00/1000.67	c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
997.00/1000.67	c   21770 constraints of type <knapsack>
997.00/1000.67	c    3960 constraints of type <setppc>
997.00/1000.67	c   16890 constraints of type <logicor>
997.00/1000.67	c transformed objective value is always integral (scale: 1)
997.00/1000.67	c Presolving Time: 2.51
997.00/1000.67	c 
997.00/1000.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
997.00/1000.67	c   9.9s|     1 |     0 |  8135 |     - |   411M |   0 |2700 |  42k|  42k|   0 |  0 | 102 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c  48.1s|     1 |     0 | 49451 |     - |   416M |   0 |2700 |  42k|  42k|  12 |  1 | 107 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c  58.6s|     1 |     0 | 54221 |     - |   421M |   0 |2700 |  42k|  42k|  22 |  2 | 109 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c  69.0s|     1 |     0 | 58836 |     - |   425M |   0 |2700 |  42k|  42k|  34 |  3 | 113 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c  81.6s|     1 |     0 | 65366 |     - |   429M |   0 |2700 |  42k|  42k|  46 |  4 | 115 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c  94.1s|     1 |     0 | 71340 |     - |   433M |   0 |2700 |  42k|  42k|  56 |  5 | 118 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   106s|     1 |     0 | 77348 |     - |   438M |   0 |2700 |  42k|  42k|  70 |  6 | 119 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   119s|     1 |     0 | 83524 |     - |   442M |   0 |2700 |  42k|  42k|  84 |  7 | 129 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   132s|     1 |     0 | 90455 |     - |   446M |   0 |2700 |  42k|  42k|  96 |  8 | 137 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   144s|     1 |     0 | 97639 |     - |   451M |   0 |2700 |  42k|  42k| 106 |  9 | 141 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   158s|     1 |     0 |105047 |     - |   455M |   0 |2700 |  42k|  42k| 117 | 10 | 143 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   167s|     1 |     0 |112222 |     - |   460M |   0 |2700 |  42k|  42k| 128 | 11 | 145 |   0 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c   304s|     1 |     2 |200022 |     - |   462M |   0 |2700 |  42k|  42k| 128 | 11 | 208 |  20 | 1.400000e+02 |      --      |    Inf | unknown
997.00/1000.67	c 
997.00/1000.67	c SCIP Status        : solving was interrupted [time limit reached]
997.00/1000.67	c Solving Time (sec) : 1000.00
997.00/1000.67	c Solving Nodes      : 82
997.00/1000.67	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
997.00/1000.67	c Dual Bound         : +1.40000000000000e+02
997.00/1000.67	c Gap                : infinite
997.00/1000.67	c ----------------------------------------------------------------------
997.00/1000.67	c dual bound: 140.0 -> 140
997.00/1000.67	c primal bound: 1e+20 -> 100000000000000000000
997.00/1000.67	c scip-goal-lb: 140
997.00/1000.67	c scip-goal-ub: 100000000000000000000
997.00/1000.67	c writing output to: HOME/tmpluoqyk0_.opb
997.00/1000.67	c appending fixed variable constraints
997.00/1000.67	c scip-fixed vars: 0.37% (10/2700)
997.00/1000.67	c ----------------------------------------------------------------------
997.00/1000.67	c executing external solver: HOME/naps-1.03a6
997.00/1000.67	c ----------------------------------------------------------------------
997.00/1000.67	c command: HOME/naps-1.03a6 -goal-lb=140 -goal-ub=99999999999999999999 HOME/tmpluoqyk0_.opb
997.00/1000.69	c NaPS 1.03a6.
997.00/1000.70	c Input file name: HOME/tmpluoqyk0_.opb
999.28/1002.94	c single stage optimization mode
3600.09/3611.90	o 410
3600.09/3611.90	c
3600.09/3611.90	c *** TERMINATED *** by signal 15
3600.09/3611.90	c s SATISFIABLE
3600.09/3611.90	c _____________________________________________________________________________
3600.09/3611.90	c std/band forms        : 22402,0
3600.09/3611.90	c 2cl/3cl ITE-codings   : 308655,0
3600.09/3611.90	c BDD/srt/adr Max costs : 387514,536,0
3600.09/3611.90	c BDDraw/bin/mul/srt/adr: 21602,0,0,800,0
3600.09/3611.90	c BDD nodes             : 550802
3600.09/3611.90	c Es1/CC detections     : 0,0
3600.09/3611.90	c CC sort               : 800
3600.09/3611.90	c SAT/UNSAT calls       : 1,0
3600.09/3611.90	c regenrated variables  : 0
3600.09/3611.90	c eliminated fixed lits : 11
3600.09/3611.90	c goal lit flips        : 0
3600.09/3611.90	c goal stages           : 1
3600.09/3611.90	c goal shrink           : 0
3600.09/3611.90	c goal coeff separations: 0
3600.09/3611.90	c restarts              : 310
3600.09/3611.90	c conflicts             : 4252           (2 /sec)
3600.09/3611.90	c decisions             : 411391         (158 /sec)
3600.09/3611.90	c propagations          : 3367637        (1294 /sec)
3600.09/3611.90	c inspects              : 0              (0 /sec)
3600.09/3611.90	c CPU time (solving tm) : 2602 s        (2599 s, SAT 1.807 s, UNSAT 0 s)
3600.09/3611.90	c Time for Opt-base     : 0.003103 s
3600.09/3611.90	c Steps for Opt-base    : 0
3600.09/3611.90	c Time for BDD coding   : 1.915 s
3600.09/3611.90	c Time for srt coding   : 0.01351 s
3600.09/3611.90	c _____________________________________________________________________________
3600.09/3611.90	c v -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 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x3 x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 -x105 x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 x1207 -x1307 -x1407 -x1507 -x1607 -x1707 x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 x1609 -x1709 -x10 -x110 -x210 -x310 -x410 x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 x814 -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 x1219 -x1319 -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 -x928 x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 -x1632 x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 x1536 -x1636 -x1736 -x37 x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 -x438 x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 x1341 -x1441 -x1541 -x1641 -x1741 -x42 x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243 -x343 -x443 -x543 -x643 x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 -x346 -x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151 -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 -x1757 -x58 x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 x1461 -x1561 -x1661 -x1761 x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 x1765 -x66 -x166 x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 -x1768 -x69
3600.09/3611.90	c v -x169 -x269 x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 -x80 -x180 -x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 x587 -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 x112 -x212 -x312 x412 -x512 x612 -x712 -x812 x912 -x1012 x1112 -x1212 -x1312 -x1412 x1512 x1612 x1712 -x23 x123 x223 -x323 -x423 -x523 x623 x723 -x823 -x923 -x1023 x1123 x1223 x1323 -x1423 -x1523 x1623 x1723 x34 -x134 x234 x334 x434 -x534 -x634 x734 x834 -x934 -x1034 x1134 -x1234 x1334 -x1434 -x1534 x1634 -x1734 -x45 -x145 x245 x345 -x445 x545 x645 -x745 -x845 x945 x1045 -x1145 x1245 -x1345 -x1445 x1545 -x1645 x1745 -x56 -x156 x256 x356 -x456 x556 -x656 -x756 x856 x956 x1056 -x1156 x1256 -x1356 x1456 x1556 -x1656 -x1756 -x67 x167 -x267 -x367 x467 x567 x667 -x767 x867 -x967 -x1067 x1167 x1267 x1367 -x1467 x1567 -x1667 -x1767 x78 x178 x278 -x378 x478 x578 -x678 -x778 x878 x978 x1078 -x1178 -x1278 -x1378 x1478 -x1578 -x1678 -x1778 x89 -x189 -x289 x389 x489 -x589 -x689 x789 x889 -x989 -x1089 -x1189 x1289 -x1389 x1489 -x1589 x1689 x1789 x100 x200 -x300 -x400 -x500 x600 -x700 x800 -x900 x1000 x1100 -x1200 -x1300 x1400 x1500 -x1600 x1700 -x1800 -x1 -x101 -x201 x301 -x401 -x501 x601 x701 -x801 -x901 x1001 x1101 -x1201 x1301 x1401 x1501 -x1601 x1701
3600.09/3611.90	c received SIGTERM, forwarding to pbsolver...
3600.09/3611.91	s SATISFIABLE
3600.09/3611.91	v -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 -x2 -x102 -x202 -x302 -x402 -x502 -x602 -x702 -x802 x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x3 x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x4 -x104 -x204 -x304 x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 -x1604 -x1704 -x5 -x105 x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 x1207 -x1307 -x1407 -x1507 -x1607 -x1707 x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 -x1708 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 x1609 -x1709 -x10 -x110 -x210 -x310 -x410 x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x11 -x111 -x211 x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x13 -x113 x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x14 -x114 -x214 -x314 -x414 -x514 -x614 -x714 x814 -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x15 -x115 -x215 -x315 -x415 x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 -x1515 -x1615 -x1715 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 -x1716 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 x1317 -x1417 -x1517 -x1617 -x1717 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 -x1118 -x1218 -x1318 x1418 -x1518 -x1618 -x1718 -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 -x1019 -x1119 x1219 -x1319 -x1419 -x1519 -x1619 -x1719 -x20 -x120 -x220 -x320 -x420 -x520 -x620 x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 -x1720 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 x1521 -x1621 -x1721 -x22 -x122 -x222 -x322 x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 -x1722 -x24 -x124 -x224 x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 -x1724 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x26 -x126 -x226 -x326 -x426 x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 -x928 x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 -x1728 x29 -x129 -x229 -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 -x830 -x930 -x1030 -x1130 -x1230 -x1330 x1430 -x1530 -x1630 -x1730 -x31 -x131 -x231 -x331 -x431 -x531 x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 -x1632 x1732 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 x1536 -x1636 -x1736 -x37 x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x38 -x138 -x238 -x338 -x438 x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 -x1339 x1439 -x1539 -x1639 -x1739 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 -x1640 -x1740 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 x1341 -x1441 -x1541 -x1641 -x1741 -x42 x142 -x242 -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x43 -x143 -x243 -x343 -x443 -x543 -x643 x743 -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 -x1744 -x46 -x146 -x246 -x346 -x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 x1446 -x1546 -x1646 -x1746 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 -x1748 -x49 -x149 -x249 -x349 x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 x1650 -x1750 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 x1151 -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 x1652 -x1752 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 x1753 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 x1354 -x1454 -x1554 -x1654 -x1754 -x55 -x155 -x255 -x355 -x455 -x555 x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x57 -x157 -x257 -x357 x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 -x1757 -x58 x158 -x258 -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x59 -x159 -x259 -x359 -x459 -x559 -x659 x759 -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 -x1760 -x61 -x161 -x261 -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 x1461 -x1561 -x1661 -x1761 x62 -x162 -x262 -x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 -x1363 -x1463 -x1563 x1663 -x1763 -x64 -x164 -x264 -x364 -x464 -x564 -x664 x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 -x1764 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 x1765 -x66 -x166 x266 -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 -x1768 -x69
3600.09/3611.91	v -x169 -x269 x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 -x870 -x970 x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x71 -x171 -x271 -x371 -x471 -x571 -x671 x771 -x871 -x971 -x1071 -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 x1172 -x1272 -x1372 -x1472 -x1572 -x1672 -x1772 -x73 -x173 -x273 -x373 -x473 -x573 x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 x1674 -x1774 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 x1275 -x1375 -x1475 -x1575 -x1675 -x1775 -x76 -x176 -x276 x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 -x1776 -x77 -x177 -x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 x1577 -x1677 -x1777 -x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 x1779 -x80 -x180 -x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 x1380 -x1480 -x1580 -x1680 -x1780 -x81 -x181 -x281 -x381 -x481 -x581 -x681 -x781 -x881 -x981 x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 -x1781 -x82 -x182 -x282 -x382 -x482 -x582 x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 x1383 -x1483 -x1583 -x1683 -x1783 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 x1184 -x1284 -x1384 -x1484 -x1584 -x1684 -x1784 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 x1585 -x1685 -x1785 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 -x886 x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x87 -x187 -x287 -x387 -x487 x587 -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x88 -x188 x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 -x1488 -x1588 -x1688 -x1788 -x90 x190 -x290 -x390 -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 x1791 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 x1592 -x1692 -x1792 -x93 -x193 -x293 -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x94 -x194 x294 -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x95 -x195 -x295 x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x96 -x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 x1296 -x1396 -x1496 -x1596 -x1696 -x1796 -x97 -x197 -x297 -x397 -x497 -x597 x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x98 -x198 -x298 -x398 x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 x899 -x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 x12 x112 -x212 -x312 x412 -x512 x612 -x712 -x812 x912 -x1012 x1112 -x1212 -x1312 -x1412 x1512 x1612 x1712 -x23 x123 x223 -x323 -x423 -x523 x623 x723 -x823 -x923 -x1023 x1123 x1223 x1323 -x1423 -x1523 x1623 x1723 x34 -x134 x234 x334 x434 -x534 -x634 x734 x834 -x934 -x1034 x1134 -x1234 x1334 -x1434 -x1534 x1634 -x1734 -x45 -x145 x245 x345 -x445 x545 x645 -x745 -x845 x945 x1045 -x1145 x1245 -x1345 -x1445 x1545 -x1645 x1745 -x56 -x156 x256 x356 -x456 x556 -x656 -x756 x856 x956 x1056 -x1156 x1256 -x1356 x1456 x1556 -x1656 -x1756 -x67 x167 -x267 -x367 x467 x567 x667 -x767 x867 -x967 -x1067 x1167 x1267 x1367 -x1467 x1567 -x1667 -x1767 x78 x178 x278 -x378 x478 x578 -x678 -x778 x878 x978 x1078 -x1178 -x1278 -x1378 x1478 -x1578 -x1678 -x1778 x89 -x189 -x289 x389 x489 -x589 -x689 x789 x889 -x989 -x1089 -x1189 x1289 -x1389 x1489 -x1589 x1689 x1789 x100 x200 -x300 -x400 -x500 x600 -x700 x800 -x900 x1000 x1100 -x1200 -x1300 x1400 x1500 -x1600 x1700 -x1800 -x1 -x101 -x201 x301 -x401 -x501 x601 x701 -x801 -x901 x1001 x1101 -x1201 x1301 x1401 x1501 -x1601 x1701

Verifier Data 

OK	410

Watcher Data 

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: 63837 MiB (61147 MiB free)
  memory of node 1: 64465 MiB (61895 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530116-1752252525/watcher-4530116-1752252525 -o /tmp/evaluation-result-4530116-1752252525/solver-4530116-1752252525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752252515-115769 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530116-1752252525.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=115989, runsolver pid=115986
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125992008/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=12812 memory=10112 CPUtime=0.05 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 1505 0 0 0 5 0 0 0 20 0 1 0 140931311 13119488 2528 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 3203 2528 1184 1 0 1406 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 17004 KiB
Current children cumulated memory: 13184 KiB

[startup+0.213512 s]*
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125986496/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1185840 memory=30588 CPUtime=0.14 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 3470 0 0 0 12 2 0 0 20 0 1 0 140931311 1214300160 7647 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 296460 7647 4806 1 0 268528 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 1190032 KiB
Current children cumulated memory: 33660 KiB

[startup+0.313422 s]*
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125982716/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1189592 memory=34812 CPUtime=0.23 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 4303 0 0 0 20 3 0 0 20 0 1 0 140931311 1218142208 8703 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 297398 8703 5062 1 0 269307 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 1193784 KiB
Current children cumulated memory: 37884 KiB

[startup+0.700257 s]
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125956508/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1247304 memory=100604 CPUtime=0.57 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 18175 0 0 0 51 6 0 0 20 0 1 0 140931311 1277239296 25151 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 311826 25151 7846 1 0 283184 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 1251496 KiB
Current children cumulated memory: 103676 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125862836/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1337064 memory=189052 CPUtime=1.37 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 40195 0 0 0 127 10 0 0 20 0 1 0 140931311 1369153536 47263 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 334266 47263 7974 1 0 305624 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 1341256 KiB
Current children cumulated memory: 192124 KiB

[startup+3.11364 s]
/proc/loadavg: 4.15 4.11 4.15 5/258 115994
/proc/meminfo: memFree=125702968/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1529544 memory=339064 CPUtime=2.97 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 55826 0 0 0 282 15 0 0 20 0 1 0 140931311 1566253056 84766 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 382386 84766 7974 1 0 353744 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 1533736 KiB
Current children cumulated memory: 342136 KiB

[startup+6.30034 s]
/proc/loadavg: 4.14 4.11 4.14 5/258 115994
/proc/meminfo: memFree=125387488/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1636340 memory=443080 CPUtime=6.14 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 79937 0 0 0 594 20 0 0 20 0 1 0 140931311 1675612160 110770 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 409085 110770 8134 1 0 380443 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 1640532 KiB
Current children cumulated memory: 446152 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.11 4.14 5/258 115994
/proc/meminfo: memFree=125443072/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1636340 memory=443080 CPUtime=12.52 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 79937 0 0 0 1232 20 0 0 20 0 1 0 140931311 1675612160 110770 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 409085 110770 8134 1 0 380443 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 1640532 KiB
Current children cumulated memory: 446152 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.12 4.15 5/258 115996
/proc/meminfo: memFree=125468868/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1636340 memory=443080 CPUtime=25.29 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 79937 0 0 0 2509 20 0 0 20 0 1 0 140931311 1675612160 110770 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 409085 110770 8134 1 0 380443 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 1640532 KiB
Current children cumulated memory: 446152 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 4.11 4.14 5/258 115996
/proc/meminfo: memFree=125340624/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1649388 memory=453048 CPUtime=50.83 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 81374 0 0 0 5062 21 0 0 20 0 1 0 140931311 1688973312 113262 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 412347 113262 8166 1 0 383705 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 1653580 KiB
Current children cumulated memory: 456120 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.14 5/258 115998
/proc/meminfo: memFree=125100152/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1684312 memory=468672 CPUtime=101.86 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 84718 0 0 0 10165 21 0 0 20 0 1 0 140931311 1724735488 117168 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 421078 117168 8166 1 0 392436 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1688504 KiB
Current children cumulated memory: 471744 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/258 116000
/proc/meminfo: memFree=125011496/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1715024 memory=480860 CPUtime=161.69 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 86258 0 0 0 16147 22 0 0 20 0 1 0 140931311 1756184576 120215 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 428756 120215 8166 1 0 400114 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1719216 KiB
Current children cumulated memory: 483932 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/259 116003
/proc/meminfo: memFree=124983724/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1715024 memory=480860 CPUtime=221.52 cores=0,2
/proc/115994/stat : 115994 (python3) R 115989 115989 115030 0 -1 4194304 86282 0 0 0 22130 22 0 0 20 0 1 0 140931311 1756184576 120215 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 428756 120215 8166 1 0 400114 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1719216 KiB

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

/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=377008 memory=363864 CPUtime=2214.63 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 124510 0 0 0 221370 93 0 0 20 0 1 0 141031376 386056192 90966 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94252 90966 608 696 0 93413 0
Current children cumulated CPU time: 3211.71 s
Current children cumulated vsize: 2213400 KiB
Current children cumulated memory: 965768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/259 116159
/proc/meminfo: memFree=89742048/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=375916 memory=362852 CPUtime=2274.44 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 125071 0 0 0 227350 94 0 0 20 0 1 0 141031376 384937984 90713 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 93979 90713 608 696 0 93140 0
Current children cumulated CPU time: 3271.52 s
Current children cumulated vsize: 2212308 KiB
Current children cumulated memory: 964756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.20 4.18 5/259 116161
/proc/meminfo: memFree=90761952/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=375916 memory=362852 CPUtime=2334.25 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 125071 0 0 0 233331 94 0 0 20 0 1 0 141031376 384937984 90713 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 93979 90713 608 696 0 93140 0
Current children cumulated CPU time: 3331.33 s
Current children cumulated vsize: 2212308 KiB
Current children cumulated memory: 964756 KiB

[startup+3402.3 s]
/proc/loadavg: 4.64 4.31 4.22 5/259 116162
/proc/meminfo: memFree=91013808/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=377652 memory=364588 CPUtime=2394.07 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 125548 0 0 0 239312 95 0 0 20 0 1 0 141031376 386715648 91147 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94413 91147 608 696 0 93574 0
Current children cumulated CPU time: 3391.15 s
Current children cumulated vsize: 2214044 KiB
Current children cumulated memory: 966492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.27 4.21 5/259 116167
/proc/meminfo: memFree=90677704/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=377652 memory=364588 CPUtime=2453.88 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 125578 0 0 0 245293 95 0 0 20 0 1 0 141031376 386715648 91147 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94413 91147 608 696 0 93574 0
Current children cumulated CPU time: 3450.96 s
Current children cumulated vsize: 2214044 KiB
Current children cumulated memory: 966492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.26 4.21 5/260 116174
/proc/meminfo: memFree=86418160/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=378888 memory=365896 CPUtime=2513.7 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 126861 0 0 0 251273 97 0 0 20 0 1 0 141031376 387981312 91474 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94722 91474 608 696 0 93883 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 2215280 KiB
Current children cumulated memory: 967800 KiB

[startup+3582.3 s]
/proc/loadavg: 3.71 4.12 4.16 4/251 116207
/proc/meminfo: memFree=113413676/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=378888 memory=365896 CPUtime=2573.51 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 126866 0 0 0 257254 97 0 0 20 0 1 0 141031376 387981312 91474 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94722 91474 608 696 0 93883 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 2215280 KiB
Current children cumulated memory: 967800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.9 s]
/proc/loadavg: 3.19 3.96 4.11 2/235 116270
/proc/meminfo: memFree=126310388/131382120 swapFree=33010416/33010684
[pid=115989] ppid=115986 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/115989/stat : 115989 (scip-naps-1.00a) S 115986 115989 115030 0 -1 4194304 260 345 0 0 0 0 0 0 20 0 1 0 140931308 4292608 768 18446744073709551615 94673815257088 94673816151621 140732223944160 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94673816390672 94673816438416 94673835950080 140732223949211 140732223949310 140732223949310 140732223954914 0
/proc/115989/statm: 1048 768 704 219 0 110 0
[pid=115994] ppid=115989 vsize=1832200 memory=598832 CPUtime=997.08 cores=0,2
/proc/115994/stat : 115994 (python3) S 115989 115989 115030 0 -1 4194304 119414 0 0 0 99680 28 0 0 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 1 0 0 17 2 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
[pid=116051] ppid=115994 vsize=379376 memory=366384 CPUtime=2603.01 cores=0,2
/proc/116051/stat : 116051 (naps-1.03a6) R 115994 116051 116051 0 -1 4194304 127782 0 0 0 260203 98 0 0 20 0 1 0 141031376 388481024 91596 18446744073709551615 4198400 7047149 140724988427888 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 12398592 140724988430692 140724988430833 140724988430833 140724988436425 0
/proc/116051/statm: 94844 91596 608 696 0 94005 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2215768 KiB
Current children cumulated memory: 968288 KiB

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

[startup+3611.91 s]
# the end of solver process 115989 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002448 s, system=0.011401 s

[startup+3612.1 s]
# the end of solver process 115994 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3598.98 s, system=1.33809 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3612.01 s]*
/proc/loadavg: 3.19 3.96 4.11 2/233 116270
/proc/meminfo: memFree=126671292/131382120 swapFree=33010416/33010684
[pid=115994] ppid=115986 vsize=1832200 memory=598832 CPUtime=3600.22 cores=0,2
/proc/115994/stat : 115994 (python3) R 115986 115989 115030 0 -1 4194304 148178 127783 0 0 99690 30 260203 99 20 0 1 0 140931311 1876172800 149708 18446744073709551615 94093861494784 94093861495161 140736483767184 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94093861506456 94093861507076 94093888831488 140736483768670 140736483768864 140736483768864 140736483774439 0
/proc/115994/statm: 458050 149708 8198 1 0 429408 0
Current cumulated CPU time of completed processes: 0.013849 s
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 1832200 KiB
Current children cumulated memory: 598832 KiB

Child status: 0

Real time (s): 3612.1
CPU time (s): 3600.32
CPU user time (s): 3598.98
CPU system time (s): 1.33809
CPU usage (%): 99.674
Max. virtual memory (cumulated for all children) (KiB): 2280568
Max. memory (cumulated for all children) (KiB): 1033024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.98
system time used= 1.33809
maximum resident set size= 612320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359
involuntary context switches= 8219


# summary of solver processes directly reported to runsolver:
#   pid: 115989,115994
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3598.98
#   total CPU system time (s): 1.33809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0003 second user time and 36.9909 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-11 18:48:45
IDJOB=4530116
IDBENCH=147019
IDSOLVER=3388
FILE ID=nodeC002/4530116-1752252525
RUNJOBID= nodeC002-1752252515-115769
SLURM_JOB_ID= 9682570
Free space on /tmp= 431216 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530116-1752252525/watcher-4530116-1752252525 -o /tmp/evaluation-result-4530116-1752252525/solver-4530116-1752252525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752252515-115769 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530116-1752252525.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=899489526

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 1197.231
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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		: 3491.879
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.606
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.926
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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		: 3662.705
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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		: 3664.197
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.664
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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.189
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126008388 kB
MemAvailable:   128613424 kB
Buffers:            2128 kB
Cached:          3404324 kB
SwapCached:           28 kB
Active:          1457328 kB
Inactive:        3046692 kB
Active(anon):    1109100 kB
Inactive(anon):     6404 kB
Active(file):     348228 kB
Inactive(file):  3040288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15100 kB
Writeback:             0 kB
AnonPages:       1100668 kB
Mapped:           129192 kB
Shmem:             17932 kB
KReclaimable:     112292 kB
Slab:             200952 kB
SReclaimable:     112292 kB
SUnreclaim:        88660 kB
KernelStack:        4192 kB
PageTables:         5680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4718616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431244 MiB
End job on nodeC002 at 2025-07-11 19:48:57