Trace number 4434840

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-02? 3585.39 3600.22

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
MD5SUMe9a18706671e83c85382be3233ac0f60
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 benchmark3600.04
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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1         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() = 112791552, SCIPgetMemUsed() = 69201840, 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.92	c ** Estimated virtualMemUsedAtSolver = 283265551, getVmSize() = 402911232, SCIPgetMemUsed() = 255799674, SCIPgetMemTotal() = 373481194, SCIPgetMemExternEstim() = 51417133
1.88/1.92	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.88/1.92	c Original Problem   :
1.88/1.92	c   Problem name     : instance-4434840-1721126439
1.88/1.92	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.92	c   Constraints      : 42620
1.88/1.92	c   Objective sense  : minimize
1.88/1.92	c Presolved Problem  :
1.88/1.92	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.92	c   Constraints      : 42620
1.88/1.92	c Constraints        : Number
1.88/1.92	c   knapsack         : 21770 
1.88/1.92	c   setppc           : 3960 
1.88/1.92	c   logicor          : 16890 
1.88/1.92	c ** Instance transfer method used: 0
1.88/2.00	c ** ParaScipInstance copy does not increase the number of variables. **
1.99/2.06	c LC is working with racing ramp-up and with rebuilding tree after racing.
1.99/2.06	c                                Nodes    Active                                            
1.99/2.06	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
364.05/367.58	c       368              2           1         1                -         140.0000          -
389.55/393.11	c       393              3           2         1                -         140.0000          -
424.73/428.40	c       428              4           3         1                -         140.0000          -
450.05/453.86	c       454              5           4         1                -         140.0000          -
477.55/481.40	c       481              6           5         1                -         140.0000          -
520.20/524.20	c       524              7           6         1                -         140.0000          -
561.56/565.73	c       566              8           7         1                -         140.0000          -
582.69/586.91	c       587              9           8         1                -         140.0000          -
590.87/595.14	c       595             11          10         1                -         140.0000          -
606.30/610.65	c       611             12          11         1                -         140.0000          -
624.93/629.31	c       629             13          12         1                -         140.0000          -
630.81/635.26	c       635             15          14         1                -         140.0000          -
640.46/644.90	c       645             17          16         1                -         140.0000          -
645.65/650.19	c       650             18          17         1                -         140.0000          -
688.98/693.68	c       694             21          20         1                -         140.0000          -
697.54/702.21	c       702             23          22         1                -         140.0000          -
704.11/708.85	c       709             25          24         1                -         140.0000          -
713.38/718.13	c       718             26          25         1                -         140.0000          -
741.16/746.07	c       746             28          27         1                -         140.0000          -
747.24/752.16	c       752             29          28         1                -         140.0000          -
768.26/773.23	c       773             31          30         1                -         140.0000          -
788.97/794.04	c       794             33          32         1                -         140.0000          -
796.55/801.61	c       802             35          34         1                -         140.0000          -
803.91/809.08	c       809             37          36         1                -         140.0000          -
812.48/817.68	c       818             39          38         1                -         140.0000          -
861.29/866.61	c       867             40          39         1                -         140.0000          -
869.76/875.14	c       875             42          41         1                -         140.0000          -
876.92/882.36	c       882             44          43         1                -         140.0000          -
895.75/901.24	c       901             46          45         1                -         140.0000          -
901.82/907.30	c       907             48          47         1                -         140.0000          -
921.74/927.37	c       927             49          48         1                -         140.0000          -
929.91/935.53	c       936             51          50         1                -         140.0000          -
970.45/976.25	c       976             52          51         1                -         140.0000          -
979.01/984.80	c       985             54          53         1                -         140.0000          -
984.49/990.36	c       990             56          55         1                -         140.0000          -
989.86/995.72	c       996             57          56         1                -         140.0000          -
995.85/1001.70	c      1002             59          58         1                -         140.0000          -
1014.18/1020.17	c      1020             60          59         1                -         140.0000          -
1019.25/1025.28	c      1025             62          61         1                -         140.0000          -
1039.07/1045.14	c      1045             63          62         1                -         140.0000          -
1045.95/1052.04	c      1052             65          64         1                -         140.0000          -
1065.06/1071.26	c      1071             66          65         1                -         140.0000          -
1072.53/1078.79	c      1079             68          67         1                -         140.0000          -
1078.31/1084.54	c      1085             70          69         1                -         140.0000          -
1087.68/1093.91	c      1094             71          70         1                -         140.0000          -
1094.55/1100.80	c      1101             72          71         1                -         140.0000          -
1114.17/1120.58	c      1121             73          72         1                -         140.0000          -
1119.94/1126.35	c      1126             74          73         1                -         140.0000          -
1128.11/1134.58	c      1135             76          75         1                -         140.0000          -
1133.49/1139.99	c      1140             77          76         1                -         140.0000          -
1152.41/1158.98	c      1159             78          77         1                -         140.0000          -
1173.53/1180.16	c      1180             81          80         1                -         140.0000          -
1261.19/1268.14	c      1268             82          81         1                -         140.0000          -
1266.36/1273.33	c      1273             84          83         1                -         140.0000          -
1284.99/1292.03	c      1292             85          84         1                -         140.0000          -
1308.50/1315.67	c      1316             86          85         1                -         140.0000          -
1314.87/1322.04	c      1322             89          86         1                -         140.0000          -
1331.70/1338.99	c      1339             90          87         1                -         140.0000          -
1339.67/1346.90	c      1347             92          89         1                -         140.0000          -
1366.37/1373.71	c      1374             94          91         1                -         140.0000          -
1430.11/1437.71	c      1438             95          92         1                -         140.0000          -
1448.25/1455.91	c      1456             96          93         1                -         140.0000          -
1456.01/1463.74	c      1464             98          95         1                -         140.0000          -
1463.09/1470.82	c      1471            100          97         1                -         140.0000          -
1481.53/1489.39	c      1489            103         100         1                -         140.0000          -
1489.30/1497.16	c      1497            105         102         1                -         140.0000          -
1498.17/1506.07	c      1506            107         104         1                -         140.0000          -
1552.98/1561.03	c      1561            108         105         1                -         140.0000          -
1557.96/1566.08	c      1566            109         106         1                -         140.0000          -
1563.24/1571.38	c      1571            111         108         1                -         140.0000          -
1583.17/1591.30	c      1591            114         111         1                -         140.0000          -
1588.45/1596.61	c      1597            116         113         1                -         140.0000          -
1604.01/1612.24	c      1612            118         115         1                -         140.0000          -
1657.43/1665.89	c      1666            120         117         1                -         140.0000          -
1665.10/1673.54	c      1674            122         119         1                -         140.0000          -
1684.14/1692.69	c      1693            124         121         1                -         140.0000          -
1689.72/1698.26	c      1698            126         123         1                -         140.0000          -
1695.01/1703.56	c      1704            128         125         1                -         140.0000          -
1704.57/1713.10	c      1713            130         127         1                -         140.0000          -
1710.35/1718.91	c      1719            131         128         1                -         140.0000          -
1728.29/1736.90	c      1737            134         129         1                -         140.0000          -
1735.37/1744.08	c      1744            136         131         1                -         140.0000          -
1754.51/1763.25	c      1763            138         133         1                -         140.0000          -
1761.49/1770.22	c      1770            140         135         1                -         140.0000          -
1767.07/1775.82	c      1776            147         136         1                -         140.0000          -
1791.49/1800.33	c      1800            149         138         1                -         140.0000          -
1799.46/1808.37	c      1808            151         140         1                -         140.0000          -
1820.48/1829.43	c      1829            153         142         1                -         140.0000          -
1827.26/1836.21	c      1836            157         144         1                -         140.0000          -
1833.44/1842.46	c      1842            161         148         1                -         140.0000          -
1853.08/1862.17	c      1862            166         149         1                -         140.0000          -
1859.85/1868.97	c      1869            169         150         1                -         140.0000          -
1872.51/1881.62	c      1882            170         151         1                -         140.0000          -
1878.39/1887.50	c      1888            175         152         1                -         140.0000          -
1918.47/1927.70	c      1928            177         151         1                -         140.0000          -
1936.51/1945.84	c      1946            179         153         1                -         140.0000          -
1941.89/1951.26	c      1951            181         155         1                -         140.0000          -
1948.87/1958.25	c      1958            184         158         1                -         140.0000          -
1962.02/1971.48	c      1971            186         160         1                -         140.0000          -
1967.50/1976.94	c      1977            190         164         1                -         140.0000          -
1976.47/1985.90	c      1986            195         169         1                -         140.0000          -
1991.92/2001.46	c      2001            196         170         1                -         140.0000          -
2000.60/2010.14	c      2010            198         172         1                -         140.0000          -
2016.64/2026.24	c      2026            201         175         1                -         140.0000          -
2025.71/2035.38	c      2035            203         177         1                -         140.0000          -
2031.59/2041.20	c      2041            205         179         1                -         140.0000          -
2048.64/2058.39	c      2058            209         181         1                -         140.0000          -
2056.72/2066.46	c      2066            211         183         1                -         140.0000          -
2061.90/2071.65	c      2072            212         184         1                -         140.0000          -
2067.48/2077.23	c      2077            213         185         1                -         140.0000          -
2084.52/2094.31	c      2094            214         186         1                -         140.0000          -
2090.80/2100.66	c      2101            215         187         1                -         140.0000          -
2095.89/2105.75	c      2106            216         188         1                -         140.0000          -
2101.37/2111.29	c      2111            217         189         1                -         140.0000          -
2115.52/2125.47	c      2125            218         190         1                -         140.0000          -
2146.21/2156.29	c      2156            220         192         1                -         140.0000          -
2151.80/2161.84	c      2162            222         194         1                -         140.0000          -
2157.78/2167.81	c      2168            224         196         1                -         140.0000          -
2162.96/2173.01	c      2173            226         198         1                -         140.0000          -
2174.73/2184.84	c      2185            227         199         1                -         140.0000          -
2181.50/2191.60	c      2192            228         198         1                -         140.0000          -
2188.28/2198.42	c      2198            230         200         1                -         140.0000          -
2222.57/2232.82	c      2233            231         201         1                -         140.0000          -
2227.86/2238.19	c      2238            232         202         1                -         140.0000          -
2247.19/2257.56	c      2258            234         204         1                -         140.0000          -
2253.78/2264.11	c      2264            236         206         1                -         140.0000          -
2258.76/2269.16	c      2269            238         208         1                -         140.0000          -
2269.02/2279.41	c      2279            239         209         1                -         140.0000          -
2274.20/2284.62	c      2285            243         213         1                -         140.0000          -
2280.58/2291.03	c      2291            245         212         1                -         140.0000          -
2328.32/2338.97	c      2339            247         214         1                -         140.0000          -
2341.58/2352.23	c      2352            248         215         1                -         140.0000          -
2349.55/2360.21	c      2360            250         217         1                -         140.0000          -
2360.82/2371.59	c      2372            251         218         1                -         140.0000          -
2366.30/2377.01	c      2377            253         220         1                -         140.0000          -
2371.68/2382.46	c      2382            255         222         1                -         140.0000          -
2382.25/2393.08	c      2393            256         223         1                -         140.0000          -
2388.72/2399.52	c      2400            259         226         1                -         140.0000          -
2399.99/2410.83	c      2411            262         229         1                -         140.0000          -
2416.73/2427.67	c      2428            264         231         1                -         140.0000          -
2421.81/2432.73	c      2433            265         232         1                -         140.0000          -
2430.58/2441.55	c      2442            267         234         1                -         140.0000          -
2441.76/2452.77	c      2453            268         235         1                -         140.0000          -
2448.14/2459.19	c      2459            270         237         1                -         140.0000          -
2461.29/2472.38	c      2472            272         239         1                -         140.0000          -
2467.17/2478.27	c      2478            275         242         1                -         140.0000          -
2472.36/2483.46	c      2483            278         245         1                -         140.0000          -
2490.69/2501.82	c      2502            280         247         1                -         140.0000          -
2495.88/2507.06	c      2507            281         248         1                -         140.0000          -
2512.52/2523.75	c      2524            283         250         1                -         140.0000          -
2521.09/2532.36	c      2532            286         253         1                -         140.0000          -
2535.35/2546.60	c      2547            287         254         1                -         140.0000          -
2542.02/2553.30	c      2553            289         256         1                -         140.0000          -
2548.10/2559.41	c      2559            292         259         1                -         140.0000          -
2553.19/2564.58	c      2565            293         260         1                -         140.0000          -
2563.55/2574.91	c      2575            296         263         1                -         140.0000          -
2578.00/2589.46	c      2589            297         264         1                -         140.0000          -
2585.68/2597.11	c      2597            299         266         1                -         140.0000          -
2590.96/2602.49	c      2602            301         268         1                -         140.0000          -
2599.53/2611.07	c      2611            302         269         1                -         140.0000          -
2605.01/2616.55	c      2617            305         272         1                -         140.0000          -
2618.27/2629.86	c      2630            309         276         1                -         140.0000          -
2638.10/2649.72	c      2650            313         280         1                -         140.0000          -
2644.58/2656.28	c      2656            315         282         1                -         140.0000          -
2660.73/2672.47	c      2672            317         284         1                -         140.0000          -
2666.91/2678.62	c      2679            319         286         1                -         140.0000          -
2673.59/2685.30	c      2685            321         288         1                -         140.0000          -
2685.16/2696.96	c      2697            322         289         1                -         140.0000          -
2692.03/2703.87	c      2704            327         294         1                -         140.0000          -
2697.82/2709.62	c      2710            330         297         1                -         140.0000          -
2711.77/2723.67	c      2724            332         299         1                -         140.0000          -
2718.85/2730.70	c      2731            334         301         1                -         140.0000          -
2724.73/2736.67	c      2737            337         304         1                -         140.0000          -
2736.29/2748.28	c      2748            339         306         1                -         140.0000          -
2742.97/2754.99	c      2755            342         309         1                -         140.0000          -
2757.72/2769.71	c      2770            347         314         1                -         140.0000          -
2763.10/2775.12	c      2775            349         316         1                -         140.0000          -
2769.98/2782.09	c      2782            351         318         1                -         140.0000          -
2783.73/2795.87	c      2796            353         320         1                -         140.0000          -
2789.81/2801.90	c      2802            355         322         1                -         140.0000          -
2802.97/2815.12	c      2815            358         325         1                -         140.0000          -
2814.42/2826.68	c      2827            364         331         1                -         140.0000          -
2822.10/2834.32	c      2834            367         334         1                -         140.0000          -
2836.76/2849.00	c      2849            369         336         1                -         140.0000          -
2843.33/2855.65	c      2856            372         339         1                -         140.0000          -
2855.49/2867.86	c      2868            377         344         1                -         140.0000          -
2860.68/2873.10	c      2873            382         349         1                -         140.0000          -
2868.65/2881.06	c      2881            385         352         1                -         140.0000          -
2880.51/2892.93	c      2893            386         353         1                -         140.0000          -
2886.29/2898.76	c      2899            388         355         1                -         140.0000          -
2891.68/2904.16	c      2904            390         357         1                -         140.0000          -
2903.73/2916.28	c      2916            393         360         1                -         140.0000          -
2909.11/2921.64	c      2922            398         365         1                -         140.0000          -
2916.29/2928.80	c      2929            401         368         1                -         140.0000          -
2928.85/2941.45	c      2941            402         369         1                -         140.0000          -
2935.33/2947.98	c      2948            405         372         1                -         140.0000          -
2940.42/2953.02	c      2953            408         375         1                -         140.0000          -
2948.78/2961.44	c      2961            410         377         1                -         140.0000          -
2953.77/2966.45	c      2966            414         381         1                -         140.0000          -
2959.55/2972.25	c      2972            418         384         1                -         140.0000          -
2972.90/2985.69	c      2986            421         387         1                -         140.0000          -
2982.77/2995.50	c      2996            424         390         1                -         140.0000          -
2992.93/3005.73	c      3006            426         392         1                -         140.0000          -
2998.81/3011.69	c      3012            430         396         1                -         140.0000          -
3008.19/3021.04	c      3021            434         400         1                -         140.0000          -
3033.20/3046.16	c      3046            436         401         1                -         140.0000          -
3041.48/3054.44	c      3054            438         403         1                -         140.0000          -
3056.93/3069.98	c      3070            440         405         1                -         140.0000          -
3062.81/3075.81	c      3076            442         407         1                -         140.0000          -
3078.75/3091.83	c      3092            444         409         1                -         140.0000          -
3084.83/3097.90	c      3098            448         413         1                -         140.0000          -
3090.61/3103.73	c      3104            451         416         1                -         140.0000          -
3101.38/3114.53	c      3115            453         418         1                -         140.0000          -
3135.27/3148.51	c      3149            454         419         1                -         140.0000          -
3141.75/3155.05	c      3155            455         420         1                -         140.0000          -
3185.61/3199.06	c      3199            457         422         1                -         140.0000          -
3197.96/3211.49	c      3211            458         423         1                -         140.0000          -
3205.94/3219.43	c      3219            460         425         1                -         140.0000          -
3217.61/3231.17	c      3231            462         427         1                -         140.0000          -
3223.98/3237.55	c      3238            464         429         1                -         140.0000          -
3233.05/3246.60	c      3247            466         431         1                -         140.0000          -
3239.72/3253.37	c      3253            469         434         1                -         140.0000          -
3251.28/3264.91	c      3265            472         437         1                -         140.0000          -
3259.95/3273.69	c      3274            474         439         1                -         140.0000          -
3268.32/3282.03	c      3282            476         441         1                -         140.0000          -
3306.57/3320.41	c      3320            477         442         1                -         140.0000          -
3320.91/3334.85	c      3335            478         443         1                -         140.0000          -
3328.08/3342.03	c      3342            480         445         1                -         140.0000          -
3343.82/3357.81	c      3358            482         447         1                -         140.0000          -
3349.59/3363.65	c      3364            485         450         1                -         140.0000          -
3355.57/3369.69	c      3370            488         453         1                -         140.0000          -
3369.32/3383.42	c      3383            490         455         1                -         140.0000          -
3393.23/3407.45	c      3407            492         457         1                -         140.0000          -
3398.21/3412.49	c      3412            493         458         1                -         140.0000          -
3411.45/3425.71	c      3426            494         459         1                -         140.0000          -
3416.74/3431.08	c      3431            496         461         1                -         140.0000          -
3421.92/3436.23	c      3436            498         463         1                -         140.0000          -
3427.30/3441.61	c      3442            501         466         1                -         140.0000          -
3441.45/3455.82	c      3456            502         467         1                -         140.0000          -
3446.64/3461.07	c      3461            504         469         1                -         140.0000          -
3454.90/3469.37	c      3469            508         473         1                -         140.0000          -
3474.73/3489.26	c      3489            509         474         1                -         140.0000          -
3481.51/3496.10	c      3496            510         475         1                -         140.0000          -
3488.59/3503.16	c      3503            512         477         1                -         140.0000          -
3504.13/3518.73	c      3519            513         478         1                -         140.0000          -
3512.41/3527.07	c      3527            515         480         1                -         140.0000          -
3542.91/3557.64	c      3558            516         481         1                -         140.0000          -
3550.49/3565.24	c      3565            518         483         1                -         140.0000          -
3562.54/3577.39	c      3577            520         485         1                -         140.0000          -
3569.02/3583.84	c      3584            523         488         1                -         140.0000          -
3585.17/3600.00	c      3600            525         490         0                -         140.0000          -
3585.27/3600.13	c SCIP Status        : c solving was interrupted [hard time limit reached]
3585.27/3600.13	c Total Time         : 3600.1300
3585.27/3600.13	c   solving          : 3600.1300
3585.27/3600.13	c   presolving       : 1.7449 (included in solving)
3585.27/3600.13	c B&B Tree           :
3585.27/3600.13	c   nodes (total)    : 1
3585.27/3600.13	c Solution           :
3585.27/3600.13	c   Solutions found  : 0
3585.27/3600.13	c   Primal Bound     :          -
3585.27/3600.13	c   Dual Bound       : +1.40000000000000e+02
3585.27/3600.13	c Gap                :          -
3585.36/3600.21	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 (60659 MiB free)
  memory of node 1: 64510 MiB (58739 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=852977, runsolver pid=852974

[startup+0.100656 s]*
/proc/loadavg: 4.27 4.24 4.10 5/262 852978
/proc/meminfo: memFree=122232856/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=53160 memory=41204 CPUtime=0.09 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 8221 0 0 0 8 1 0 0 20 0 1 0 164813630 54435840 10301 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 13290 10301 2318 3032 0 9690 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53160 KiB
Current children cumulated memory: 41204 KiB

[startup+0.205784 s]*
/proc/loadavg: 4.27 4.24 4.10 5/262 852978
/proc/meminfo: memFree=122174504/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=112184 memory=99856 CPUtime=0.2 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 22775 0 0 0 16 4 0 0 20 0 1 0 164813630 114876416 24964 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 28046 24964 2622 3032 0 24446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 99856 KiB

[startup+0.305738 s]*
/proc/loadavg: 4.27 4.24 4.10 5/262 852978
/proc/meminfo: memFree=122152604/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=142452 memory=127684 CPUtime=0.29 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 26116 0 0 0 25 4 0 0 20 0 1 0 164813630 145870848 31921 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 35613 31921 2654 3032 0 32013 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142452 KiB
Current children cumulated memory: 127684 KiB

[startup+0.700228 s]
/proc/loadavg: 4.27 4.24 4.10 5/262 852978
/proc/meminfo: memFree=122126640/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=165212 memory=152460 CPUtime=0.68 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 40728 0 0 0 61 7 0 0 20 0 1 0 164813630 169177088 38115 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 41303 38115 2702 3032 0 37703 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165212 KiB
Current children cumulated memory: 152460 KiB

[startup+1.50023 s]
/proc/loadavg: 4.27 4.24 4.10 5/262 852978
/proc/meminfo: memFree=122116532/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=180564 memory=166048 CPUtime=1.49 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 44140 0 0 0 141 8 0 0 20 0 1 0 164813630 184897536 41512 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 45141 41512 2750 3032 0 41541 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 180564 KiB
Current children cumulated memory: 166048 KiB

[startup+3.10667 s]
/proc/loadavg: 4.27 4.24 4.10 5/264 852980
/proc/meminfo: memFree=121772932/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=609756 memory=500672 CPUtime=3.08 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 108257 0 0 0 288 20 0 0 20 0 3 0 164813630 624390144 125168 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 152439 125168 2798 3032 0 139643 0
[pid=852977/tid=852979] ppid=852974 vsize=609756 memory=198340509722 CPUtime=1.09 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 37421 0 0 0 103 6 0 0 20 0 3 0 164813823 624390144 125168 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=609756 memory=0 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 164813837 624390144 125168 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 609756 KiB
Current children cumulated memory: 500672 KiB

[startup+6.30066 s]
/proc/loadavg: 4.25 4.23 4.10 5/264 852981
/proc/meminfo: memFree=121686080/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=675292 memory=587704 CPUtime=6.24 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 134072 0 0 0 601 23 0 0 20 0 3 0 164813630 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 168823 146926 2910 3032 0 162076 0
[pid=852977/tid=852979] ppid=852974 vsize=675292 memory=-6224373160643574632 CPUtime=4.25 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 63234 0 0 0 416 9 0 0 20 0 3 0 164813823 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=675292 memory=274652 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164813837 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 675292 KiB
Current children cumulated memory: 587704 KiB

[startup+12.7007 s]
/proc/loadavg: 4.23 4.23 4.10 5/264 852981
/proc/meminfo: memFree=121685492/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=675292 memory=587704 CPUtime=12.59 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 155135 0 0 0 1235 24 0 0 20 0 3 0 164813630 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 168823 146926 2910 3032 0 162076 0
[pid=852977/tid=852979] ppid=852974 vsize=675292 memory=587704 CPUtime=10.59 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 84287 0 0 0 1049 10 0 0 20 0 3 0 164813823 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=675292 memory=587296 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 164813837 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 675292 KiB
Current children cumulated memory: 587704 KiB

[startup+25.5007 s]
/proc/loadavg: 4.18 4.22 4.09 5/264 852984
/proc/meminfo: memFree=121680160/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=675292 memory=587704 CPUtime=25.26 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 167977 0 0 0 2502 24 0 0 20 0 3 0 164813630 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 168823 146926 2910 3032 0 162076 0
[pid=852977/tid=852979] ppid=852974 vsize=675292 memory=279564253633312 CPUtime=23.26 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 97116 0 0 0 2316 10 0 0 20 0 3 0 164813823 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=675292 memory=12340 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 164813837 691499008 146926 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 675292 KiB
Current children cumulated memory: 587704 KiB

[startup+51.1067 s]
/proc/loadavg: 4.12 4.20 4.09 5/264 852988
/proc/meminfo: memFree=121652908/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=740828 memory=602432 CPUtime=50.63 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 218140 0 0 0 5034 29 0 0 20 0 3 0 164813630 758607872 150608 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 185207 150608 2926 3032 0 167117 0
[pid=852977/tid=852979] ppid=852974 vsize=740828 memory=599884 CPUtime=48.63 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 147269 0 0 0 4848 15 0 0 20 0 3 0 164813823 758607872 150608 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=740828 memory=598044 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 164813837 758607872 150608 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 740828 KiB
Current children cumulated memory: 602432 KiB

[startup+102.301 s]
/proc/loadavg: 4.10 4.18 4.09 5/264 852997
/proc/meminfo: memFree=121612584/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=740828 memory=612296 CPUtime=101.34 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 284944 0 0 0 10100 34 0 0 20 0 3 0 164813630 758607872 153074 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 185207 153074 2926 3032 0 172500 0
[pid=852977/tid=852979] ppid=852974 vsize=740828 memory=12340 CPUtime=99.35 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 214060 0 0 0 9915 20 0 0 20 0 3 0 164813823 758607872 153074 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=740828 memory=609428 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 164813837 758607872 153074 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 101.34 s
Current children cumulated vsize: 740828 KiB
Current children cumulated memory: 612296 KiB

[startup+162.301 s]
/proc/loadavg: 4.15 4.18 4.09 5/264 853007
/proc/meminfo: memFree=121579112/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=740828 memory=619576 CPUtime=160.77 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 329228 0 0 0 16040 37 0 0 20 0 3 0 164813630 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 185207 154894 2926 3032 0 179134 0
[pid=852977/tid=852979] ppid=852974 vsize=740828 memory=619576 CPUtime=158.77 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 258337 0 0 0 15854 23 0 0 20 0 3 0 164813823 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=740828 memory=619576 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 164813837 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 160.77 s
Current children cumulated vsize: 740828 KiB
Current children cumulated memory: 619576 KiB

[startup+222.301 s]
/proc/loadavg: 4.12 4.16 4.09 5/264 853018
/proc/meminfo: memFree=121533676/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=740828 memory=619576 CPUtime=220.21 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 341723 0 0 0 21983 38 0 0 20 0 3 0 164813630 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 185207 154894 2926 3032 0 179134 0
[pid=852977/tid=852979] ppid=852974 vsize=740828 memory=619576 CPUtime=218.21 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 270827 0 0 0 21797 24 0 0 20 0 3 0 164813823 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=740828 memory=12340 CPUtime=0 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 164813837 758607872 154894 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 220.21 s
Current children cumulated vsize: 740828 KiB
Current children cumulated memory: 619576 KiB

[startup+282.301 s]
/proc/loadavg: 4.12 4.16 4.09 5/264 853028
/proc/meminfo: memFree=121497848/131524600 swapFree=131071996/131071996

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

[pid=852977] ppid=852974 vsize=937436 memory=840620 CPUtime=3388.15 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 968363 0 0 0 338719 96 0 0 20 0 3 0 164813630 959934464 210155 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210155 2990 3032 0 224520 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=840084 CPUtime=3386.08 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 895762 0 0 0 338530 78 0 0 20 0 3 0 164813823 959934464 210155 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=840620 CPUtime=0.02 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 300 0 0 0 0 2 0 0 20 0 3 0 164813837 959934464 210155 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3388.15 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/261 854965
/proc/meminfo: memFree=113168628/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840852 CPUtime=3447.93 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 970269 0 0 0 344697 96 0 0 20 0 3 0 164813630 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210213 2990 3032 0 224520 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=840084 CPUtime=3445.87 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 897623 0 0 0 344508 79 0 0 20 0 3 0 164813823 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=12340 CPUtime=0.02 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 301 0 0 0 0 2 0 0 20 0 3 0 164813837 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3447.93 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/263 854977
/proc/meminfo: memFree=112139212/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840852 CPUtime=3507.72 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 971855 0 0 0 350676 96 0 0 20 0 3 0 164813630 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210213 2990 3032 0 224520 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=840852 CPUtime=3505.66 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 899180 0 0 0 350487 79 0 0 20 0 3 0 164813823 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=12340 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 306 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210213 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3507.72 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840852 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/263 854987
/proc/meminfo: memFree=112121528/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3567.53 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973060 0 0 0 356656 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=840856 CPUtime=3565.46 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900339 0 0 0 356467 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=12340 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3567.53 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

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

# cumulated CPU time of all completed processes:  user=3584.41 s, system=0.981066 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.13 5/263 854989
/proc/meminfo: memFree=112121508/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3569.23 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973063 0 0 0 356826 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=-6368486149696174947 CPUtime=3567.16 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900342 0 0 0 356637 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=33392 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3569.23 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.14 4.13 5/263 854989
/proc/meminfo: memFree=112121508/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3575.6 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973465 0 0 0 357463 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=840856 CPUtime=3573.53 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900744 0 0 0 357274 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=840856 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3575.6 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.13 5/266 854996
/proc/meminfo: memFree=112120980/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3581.98 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973480 0 0 0 358101 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=12312 CPUtime=3579.9 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900759 0 0 0 357911 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=5492 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3581.98 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3598.4 s]
/proc/loadavg: 4.08 4.14 4.13 5/266 854996
/proc/meminfo: memFree=112120952/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3583.57 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973483 0 0 0 358260 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=1816 CPUtime=3581.5 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900762 0 0 0 358071 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=840856 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3583.57 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3599.2 s]
/proc/loadavg: 4.16 4.15 4.13 5/266 854996
/proc/meminfo: memFree=112120952/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3584.37 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973483 0 0 0 358340 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=41440 CPUtime=3582.3 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900762 0 0 0 358151 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=41440 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3600 s]*
/proc/loadavg: 4.16 4.15 4.13 5/266 854996
/proc/meminfo: memFree=112120952/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=937436 memory=840856 CPUtime=3585.17 cores=0,2
/proc/852977/stat : 852977 (fscip) S 852974 852977 850721 0 -1 1077936128 973483 0 0 0 358420 97 0 0 20 0 3 0 164813630 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 234359 210214 2990 3032 0 225500 0
[pid=852977/tid=852979] ppid=852974 vsize=937436 memory=-6368486149696174947 CPUtime=3583.1 cores=0,2
/proc/852977/task/852979/stat : 852979 (fscip) R 852974 852977 850721 0 -1 4194368 900762 0 0 0 358231 79 0 0 20 0 3 0 164813823 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
[pid=852977/tid=852980] ppid=852974 vsize=937436 memory=2000 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 3 0 164813837 959934464 210214 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 937436 KiB
Current children cumulated memory: 840856 KiB

[startup+3600.2 s]
/proc/loadavg: 4.16 4.15 4.13 5/266 854996
/proc/meminfo: memFree=112120952/131524600 swapFree=131071996/131071996
[pid=852977] ppid=852974 vsize=857004 memory=777328 CPUtime=3585.36 cores=0,2
/proc/852977/stat : 852977 (fscip) R 852974 852977 850721 0 -1 4194304 977380 0 0 0 358439 97 0 0 20 0 2 0 164813630 877572096 194332 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
/proc/852977/statm: 214251 194332 2990 3032 0 209370 0
[pid=852977/tid=852980] ppid=852974 vsize=857004 memory=6720664359212826479 CPUtime=0.03 cores=0,2
/proc/852977/task/852980/stat : 852980 (fscip) S 852974 852977 850721 0 -1 1077936192 313 0 0 0 1 2 0 0 20 0 2 0 164813837 877572096 194332 134679101440 4194304 16613245 140728949486992 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32931840 140728949494805 140728949494921 140728949494921 140728949501936 0
Current children cumulated CPU time: 3585.36 s
Current children cumulated vsize: 857004 KiB
Current children cumulated memory: 777328 KiB

Child status: 0

Real time (s): 3600.22
CPU time (s): 3585.39
CPU user time (s): 3584.41
CPU system time (s): 0.981066
CPU usage (%): 99.5881
Max. virtual memory (cumulated for all children) (KiB): 937436
Max. memory (cumulated for all children) (KiB): 840856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.41
system time used= 0.981066
maximum resident set size= 840856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979626
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= 4675
involuntary context switches= 27258


# summary of solver processes directly reported to runsolver:
#   pid: 852977
#   total CPU time (s): 3585.39
#   total CPU user time (s): 3584.41
#   total CPU system time (s): 0.981066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17218 second user time and 16.4892 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-16 12:40:51
IDJOB=4434840
IDBENCH=155380
IDSOLVER=3064
FILE ID=nodeC033/4434840-1721126439
RUNJOBID= nodeC033-1721122498-850731
SLURM_JOB_ID= 7505674
Free space on /tmp= 889988 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/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-4434840-1721126439/watcher-4434840-1721126439 -o /tmp/evaluation-result-4434840-1721126439/solver-4434840-1721126439 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850731 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434840-1721126439.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=323702589

nodeC033.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		: 3669.432
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	: 6999.50
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		: 3684.511
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	: 7006.25
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		: 3654.719
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	: 6999.50
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		: 3599.950
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	: 7006.25
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		: 3666.418
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	: 6999.50
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		: 3684.489
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	: 7006.25
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		: 3600.206
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	: 6999.50
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		: 3599.888
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122264892 kB
MemAvailable:   127048632 kB
Buffers:          434328 kB
Cached:          5129836 kB
SwapCached:            0 kB
Active:           699204 kB
Inactive:        7838340 kB
Active(anon):       1556 kB
Inactive(anon):  3009516 kB
Active(file):     697648 kB
Inactive(file):  4828824 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             31392 kB
Writeback:             0 kB
AnonPages:       2970812 kB
Mapped:           142140 kB
Shmem:             37716 kB
KReclaimable:     193828 kB
Slab:             311040 kB
SReclaimable:     193828 kB
SUnreclaim:       117212 kB
KernelStack:        4176 kB
PageTables:        15308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1972688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 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:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889876 MiB
End job on nodeC033 at 2024-07-16 13:40:52