Trace number 4463959

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-30? 3586.96 3598.21

General information on the benchmark

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

Solver Data 

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)
0.09/0.18	c Default LC presolving (default).
0.09/0.18	c ** Before presolving: virtualMemUsedAtLc = 139499653, getVmSize() = 112807936, SCIPgetMemUsed() = 69201920, SCIPgetMemTotal() = 88082520, SCIPgetMemExternEstim() = 51417133
0.09/0.18	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.88/1.91	c ** Estimated virtualMemUsedAtSolver = 283265551, getVmSize() = 402927616, SCIPgetMemUsed() = 255798754, SCIPgetMemTotal() = 373481194, SCIPgetMemExternEstim() = 51417133
1.88/1.91	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.88/1.91	c Original Problem   :
1.88/1.91	c   Problem name     : instance-4463959-1722378594
1.88/1.91	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.91	c   Constraints      : 42620
1.88/1.91	c   Objective sense  : minimize
1.88/1.91	c Presolved Problem  :
1.88/1.91	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.91	c   Constraints      : 42620
1.88/1.91	c Constraints        : Number
1.88/1.91	c   knapsack         : 21770 
1.88/1.91	c   setppc           : 3960 
1.88/1.91	c   logicor          : 16890 
1.88/1.91	c ** Instance transfer method used: 0
1.88/1.98	c ** ParaScipInstance copy does not increase the number of variables. **
1.98/2.05	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.98/2.05	c                                Nodes    Active                                            
1.98/2.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
357.02/358.67	c       359              2           1         1                -         140.0000          -
389.13/391.06	c       391              3           2         1                -         140.0000          -
431.04/433.18	c       433              4           3         1                -         140.0000          -
466.55/468.78	c       469              5           4         1                -         140.0000          -
506.14/508.47	c       508              6           5         1                -         140.0000          -
542.24/544.61	c       545              7           6         1                -         140.0000          -
566.68/569.13	c       569              8           7         1                -         140.0000          -
586.22/588.78	c       589              9           8         1                -         140.0000          -
595.20/597.79	c       598             11          10         1                -         140.0000          -
615.74/618.32	c       618             12          11         1                -         140.0000          -
636.39/639.00	c       639             14          13         1                -         140.0000          -
641.77/644.46	c       644             16          15         1                -         140.0000          -
660.03/662.74	c       663             19          18         1                -         140.0000          -
665.22/667.94	c       668             21          20         1                -         140.0000          -
670.31/673.09	c       673             22          21         1                -         140.0000          -
711.20/714.01	c       714             23          22         1                -         140.0000          -
720.97/723.82	c       724             25          24         1                -         140.0000          -
726.75/729.66	c       730             27          26         1                -         140.0000          -
749.59/752.57	c       753             29          28         1                -         140.0000          -
756.57/759.56	c       760             31          30         1                -         140.0000          -
762.76/765.71	c       766             33          32         1                -         140.0000          -
767.74/770.79	c       771             35          34         1                -         140.0000          -
785.20/788.27	c       788             39          36         1                -         140.0000          -
790.88/793.99	c       794             40          37         1                -         140.0000          -
798.76/801.80	c       802             42          39         1                -         140.0000          -
805.14/808.22	c       808             44          41         1                -         140.0000          -
810.63/813.76	c       814             46          43         1                -         140.0000          -
828.68/831.81	c       832             47          44         1                -         140.0000          -
834.37/837.57	c       838             49          46         1                -         140.0000          -
841.45/844.65	c       845             51          48         1                -         140.0000          -
846.73/849.98	c       850             54          51         1                -         140.0000          -
854.51/857.73	c       858             55          52         1                -         140.0000          -
877.54/880.89	c       881             58          55         1                -         140.0000          -
884.82/888.19	c       888             60          57         1                -         140.0000          -
890.39/893.78	c       894             62          59         1                -         140.0000          -
896.78/900.10	c       900             64          61         1                -         140.0000          -
911.13/914.57	c       915             66          63         1                -         140.0000          -
920.71/924.13	c       924             70          67         1                -         140.0000          -
928.18/931.64	c       932             73          70         1                -         140.0000          -
954.40/957.92	c       958             76          73         1                -         140.0000          -
961.67/965.20	c       965             78          75         1                -         140.0000          -
967.56/971.15	c       971             80          77         1                -         140.0000          -
988.79/992.49	c       992             83          80         1                -         140.0000          -
993.97/997.66	c       998             85          82         1                -         140.0000          -
1004.04/1007.76	c      1008             87          84         1                -         140.0000          -
1013.21/1016.94	c      1017             89          86         1                -         140.0000          -
1018.70/1022.44	c      1022             91          88         1                -         140.0000          -
1033.15/1036.94	c      1037             92          89         1                -         140.0000          -
1038.24/1042.05	c      1042             95          92         1                -         140.0000          -
1044.22/1048.10	c      1048             99          96         1                -         140.0000          -
1050.20/1054.04	c      1054            102          99         1                -         140.0000          -
1062.66/1066.53	c      1067            103         100         1                -         140.0000          -
1077.22/1081.12	c      1081            108         105         1                -         140.0000          -
1121.58/1125.63	c      1126            109         106         1                -         140.0000          -
1142.82/1146.94	c      1147            111         108         1                -         140.0000          -
1151.10/1155.29	c      1155            113         110         1                -         140.0000          -
1156.88/1161.10	c      1161            114         111         1                -         140.0000          -
1174.23/1178.44	c      1178            115         112         1                -         140.0000          -
1181.60/1185.83	c      1186            117         114         1                -         140.0000          -
1186.89/1191.18	c      1191            120         117         1                -         140.0000          -
1194.36/1198.60	c      1199            124         121         1                -         140.0000          -
1208.82/1213.15	c      1213            126         123         1                -         140.0000          -
1229.85/1234.23	c      1234            131         128         1                -         140.0000          -
1237.83/1242.27	c      1242            132         129         1                -         140.0000          -
1244.61/1249.04	c      1249            133         130         1                -         140.0000          -
1263.15/1267.65	c      1268            134         131         1                -         140.0000          -
1269.83/1274.35	c      1274            136         133         1                -         140.0000          -
1279.00/1283.55	c      1284            138         135         1                -         140.0000          -
1300.43/1305.02	c      1305            140         137         1                -         140.0000          -
1323.06/1327.73	c      1328            141         138         1                -         140.0000          -
1329.64/1334.37	c      1334            143         140         1                -         140.0000          -
1345.40/1350.16	c      1350            144         141         1                -         140.0000          -
1353.77/1358.53	c      1359            146         143         1                -         140.0000          -
1360.55/1365.32	c      1365            148         145         1                -         140.0000          -
1375.31/1380.12	c      1380            149         146         1                -         140.0000          -
1381.98/1386.85	c      1387            151         148         1                -         140.0000          -
1393.55/1398.47	c      1398            153         150         1                -         140.0000          -
1401.82/1406.79	c      1407            156         153         1                -         140.0000          -
1420.66/1425.67	c      1426            157         154         1                -         140.0000          -
1426.34/1431.32	c      1431            159         156         1                -         140.0000          -
1434.22/1439.22	c      1439            162         159         1                -         140.0000          -
1447.48/1452.51	c      1453            163         160         1                -         140.0000          -
1453.36/1458.46	c      1458            166         163         1                -         140.0000          -
1459.05/1464.16	c      1464            170         167         1                -         140.0000          -
1471.10/1476.21	c      1476            175         172         1                -         140.0000          -
1486.86/1492.04	c      1492            176         173         1                -         140.0000          -
1492.44/1497.65	c      1498            177         174         1                -         140.0000          -
1501.61/1506.84	c      1507            179         176         1                -         140.0000          -
1518.95/1524.28	c      1524            181         178         1                -         140.0000          -
1524.14/1529.40	c      1529            182         179         1                -         140.0000          -
1529.92/1535.24	c      1535            184         181         1                -         140.0000          -
1545.27/1550.68	c      1551            188         185         1                -         140.0000          -
1551.35/1556.71	c      1557            192         189         1                -         140.0000          -
1559.43/1564.89	c      1565            197         194         1                -         140.0000          -
1580.37/1585.86	c      1586            199         196         1                -         140.0000          -
1586.85/1592.39	c      1592            201         198         1                -         140.0000          -
1594.43/1599.99	c      1600            202         199         1                -         140.0000          -
1600.71/1606.25	c      1606            205         202         1                -         140.0000          -
1613.67/1619.29	c      1619            206         203         1                -         140.0000          -
1618.85/1624.48	c      1624            210         207         1                -         140.0000          -
1625.14/1630.70	c      1631            213         210         1                -         140.0000          -
1630.82/1636.50	c      1636            219         216         1                -         140.0000          -
1657.83/1663.50	c      1664            221         218         1                -         140.0000          -
1665.91/1671.63	c      1672            223         220         1                -         140.0000          -
1670.99/1676.76	c      1677            225         222         1                -         140.0000          -
1683.85/1689.62	c      1690            226         223         1                -         140.0000          -
1689.73/1695.52	c      1696            230         227         1                -         140.0000          -
1695.22/1701.07	c      1701            234         231         1                -         140.0000          -
1717.05/1722.90	c      1723            241         238         1                -         140.0000          -
1722.24/1728.15	c      1728            242         239         1                -         140.0000          -
1730.32/1736.21	c      1736            243         240         1                -         140.0000          -
1749.06/1755.03	c      1755            244         241         1                -         140.0000          -
1758.43/1764.44	c      1764            246         243         1                -         140.0000          -
1766.61/1772.60	c      1773            248         245         1                -         140.0000          -
1781.36/1787.43	c      1787            249         246         1                -         140.0000          -
1804.90/1811.07	c      1811            250         247         1                -         140.0000          -
1811.47/1817.63	c      1818            252         249         1                -         140.0000          -
1826.83/1833.08	c      1833            253         250         1                -         140.0000          -
1833.01/1839.22	c      1839            255         252         1                -         140.0000          -
1839.79/1846.07	c      1846            257         254         1                -         140.0000          -
1845.87/1852.18	c      1852            260         257         1                -         140.0000          -
1858.93/1865.29	c      1865            261         258         1                -         140.0000          -
1865.41/1871.70	c      1872            264         261         1                -         140.0000          -
1871.39/1877.78	c      1878            266         263         1                -         140.0000          -
1876.97/1883.38	c      1883            268         265         1                -         140.0000          -
1888.54/1894.90	c      1895            270         267         1                -         140.0000          -
1894.12/1900.58	c      1901            274         271         1                -         140.0000          -
1899.50/1905.94	c      1906            279         276         1                -         140.0000          -
1917.55/1924.07	c      1924            283         280         1                -         140.0000          -
1923.23/1929.78	c      1930            287         284         1                -         140.0000          -
1941.58/1948.11	c      1948            289         286         1                -         140.0000          -
1947.85/1954.41	c      1954            290         287         1                -         140.0000          -
1953.73/1960.35	c      1960            292         289         1                -         140.0000          -
1968.50/1975.17	c      1975            295         292         1                -         140.0000          -
1973.88/1980.50	c      1981            297         294         1                -         140.0000          -
1979.06/1985.72	c      1986            301         298         1                -         140.0000          -
1990.93/1997.64	c      1998            306         303         1                -         140.0000          -
1995.91/2002.67	c      2003            309         306         1                -         140.0000          -
2003.39/2010.13	c      2010            311         308         1                -         140.0000          -
2010.17/2016.99	c      2017            312         309         1                -         140.0000          -
2023.13/2029.99	c      2030            313         310         1                -         140.0000          -
2029.81/2036.62	c      2037            315         312         1                -         140.0000          -
2036.39/2043.25	c      2043            319         316         1                -         140.0000          -
2046.55/2053.49	c      2054            320         317         1                -         140.0000          -
2052.74/2059.64	c      2060            323         320         1                -         140.0000          -
2057.82/2064.70	c      2065            329         326         1                -         140.0000          -
2080.15/2087.13	c      2087            332         329         1                -         140.0000          -
2087.32/2094.39	c      2094            335         332         1                -         140.0000          -
2093.12/2100.12	c      2100            337         334         1                -         140.0000          -
2108.97/2116.04	c      2116            339         336         1                -         140.0000          -
2117.24/2124.36	c      2124            342         339         1                -         140.0000          -
2122.72/2129.84	c      2130            345         342         1                -         140.0000          -
2136.58/2143.76	c      2144            350         347         1                -         140.0000          -
2155.93/2163.17	c      2163            352         349         1                -         140.0000          -
2177.16/2184.41	c      2184            356         353         1                -         140.0000          -
2182.84/2190.15	c      2190            357         354         1                -         140.0000          -
2189.62/2196.96	c      2197            359         356         1                -         140.0000          -
2205.87/2213.22	c      2213            361         358         1                -         140.0000          -
2211.15/2218.53	c      2219            363         360         1                -         140.0000          -
2217.23/2224.66	c      2225            366         363         1                -         140.0000          -
2230.49/2237.95	c      2238            370         367         1                -         140.0000          -
2236.48/2243.92	c      2244            375         372         1                -         140.0000          -
2244.05/2251.53	c      2252            380         375         1                -         140.0000          -
2262.80/2270.36	c      2270            381         376         1                -         140.0000          -
2269.58/2277.17	c      2277            383         378         1                -         140.0000          -
2276.66/2284.21	c      2284            386         381         1                -         140.0000          -
2289.92/2297.52	c      2298            387         382         1                -         140.0000          -
2296.41/2304.04	c      2304            391         386         1                -         140.0000          -
2301.69/2309.34	c      2309            398         391         1                -         140.0000          -
2316.44/2324.15	c      2324            404         393         1                -         140.0000          -
2323.62/2331.37	c      2331            406         395         1                -         140.0000          -
2345.75/2353.56	c      2354            408         397         1                -         140.0000          -
2352.72/2360.54	c      2361            410         399         1                -         140.0000          -
2358.11/2365.96	c      2366            413         402         1                -         140.0000          -
2365.19/2373.09	c      2373            414         403         1                -         140.0000          -
2371.27/2379.12	c      2379            418         407         1                -         140.0000          -
2380.94/2388.81	c      2389            422         411         1                -         140.0000          -
2386.32/2394.27	c      2394            428         415         1                -         140.0000          -
2410.05/2418.01	c      2418            430         417         1                -         140.0000          -
2417.03/2425.09	c      2425            432         419         1                -         140.0000          -
2423.92/2431.94	c      2432            435         422         1                -         140.0000          -
2436.87/2444.96	c      2445            437         424         1                -         140.0000          -
2444.35/2452.41	c      2452            440         427         1                -         140.0000          -
2450.14/2458.20	c      2458            444         431         1                -         140.0000          -
2459.11/2467.27	c      2467            446         433         1                -         140.0000          -
2476.96/2485.16	c      2485            450         437         1                -         140.0000          -
2499.79/2508.05	c      2508            452         439         1                -         140.0000          -
2507.16/2515.40	c      2515            453         440         1                -         140.0000          -
2514.34/2522.67	c      2523            454         441         1                -         140.0000          -
2520.22/2528.56	c      2529            455         442         1                -         140.0000          -
2534.88/2543.23	c      2543            456         443         1                -         140.0000          -
2541.26/2549.64	c      2550            458         445         1                -         140.0000          -
2577.84/2586.38	c      2586            460         447         1                -         140.0000          -
2598.18/2606.74	c      2607            462         449         1                -         140.0000          -
2606.56/2615.19	c      2615            464         451         1                -         140.0000          -
2611.84/2620.40	c      2620            466         453         1                -         140.0000          -
2628.30/2636.99	c      2637            468         455         1                -         140.0000          -
2638.66/2647.38	c      2647            470         457         1                -         140.0000          -
2651.23/2659.99	c      2660            472         459         1                -         140.0000          -
2663.89/2672.70	c      2673            474         461         1                -         140.0000          -
2670.96/2679.73	c      2680            476         463         1                -         140.0000          -
2678.44/2687.28	c      2687            478         465         1                -         140.0000          -
2691.61/2700.42	c      2700            479         466         1                -         140.0000          -
2699.39/2708.26	c      2708            482         469         1                -         140.0000          -
2704.77/2713.68	c      2714            485         472         1                -         140.0000          -
2717.74/2726.62	c      2727            487         472         1                -         140.0000          -
2723.43/2732.33	c      2732            492         477         1                -         140.0000          -
2741.19/2750.11	c      2750            497         482         1                -         140.0000          -
2761.04/2770.01	c      2770            498         483         1                -         140.0000          -
2781.58/2790.62	c      2791            499         484         1                -         140.0000          -
2789.36/2798.48	c      2798            499         486         1                -         140.0000          -
3006.32/3015.98	c      3016            500         485         1                -         140.0000          -
3013.10/3022.78	c      3023            501         486         1                -         140.0000          -
3033.24/3042.94	c      3043            503         488         1                -         140.0000          -
3038.63/3048.33	c      3048            505         490         1                -         140.0000          -
3081.33/3091.14	c      3091            506         491         1                -         140.0000          -
3086.91/3096.75	c      3097            507         492         1                -         140.0000          -
3104.37/3114.20	c      3114            509         494         1                -         140.0000          -
3110.66/3120.50	c      3121            511         496         1                -         140.0000          -
3117.04/3126.97	c      3127            513         498         1                -         140.0000          -
3127.12/3137.01	c      3137            514         499         1                -         140.0000          -
3133.60/3143.54	c      3144            516         501         1                -         140.0000          -
3146.07/3156.04	c      3156            520         505         1                -         140.0000          -
3164.13/3174.17	c      3174            521         506         1                -         140.0000          -
3171.50/3181.54	c      3182            522         507         1                -         140.0000          -
3177.68/3187.76	c      3188            523         508         1                -         140.0000          -
3190.35/3200.40	c      3200            524         509         1                -         140.0000          -
3199.42/3209.53	c      3210            526         511         1                -         140.0000          -
3210.89/3221.05	c      3221            527         512         1                -         140.0000          -
3262.03/3272.34	c      3272            529         514         1                -         140.0000          -
3276.79/3287.13	c      3287            530         515         1                -         140.0000          -
3284.26/3294.69	c      3295            532         517         1                -         140.0000          -
3300.02/3310.44	c      3310            534         519         1                -         140.0000          -
3305.70/3316.12	c      3316            537         522         1                -         140.0000          -
3311.69/3322.14	c      3322            539         524         1                -         140.0000          -
3324.44/3334.98	c      3335            542         527         1                -         140.0000          -
3332.52/3343.03	c      3343            544         529         1                -         140.0000          -
3337.50/3348.05	c      3348            545         530         1                -         140.0000          -
3344.08/3354.63	c      3355            546         531         1                -         140.0000          -
3361.72/3372.34	c      3372            547         532         1                -         140.0000          -
3368.41/3379.00	c      3379            548         533         1                -         140.0000          -
3376.08/3386.74	c      3387            550         535         1                -         140.0000          -
3419.85/3430.62	c      3431            551         536         1                -         140.0000          -
3425.24/3436.02	c      3436            552         537         1                -         140.0000          -
3440.49/3451.39	c      3451            553         538         1                -         140.0000          -
3446.97/3457.89	c      3458            555         540         1                -         140.0000          -
3453.46/3464.31	c      3464            558         543         1                -         140.0000          -
3471.70/3482.63	c      3483            561         546         1                -         140.0000          -
3480.27/3491.26	c      3491            567         552         1                -         140.0000          -
3501.80/3512.89	c      3513            568         553         1                -         140.0000          -
3508.18/3519.29	c      3519            570         555         1                -         140.0000          -
3521.34/3532.48	c      3532            572         557         1                -         140.0000          -
3528.62/3539.71	c      3540            576         561         1                -         140.0000          -
3535.10/3546.22	c      3546            578         563         1                -         140.0000          -
3544.47/3555.66	c      3556            580         565         1                -         140.0000          -
3549.76/3560.98	c      3561            583         568         1                -         140.0000          -
3575.58/3586.86	c      3587            588         573         1                -         140.0000          -
3581.47/3592.73	c      3593            591         576         1                -         140.0000          -
3586.75/3598.00	c      3598            591         576         0                -         140.0000          -
3586.85/3598.12	c SCIP Status        : c solving was interrupted [hard time limit reached]
3586.85/3598.12	c Total Time         : 3598.1300
3586.85/3598.12	c   solving          : 3598.1300
3586.85/3598.12	c   presolving       : 1.7283 (included in solving)
3586.85/3598.12	c B&B Tree           :
3586.85/3598.12	c   nodes (total)    : 1
3586.85/3598.12	c Solution           :
3586.85/3598.12	c   Solutions found  : 0
3586.85/3598.12	c   Primal Bound     :          -
3586.85/3598.12	c   Dual Bound       : +1.40000000000000e+02
3586.85/3598.12	c Gap                :          -
3586.85/3598.20	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: 63931 MiB (57680 MiB free)
  memory of node 1: 64510 MiB (61560 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463959-1722378594/watcher-4463959-1722378594 -o /tmp/evaluation-result-4463959-1722378594/solver-4463959-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27905 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463959-1722378594.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=27954, runsolver pid=27951

[startup+0.100196 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121965984/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=52544 memory=40800 CPUtime=0.09 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 4194304 8066 0 0 0 8 1 0 0 20 0 1 0 4457315 53805056 10200 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 13136 10200 2347 3035 0 9532 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52544 KiB
Current children cumulated memory: 40800 KiB

[startup+0.205481 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121833476/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=111940 memory=99576 CPUtime=0.19 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 4194304 22729 0 0 0 16 3 0 0 20 0 1 0 4457315 114626560 24894 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 27985 24894 2614 3035 0 24381 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111940 KiB
Current children cumulated memory: 99576 KiB

[startup+0.305659 s]*
/proc/loadavg: 0.11 0.09 0.09 5/257 27967
/proc/meminfo: memFree=121720048/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=135916 memory=121016 CPUtime=0.29 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 4194304 26024 0 0 0 25 4 0 0 20 0 1 0 4457315 139177984 30254 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 33979 30254 2646 3035 0 30375 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 121016 KiB

[startup+0.700242 s]
/proc/loadavg: 0.11 0.09 0.09 5/258 27968
/proc/meminfo: memFree=121502768/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=165228 memory=152140 CPUtime=0.68 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 4194304 40117 0 0 0 61 7 0 0 20 0 1 0 4457315 169193472 38035 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 41307 38035 2726 3035 0 37703 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165228 KiB
Current children cumulated memory: 152140 KiB

[startup+1.50023 s]
/proc/loadavg: 0.42 0.16 0.11 5/261 27971
/proc/meminfo: memFree=121185500/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=180580 memory=165992 CPUtime=1.49 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 4194304 43592 0 0 0 141 8 0 0 20 0 1 0 4457315 184913920 41498 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 45145 41498 2774 3035 0 41541 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 180580 KiB
Current children cumulated memory: 165992 KiB

[startup+3.1062 s]
/proc/loadavg: 0.42 0.16 0.11 5/263 27973
/proc/meminfo: memFree=120601972/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=609772 memory=516512 CPUtime=3.07 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 112943 0 0 0 286 21 0 0 20 0 3 0 4457315 624406528 129128 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 152443 129128 2806 3035 0 144710 0
[pid=27954/tid=27972] ppid=27951 vsize=609772 memory=198340509722 CPUtime=1.09 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 41832 0 0 0 104 5 0 0 20 0 3 0 4457507 624406528 129128 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=609772 memory=0 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4457521 624406528 129128 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 609772 KiB
Current children cumulated memory: 516512 KiB

[startup+6.3002 s]
/proc/loadavg: 0.71 0.22 0.13 5/263 27973
/proc/meminfo: memFree=120495612/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=675308 memory=586676 CPUtime=6.24 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 133673 0 0 0 600 24 0 0 20 0 3 0 4457315 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 168827 146669 2934 3035 0 162075 0
[pid=27954/tid=27972] ppid=27951 vsize=675308 memory=0 CPUtime=4.26 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 62559 0 0 0 417 9 0 0 20 0 3 0 4457507 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=675308 memory=275492 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4457521 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586676 KiB

[startup+12.7002 s]
/proc/loadavg: 1.05 0.30 0.16 5/263 27975
/proc/meminfo: memFree=120417524/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=675308 memory=586676 CPUtime=12.58 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 155871 0 0 0 1232 26 0 0 20 0 3 0 4457315 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 168827 146669 2934 3035 0 162075 0
[pid=27954/tid=27972] ppid=27951 vsize=675308 memory=586676 CPUtime=10.6 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 84745 0 0 0 1050 10 0 0 20 0 3 0 4457507 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=675308 memory=586676 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4457521 691515392 146669 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586676 KiB

[startup+25.5002 s]
/proc/loadavg: 1.50 0.42 0.20 5/263 27976
/proc/meminfo: memFree=120311404/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=675308 memory=586740 CPUtime=25.27 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 171279 0 0 0 2500 27 0 0 20 0 3 0 4457315 691515392 146685 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 168827 146685 2950 3035 0 162075 0
[pid=27954/tid=27972] ppid=27951 vsize=675308 memory=586740 CPUtime=23.29 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 100138 0 0 0 2318 11 0 0 20 0 3 0 4457507 691515392 146685 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=675308 memory=13204 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 4457521 691515392 146685 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586740 KiB

[startup+51.1055 s]
/proc/loadavg: 2.55 0.78 0.33 5/267 28042
/proc/meminfo: memFree=120292884/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=740844 memory=600336 CPUtime=50.69 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 219509 0 0 0 5039 30 0 0 20 0 3 0 4457315 758624256 150084 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 185211 150084 2966 3035 0 166715 0
[pid=27954/tid=27972] ppid=27951 vsize=740844 memory=11712 CPUtime=48.71 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 148353 0 0 0 4857 14 0 0 20 0 3 0 4457507 758624256 150084 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=740844 memory=596720 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4457521 758624256 150084 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 50.69 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 600336 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.53 5/268 28054
/proc/meminfo: memFree=119685884/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=740844 memory=607384 CPUtime=101.72 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 280090 0 0 0 10138 34 0 0 20 0 3 0 4457315 758624256 151846 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 185211 151846 2966 3035 0 172204 0
[pid=27954/tid=27972] ppid=27951 vsize=740844 memory=607384 CPUtime=99.74 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 208921 0 0 0 9956 18 0 0 20 0 3 0 4457507 758624256 151846 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=740844 memory=12552 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 4457521 758624256 151846 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 607384 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 5/268 28065
/proc/meminfo: memFree=119625800/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=740844 memory=612928 CPUtime=161.54 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 322919 0 0 0 16117 37 0 0 20 0 3 0 4457315 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 185211 153232 2966 3035 0 178588 0
[pid=27954/tid=27972] ppid=27951 vsize=740844 memory=5492 CPUtime=159.56 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 251740 0 0 0 15935 21 0 0 20 0 3 0 4457507 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=740844 memory=607392 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4457521 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 612928 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 2.31 1.00 5/268 28124
/proc/meminfo: memFree=120722900/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=740844 memory=612928 CPUtime=221.35 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 334481 0 0 0 22098 37 0 0 20 0 3 0 4457315 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 185211 153232 2966 3035 0 178588 0
[pid=27954/tid=27972] ppid=27951 vsize=740844 memory=612928 CPUtime=219.37 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 263296 0 0 0 21916 21 0 0 20 0 3 0 4457507 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=740844 memory=12552 CPUtime=0 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 4457521 758624256 153232 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 612928 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 2.65 1.20 5/267 28136
/proc/meminfo: memFree=120626564/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=740844 memory=614868 CPUtime=281.19 cores=1,3

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

Current children cumulated memory: 923692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 29762
/proc/meminfo: memFree=116505760/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923696 CPUtime=3391.63 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 617285 0 0 0 339097 66 0 0 20 0 3 0 4457315 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230924 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=923692 CPUtime=3389.59 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 544839 0 0 0 338912 47 0 0 20 0 3 0 4457507 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=923692 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 315 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3391.63 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/263 29774
/proc/meminfo: memFree=116447636/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923696 CPUtime=3451.46 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 618709 0 0 0 345079 67 0 0 20 0 3 0 4457315 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230924 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=923692 CPUtime=3449.4 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 546236 0 0 0 344893 47 0 0 20 0 3 0 4457507 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=5492 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 320 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.02 5/263 29785
/proc/meminfo: memFree=116419860/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923696 CPUtime=3511.27 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 620287 0 0 0 351060 67 0 0 20 0 3 0 4457315 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230924 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=923696 CPUtime=3509.22 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 547781 0 0 0 350875 47 0 0 20 0 3 0 4457507 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=11712 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 326 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3511.27 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923696 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.12 4.03 5/264 29964
/proc/meminfo: memFree=116329244/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923696 CPUtime=3571.09 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 621923 0 0 0 357042 67 0 0 20 0 3 0 4457315 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230924 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=923696 CPUtime=3569.04 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 549397 0 0 0 356856 48 0 0 20 0 3 0 4457507 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=-4050210904893604237 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923696 KiB

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

# cumulated CPU time of all completed processes:  user=3586.27 s, system=0.696864 s

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

[startup+3584 s]*
/proc/loadavg: 4.21 4.12 4.03 5/264 29965
/proc/meminfo: memFree=116328088/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923696 CPUtime=3572.79 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 621926 0 0 0 357212 67 0 0 20 0 3 0 4457315 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230924 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=-7522256593712406652 CPUtime=3570.74 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 549400 0 0 0 357026 48 0 0 20 0 3 0 4457507 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=4924 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 328 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230924 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923696 KiB

[startup+3590.4 s]
/proc/loadavg: 4.19 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116311632/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923836 CPUtime=3579.17 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 626375 0 0 0 357849 68 0 0 20 0 3 0 4457315 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230959 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=11712 CPUtime=3577.12 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 553839 0 0 0 357664 48 0 0 20 0 3 0 4457507 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=923696 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 330 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3579.17 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923836 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116310500/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923836 CPUtime=3582.36 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 627166 0 0 0 358168 68 0 0 20 0 3 0 4457315 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230959 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=-7018134910423623035 CPUtime=3580.31 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 554630 0 0 0 357983 48 0 0 20 0 3 0 4457507 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=923836 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 330 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3582.36 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923836 KiB

[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.03 5/264 29967
/proc/meminfo: memFree=116309344/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923836 CPUtime=3585.55 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 628391 0 0 0 358487 68 0 0 20 0 3 0 4457315 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230959 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=923696 CPUtime=3583.5 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 555855 0 0 0 358302 48 0 0 20 0 3 0 4457507 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=1836 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 330 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923836 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.12 4.03 5/264 29968
/proc/meminfo: memFree=116308256/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923836 CPUtime=3586.35 cores=1,3
/proc/27954/stat : 27954 (fscip) S 27951 27954 27893 0 -1 1077936128 628391 0 0 0 358567 68 0 0 20 0 3 0 4457315 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230959 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=12552 CPUtime=3584.29 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 555855 0 0 0 358381 48 0 0 20 0 3 0 4457507 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=11712 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 330 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923836 KiB

[startup+3598 s]*
/proc/loadavg: 4.16 4.12 4.03 5/264 29968
/proc/meminfo: memFree=116308008/131524600 swapFree=131071996/131071996
[pid=27954] ppid=27951 vsize=1134060 memory=923836 CPUtime=3586.75 cores=1,3
/proc/27954/stat : 27954 (fscip) R 27951 27954 27893 0 -1 1077936128 628417 0 0 0 358607 68 0 0 20 0 3 0 4457315 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
/proc/27954/statm: 283515 230959 3030 3035 0 267667 0
[pid=27954/tid=27972] ppid=27951 vsize=1134060 memory=-7522256593712406652 CPUtime=3584.7 cores=1,3
/proc/27954/task/27972/stat : 27972 (fscip) R 27951 27954 27893 0 -1 4194368 555882 0 0 0 358422 48 0 0 20 0 3 0 4457507 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
[pid=27954/tid=27973] ppid=27951 vsize=1134060 memory=-4050210904893604237 CPUtime=0.03 cores=1,3
/proc/27954/task/27973/stat : 27973 (fscip) S 27951 27954 27893 0 -1 1077936192 330 0 0 0 1 2 0 0 20 0 3 0 4457521 1161277440 230959 134679101440 4194304 16623229 140736768517904 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 43589632 140736768521238 140736768521354 140736768521354 140736768528368 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 1134060 KiB
Current children cumulated memory: 923836 KiB

[startup+3598.2 s]*
/proc/loadavg: 4.16 4.12 4.03 5/259 29968
/proc/meminfo: memFree=117233560/131524600 swapFree=131071996/131071996
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): 3598.21
CPU time (s): 3586.96
CPU user time (s): 3586.27
CPU system time (s): 0.696864
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 1134060
Max. memory (cumulated for all children) (KiB): 928944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.27
system time used= 0.696864
maximum resident set size= 928944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634220
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= 4717
involuntary context switches= 4373


# summary of solver processes directly reported to runsolver:
#   pid: 27954
#   total CPU time (s): 3586.96
#   total CPU user time (s): 3586.27
#   total CPU system time (s): 0.696864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93767 second user time and 15.2742 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-31 00:29:54
IDJOB=4463959
IDBENCH=147019
IDSOLVER=3092
FILE ID=nodeC020/4463959-1722378594
RUNJOBID= nodeC020-1722378594-27905
SLURM_JOB_ID= 8249843
Free space on /tmp= 890048 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.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-4463959-1722378594/watcher-4463959-1722378594 -o /tmp/evaluation-result-4463959-1722378594/solver-4463959-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27905 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4463959-1722378594.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=1497379858

nodeC020.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	: 0xb00002a
cpu MHz		: 3655.803
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.38
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	: 0xb00002a
cpu MHz		: 3629.865
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.00
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	: 0xb00002a
cpu MHz		: 3625.885
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.38
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	: 0xb00002a
cpu MHz		: 3630.005
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.00
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	: 0xb00002a
cpu MHz		: 3642.040
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.38
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	: 0xb00002a
cpu MHz		: 3649.996
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.00
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	: 0xb00002a
cpu MHz		: 3645.734
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7000.38
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	: 0xb00002a
cpu MHz		: 3594.525
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122126624 kB
MemAvailable:   129747332 kB
Buffers:           90104 kB
Cached:          8346700 kB
SwapCached:            0 kB
Active:           251496 kB
Inactive:        8635096 kB
Active(anon):       1528 kB
Inactive(anon):   469640 kB
Active(file):     249968 kB
Inactive(file):  8165456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            123336 kB
Writeback:             0 kB
AnonPages:        447940 kB
Mapped:            97376 kB
Shmem:             21336 kB
KReclaimable:      89864 kB
Slab:             171228 kB
SReclaimable:      89864 kB
SUnreclaim:        81364 kB
KernelStack:        3968 kB
PageTables:         9224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     817592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC020 at 2024-07-31 01:29:53