Trace number 4464461

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3593.68 3604.47

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-35.opb
MD5SUMea9fbf307f3e38c641aeca63dc0ee32c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark5.20026
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9220
Total number of constraints197914
Number of constraints which are clauses177190
Number of constraints which are cardinality constraints (but not clauses)736
Number of constraints which are nor clauses,nor cardinality constraints19988
Minimum length of a constraint1
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
1.09/1.12	c Default LC presolving (default).
1.09/1.12	c ** Before presolving: virtualMemUsedAtLc = 487990294, getVmSize() = 313167872, SCIPgetMemUsed() = 254504756, SCIPgetMemTotal() = 275942988, SCIPgetMemExternEstim() = 212047306
1.09/1.12	c ** set memory limit for presolving in LC to 8.79595e+12 for SCIP **
31.28/31.46	c ** Estimated virtualMemUsedAtSolver = 701096120, getVmSize() = 897933312, SCIPgetMemUsed() = 477443698, SCIPgetMemTotal() = 839596874, SCIPgetMemExternEstim() = 212047306
31.28/31.46	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
31.28/31.46	c Original Problem   :
31.28/31.46	c   Problem name     : instance-4464461-1722382204
31.28/31.46	c   Variables        : 9220 (9220 binary, 0 integer, 0 implicit integer, 0 continuous)
31.28/31.46	c   Constraints      : 197914
31.28/31.46	c   Objective sense  : minimize
31.28/31.46	c Presolved Problem  :
31.28/31.46	c   Variables        : 8429 (8429 binary, 0 integer, 0 implicit integer, 0 continuous)
31.28/31.46	c   Constraints      : 181857
31.28/31.46	c Constraints        : Number
31.28/31.46	c   knapsack         : 19888 
31.28/31.46	c   setppc           : 34998 
31.28/31.46	c   linear           : 2 
31.28/31.46	c   logicor          : 126969 
31.28/31.46	c ** Instance transfer method used: 0
31.69/31.82	c ** ParaScipInstance copy does not increase the number of variables. **
32.26/32.43	c LC is working with racing ramp-up and with rebuilding tree after racing.
32.26/32.43	c                                Nodes    Active                                            
32.26/32.43	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
321.94/323.87	c       324              2           1         1                -           0.0000          -
331.31/333.24	c       333              5           4         1                -           0.0000          -
357.25/359.25	c       359              6           5         1                -           0.0000          -
374.80/376.88	c       377              7           6         1                -           0.0000          -
388.08/390.18	c       390              8           7         1                -           0.0000          -
393.55/395.67	c       396              9           8         1                -           0.0000          -
409.30/411.44	c       411             10           9         1                -           0.0000          -
422.06/424.24	c       424             12          11         1                -           0.0000          -
720.42/723.55	c       724             13          12         1                -           0.0000          -
729.20/732.30	c       732             16          15         1                -           0.0000          -
735.68/738.86	c       739             17          16         1                -           0.0000          -
740.76/743.92	c       744             20          19         1                -           0.0000          -
763.19/766.43	c       766             22          21         1                -           0.0000          -
768.79/772.07	c       772             37          36         1                -           0.0000          -
783.13/786.48	c       786             46          45         1                -           0.0000          -
789.41/792.71	c       793             52          51         1                -           0.0000          -
803.79/807.19	c       807             54          53         1                -           0.0000          -
813.66/817.05	c       817             56          55         1                -           0.0000          -
833.88/837.32	c       837             58          57         1                -           0.0000          -
847.74/851.25	c       851             62          61         1                -           0.0000          -
856.91/860.45	c       860             64          63         1                -           0.0000          -
864.39/867.99	c       868             67          66         1                -           0.0000          -
869.49/873.10	c       873             69          68         1                -           0.0000          -
883.55/887.12	c       887             72          71         1                -           0.0000          -
888.53/892.18	c       892             78          77         1                -           0.0000          -
893.99/897.60	c       898             85          84         1                -           0.0000          -
900.08/903.73	c       904             88          87         1                -           0.0000          -
907.75/911.44	c       911             91          90         1                -           0.0000          -
916.72/920.47	c       920             94          93         1                -           0.0000          -
927.47/931.25	c       931             98          97         1                -           0.0000          -
933.65/937.43	c       937            101         100         1                -           0.0000          -
940.72/944.57	c       945            105         104         1                -           0.0000          -
960.57/964.44	c       964            108         107         1                -           0.0000          -
972.63/976.59	c       977            112         111         1                -           0.0000          -
1002.26/1006.23	c      1006            114         113         1                -           0.0000          -
1015.62/1019.62	c      1020            117         116         1                -           0.0000          -
1044.64/1048.73	c      1049            120         119         1                -           0.0000          -
1050.23/1054.37	c      1054            124         123         1                -           0.0000          -
1060.80/1064.90	c      1065            127         126         1                -           0.0000          -
1071.07/1075.25	c      1075            129         128         1                -           0.0000          -
1079.87/1084.07	c      1084            130         129         1                -           0.0000          -
1110.08/1114.39	c      1114            132         131         1                -           0.0000          -
1132.32/1136.62	c      1137            134         133         1                -           0.0000          -
1138.31/1142.67	c      1143            138         137         1                -           0.0000          -
1150.57/1154.97	c      1155            142         141         1                -           0.0000          -
1174.32/1178.74	c      1179            146         145         1                -           0.0000          -
1179.80/1184.21	c      1184            149         148         1                -           0.0000          -
1191.17/1195.66	c      1196            153         152         1                -           0.0000          -
1198.45/1203.01	c      1203            156         155         1                -           0.0000          -
1213.22/1217.75	c      1218            162         161         1                -           0.0000          -
1226.08/1230.69	c      1231            167         166         1                -           0.0000          -
1231.49/1236.05	c      1236            174         173         1                -           0.0000          -
1236.57/1241.17	c      1241            177         176         1                -           0.0000          -
1271.07/1275.70	c      1276            179         178         1                -           0.0000          -
1282.45/1287.12	c      1287            182         181         1                -           0.0000          -
1289.12/1293.86	c      1294            185         184         1                -           0.0000          -
1296.70/1301.42	c      1301            189         188         1                -           0.0000          -
1307.88/1312.68	c      1313            192         191         1                -           0.0000          -
1317.15/1321.93	c      1322            194         193         1                -           0.0000          -
1323.03/1327.86	c      1328            201         200         1                -           0.0000          -
1329.22/1334.05	c      1334            214         213         1                -           0.0000          -
1341.58/1346.45	c      1346            219         218         1                -           0.0000          -
1352.85/1357.79	c      1358            223         222         1                -           0.0000          -
1359.03/1363.99	c      1364            227         226         1                -           0.0000          -
1366.02/1370.92	c      1371            234         233         1                -           0.0000          -
1381.87/1386.88	c      1387            238         237         1                -           0.0000          -
1413.88/1418.96	c      1419            242         241         1                -           0.0000          -
1419.87/1424.92	c      1425            243         242         1                -           0.0000          -
1426.45/1431.55	c      1432            250         249         1                -           0.0000          -
1433.13/1438.22	c      1438            257         256         1                -           0.0000          -
1445.50/1450.65	c      1451            259         258         1                -           0.0000          -
1454.57/1459.72	c      1460            263         262         1                -           0.0000          -
1463.86/1469.02	c      1469            265         264         1                -           0.0000          -
1469.14/1474.32	c      1474            268         267         1                -           0.0000          -
1475.84/1481.03	c      1481            273         270         1                -           0.0000          -
1495.19/1500.43	c      1500            275         272         1                -           0.0000          -
1505.88/1511.14	c      1511            280         275         1                -           0.0000          -
1517.24/1522.53	c      1523            282         277         1                -           0.0000          -
1524.03/1529.35	c      1529            291         286         1                -           0.0000          -
1537.20/1542.57	c      1543            292         287         1                -           0.0000          -
1549.17/1554.58	c      1555            294         289         1                -           0.0000          -
1562.34/1567.79	c      1568            298         293         1                -           0.0000          -
1580.30/1585.71	c      1586            300         295         1                -           0.0000          -
1592.07/1597.54	c      1598            303         298         1                -           0.0000          -
1607.94/1613.47	c      1613            306         301         1                -           0.0000          -
1617.22/1622.75	c      1623            309         304         1                -           0.0000          -
1625.52/1631.03	c      1631            312         305         1                -           0.0000          -
1630.70/1636.22	c      1636            315         308         1                -           0.0000          -
1641.77/1647.38	c      1647            320         313         1                -           0.0000          -
1655.24/1660.81	c      1661            322         315         1                -           0.0000          -
1662.54/1668.19	c      1668            330         323         1                -           0.0000          -
1669.81/1675.47	c      1675            334         327         1                -           0.0000          -
1686.87/1692.55	c      1693            335         328         1                -           0.0000          -
1695.85/1701.51	c      1702            337         330         1                -           0.0000          -
1704.35/1710.07	c      1710            339         332         1                -           0.0000          -
1719.90/1725.60	c      1726            342         335         1                -           0.0000          -
1731.38/1737.19	c      1737            349         342         1                -           0.0000          -
1755.90/1761.72	c      1762            350         343         1                -           0.0000          -
1774.15/1780.09	c      1780            352         345         1                -           0.0000          -
1786.22/1792.12	c      1792            354         347         1                -           0.0000          -
1792.20/1798.12	c      1798            362         353         1                -           0.0000          -
1801.08/1807.09	c      1807            365         356         1                -           0.0000          -
1809.44/1815.47	c      1815            367         358         1                -           0.0000          -
1841.65/1847.76	c      1848            368         359         1                -           0.0000          -
1847.34/1853.49	c      1853            371         362         1                -           0.0000          -
1854.12/1860.27	c      1860            378         369         1                -           0.0000          -
1860.30/1866.41	c      1866            384         373         1                -           0.0000          -
1870.37/1876.54	c      1877            386         375         1                -           0.0000          -
1884.24/1890.48	c      1890            390         379         1                -           0.0000          -
1906.39/1912.64	c      1913            395         382         1                -           0.0000          -
1916.16/1922.45	c      1922            400         387         1                -           0.0000          -
1924.24/1930.50	c      1930            402         389         1                -           0.0000          -
1932.63/1938.97	c      1939            413         400         1                -           0.0000          -
1939.31/1945.65	c      1946            415         402         1                -           0.0000          -
1955.68/1962.03	c      1962            424         411         1                -           0.0000          -
1966.44/1972.83	c      1973            432         419         1                -           0.0000          -
1972.13/1978.52	c      1979            439         426         1                -           0.0000          -
1977.21/1983.63	c      1984            449         436         1                -           0.0000          -
1995.07/2001.54	c      2002            462         449         1                -           0.0000          -
2001.15/2007.67	c      2008            466         453         1                -           0.0000          -
2008.13/2014.67	c      2015            472         459         1                -           0.0000          -
2014.02/2020.54	c      2021            482         469         1                -           0.0000          -
2019.40/2025.90	c      2026            490         477         1                -           0.0000          -
2025.89/2032.45	c      2032            507         494         1                -           0.0000          -
2032.49/2039.04	c      2039            508         495         1                -           0.0000          -
2038.16/2044.72	c      2045            516         503         1                -           0.0000          -
2043.64/2050.26	c      2050            524         511         1                -           0.0000          -
2048.63/2055.30	c      2055            532         519         1                -           0.0000          -
2064.40/2071.05	c      2071            544         531         1                -           0.0000          -
2080.25/2086.98	c      2087            556         543         1                -           0.0000          -
2088.72/2095.49	c      2095            560         547         1                -           0.0000          -
2095.20/2101.97	c      2102            562         549         1                -           0.0000          -
2102.30/2109.03	c      2109            567         554         1                -           0.0000          -
2110.76/2117.51	c      2118            573         560         1                -           0.0000          -
2121.73/2128.50	c      2128            574         561         1                -           0.0000          -
2128.92/2135.72	c      2136            580         567         1                -           0.0000          -
2139.39/2146.27	c      2146            582         569         1                -           0.0000          -
2151.66/2158.59	c      2159            584         571         1                -           0.0000          -
2161.03/2167.98	c      2168            590         577         1                -           0.0000          -
2167.13/2174.11	c      2174            598         585         1                -           0.0000          -
2172.40/2179.33	c      2179            604         591         1                -           0.0000          -
2178.29/2185.22	c      2185            611         598         1                -           0.0000          -
2187.96/2194.90	c      2195            612         599         1                -           0.0000          -
2197.54/2204.59	c      2205            617         604         1                -           0.0000          -
2209.72/2216.78	c      2217            624         611         1                -           0.0000          -
2218.29/2225.34	c      2225            630         617         1                -           0.0000          -
2224.58/2231.62	c      2232            632         619         1                -           0.0000          -
2238.65/2245.70	c      2246            646         633         1                -           0.0000          -
2247.04/2254.12	c      2254            652         639         1                -           0.0000          -
2266.89/2274.08	c      2274            654         641         1                -           0.0000          -
2272.66/2279.89	c      2280            656         643         1                -           0.0000          -
2287.42/2294.68	c      2295            662         649         1                -           0.0000          -
2297.69/2304.92	c      2305            664         651         1                -           0.0000          -
2309.26/2316.59	c      2317            667         654         1                -           0.0000          -
2315.14/2322.41	c      2322            672         659         1                -           0.0000          -
2324.73/2332.07	c      2332            676         663         1                -           0.0000          -
2331.91/2339.20	c      2339            679         666         1                -           0.0000          -
2339.29/2346.66	c      2347            683         670         1                -           0.0000          -
2363.83/2371.24	c      2371            689         676         1                -           0.0000          -
2370.72/2378.12	c      2378            697         684         1                -           0.0000          -
2377.39/2384.82	c      2385            702         689         1                -           0.0000          -
2396.43/2403.90	c      2404            709         696         1                -           0.0000          -
2409.70/2417.25	c      2417            712         699         1                -           0.0000          -
2423.47/2431.08	c      2431            716         703         1                -           0.0000          -
2429.25/2436.82	c      2437            724         711         1                -           0.0000          -
2552.76/2560.65	c      2561            730         717         1                -           0.0000          -
2557.85/2565.76	c      2566            745         732         1                -           0.0000          -
2565.44/2573.36	c      2573            748         735         1                -           0.0000          -
2571.02/2578.95	c      2579            757         744         1                -           0.0000          -
2577.61/2585.56	c      2586            758         745         1                -           0.0000          -
2587.98/2595.93	c      2596            762         749         1                -           0.0000          -
2597.76/2605.72	c      2606            765         752         1                -           0.0000          -
2612.93/2620.91	c      2621            768         755         1                -           0.0000          -
2618.32/2626.39	c      2626            772         759         1                -           0.0000          -
2623.90/2631.92	c      2632            776         763         1                -           0.0000          -
2634.48/2642.55	c      2643            778         765         1                -           0.0000          -
2647.55/2655.60	c      2656            782         769         1                -           0.0000          -
2655.63/2663.72	c      2664            785         772         1                -           0.0000          -
2672.69/2680.88	c      2681            788         775         1                -           0.0000          -
2677.90/2686.09	c      2686            791         778         1                -           0.0000          -
2691.86/2700.10	c      2700            792         779         1                -           0.0000          -
2697.94/2706.15	c      2706            798         785         1                -           0.0000          -
2710.39/2718.64	c      2719            802         789         1                -           0.0000          -
2730.44/2738.70	c      2739            805         792         1                -           0.0000          -
2742.40/2750.76	c      2751            808         795         1                -           0.0000          -
2747.98/2756.39	c      2756            815         802         1                -           0.0000          -
2754.86/2763.29	c      2763            818         805         1                -           0.0000          -
2760.05/2768.49	c      2768            826         813         1                -           0.0000          -
2782.38/2790.81	c      2791            832         819         1                -           0.0000          -
2788.59/2797.02	c      2797            834         821         1                -           0.0000          -
2794.46/2802.96	c      2803            846         833         1                -           0.0000          -
2825.47/2834.08	c      2834            852         839         1                -           0.0000          -
2831.93/2840.52	c      2841            857         844         1                -           0.0000          -
2838.42/2847.08	c      2847            861         848         1                -           0.0000          -
2860.64/2869.36	c      2869            862         849         1                -           0.0000          -
2887.96/2896.75	c      2897            865         852         1                -           0.0000          -
2900.03/2908.82	c      2909            872         859         1                -           0.0000          -
2918.08/2926.90	c      2927            875         862         1                -           0.0000          -
2923.76/2932.60	c      2933            881         868         1                -           0.0000          -
2929.35/2938.20	c      2938            887         874         1                -           0.0000          -
2943.31/2952.25	c      2952            888         875         1                -           0.0000          -
2948.99/2957.91	c      2958            893         880         1                -           0.0000          -
2957.96/2967.01	c      2967            895         882         1                -           0.0000          -
2964.15/2973.18	c      2973            902         889         1                -           0.0000          -
2970.14/2979.14	c      2979            905         892         1                -           0.0000          -
2978.12/2987.11	c      2987            915         902         1                -           0.0000          -
2984.18/2993.26	c      2993            924         911         1                -           0.0000          -
3000.73/3009.81	c      3010            925         912         1                -           0.0000          -
3007.21/3016.30	c      3016            928         915         1                -           0.0000          -
3015.10/3024.26	c      3024            932         919         1                -           0.0000          -
3025.98/3035.18	c      3035            935         922         1                -           0.0000          -
3039.12/3048.39	c      3048            938         925         1                -           0.0000          -
3049.10/3058.35	c      3058            942         929         1                -           0.0000          -
3061.87/3071.14	c      3071            945         932         1                -           0.0000          -
3068.14/3077.44	c      3077            950         937         1                -           0.0000          -
3074.63/3083.91	c      3084            954         941         1                -           0.0000          -
3083.82/3093.20	c      3093            955         942         1                -           0.0000          -
3089.58/3098.97	c      3099            961         948         1                -           0.0000          -
3099.66/3109.09	c      3109            967         954         1                -           0.0000          -
3106.12/3115.50	c      3116            971         958         1                -           0.0000          -
3129.75/3139.25	c      3139            972         959         1                -           0.0000          -
3140.03/3149.54	c      3150            975         962         1                -           0.0000          -
3146.81/3156.34	c      3156            981         968         1                -           0.0000          -
3151.89/3161.46	c      3161            985         972         1                -           0.0000          -
3173.94/3183.55	c      3184            988         975         1                -           0.0000          -
3184.81/3194.42	c      3194            992         979         1                -           0.0000          -
3192.58/3202.25	c      3202            996         983         1                -           0.0000          -
3204.36/3214.02	c      3214           1004         991         1                -           0.0000          -
3210.63/3220.30	c      3220           1007         994         1                -           0.0000          -
3216.12/3225.81	c      3226           1010         997         1                -           0.0000          -
3221.91/3231.62	c      3232           1028        1015         1                -           0.0000          -
3227.79/3237.51	c      3238           1031        1018         1                -           0.0000          -
3238.37/3248.19	c      3248           1040        1025         1                -           0.0000          -
3243.44/3253.23	c      3253           1044        1029         1                -           0.0000          -
3253.41/3263.21	c      3263           1047        1032         1                -           0.0000          -
3265.98/3275.84	c      3276           1050        1035         1                -           0.0000          -
3271.95/3281.84	c      3282           1055        1040         1                -           0.0000          -
3284.72/3294.68	c      3295           1057        1042         1                -           0.0000          -
3293.10/3303.04	c      3303           1062        1047         1                -           0.0000          -
3299.98/3309.95	c      3310           1065        1050         1                -           0.0000          -
3305.07/3315.02	c      3315           1067        1052         1                -           0.0000          -
3320.91/3330.90	c      3331           1072        1057         1                -           0.0000          -
3334.09/3344.17	c      3344           1078        1063         1                -           0.0000          -
3339.16/3349.23	c      3349           1090        1075         1                -           0.0000          -
3348.73/3358.84	c      3359           1092        1077         1                -           0.0000          -
3355.71/3365.85	c      3366           1098        1083         1                -           0.0000          -
3362.29/3372.46	c      3372           1102        1087         1                -           0.0000          -
3368.98/3379.19	c      3379           1105        1090         1                -           0.0000          -
3374.35/3384.50	c      3384           1112        1097         1                -           0.0000          -
3380.44/3390.62	c      3391           1120        1105         1                -           0.0000          -
3398.48/3408.76	c      3409           1122        1107         1                -           0.0000          -
3413.05/3423.35	c      3423           1132        1117         1                -           0.0000          -
3425.42/3435.73	c      3436           1138        1123         1                -           0.0000          -
3437.79/3448.17	c      3448           1142        1127         1                -           0.0000          -
3444.46/3454.84	c      3455           1148        1133         1                -           0.0000          -
3453.53/3463.97	c      3464           1163        1148         1                -           0.0000          -
3470.18/3480.62	c      3481           1169        1154         1                -           0.0000          -
3479.17/3489.60	c      3490           1173        1158         1                -           0.0000          -
3484.85/3495.33	c      3495           1180        1165         1                -           0.0000          -
3491.73/3502.20	c      3502           1187        1172         1                -           0.0000          -
3520.34/3530.99	c      3531           1188        1173         1                -           0.0000          -
3527.82/3538.44	c      3538           1195        1180         1                -           0.0000          -
3534.00/3544.62	c      3545           1201        1186         1                -           0.0000          -
3541.98/3552.60	c      3553           1206        1191         1                -           0.0000          -
3555.24/3566.01	c      3566           1208        1193         1                -           0.0000          -
3561.33/3572.05	c      3572           1212        1197         1                -           0.0000          -
3566.70/3577.48	c      3577           1217        1200         1                -           0.0000          -
3573.39/3584.14	c      3584           1223        1206         1                -           0.0000          -
3578.47/3589.27	c      3589           1226        1209         1                -           0.0000          -
3592.82/3603.63	c      3604           1226        1209         0                -           0.0000          -
3593.22/3604.01	c SCIP Status        : c solving was interrupted [hard time limit reached]
3593.22/3604.01	c Total Time         : 3604.0100
3593.22/3604.01	c   solving          : 3604.0100
3593.22/3604.01	c   presolving       : 30.3366 (included in solving)
3593.22/3604.01	c B&B Tree           :
3593.22/3604.01	c   nodes (total)    : 1
3593.22/3604.01	c Solution           :
3593.22/3604.01	c   Solutions found  : 0
3593.22/3604.01	c   Primal Bound     :          -
3593.22/3604.01	c   Dual Bound       : +0.00000000000000e+00
3593.22/3604.01	c Gap                :          -
3593.61/3604.45	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 64096 MiB (61910 MiB free)
  memory of node 1: 64473 MiB (60912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464461-1722382204/watcher-4464461-1722382204 -o /tmp/evaluation-result-4464461-1722382204/solver-4464461-1722382204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464461-1722382204.opb -qsol -t 3600 -sth 1 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30938, runsolver pid=30935

[startup+0.100504 s]*
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125755244/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=37068 memory=25384 CPUtime=0.1 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 4265 0 0 0 9 1 0 0 20 0 1 0 4817467 37957632 6346 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 9267 6346 2347 3035 0 5663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37068 KiB
Current children cumulated memory: 25384 KiB

[startup+0.21318 s]*
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125739452/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=52952 memory=41048 CPUtime=0.21 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 8213 0 0 0 20 1 0 0 20 0 1 0 4817467 54222848 10262 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 13238 10262 2347 3035 0 9634 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52952 KiB
Current children cumulated memory: 41048 KiB

[startup+0.313063 s]*
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125726356/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=67540 memory=55132 CPUtime=0.31 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 11736 0 0 0 29 2 0 0 20 0 1 0 4817467 69160960 13783 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 16885 13783 2347 3035 0 13281 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67540 KiB
Current children cumulated memory: 55132 KiB

[startup+0.700334 s]
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125694436/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=126692 memory=114296 CPUtime=0.68 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 26510 0 0 0 63 5 0 0 20 0 1 0 4817467 129732608 28574 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 31673 28574 2347 3035 0 28069 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126692 KiB
Current children cumulated memory: 114296 KiB

[startup+1.50036 s]
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125531072/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=346572 memory=299816 CPUtime=1.48 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 73301 0 0 0 134 14 0 0 20 0 1 0 4817467 354889728 74954 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 86643 74954 2614 3035 0 83039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 346572 KiB
Current children cumulated memory: 299816 KiB

[startup+3.11294 s]
/proc/loadavg: 4.18 4.16 4.10 5/250 30939
/proc/meminfo: memFree=125318876/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=453980 memory=435020 CPUtime=3.09 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 113687 0 0 0 286 23 0 0 20 0 1 0 4817467 464875520 108755 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 113495 108755 2710 3035 0 109891 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 453980 KiB
Current children cumulated memory: 435020 KiB

[startup+6.30033 s]
/proc/loadavg: 4.25 4.18 4.10 5/250 30939
/proc/meminfo: memFree=125299940/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=453980 memory=435944 CPUtime=6.27 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 113898 0 0 0 604 23 0 0 20 0 1 0 4817467 464875520 108986 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 113495 108986 2758 3035 0 109891 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 453980 KiB
Current children cumulated memory: 435944 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.18 4.10 5/250 30940
/proc/meminfo: memFree=125278600/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=453980 memory=435944 CPUtime=12.65 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 113915 0 0 0 1242 23 0 0 20 0 1 0 4817467 464875520 108986 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 113495 108986 2758 3035 0 109891 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 453980 KiB
Current children cumulated memory: 435944 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.17 4.10 5/250 30942
/proc/meminfo: memFree=125276780/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=453980 memory=436068 CPUtime=25.4 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 113946 0 0 0 2517 23 0 0 20 0 1 0 4817467 464875520 109017 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 113495 109017 2758 3035 0 109891 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 453980 KiB
Current children cumulated memory: 436068 KiB

[startup+51.1065 s]
/proc/loadavg: 4.20 4.17 4.10 5/253 31008
/proc/meminfo: memFree=123914764/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=1952948 memory=1794540 CPUtime=50.79 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 373391 0 0 0 5000 79 0 0 20 0 3 0 4817467 1999818752 448635 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 488237 448635 2950 3035 0 476379 0
[pid=30938/tid=30945] ppid=30935 vsize=1952948 memory=12860 CPUtime=19.07 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 214284 0 0 0 1864 43 0 0 20 0 3 0 4820613 1999818752 448635 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=1952948 memory=778328 CPUtime=0 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4820710 1999818752 448635 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 1952948 KiB
Current children cumulated memory: 1794540 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/253 31017
/proc/meminfo: memFree=123880712/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2018484 memory=1826572 CPUtime=101.48 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 504884 0 0 0 10058 90 0 0 20 0 3 0 4817467 2066927616 456643 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 504621 456643 2950 3035 0 488712 0
[pid=30938/tid=30945] ppid=30935 vsize=2018484 memory=11440 CPUtime=69.78 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 345758 0 0 0 6923 55 0 0 20 0 3 0 4820613 2066927616 456643 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=2018484 memory=1826044 CPUtime=0 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4820710 2066927616 456643 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 101.48 s
Current children cumulated vsize: 2018484 KiB
Current children cumulated memory: 1826572 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/253 31076
/proc/meminfo: memFree=125391180/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2084020 memory=1843920 CPUtime=160.91 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 616978 0 0 0 15994 97 0 0 20 0 3 0 4817467 2134036480 460980 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 521005 460980 2950 3035 0 501075 0
[pid=30938/tid=30945] ppid=30935 vsize=2084020 memory=1826624 CPUtime=129.19 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 457842 0 0 0 12858 61 0 0 20 0 3 0 4820613 2134036480 460980 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=2084020 memory=1841868 CPUtime=0 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 4820710 2134036480 460980 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 160.91 s
Current children cumulated vsize: 2084020 KiB
Current children cumulated memory: 1843920 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.18 4.10 5/253 31087
/proc/meminfo: memFree=125242560/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2084020 memory=1843928 CPUtime=220.75 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 682077 0 0 0 21972 103 0 0 20 0 3 0 4817467 2134036480 460982 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 521005 460982 2950 3035 0 505307 0
[pid=30938/tid=30945] ppid=30935 vsize=2084020 memory=1843924 CPUtime=189.03 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 522935 0 0 0 18836 67 0 0 20 0 3 0 4820613 2134036480 460982 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=2084020 memory=11440 CPUtime=0 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4820710 2134036480 460982 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 220.75 s
Current children cumulated vsize: 2084020 KiB
Current children cumulated memory: 1843928 KiB

[startup+282.3 s]
/proc/loadavg: 5.49 4.53 4.23 6/251 31144
/proc/meminfo: memFree=124797532/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2149556 memory=1849352 CPUtime=280.56 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 777934 0 0 0 27947 109 0 0 20 0 3 0 4817467 2201145344 462338 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 537389 462338 2950 3035 0 519519 0
[pid=30938/tid=30945] ppid=30935 vsize=2149556 memory=12860 CPUtime=248.84 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 618785 0 0 0 24811 73 0 0 20 0 3 0 4820613 2201145344 462338 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=2149556 memory=1846140 CPUtime=0 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4820710 2201145344 462338 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 280.56 s
Current children cumulated vsize: 2149556 KiB
Current children cumulated memory: 1849352 KiB

[startup+342.3 s]
/proc/loadavg: 4.83 4.53 4.25 5/251 31155
/proc/meminfo: memFree=124395356/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2411700 memory=2071476 CPUtime=340.38 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 923171 0 0 0 33912 126 0 0 20 0 3 0 4817467 2469580800 517869 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 602925 517869 3014 3035 0 587433 0

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

[pid=30938] ppid=30935 vsize=3198996 memory=2323700 CPUtime=3392.1 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2078654 0 0 0 338991 219 0 0 20 0 3 0 4817467 3275771904 580925 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 580925 3030 3035 0 749428 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=2323700 CPUtime=3360.28 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1917614 0 0 0 335851 177 0 0 20 0 3 0 4820613 3275771904 580925 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=11440 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 346 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 580925 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2323700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.19 4.15 5/250 32745
/proc/meminfo: memFree=119600412/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2326724 CPUtime=3451.94 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2084123 0 0 0 344974 220 0 0 20 0 3 0 4817467 3275771904 581681 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 581681 3030 3035 0 749428 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=2323700 CPUtime=3420.11 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1923037 0 0 0 341834 177 0 0 20 0 3 0 4820613 3275771904 581681 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=12968 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 352 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 581681 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2326724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/252 32925
/proc/meminfo: memFree=119595504/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2330400 CPUtime=3511.77 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2089229 0 0 0 350956 221 0 0 20 0 3 0 4817467 3275771904 582600 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 582600 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=12968 CPUtime=3479.93 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1928106 0 0 0 347815 178 0 0 20 0 3 0 4820613 3275771904 582600 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=2330400 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 357 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 582600 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2330400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/252 32936
/proc/meminfo: memFree=119591268/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2334488 CPUtime=3571.58 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2093408 0 0 0 356936 222 0 0 20 0 3 0 4817467 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 583622 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=-5155631310234676101 CPUtime=3539.74 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1932248 0 0 0 353795 179 0 0 20 0 3 0 4820613 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=2334488 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2334488 KiB

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

# cumulated CPU time of all completed processes:  user=3591.41 s, system=2.27289 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.17 4.15 5/252 32936
/proc/meminfo: memFree=119591184/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2334488 CPUtime=3573.29 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2093408 0 0 0 357107 222 0 0 20 0 3 0 4817467 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 583622 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=-5155631310234676101 CPUtime=3541.45 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1932248 0 0 0 353966 179 0 0 20 0 3 0 4820613 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=4283933268820782749 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 583622 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2334488 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.14 5/251 33032
/proc/meminfo: memFree=119598964/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2336532 CPUtime=3586.04 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2093803 0 0 0 358381 223 0 0 20 0 3 0 4817467 3275771904 584133 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 584133 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=2334488 CPUtime=3554.19 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1932642 0 0 0 355240 179 0 0 20 0 3 0 4820613 3275771904 584133 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=2334488 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 584133 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2336532 KiB

[startup+3600 s]*
/proc/loadavg: 4.12 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119400212/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2338576 CPUtime=3589.24 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2094195 0 0 0 358701 223 0 0 20 0 3 0 4817467 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 584644 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=-6000919481347107180 CPUtime=3557.39 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1933034 0 0 0 355560 179 0 0 20 0 3 0 4820613 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=164000 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2338576 KiB

[startup+3601.6 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119399712/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2338576 CPUtime=3590.82 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2094195 0 0 0 358859 223 0 0 20 0 3 0 4817467 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 584644 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=2338576 CPUtime=3558.98 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1933034 0 0 0 355719 179 0 0 20 0 3 0 4820613 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=2336532 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3590.82 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2338576 KiB

[startup+3603.2 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119399300/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2338576 CPUtime=3592.42 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2094195 0 0 0 359019 223 0 0 20 0 3 0 4817467 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 584644 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=2336532 CPUtime=3560.57 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1933034 0 0 0 355878 179 0 0 20 0 3 0 4820613 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=2334488 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3592.42 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2338576 KiB

[startup+3604 s]*
/proc/loadavg: 4.11 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119399152/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=3198996 memory=2338576 CPUtime=3593.22 cores=1,3
/proc/30938/stat : 30938 (fscip) S 30935 30938 28487 0 -1 1077936128 2096386 0 0 0 359099 223 0 0 20 0 3 0 4817467 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 799749 584644 3030 3035 0 753692 0
[pid=30938/tid=30945] ppid=30935 vsize=3198996 memory=-6000919481347107180 CPUtime=3561.39 cores=1,3
/proc/30938/task/30945/stat : 30945 (fscip) R 30935 30938 28487 0 -1 4194368 1935220 0 0 0 355959 180 0 0 20 0 3 0 4820613 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
[pid=30938/tid=30946] ppid=30935 vsize=3198996 memory=4428 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 3 0 4820710 3275771904 584644 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3593.22 s
Current children cumulated vsize: 3198996 KiB
Current children cumulated memory: 2338576 KiB

[startup+3604.4 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119399152/131655788 swapFree=131071996/131071996
[pid=30938] ppid=30935 vsize=2061288 memory=1769436 CPUtime=3593.61 cores=1,3
/proc/30938/stat : 30938 (fscip) R 30935 30938 28487 0 -1 4194304 2102959 0 0 0 359136 225 0 0 20 0 2 0 4817467 2110758912 442359 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
/proc/30938/statm: 515322 442359 3030 3035 0 503359 0
[pid=30938/tid=30946] ppid=30935 vsize=2061288 memory=7124 CPUtime=0.05 cores=1,3
/proc/30938/task/30946/stat : 30946 (fscip) S 30935 30938 28487 0 -1 1077936192 363 0 0 0 1 4 0 0 20 0 2 0 4820710 2110758912 442359 134679101440 4194304 16623229 140736979375520 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50520064 140736979379222 140736979379338 140736979379338 140736979386352 0
Current children cumulated CPU time: 3593.61 s
Current children cumulated vsize: 2061288 KiB
Current children cumulated memory: 1769436 KiB

Child status: 0

Real time (s): 3604.47
CPU time (s): 3593.68
CPU user time (s): 3591.41
CPU system time (s): 2.27289
CPU usage (%): 99.7009
Max. virtual memory (cumulated for all children) (KiB): 3198996
Max. memory (cumulated for all children) (KiB): 2338576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.41
system time used= 2.27289
maximum resident set size= 2338576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2106099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4889
involuntary context switches= 3115


# summary of solver processes directly reported to runsolver:
#   pid: 30938
#   total CPU time (s): 3593.68
#   total CPU user time (s): 3591.41
#   total CPU system time (s): 2.27289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5018 second user time and 33.5722 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-31 01:30:04
IDJOB=4464461
IDBENCH=155538
IDSOLVER=3092
FILE ID=nodeC005/4464461-1722382204
RUNJOBID= nodeC005-1722378594-28500
SLURM_JOB_ID= 8249835
Free space on /tmp= 723684 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-35.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464461-1722382204/watcher-4464461-1722382204 -o /tmp/evaluation-result-4464461-1722382204/solver-4464461-1722382204 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464461-1722382204.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ea9fbf307f3e38c641aeca63dc0ee32c
RANDOM SEED=99795441

nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3666.053
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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		: 1299.794
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.266
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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.224
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 3666.439
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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		: 3647.804
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.256
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.72
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.238
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125770832 kB
MemAvailable:   127837548 kB
Buffers:           94976 kB
Cached:          2778488 kB
SwapCached:            0 kB
Active:           263344 kB
Inactive:        5123424 kB
Active(anon):       1484 kB
Inactive(anon):  2533168 kB
Active(file):     261860 kB
Inactive(file):  2590256 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             97304 kB
Writeback:             0 kB
AnonPages:       2513276 kB
Mapped:           121376 kB
Shmem:             21320 kB
KReclaimable:     109596 kB
Slab:             192272 kB
SReclaimable:     109596 kB
SUnreclaim:        82676 kB
KernelStack:        4016 kB
PageTables:        14076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1753556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7040 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1796096 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    14397440 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723628 MiB
End job on nodeC005 at 2024-07-31 02:30:09