Trace number 4486391
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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 Name | Answer | objective function | CPU time | Wall clock time |
|---|
| SCIP-NaPS 1.00a1 | SAT (TO) | 410 | 3600.42 | 3612.82 |
General information on the benchmark
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb |
| MD5SUM | aa9fde9a58805e0fa430d773484bcae7 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 288 |
| Best CPU time to get the best result obtained on this benchmark | 72000.9 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2700 |
| Total number of constraints | 42620 |
| Number of constraints which are clauses | 20220 |
| Number of constraints which are cardinality constraints (but not clauses) | 800 |
| Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 36 |
| 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 numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
Solver Data
997.25/1000.64 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4486391-1751290039.opb
997.25/1000.64 c Solving mode: optimization
997.25/1000.64 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
997.25/1000.64 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
997.25/1000.64 c original problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
997.25/1000.64 c presolving:
997.25/1000.64 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.25/1000.64 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.25/1000.64 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.25/1000.64 c (1.7s) probing: 51/2700 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
997.25/1000.64 c (1.7s) probing aborted: 50/50 successive totally useless probings
997.25/1000.64 c (2.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
997.25/1000.64 c (2.2s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
997.25/1000.64 c dynamic symmetry handling statistics:
997.25/1000.64 c orbitopal reduction: no components
997.25/1000.64 c orbital reduction: 1 components of sizes 2
997.25/1000.64 c lexicographic reduction: 2 permutations with support sizes 2624, 2700
997.25/1000.64 c handled 1 out of 1 symmetry components
997.25/1000.64 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
997.25/1000.64 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 43200 changed sides, 64800 changed coefficients
997.25/1000.64 c 0 implications, 3960 cliques
997.25/1000.64 c presolved problem has 2700 variables (2700 bin, 0 int, 0 impl, 0 cont) and 42620 constraints
997.25/1000.64 c 21770 constraints of type <knapsack>
997.25/1000.64 c 3960 constraints of type <setppc>
997.25/1000.64 c 16890 constraints of type <logicor>
997.25/1000.64 c transformed objective value is always integral (scale: 1)
997.25/1000.64 c Presolving Time: 2.08
997.25/1000.64 c
997.25/1000.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
997.25/1000.64 c 9.2s| 1 | 0 | 8135 | - | 411M | 0 |2700 | 42k| 42k| 0 | 0 | 102 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 46.9s| 1 | 0 | 49451 | - | 416M | 0 |2700 | 42k| 42k| 12 | 1 | 107 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 57.1s| 1 | 0 | 54221 | - | 421M | 0 |2700 | 42k| 42k| 22 | 2 | 109 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 67.2s| 1 | 0 | 58836 | - | 425M | 0 |2700 | 42k| 42k| 34 | 3 | 113 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 79.5s| 1 | 0 | 65366 | - | 429M | 0 |2700 | 42k| 42k| 46 | 4 | 115 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 91.7s| 1 | 0 | 71340 | - | 433M | 0 |2700 | 42k| 42k| 56 | 5 | 118 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 103s| 1 | 0 | 77348 | - | 438M | 0 |2700 | 42k| 42k| 70 | 6 | 119 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 116s| 1 | 0 | 83524 | - | 442M | 0 |2700 | 42k| 42k| 84 | 7 | 129 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 129s| 1 | 0 | 90455 | - | 446M | 0 |2700 | 42k| 42k| 96 | 8 | 137 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 140s| 1 | 0 | 97639 | - | 451M | 0 |2700 | 42k| 42k| 106 | 9 | 141 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 154s| 1 | 0 |105047 | - | 455M | 0 |2700 | 42k| 42k| 117 | 10 | 143 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 162s| 1 | 0 |112222 | - | 460M | 0 |2700 | 42k| 42k| 128 | 11 | 145 | 0 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c 297s| 1 | 2 |200022 | - | 462M | 0 |2700 | 42k| 42k| 128 | 11 | 208 | 20 | 1.400000e+02 | -- | Inf | unknown
997.25/1000.64 c
997.25/1000.64 c SCIP Status : solving was interrupted [time limit reached]
997.25/1000.64 c Solving Time (sec) : 1000.00
997.25/1000.64 c Solving Nodes : 91
997.25/1000.64 c Primal Bound : +1.00000000000000e+20 (0 solutions)
997.25/1000.64 c Dual Bound : +1.40000000000000e+02
997.25/1000.64 c Gap : infinite
997.25/1000.64 c ----------------------------------------------------------------------
997.25/1000.64 c dual bound: 140.0 -> 140
997.25/1000.64 c primal bound: 1e+20 -> 100000000000000000000
997.25/1000.64 c scip-goal-lb: 140
997.25/1000.64 c scip-goal-ub: 100000000000000000000
997.25/1000.64 c writing output to: HOME/tmp_3d40w1u.opb
997.25/1000.64 c appending fixed variable constraints
997.25/1000.64 c scip-fixed vars: 0.37% (10/2700)
997.25/1000.64 c ----------------------------------------------------------------------
997.25/1000.64 c executing external solver: HOME/naps-1.03a6
997.25/1000.64 c ----------------------------------------------------------------------
997.25/1000.64 c command: HOME/naps-1.03a6 -goal-lb=140 -goal-ub=99999999999999999999 HOME/tmp_3d40w1u.opb
997.25/1000.66 c NaPS 1.03a6.
997.25/1000.66 c Input file name: HOME/tmp_3d40w1u.opb
1000.72/1004.17 c single stage optimization mode
3600.00/3612.40 o 410
3600.00/3612.40 c
3600.00/3612.40 c *** TERMINATED *** by signal 15
3600.00/3612.40 c _____________________________________________________________________________
3600.00/3612.40 c std/band forms : 22402,0
3600.00/3612.40 c 2cl/3cl ITE-codings : 308655,0
3600.00/3612.40 c BDD/srt/adr Max costs : 387514,536,0
3600.00/3612.40 c BDDraw/bin/mul/srt/adr: 21602,0,0,800,0
3600.00/3612.40 c BDD nodes : 550802
3600.00/3612.40 c Es1/CC detections : 0,0
3600.00/3612.40 c CC sort : 800
3600.00/3612.40 c SAT/UNSAT calls : 1,0
3600.00/3612.40 c regenrated variables : 0
3600.00/3612.40 c eliminated fixed lits : 11
3600.00/3612.40 c goal lit flips : 0
3600.00/3612.40 c goal stages : 1
3600.00/3612.40 c goal shrink : 0
3600.00/3612.40 c goal coeff separations: 0
3600.00/3612.40 c restarts : 310
3600.00/3612.40 c conflicts : 4252 (2 /sec)
3600.00/3612.40 c decisions : 411391 (158 /sec)
3600.00/3612.40 c propagations : 3367637 (1294 /sec)
3600.00/3612.40 c inspects : 0 (0 /sec)
3600.00/3612.40 c CPU time (solving tm) : 2602 s (2597 s, SAT 1.671 s, UNSAT 0 s)
3600.00/3612.40 c Time for Opt-base : 0.009073 s
3600.00/3612.40 c Steps for Opt-base : 0
3600.00/3612.40 c Time for BDD coding : 2.29 s
3600.00/3612.40 c Time for srt coding : 0.03402 s
3600.00/3612.40 c _____________________________________________________________________________
3600.00/3612.40 s SATISFIABLE
3600.00/3612.40 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.00/3612.40 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.29/3612.72 c received SIGTERM, forwarding to pbsolver...
3600.29/3612.72 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
Verifier Data
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 (47895 MiB free)
memory of node 1: 64465 MiB (43525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486391-1751290039/watcher-4486391-1751290039 -o /tmp/evaluation-result-4486391-1751290039/solver-4486391-1751290039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40131 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486391-1751290039.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=41862, runsolver pid=41859
[startup+0.100071 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93615704/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=18944 memory=13952 CPUtime=0.06 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 1833 0 0 0 6 0 0 0 20 0 1 0 44683332 19398656 3456 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 4736 3488 1952 1 0 1509 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 23136 KiB
Current children cumulated memory: 16896 KiB
[startup+0.213879 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93611936/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1186916 memory=31672 CPUtime=0.17 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 3694 0 0 0 15 2 0 0 20 0 1 0 44683332 1215401984 7918 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 296729 7918 4881 1 0 268751 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 34616 KiB
[startup+0.313423 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93606896/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1192476 memory=37560 CPUtime=0.27 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 4758 0 0 0 24 3 0 0 20 0 1 0 44683332 1221095424 9390 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 298119 9390 5329 1 0 269793 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1196668 KiB
Current children cumulated memory: 40504 KiB
[startup+0.700395 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93579680/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1258368 memory=110264 CPUtime=0.64 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 20629 0 0 0 57 7 0 0 20 0 1 0 44683332 1288568832 27566 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 314592 27566 7825 1 0 285950 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1262560 KiB
Current children cumulated memory: 113208 KiB
[startup+1.5004 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93500012/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1337268 memory=189112 CPUtime=1.44 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 40249 0 0 0 132 12 0 0 20 0 1 0 44683332 1369362432 47278 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 334317 47278 7953 1 0 305675 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1341460 KiB
Current children cumulated memory: 192056 KiB
[startup+3.11325 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 41867
/proc/meminfo: memFree=92455072/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1634780 memory=438852 CPUtime=3.05 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 80713 0 0 0 286 19 0 0 20 0 1 0 44683332 1674014720 109713 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 408695 109713 8081 1 0 380053 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1638972 KiB
Current children cumulated memory: 441796 KiB
[startup+6.30039 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 41867
/proc/meminfo: memFree=92361148/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1636292 memory=442436 CPUtime=6.22 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 82083 0 0 0 603 19 0 0 20 0 1 0 44683332 1675563008 110609 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 409073 110609 8145 1 0 380431 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1640484 KiB
Current children cumulated memory: 445380 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 41867
/proc/meminfo: memFree=92217816/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1636292 memory=442436 CPUtime=12.61 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 82088 0 0 0 1242 19 0 0 20 0 1 0 44683332 1675563008 110609 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 409073 110609 8145 1 0 380431 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1640484 KiB
Current children cumulated memory: 445380 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 41867
/proc/meminfo: memFree=93690492/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1636292 memory=442436 CPUtime=25.37 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 82093 0 0 0 2518 19 0 0 20 0 1 0 44683332 1675563008 110609 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 409073 110609 8145 1 0 380431 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1640484 KiB
Current children cumulated memory: 445380 KiB
[startup+51.1133 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 41867
/proc/meminfo: memFree=93498476/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1649528 memory=453640 CPUtime=50.92 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 83870 0 0 0 5072 20 0 0 20 0 1 0 44683332 1689116672 113410 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 412382 113410 8145 1 0 383740 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1653720 KiB
Current children cumulated memory: 456584 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.12 4.10 5/256 41869
/proc/meminfo: memFree=93364924/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1684544 memory=468080 CPUtime=101.95 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 86405 0 0 0 10175 20 0 0 20 0 1 0 44683332 1724973056 117020 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 421136 117020 8145 1 0 392494 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1688736 KiB
Current children cumulated memory: 471024 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 41871
/proc/meminfo: memFree=93261040/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1712948 memory=476272 CPUtime=161.78 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 88430 0 0 0 16157 21 0 0 20 0 1 0 44683332 1754058752 119068 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 428237 119068 8145 1 0 399595 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1717140 KiB
Current children cumulated memory: 479216 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 41874
/proc/meminfo: memFree=91564448/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1712948 memory=476272 CPUtime=221.61 cores=5,7
/proc/41867/stat : 41867 (python3) R 41862 41862 40118 0 -1 4194304 88430 0 0 0 22140 21 0 0 20 0 1 0 44683332 1754058752 119068 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 428237 119068 8145 1 0 399595 0
Current children cumulated CPU time: 221.61 s
################
# More data... #
################
/proc/loadavg: 2.09 2.08 2.29 3/242 42137
/proc/meminfo: memFree=127788124/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=379380 memory=369476 CPUtime=2213.85 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 110308 0 0 0 221282 103 0 0 20 0 1 0 44783394 388485120 92369 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 94845 92369 608 696 0 94006 0
Current children cumulated CPU time: 3211.14 s
Current children cumulated vsize: 2233884 KiB
Current children cumulated memory: 980712 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.08 2.27 3/242 42140
/proc/meminfo: memFree=127770480/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=382632 memory=374008 CPUtime=2273.66 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 111117 0 0 0 227262 104 0 0 20 0 1 0 44783394 391815168 93502 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 95658 93502 608 696 0 94819 0
Current children cumulated CPU time: 3270.95 s
Current children cumulated vsize: 2237136 KiB
Current children cumulated memory: 985244 KiB
[startup+3342.3 s]
/proc/loadavg: 2.06 2.08 2.26 3/242 42142
/proc/meminfo: memFree=127767092/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=382396 memory=373772 CPUtime=2333.46 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 111246 0 0 0 233242 104 0 0 20 0 1 0 44783394 391573504 93443 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 95599 93443 608 696 0 94760 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 2236900 KiB
Current children cumulated memory: 985008 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.08 2.25 3/242 42144
/proc/meminfo: memFree=127771112/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=379328 memory=370704 CPUtime=2393.27 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 111731 0 0 0 239222 105 0 0 20 0 1 0 44783394 388431872 92676 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 94832 92676 608 696 0 93993 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 2233832 KiB
Current children cumulated memory: 981940 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.09 2.24 3/244 42154
/proc/meminfo: memFree=127770924/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=379328 memory=370704 CPUtime=2453.08 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 111733 0 0 0 245203 105 0 0 20 0 1 0 44783394 388431872 92676 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 94832 92676 608 696 0 93993 0
Current children cumulated CPU time: 3450.37 s
Current children cumulated vsize: 2233832 KiB
Current children cumulated memory: 981940 KiB
[startup+3522.3 s]
/proc/loadavg: 2.11 2.09 2.23 3/244 42156
/proc/meminfo: memFree=127776312/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=379444 memory=370820 CPUtime=2512.89 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 112148 0 0 0 251183 106 0 0 20 0 1 0 44783394 388550656 92705 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 94861 92705 608 696 0 94022 0
Current children cumulated CPU time: 3510.18 s
Current children cumulated vsize: 2233948 KiB
Current children cumulated memory: 982056 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.09 2.22 3/243 42158
/proc/meminfo: memFree=127777220/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=379444 memory=370820 CPUtime=2572.7 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 112286 0 0 0 257164 106 0 0 20 0 1 0 44783394 388550656 92705 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 94861 92705 608 696 0 94022 0
Current children cumulated CPU time: 3569.99 s
Current children cumulated vsize: 2233948 KiB
Current children cumulated memory: 982056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 2.10 2.09 2.22 3/243 42159
/proc/meminfo: memFree=127772904/131382112 swapFree=33010684/33010684
[pid=41862] ppid=41859 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/41862/stat : 41862 (scip-naps-1.00.) S 41859 41862 40118 0 -1 4194304 259 344 0 0 0 0 0 0 20 0 1 0 44683329 4292608 736 18446744073709551615 94494992478208 94494993372741 140723322698144 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94494993611792 94494993659536 94495008813056 140723322706337 140723322706434 140723322706434 140723322712036 0
/proc/41862/statm: 1048 736 672 219 0 110 0
[pid=41867] ppid=41862 vsize=1850312 memory=608292 CPUtime=997.29 cores=5,7
/proc/41867/stat : 41867 (python3) S 41862 41862 40118 0 -1 4194304 122055 0 0 0 99702 27 0 0 20 0 1 0 44683332 1894719488 152073 18446744073709551615 94770493505536 94770493505913 140735666019648 0 0 0 0 16781312 16386 1 0 0 17 7 0 0 0 0 0 94770493517208 94770493517828 94770510405632 140735666022759 140735666022946 140735666022946 140735666028519 0
/proc/41867/statm: 462578 152073 8177 1 0 433936 0
[pid=41957] ppid=41867 vsize=380336 memory=371712 CPUtime=2602.71 cores=5,7
/proc/41957/stat : 41957 (naps-1.03a6) R 41867 41957 41957 0 -1 4194304 112921 0 0 0 260164 107 0 0 20 0 1 0 44783394 389464064 92928 18446744073709551615 4198400 7047149 140725423951600 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 17494016 140725423958374 140725423958515 140725423958515 140725423964105 0
/proc/41957/statm: 95084 92928 608 696 0 94245 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2234840 KiB
Current children cumulated memory: 982948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.42 s]
# the end of solver process 41862 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.003167 s, system=0.011617 s
[startup+3612.82 s]
# the end of solver process 41867 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.95 s, system=1.47614 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.8 s]*
/proc/loadavg: 2.10 2.09 2.22 3/241 42159
/proc/meminfo: memFree=128654196/131382112 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.014784 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.82
CPU time (s): 3600.42
CPU user time (s): 3598.95
CPU system time (s): 1.47614
CPU usage (%): 99.6569
Max. virtual memory (cumulated for all children) (KiB): 2298684
Max. memory (cumulated for all children) (KiB): 1045400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.95
system time used= 1.47614
maximum resident set size= 611476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280681
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= 436
involuntary context switches= 1819
# summary of solver processes directly reported to runsolver:
# pid: 41862,41867
# total CPU time (s): 3600.42
# total CPU user time (s): 3598.95
# total CPU system time (s): 1.47614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4569 second user time and 36.9178 second system time
The end
Launcher Data
Begin job on nodeC005 at 2025-06-30 15:27:19
IDJOB=4486391
IDBENCH=147019
IDSOLVER=3368
FILE ID=nodeC005/4486391-1751290039
RUNJOBID= nodeC005-1751280833-40131
SLURM_JOB_ID= 9594229
Free space on /tmp= 432588 MiB
SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486391-1751290039/watcher-4486391-1751290039 -o /tmp/evaluation-result-4486391-1751290039/solver-4486391-1751290039 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751280833-40131 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4486391-1751290039.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=201094528
nodeC005 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 : 3491.908
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.90
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.798
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.90
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.567
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.90
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 : 3700.000
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.90
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 : 3491.954
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.90
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 : 1895.945
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.90
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.281
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.90
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.237
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 93615704 kB
MemAvailable: 94283796 kB
Buffers: 3280 kB
Cached: 1469976 kB
SwapCached: 0 kB
Active: 35907792 kB
Inactive: 1170660 kB
Active(anon): 35623156 kB
Inactive(anon): 0 kB
Active(file): 284636 kB
Inactive(file): 1170660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8656 kB
Writeback: 4 kB
AnonPages: 35608280 kB
Mapped: 134248 kB
Shmem: 17960 kB
KReclaimable: 104844 kB
Slab: 187976 kB
SReclaimable: 104844 kB
SUnreclaim: 83132 kB
KernelStack: 4144 kB
PageTables: 73616 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 41040816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149528 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 9871360 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432628 MiB
End job on nodeC005 at 2025-06-30 16:27:33