Trace number 4464172

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? 3588.85 3598.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: 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.10/0.17	c Default LC presolving (default).
0.10/0.17	c ** Before presolving: virtualMemUsedAtLc = 139499653, getVmSize() = 112807936, SCIPgetMemUsed() = 69201920, SCIPgetMemTotal() = 88082520, SCIPgetMemExternEstim() = 51417133
0.10/0.17	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.88/1.93	c ** Estimated virtualMemUsedAtSolver = 283265551, getVmSize() = 402927616, SCIPgetMemUsed() = 255799754, SCIPgetMemTotal() = 373481194, SCIPgetMemExternEstim() = 51417133
1.88/1.93	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.88/1.93	c Original Problem   :
1.88/1.93	c   Problem name     : instance-4464172-1722382201
1.88/1.93	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.93	c   Constraints      : 42620
1.88/1.93	c   Objective sense  : minimize
1.88/1.93	c Presolved Problem  :
1.88/1.93	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
1.88/1.93	c   Constraints      : 42620
1.88/1.93	c Constraints        : Number
1.88/1.93	c   knapsack         : 21770 
1.88/1.93	c   setppc           : 3960 
1.88/1.93	c   logicor          : 16890 
1.88/1.93	c ** Instance transfer method used: 0
1.99/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)
369.61/370.67	c       371              2           1         1                -         140.0000          -
395.34/396.46	c       396              3           2         1                -         140.0000          -
430.94/432.11	c       432              4           3         1                -         140.0000          -
456.46/457.78	c       458              5           4         1                -         140.0000          -
484.18/485.59	c       486              6           5         1                -         140.0000          -
527.16/528.61	c       529              7           6         1                -         140.0000          -
568.84/570.43	c       570              8           7         1                -         140.0000          -
590.19/591.84	c       592              9           8         1                -         140.0000          -
598.47/600.15	c       600             11          10         1                -         140.0000          -
614.02/615.77	c       616             12          11         1                -         140.0000          -
632.57/634.37	c       634             13          12         1                -         140.0000          -
638.46/640.28	c       640             15          14         1                -         140.0000          -
648.13/649.95	c       650             17          16         1                -         140.0000          -
653.42/655.26	c       655             18          17         1                -         140.0000          -
696.91/698.89	c       699             21          20         1                -         140.0000          -
705.48/707.40	c       707             23          22         1                -         140.0000          -
712.07/714.05	c       714             25          24         1                -         140.0000          -
721.34/723.31	c       723             26          25         1                -         140.0000          -
749.16/751.26	c       751             28          27         1                -         140.0000          -
755.25/757.36	c       757             29          28         1                -         140.0000          -
776.20/778.37	c       778             31          30         1                -         140.0000          -
796.95/799.14	c       799             33          32         1                -         140.0000          -
804.42/806.67	c       807             35          34         1                -         140.0000          -
811.91/814.15	c       814             37          36         1                -         140.0000          -
820.58/822.88	c       823             39          38         1                -         140.0000          -
869.67/872.07	c       872             40          39         1                -         140.0000          -
878.24/880.67	c       881             42          41         1                -         140.0000          -
885.52/887.95	c       888             44          43         1                -         140.0000          -
904.27/906.75	c       907             46          45         1                -         140.0000          -
910.26/912.78	c       913             48          47         1                -         140.0000          -
930.11/932.64	c       933             49          48         1                -         140.0000          -
938.28/940.83	c       941             51          50         1                -         140.0000          -
978.98/981.64	c       982             52          51         1                -         140.0000          -
987.56/990.25	c       990             54          53         1                -         140.0000          -
993.14/995.84	c       996             56          55         1                -         140.0000          -
998.53/1001.24	c      1001             57          56         1                -         140.0000          -
1004.51/1007.23	c      1007             59          58         1                -         140.0000          -
1022.86/1025.67	c      1026             60          59         1                -         140.0000          -
1028.05/1030.81	c      1031             62          61         1                -         140.0000          -
1047.80/1050.68	c      1051             63          62         1                -         140.0000          -
1054.68/1057.59	c      1058             65          64         1                -         140.0000          -
1073.83/1076.76	c      1077             66          65         1                -         140.0000          -
1081.31/1084.27	c      1084             68          67         1                -         140.0000          -
1086.99/1089.99	c      1090             70          69         1                -         140.0000          -
1096.27/1099.27	c      1099             71          70         1                -         140.0000          -
1103.16/1106.18	c      1106             72          71         1                -         140.0000          -
1122.80/1125.85	c      1126             73          72         1                -         140.0000          -
1128.58/1131.60	c      1132             74          73         1                -         140.0000          -
1136.66/1139.75	c      1140             76          75         1                -         140.0000          -
1142.05/1145.11	c      1145             77          76         1                -         140.0000          -
1160.80/1163.97	c      1164             78          77         1                -         140.0000          -
1181.75/1184.98	c      1185             81          80         1                -         140.0000          -
1268.85/1272.27	c      1272             82          81         1                -         140.0000          -
1274.03/1277.44	c      1277             84          83         1                -         140.0000          -
1292.69/1296.11	c      1296             85          84         1                -         140.0000          -
1316.12/1319.66	c      1320             86          85         1                -         140.0000          -
1322.51/1326.06	c      1326             89          86         1                -         140.0000          -
1339.47/1343.01	c      1343             90          87         1                -         140.0000          -
1347.34/1350.93	c      1351             92          89         1                -         140.0000          -
1373.87/1377.55	c      1378             94          91         1                -         140.0000          -
1438.21/1442.00	c      1442             95          92         1                -         140.0000          -
1456.46/1460.35	c      1460             96          93         1                -         140.0000          -
1464.34/1468.20	c      1468             98          95         1                -         140.0000          -
1471.32/1475.28	c      1475            100          97         1                -         140.0000          -
1489.77/1493.77	c      1494            103         100         1                -         140.0000          -
1497.44/1501.50	c      1501            105         102         1                -         140.0000          -
1506.32/1510.37	c      1510            107         104         1                -         140.0000          -
1561.29/1565.41	c      1565            108         105         1                -         140.0000          -
1568.97/1573.16	c      1573            110         107         1                -         140.0000          -
1573.96/1578.19	c      1578            112         109         1                -         140.0000          -
1591.11/1595.35	c      1595            114         111         1                -         140.0000          -
1596.40/1600.61	c      1601            116         113         1                -         140.0000          -
1611.86/1616.16	c      1616            118         115         1                -         140.0000          -
1665.53/1669.91	c      1670            120         117         1                -         140.0000          -
1673.11/1677.56	c      1678            122         119         1                -         140.0000          -
1692.25/1696.73	c      1697            124         121         1                -         140.0000          -
1697.84/1702.30	c      1702            126         123         1                -         140.0000          -
1703.13/1707.60	c      1708            128         125         1                -         140.0000          -
1712.61/1717.11	c      1717            130         127         1                -         140.0000          -
1718.39/1722.95	c      1723            131         128         1                -         140.0000          -
1736.34/1740.99	c      1741            134         129         1                -         140.0000          -
1743.52/1748.17	c      1748            136         131         1                -         140.0000          -
1762.67/1767.38	c      1767            138         133         1                -         140.0000          -
1769.65/1774.36	c      1774            140         135         1                -         140.0000          -
1775.23/1779.92	c      1780            147         136         1                -         140.0000          -
1800.07/1804.84	c      1805            149         138         1                -         140.0000          -
1808.14/1812.99	c      1813            151         140         1                -         140.0000          -
1829.19/1834.06	c      1834            153         142         1                -         140.0000          -
1835.97/1840.84	c      1841            157         144         1                -         140.0000          -
1842.16/1847.08	c      1847            161         148         1                -         140.0000          -
1861.90/1866.87	c      1867            166         149         1                -         140.0000          -
1868.78/1873.70	c      1874            169         150         1                -         140.0000          -
1881.35/1886.39	c      1886            170         151         1                -         140.0000          -
1887.23/1892.27	c      1892            175         152         1                -         140.0000          -
1927.43/1932.58	c      1933            177         151         1                -         140.0000          -
1945.59/1950.72	c      1951            179         153         1                -         140.0000          -
1950.98/1956.14	c      1956            181         155         1                -         140.0000          -
1957.96/1963.13	c      1963            184         158         1                -         140.0000          -
1971.02/1976.28	c      1976            186         160         1                -         140.0000          -
1976.50/1981.70	c      1982            190         164         1                -         140.0000          -
1985.38/1990.65	c      1991            195         169         1                -         140.0000          -
2000.94/2006.22	c      2006            196         170         1                -         140.0000          -
2009.62/2014.93	c      2015            198         172         1                -         140.0000          -
2025.69/2031.09	c      2031            201         175         1                -         140.0000          -
2034.77/2040.15	c      2040            203         177         1                -         140.0000          -
2040.54/2045.98	c      2046            205         179         1                -         140.0000          -
2057.70/2063.15	c      2063            209         181         1                -         140.0000          -
2065.68/2071.12	c      2071            211         183         1                -         140.0000          -
2070.87/2076.35	c      2076            212         184         1                -         140.0000          -
2076.75/2082.23	c      2082            213         185         1                -         140.0000          -
2094.40/2099.94	c      2100            214         186         1                -         140.0000          -
2100.98/2106.56	c      2107            215         187         1                -         140.0000          -
2106.17/2111.76	c      2112            216         188         1                -         140.0000          -
2111.85/2117.43	c      2117            217         189         1                -         140.0000          -
2126.01/2131.69	c      2132            218         190         1                -         140.0000          -
2156.93/2162.67	c      2163            220         192         1                -         140.0000          -
2162.52/2168.23	c      2168            222         194         1                -         140.0000          -
2168.50/2174.21	c      2174            224         196         1                -         140.0000          -
2173.69/2179.42	c      2179            226         198         1                -         140.0000          -
2185.45/2191.20	c      2191            227         199         1                -         140.0000          -
2192.14/2197.93	c      2198            228         198         1                -         140.0000          -
2198.92/2204.78	c      2205            230         200         1                -         140.0000          -
2233.43/2239.32	c      2239            231         201         1                -         140.0000          -
2238.81/2244.73	c      2245            232         202         1                -         140.0000          -
2258.17/2264.19	c      2264            234         204         1                -         140.0000          -
2264.75/2270.70	c      2271            236         206         1                -         140.0000          -
2279.81/2285.89	c      2286            239         209         1                -         140.0000          -
2285.00/2291.09	c      2291            243         213         1                -         140.0000          -
2291.38/2297.47	c      2297            245         212         1                -         140.0000          -
2339.65/2345.86	c      2346            247         214         1                -         140.0000          -
2353.03/2359.22	c      2359            248         215         1                -         140.0000          -
2361.00/2367.28	c      2367            250         217         1                -         140.0000          -
2372.47/2378.75	c      2379            251         218         1                -         140.0000          -
2377.96/2384.21	c      2384            253         220         1                -         140.0000          -
2383.44/2389.71	c      2390            255         222         1                -         140.0000          -
2394.01/2400.33	c      2400            256         223         1                -         140.0000          -
2400.40/2406.79	c      2407            259         226         1                -         140.0000          -
2411.67/2418.10	c      2418            262         229         1                -         140.0000          -
2428.62/2435.00	c      2435            264         231         1                -         140.0000          -
2433.61/2440.05	c      2440            265         232         1                -         140.0000          -
2442.48/2448.92	c      2449            267         234         1                -         140.0000          -
2453.56/2460.09	c      2460            268         235         1                -         140.0000          -
2459.93/2466.48	c      2466            270         237         1                -         140.0000          -
2473.11/2479.61	c      2480            272         239         1                -         140.0000          -
2478.89/2485.44	c      2485            275         242         1                -         140.0000          -
2484.08/2490.60	c      2491            278         245         1                -         140.0000          -
2502.33/2508.91	c      2509            280         247         1                -         140.0000          -
2507.52/2514.15	c      2514            281         248         1                -         140.0000          -
2524.17/2530.81	c      2531            283         250         1                -         140.0000          -
2532.75/2539.44	c      2539            286         253         1                -         140.0000          -
2546.91/2553.63	c      2554            287         254         1                -         140.0000          -
2553.60/2560.33	c      2560            289         256         1                -         140.0000          -
2559.58/2566.39	c      2566            292         259         1                -         140.0000          -
2564.76/2571.54	c      2572            293         260         1                -         140.0000          -
2575.04/2581.81	c      2582            296         263         1                -         140.0000          -
2589.50/2596.35	c      2596            297         264         1                -         140.0000          -
2597.18/2604.01	c      2604            299         266         1                -         140.0000          -
2602.46/2609.38	c      2609            301         268         1                -         140.0000          -
2611.04/2617.91	c      2618            302         269         1                -         140.0000          -
2616.43/2623.35	c      2623            305         272         1                -         140.0000          -
2629.69/2636.62	c      2637            309         276         1                -         140.0000          -
2649.24/2656.24	c      2656            313         280         1                -         140.0000          -
2655.73/2662.72	c      2663            315         282         1                -         140.0000          -
2671.79/2678.86	c      2679            317         284         1                -         140.0000          -
2677.98/2685.03	c      2685            319         286         1                -         140.0000          -
2684.66/2691.76	c      2692            321         288         1                -         140.0000          -
2696.32/2703.40	c      2703            322         289         1                -         140.0000          -
2703.11/2710.26	c      2710            327         294         1                -         140.0000          -
2708.79/2715.99	c      2716            330         297         1                -         140.0000          -
2722.96/2730.11	c      2730            332         299         1                -         140.0000          -
2729.94/2737.14	c      2737            334         301         1                -         140.0000          -
2735.92/2743.12	c      2743            337         304         1                -         140.0000          -
2747.38/2754.70	c      2755            339         306         1                -         140.0000          -
2754.07/2761.39	c      2761            342         309         1                -         140.0000          -
2768.64/2775.99	c      2776            347         314         1                -         140.0000          -
2774.02/2781.39	c      2781            349         316         1                -         140.0000          -
2781.01/2788.39	c      2788            351         318         1                -         140.0000          -
2794.78/2802.11	c      2802            353         320         1                -         140.0000          -
2800.76/2808.14	c      2808            355         322         1                -         140.0000          -
2813.82/2821.29	c      2821            358         325         1                -         140.0000          -
2825.29/2832.75	c      2833            364         331         1                -         140.0000          -
2832.87/2840.34	c      2840            367         334         1                -         140.0000          -
2847.44/2854.96	c      2855            369         336         1                -         140.0000          -
2854.02/2861.58	c      2862            372         339         1                -         140.0000          -
2866.19/2873.70	c      2874            377         344         1                -         140.0000          -
2871.37/2878.92	c      2879            382         349         1                -         140.0000          -
2879.15/2886.78	c      2887            385         352         1                -         140.0000          -
2890.92/2898.54	c      2899            386         353         1                -         140.0000          -
2896.71/2904.34	c      2904            388         355         1                -         140.0000          -
2902.09/2909.75	c      2910            390         357         1                -         140.0000          -
2914.06/2921.79	c      2922            393         360         1                -         140.0000          -
2919.45/2927.14	c      2927            398         365         1                -         140.0000          -
2926.53/2934.29	c      2934            401         368         1                -         140.0000          -
2939.19/2946.91	c      2947            402         369         1                -         140.0000          -
2945.68/2953.42	c      2953            405         372         1                -         140.0000          -
2950.66/2958.43	c      2958            408         375         1                -         140.0000          -
2958.94/2966.79	c      2967            410         377         1                -         140.0000          -
2966.52/2974.38	c      2974            417         384         1                -         140.0000          -
2973.80/2981.61	c      2982            420         386         1                -         140.0000          -
2983.08/2990.96	c      2991            421         387         1                -         140.0000          -
2992.86/3000.73	c      3001            424         390         1                -         140.0000          -
3002.94/3010.88	c      3011            426         392         1                -         140.0000          -
3008.92/3016.80	c      3017            430         396         1                -         140.0000          -
3018.10/3026.09	c      3026            434         400         1                -         140.0000          -
3043.14/3051.14	c      3051            436         401         1                -         140.0000          -
3051.31/3059.39	c      3059            438         403         1                -         140.0000          -
3066.77/3074.89	c      3075            440         405         1                -         140.0000          -
3072.66/3080.71	c      3081            442         407         1                -         140.0000          -
3088.52/3096.66	c      3097            444         409         1                -         140.0000          -
3094.60/3102.71	c      3103            448         413         1                -         140.0000          -
3100.38/3108.50	c      3108            451         416         1                -         140.0000          -
3111.06/3119.24	c      3119            453         418         1                -         140.0000          -
3144.78/3153.03	c      3153            454         419         1                -         140.0000          -
3151.25/3159.53	c      3160            455         420         1                -         140.0000          -
3195.44/3203.82	c      3204            457         422         1                -         140.0000          -
3207.92/3216.32	c      3216            458         423         1                -         140.0000          -
3215.90/3224.36	c      3224            460         425         1                -         140.0000          -
3227.47/3235.95	c      3236            462         427         1                -         140.0000          -
3233.75/3242.29	c      3242            464         429         1                -         140.0000          -
3242.83/3251.34	c      3251            466         431         1                -         140.0000          -
3249.51/3258.09	c      3258            469         434         1                -         140.0000          -
3260.98/3269.57	c      3270            472         437         1                -         140.0000          -
3269.85/3278.48	c      3278            474         439         1                -         140.0000          -
3278.23/3286.82	c      3287            476         441         1                -         140.0000          -
3317.03/3325.77	c      3326            477         442         1                -         140.0000          -
3331.49/3340.21	c      3340            478         443         1                -         140.0000          -
3338.47/3347.30	c      3347            480         445         1                -         140.0000          -
3354.33/3363.11	c      3363            482         447         1                -         140.0000          -
3360.11/3368.94	c      3369            485         450         1                -         140.0000          -
3366.20/3375.02	c      3375            488         453         1                -         140.0000          -
3379.86/3388.76	c      3389            490         455         1                -         140.0000          -
3404.20/3413.19	c      3413            492         457         1                -         140.0000          -
3409.38/3418.30	c      3418            493         458         1                -         140.0000          -
3422.65/3431.61	c      3432            494         459         1                -         140.0000          -
3428.04/3437.02	c      3437            496         461         1                -         140.0000          -
3433.22/3442.22	c      3442            498         463         1                -         140.0000          -
3438.61/3447.66	c      3448            501         466         1                -         140.0000          -
3452.77/3461.89	c      3462            502         467         1                -         140.0000          -
3458.06/3467.15	c      3467            504         469         1                -         140.0000          -
3466.33/3475.41	c      3475            508         473         1                -         140.0000          -
3485.39/3494.54	c      3495            509         474         1                -         140.0000          -
3491.98/3501.11	c      3501            510         475         1                -         140.0000          -
3498.86/3508.00	c      3508            512         477         1                -         140.0000          -
3514.21/3523.40	c      3523            513         478         1                -         140.0000          -
3522.29/3531.53	c      3532            515         480         1                -         140.0000          -
3552.73/3562.01	c      3562            516         481         1                -         140.0000          -
3560.00/3569.38	c      3569            518         483         1                -         140.0000          -
3571.87/3581.22	c      3581            520         485         1                -         140.0000          -
3578.05/3587.49	c      3587            523         488         1                -         140.0000          -
3588.63/3598.01	c      3598            525         490         0                -         140.0000          -
3588.73/3598.13	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.73/3598.13	c Total Time         : 3598.1300
3588.73/3598.13	c   solving          : 3598.1300
3588.73/3598.13	c   presolving       : 1.7555 (included in solving)
3588.73/3598.13	c B&B Tree           :
3588.73/3598.13	c   nodes (total)    : 1
3588.73/3598.13	c Solution           :
3588.73/3598.13	c   Solutions found  : 0
3588.73/3598.13	c   Primal Bound     :          -
3588.73/3598.13	c   Dual Bound       : +1.40000000000000e+02
3588.73/3598.13	c Gap                :          -
3588.83/3598.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: 63968 MiB (62742 MiB free)
  memory of node 1: 64473 MiB (62755 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=37614, runsolver pid=37611
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 3.93 4.07 4.02 5/254 37615
/proc/meminfo: memFree=128433028/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=55560 memory=45232 CPUtime=0.1 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 9197 0 0 0 9 1 0 0 20 0 1 0 4822025 56893440 11308 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 13890 11308 2555 3035 0 10286 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55560 KiB
Current children cumulated memory: 45232 KiB

[startup+0.205696 s]*
/proc/loadavg: 3.93 4.07 4.02 5/252 37615
/proc/meminfo: memFree=128347840/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=112200 memory=99896 CPUtime=0.2 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 22780 0 0 0 17 3 0 0 20 0 1 0 4822025 114892800 24974 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 28050 24974 2630 3035 0 24446 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112200 KiB
Current children cumulated memory: 99896 KiB

[startup+0.305407 s]*
/proc/loadavg: 3.93 4.07 4.02 5/252 37615
/proc/meminfo: memFree=128321668/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=145536 memory=131736 CPUtime=0.3 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 27103 0 0 0 26 4 0 0 20 0 1 0 4822025 149028864 32934 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 36384 32934 2678 3035 0 32780 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 145536 KiB
Current children cumulated memory: 131736 KiB

[startup+0.700185 s]
/proc/loadavg: 3.93 4.07 4.02 5/252 37615
/proc/meminfo: memFree=128298420/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=165228 memory=152140 CPUtime=0.69 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 41135 0 0 0 63 6 0 0 20 0 1 0 4822025 169193472 38035 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 41307 38035 2726 3035 0 37703 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 165228 KiB
Current children cumulated memory: 152140 KiB

[startup+1.50019 s]
/proc/loadavg: 3.93 4.07 4.02 5/258 37626
/proc/meminfo: memFree=128179128/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=180580 memory=167244 CPUtime=1.48 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 44355 0 0 0 142 6 0 0 20 0 1 0 4822025 184913920 41811 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 45145 41811 2774 3035 0 41541 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180580 KiB
Current children cumulated memory: 167244 KiB

[startup+3.10547 s]
/proc/loadavg: 3.93 4.07 4.02 6/260 37628
/proc/meminfo: memFree=127609272/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=609772 memory=499228 CPUtime=3.08 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 105626 0 0 0 291 17 0 0 20 0 3 0 4822025 624406528 124807 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 152443 124807 2806 3035 0 139590 0
[pid=37614/tid=37627] ppid=37611 vsize=609772 memory=497768 CPUtime=1.08 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 35912 0 0 0 104 4 0 0 20 0 3 0 4822218 624406528 124807 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=609772 memory=-5155634608718834565 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4822232 624406528 124807 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 609772 KiB
Current children cumulated memory: 499228 KiB

[startup+6.30019 s]
/proc/loadavg: 3.93 4.07 4.02 5/262 37686
/proc/meminfo: memFree=127173432/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=675308 memory=586544 CPUtime=6.27 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 132294 0 0 0 607 20 0 0 20 0 3 0 4822025 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 168827 146636 2934 3035 0 162079 0
[pid=37614/tid=37627] ppid=37611 vsize=675308 memory=490376 CPUtime=4.27 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 62577 0 0 0 419 8 0 0 20 0 3 0 4822218 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=675308 memory=11596 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4822232 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586544 KiB

[startup+12.7002 s]
/proc/loadavg: 4.02 4.08 4.03 5/262 37688
/proc/meminfo: memFree=124764532/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=675308 memory=586544 CPUtime=12.65 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 153648 0 0 0 1244 21 0 0 20 0 3 0 4822025 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 168827 146636 2934 3035 0 162079 0
[pid=37614/tid=37627] ppid=37611 vsize=675308 memory=586544 CPUtime=10.64 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 83922 0 0 0 1056 8 0 0 20 0 3 0 4822218 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=675308 memory=-4050210904893537936 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4822232 691515392 146636 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586544 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.03 5/260 37689
/proc/meminfo: memFree=122966900/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=675308 memory=586608 CPUtime=25.42 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 169219 0 0 0 2520 22 0 0 20 0 3 0 4822025 691515392 146652 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 168827 146652 2950 3035 0 162079 0
[pid=37614/tid=37627] ppid=37611 vsize=675308 memory=11596 CPUtime=23.42 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 99477 0 0 0 2332 10 0 0 20 0 3 0 4822218 691515392 146652 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=675308 memory=586608 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4822232 691515392 146652 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 675308 KiB
Current children cumulated memory: 586608 KiB

[startup+51.1056 s]
/proc/loadavg: 4.05 4.08 4.03 5/260 37695
/proc/meminfo: memFree=121733808/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=740844 memory=600696 CPUtime=50.96 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 222608 0 0 0 5070 26 0 0 20 0 3 0 4822025 758624256 150174 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 185211 150174 2966 3035 0 167017 0
[pid=37614/tid=37627] ppid=37611 vsize=740844 memory=13016 CPUtime=48.96 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 152848 0 0 0 4883 13 0 0 20 0 3 0 4822218 758624256 150174 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=740844 memory=586544 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4822232 758624256 150174 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 600696 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 37705
/proc/meminfo: memFree=121278200/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=740844 memory=610564 CPUtime=102.02 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 296124 0 0 0 10171 31 0 0 20 0 3 0 4822025 758624256 152641 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 185211 152641 2966 3035 0 172674 0
[pid=37614/tid=37627] ppid=37611 vsize=740844 memory=607696 CPUtime=100.02 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 226352 0 0 0 9984 18 0 0 20 0 3 0 4822218 758624256 152641 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=740844 memory=607696 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 4822232 758624256 152641 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 610564 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/262 37716
/proc/meminfo: memFree=120544388/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=740844 memory=613648 CPUtime=161.86 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 343748 0 0 0 16152 34 0 0 20 0 3 0 4822025 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 185211 153412 2966 3035 0 178269 0
[pid=37614/tid=37627] ppid=37611 vsize=740844 memory=0 CPUtime=159.86 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 273964 0 0 0 15965 21 0 0 20 0 3 0 4822218 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=740844 memory=610580 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4822232 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 613648 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/262 37727
/proc/meminfo: memFree=116555144/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=740844 memory=613648 CPUtime=221.7 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 355087 0 0 0 22135 35 0 0 20 0 3 0 4822025 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 185211 153412 2966 3035 0 178269 0
[pid=37614/tid=37627] ppid=37611 vsize=740844 memory=613648 CPUtime=219.7 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 285297 0 0 0 21948 22 0 0 20 0 3 0 4822218 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=740844 memory=613648 CPUtime=0 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4822232 758624256 153412 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 740844 KiB
Current children cumulated memory: 613648 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.04 5/263 37739
/proc/meminfo: memFree=110553060/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=740844 memory=613648 CPUtime=281.55 cores=5,7

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

[pid=37614] ppid=37611 vsize=937452 memory=838676 CPUtime=3393.42 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 653831 0 0 0 339277 65 0 0 20 0 3 0 4822025 959950848 209669 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209669 3030 3035 0 224526 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838676 CPUtime=3391.35 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 582191 0 0 0 339086 49 0 0 20 0 3 0 4822218 959950848 209669 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=838676 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 356 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209669 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3393.42 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/262 39319
/proc/meminfo: memFree=98259324/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838680 CPUtime=3453.27 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 656325 0 0 0 345262 65 0 0 20 0 3 0 4822025 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209670 3030 3035 0 224545 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838676 CPUtime=3451.19 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 584643 0 0 0 345070 49 0 0 20 0 3 0 4822218 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=838680 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 361 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3453.27 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/264 39499
/proc/meminfo: memFree=98258664/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838680 CPUtime=3513.12 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 660818 0 0 0 351246 66 0 0 20 0 3 0 4822025 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209670 3030 3035 0 224545 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838680 CPUtime=3511.04 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 589104 0 0 0 351054 50 0 0 20 0 3 0 4822218 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=838680 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 368 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209670 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3513.12 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838680 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/263 39510
/proc/meminfo: memFree=98256784/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3572.97 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662443 0 0 0 357231 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838680 CPUtime=3570.89 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 590672 0 0 0 357039 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=13120 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

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

# cumulated CPU time of all completed processes:  user=3588.18 s, system=0.675297 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.11 5/263 39510
/proc/meminfo: memFree=98256808/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3574.67 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662448 0 0 0 357401 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=2832 CPUtime=3572.59 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 590677 0 0 0 357209 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=-7089693262291957442 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.11 5/263 39511
/proc/meminfo: memFree=98256672/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3581.05 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662554 0 0 0 358039 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838684 CPUtime=3578.96 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 590783 0 0 0 357846 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=13412 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.11 5/263 39511
/proc/meminfo: memFree=98256672/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3584.24 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662800 0 0 0 358358 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=838684 CPUtime=3582.16 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 591029 0 0 0 358166 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=838684 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.11 5/261 39557
/proc/meminfo: memFree=98620588/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3587.43 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662811 0 0 0 358677 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=0 CPUtime=3585.35 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 591040 0 0 0 358485 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=838684 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3597.6 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 39561
/proc/meminfo: memFree=98460424/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3588.22 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662812 0 0 0 358756 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=1668 CPUtime=3586.14 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 591041 0 0 0 358564 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=13120 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3588.22 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3598 s]*
/proc/loadavg: 4.12 4.12 4.11 5/263 39561
/proc/meminfo: memFree=98458324/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=937452 memory=838684 CPUtime=3588.63 cores=5,7
/proc/37614/stat : 37614 (fscip) S 37611 37614 35189 0 -1 1077936128 662812 0 0 0 358797 66 0 0 20 0 3 0 4822025 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 234363 209671 3030 3035 0 225546 0
[pid=37614/tid=37627] ppid=37611 vsize=937452 memory=2788 CPUtime=3586.55 cores=5,7
/proc/37614/task/37627/stat : 37627 (fscip) R 37611 37614 35189 0 -1 4194368 591041 0 0 0 358605 50 0 0 20 0 3 0 4822218 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
[pid=37614/tid=37628] ppid=37611 vsize=937452 memory=4920 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 3 0 4822232 959950848 209671 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 937452 KiB
Current children cumulated memory: 838684 KiB

[startup+3598.2 s]
/proc/loadavg: 4.12 4.12 4.11 5/263 39561
/proc/meminfo: memFree=98458324/131524600 swapFree=131071996/131071996
[pid=37614] ppid=37611 vsize=857020 memory=776592 CPUtime=3588.83 cores=5,7
/proc/37614/stat : 37614 (fscip) R 37611 37614 35189 0 -1 4194304 667261 0 0 0 358816 67 0 0 20 0 2 0 4822025 877588480 194148 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
/proc/37614/statm: 214255 194148 3030 3035 0 209361 0
[pid=37614/tid=37628] ppid=37611 vsize=857020 memory=15360 CPUtime=0.03 cores=5,7
/proc/37614/task/37628/stat : 37628 (fscip) S 37611 37614 35189 0 -1 1077936192 376 0 0 0 1 2 0 0 20 0 2 0 4822232 877588480 194148 134679101440 4194304 16623229 140724532517968 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38203392 140724532524058 140724532524174 140724532524174 140724532531184 0
Current children cumulated CPU time: 3588.83 s
Current children cumulated vsize: 857020 KiB
Current children cumulated memory: 776592 KiB

Child status: 0

Real time (s): 3598.22
CPU time (s): 3588.85
CPU user time (s): 3588.18
CPU system time (s): 0.675297
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 937452
Max. memory (cumulated for all children) (KiB): 838684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.18
system time used= 0.675297
maximum resident set size= 838684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 669487
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= 4660
involuntary context switches= 1028


# summary of solver processes directly reported to runsolver:
#   pid: 37614
#   total CPU time (s): 3588.85
#   total CPU user time (s): 3588.18
#   total CPU system time (s): 0.675297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14624 second user time and 16.6845 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-31 01:30:01
IDJOB=4464172
IDBENCH=155380
IDSOLVER=3092
FILE ID=nodeC030/4464172-1722382201
RUNJOBID= nodeC030-1722378597-35202
SLURM_JOB_ID= 8249853
Free space on /tmp= 889896 MiB

SOLVER NAME= FiberSCIP 2024-07-30
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-4464172-1722382201/watcher-4464172-1722382201 -o /tmp/evaluation-result-4464172-1722382201/solver-4464172-1722382201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35202 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464172-1722382201.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=2000602468

nodeC030.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		: 3600.492
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.60
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		: 3601.279
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.48
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		: 3662.367
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.60
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		: 3676.366
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.48
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		: 3662.360
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.60
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		: 3666.301
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.48
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.593
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.60
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		: 3679.612
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128519316 kB
MemAvailable:   128995140 kB
Buffers:           90728 kB
Cached:          1218276 kB
SwapCached:            0 kB
Active:           270312 kB
Inactive:        2249620 kB
Active(anon):       1544 kB
Inactive(anon):  1230732 kB
Active(file):     268768 kB
Inactive(file):  1018888 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            251628 kB
Writeback:             0 kB
AnonPages:       1210984 kB
Mapped:           111540 kB
Shmem:             21328 kB
KReclaimable:      55980 kB
Slab:             138144 kB
SReclaimable:      55980 kB
SUnreclaim:        82164 kB
KernelStack:        4064 kB
PageTables:        10956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1341156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889708 MiB
End job on nodeC030 at 2024-07-31 02:30:00