Trace number 4441880

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3590.02 3600.15

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM0255b3d891da2276599e5fcb43348962
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.072588
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4632
Total number of constraints30964
Number of constraints which are clauses29940
Number of constraints which are cardinality constraints (but not clauses)946
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 104
Number of bits of the biggest sum of numbers7
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.00/0.10	c Default LC presolving (default).
0.09/0.10	c ** Before presolving: virtualMemUsedAtLc = 88672205, getVmSize() = 77598720, SCIPgetMemUsed() = 45819473, SCIPgetMemTotal() = 53755401, SCIPgetMemExternEstim() = 34916804
0.09/0.10	c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.59/0.63	c ** Estimated virtualMemUsedAtSolver = 105989000, getVmSize() = 153665536, SCIPgetMemUsed() = 83551008, SCIPgetMemTotal() = 124066696, SCIPgetMemExternEstim() = 34916804
0.59/0.63	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.59/0.63	c Original Problem   :
0.59/0.63	c   Problem name     : instance-4441880-1721294461
0.59/0.63	c   Variables        : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 30964
0.59/0.63	c   Objective sense  : minimize
0.59/0.63	c Presolved Problem  :
0.59/0.63	c   Variables        : 4632 (4632 binary, 0 integer, 0 implicit integer, 0 continuous)
0.59/0.63	c   Constraints      : 30964
0.59/0.63	c Constraints        : Number
0.59/0.63	c   knapsack         : 78 
0.59/0.63	c   setppc           : 946 
0.59/0.63	c   logicor          : 29940 
0.59/0.63	c ** Instance transfer method used: 0
0.59/0.69	c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.74	c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.74	c                                Nodes    Active                                            
0.69/0.74	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
154.51/155.10	c       155              2           1         1                -           0.0000          -
182.32/182.92	c       183              6           5         1                -           0.0000          -
205.47/206.12	c       206              8           7         1                -           0.0000          -
237.58/238.34	c       238              9           8         1                -           0.0000          -
247.55/248.37	c       248             11          10         1                -           0.0000          -
271.19/272.07	c       272             12          11         1                -           0.0000          -
281.75/282.60	c       283             13          12         1                -           0.0000          -
304.49/305.43	c       305             19          18         1                -           0.0000          -
324.24/325.24	c       325             21          20         1                -           0.0000          -
349.37/350.41	c       350             22          21         1                -           0.0000          -
368.12/369.27	c       369             23          22         1                -           0.0000          -
378.99/380.17	c       380             24          23         1                -           0.0000          -
408.32/409.54	c       410             26          25         1                -           0.0000          -
427.56/428.89	c       429             28          27         1                -           0.0000          -
443.83/445.17	c       445             30          29         1                -           0.0000          -
451.40/452.78	c       453             31          30         1                -           0.0000          -
474.73/476.14	c       476             32          31         1                -           0.0000          -
502.67/504.18	c       504             33          32         1                -           0.0000          -
516.13/517.64	c       518             34          33         1                -           0.0000          -
545.25/546.86	c       547             37          36         1                -           0.0000          -
556.92/558.58	c       559             38          37         1                -           0.0000          -
573.66/575.33	c       575             42          41         1                -           0.0000          -
581.74/583.45	c       583             43          42         1                -           0.0000          -
600.28/602.03	c       602             44          43         1                -           0.0000          -
613.13/614.99	c       615             45          44         1                -           0.0000          -
647.91/649.82	c       650             47          46         1                -           0.0000          -
662.17/664.16	c       664             50          49         1                -           0.0000          -
668.84/670.83	c       671             51          50         1                -           0.0000          -
685.09/687.19	c       687             52          51         1                -           0.0000          -
698.35/700.41	c       700             53          52         1                -           0.0000          -
722.77/724.93	c       725             54          53         1                -           0.0000          -
741.10/743.38	c       743             55          54         1                -           0.0000          -
746.70/748.94	c       749             56          55         1                -           0.0000          -
775.49/777.85	c       778             58          57         1                -           0.0000          -
784.77/787.18	c       787             60          59         1                -           0.0000          -
793.13/795.58	c       796             61          60         1                -           0.0000          -
822.23/824.76	c       825             62          61         1                -           0.0000          -
836.78/839.30	c       839             65          64         1                -           0.0000          -
847.85/850.45	c       850             66          65         1                -           0.0000          -
861.00/863.65	c       864             67          66         1                -           0.0000          -
872.37/875.09	c       875             69          68         1                -           0.0000          -
901.77/904.55	c       905             70          69         1                -           0.0000          -
943.13/946.03	c       946             73          72         1                -           0.0000          -
948.31/951.22	c       951             74          73         1                -           0.0000          -
963.17/966.11	c       966             75          74         1                -           0.0000          -
1001.43/1004.57	c      1005             76          75         1                -           0.0000          -
1019.58/1022.76	c      1023             77          76         1                -           0.0000          -
1037.21/1040.49	c      1040             78          77         1                -           0.0000          -
1055.25/1058.51	c      1059             80          79         1                -           0.0000          -
1068.01/1071.32	c      1071             82          81         1                -           0.0000          -
1090.03/1093.41	c      1093             83          82         1                -           0.0000          -
1110.26/1113.77	c      1114             84          83         1                -           0.0000          -
1128.29/1131.81	c      1132             85          84         1                -           0.0000          -
1166.66/1170.35	c      1170             86          85         1                -           0.0000          -
1173.54/1177.24	c      1177             89          88         1                -           0.0000          -
1193.68/1197.43	c      1197             94          93         1                -           0.0000          -
1225.16/1229.08	c      1229             95          94         1                -           0.0000          -
1235.12/1239.02	c      1239             96          95         1                -           0.0000          -
1257.54/1261.53	c      1262             97          96         1                -           0.0000          -
1270.11/1274.13	c      1274             98          97         1                -           0.0000          -
1292.53/1296.61	c      1297            100          99         1                -           0.0000          -
1301.31/1305.48	c      1305            101         100         1                -           0.0000          -
1324.83/1329.03	c      1329            102         101         1                -           0.0000          -
1340.57/1344.88	c      1345            103         102         1                -           0.0000          -
1375.04/1379.46	c      1379            104         103         1                -           0.0000          -
1380.82/1385.29	c      1385            105         104         1                -           0.0000          -
1415.00/1419.60	c      1420            106         105         1                -           0.0000          -
1429.75/1434.36	c      1434            107         106         1                -           0.0000          -
1447.69/1452.32	c      1452            108         107         1                -           0.0000          -
1455.06/1459.77	c      1460            109         108         1                -           0.0000          -
1460.74/1465.49	c      1466            110         109         1                -           0.0000          -
1486.15/1490.93	c      1491            112         111         1                -           0.0000          -
1513.97/1518.85	c      1519            113         112         1                -           0.0000          -
1519.26/1524.11	c      1524            114         113         1                -           0.0000          -
1564.25/1569.23	c      1569            115         114         1                -           0.0000          -
1573.62/1578.69	c      1579            116         115         1                -           0.0000          -
1589.88/1594.96	c      1595            117         116         1                -           0.0000          -
1602.65/1607.72	c      1608            118         117         1                -           0.0000          -
1611.33/1616.44	c      1616            119         118         1                -           0.0000          -
1623.49/1628.67	c      1629            120         119         1                -           0.0000          -
1629.78/1634.98	c      1635            121         120         1                -           0.0000          -
1635.66/1640.84	c      1641            122         121         1                -           0.0000          -
1645.24/1650.42	c      1650            124         123         1                -           0.0000          -
1657.21/1662.45	c      1662            125         124         1                -           0.0000          -
1679.15/1684.41	c      1684            127         126         1                -           0.0000          -
1684.34/1689.63	c      1690            128         127         1                -           0.0000          -
1692.32/1697.61	c      1698            129         128         1                -           0.0000          -
1701.49/1706.87	c      1707            130         129         1                -           0.0000          -
1707.18/1712.55	c      1713            131         130         1                -           0.0000          -
1713.06/1718.41	c      1718            132         131         1                -           0.0000          -
1721.14/1726.51	c      1727            133         132         1                -           0.0000          -
1727.13/1732.51	c      1733            134         133         1                -           0.0000          -
1733.41/1738.88	c      1739            135         134         1                -           0.0000          -
1741.30/1746.71	c      1747            136         135         1                -           0.0000          -
1754.67/1760.17	c      1760            137         136         1                -           0.0000          -
1793.26/1798.84	c      1799            138         137         1                -           0.0000          -
1804.33/1809.93	c      1810            140         139         1                -           0.0000          -
1815.90/1821.52	c      1822            141         140         1                -           0.0000          -
1822.68/1828.34	c      1828            142         141         1                -           0.0000          -
1830.66/1836.38	c      1836            144         143         1                -           0.0000          -
1836.65/1842.31	c      1842            145         144         1                -           0.0000          -
1855.20/1860.91	c      1861            147         148         1                -           0.0000          -
1861.18/1866.90	c      1867            149         148         1                -           0.0000          -
1893.40/1899.20	c      1899            150         149         1                -           0.0000          -
1899.88/1905.77	c      1906            151         150         1                -           0.0000          -
1932.20/1938.14	c      1938            152         151         1                -           0.0000          -
1952.94/1958.91	c      1959            153         152         1                -           0.0000          -
1968.50/1974.53	c      1975            153         154         1                -           0.0000          -
1983.37/1989.43	c      1989            154         153         1                -           0.0000          -
1993.04/1999.18	c      1999            156         155         1                -           0.0000          -
2020.37/2026.51	c      2027            157         156         1                -           0.0000          -
2030.14/2036.33	c      2036            158         157         1                -           0.0000          -
2042.51/2048.72	c      2049            159         158         1                -           0.0000          -
2065.05/2071.38	c      2071            160         159         1                -           0.0000          -
2070.84/2077.10	c      2077            161         160         1                -           0.0000          -
2078.82/2085.17	c      2085            162         161         1                -           0.0000          -
2104.75/2111.19	c      2111            163         162         1                -           0.0000          -
2119.51/2125.91	c      2126            164         163         1                -           0.0000          -
2129.89/2136.32	c      2136            165         164         1                -           0.0000          -
2146.84/2153.37	c      2153            166         165         1                -           0.0000          -
2162.41/2168.94	c      2169            167         166         1                -           0.0000          -
2179.76/2186.34	c      2186            168         167         1                -           0.0000          -
2187.55/2194.17	c      2194            171         170         1                -           0.0000          -
2210.29/2216.90	c      2217            172         171         1                -           0.0000          -
2224.85/2231.56	c      2232            173         172         1                -           0.0000          -
2247.49/2254.29	c      2254            175         174         1                -           0.0000          -
2269.43/2276.26	c      2276            176         175         1                -           0.0000          -
2274.72/2281.53	c      2282            177         176         1                -           0.0000          -
2282.90/2289.70	c      2290            178         177         1                -           0.0000          -
2311.42/2318.30	c      2318            179         178         1                -           0.0000          -
2331.87/2338.80	c      2339            180         179         1                -           0.0000          -
2336.85/2343.81	c      2344            181         180         1                -           0.0000          -
2342.15/2349.16	c      2349            182         181         1                -           0.0000          -
2379.44/2386.56	c      2387            186         185         1                -           0.0000          -
2390.91/2398.06	c      2398            190         189         1                -           0.0000          -
2397.79/2404.96	c      2405            191         190         1                -           0.0000          -
2408.07/2415.27	c      2415            192         191         1                -           0.0000          -
2422.64/2429.87	c      2430            195         194         1                -           0.0000          -
2433.91/2441.11	c      2441            198         197         1                -           0.0000          -
2441.59/2448.85	c      2449            201         200         1                -           0.0000          -
2464.13/2471.44	c      2471            202         201         1                -           0.0000          -
2485.37/2492.71	c      2493            203         202         1                -           0.0000          -
2493.66/2501.00	c      2501            204         203         1                -           0.0000          -
2502.73/2510.18	c      2510            207         206         1                -           0.0000          -
2511.30/2518.72	c      2519            208         207         1                -           0.0000          -
2550.20/2557.75	c      2558            211         210         1                -           0.0000          -
2557.49/2565.06	c      2565            212         211         1                -           0.0000          -
2565.47/2573.04	c      2573            213         212         1                -           0.0000          -
2575.24/2582.86	c      2583            214         213         1                -           0.0000          -
2586.41/2594.05	c      2594            215         214         1                -           0.0000          -
2602.37/2610.08	c      2610            216         215         1                -           0.0000          -
2608.15/2615.84	c      2616            217         216         1                -           0.0000          -
2615.03/2622.77	c      2623            218         217         1                -           0.0000          -
2622.02/2629.70	c      2630            219         218         1                -           0.0000          -
2632.49/2640.23	c      2640            220         219         1                -           0.0000          -
2637.78/2645.55	c      2646            221         220         1                -           0.0000          -
2697.14/2705.04	c      2705            222         221         1                -           0.0000          -
2707.61/2715.57	c      2716            226         225         1                -           0.0000          -
2717.88/2725.86	c      2726            228         227         1                -           0.0000          -
2723.57/2731.57	c      2732            229         228         1                -           0.0000          -
2729.06/2737.08	c      2737            231         230         1                -           0.0000          -
2737.83/2745.84	c      2746            232         231         1                -           0.0000          -
2747.11/2755.13	c      2755            236         235         1                -           0.0000          -
2754.99/2763.06	c      2763            237         236         1                -           0.0000          -
2762.87/2770.91	c      2771            240         239         1                -           0.0000          -
2771.55/2779.65	c      2780            241         240         1                -           0.0000          -
2790.10/2798.20	c      2798            242         241         1                -           0.0000          -
2804.66/2812.80	c      2813            245         244         1                -           0.0000          -
2812.95/2821.12	c      2821            246         245         1                -           0.0000          -
2840.78/2849.02	c      2849            247         246         1                -           0.0000          -
2846.16/2854.49	c      2854            249         248         1                -           0.0000          -
2851.34/2859.66	c      2860            250         249         1                -           0.0000          -
2884.67/2893.10	c      2893            251         250         1                -           0.0000          -
2900.73/2909.14	c      2909            252         251         1                -           0.0000          -
2917.48/2925.98	c      2926            255         254         1                -           0.0000          -
2923.67/2932.19	c      2932            256         255         1                -           0.0000          -
2928.95/2937.50	c      2938            257         256         1                -           0.0000          -
2941.02/2949.51	c      2950            258         257         1                -           0.0000          -
2950.79/2959.35	c      2959            259         258         1                -           0.0000          -
2968.64/2977.27	c      2977            260         259         1                -           0.0000          -
2974.54/2983.18	c      2983            261         260         1                -           0.0000          -
2993.88/3002.53	c      3003            262         261         1                -           0.0000          -
3000.56/3009.21	c      3009            264         263         1                -           0.0000          -
3010.64/3019.35	c      3019            265         264         1                -           0.0000          -
3028.79/3037.54	c      3038            267         266         1                -           0.0000          -
3034.87/3043.65	c      3044            269         268         1                -           0.0000          -
3041.46/3050.26	c      3050            270         269         1                -           0.0000          -
3047.04/3055.83	c      3056            271         270         1                -           0.0000          -
3054.93/3063.75	c      3064            272         271         1                -           0.0000          -
3065.21/3074.07	c      3074            274         273         1                -           0.0000          -
3070.89/3079.70	c      3080            275         274         1                -           0.0000          -
3078.07/3086.99	c      3087            276         275         1                -           0.0000          -
3086.16/3095.08	c      3095            277         276         1                -           0.0000          -
3091.34/3100.24	c      3100            278         277         1                -           0.0000          -
3113.10/3122.08	c      3122            279         278         1                -           0.0000          -
3136.84/3145.80	c      3146            280         279         1                -           0.0000          -
3172.15/3181.27	c      3181            283         282         1                -           0.0000          -
3177.24/3186.33	c      3186            284         283         1                -           0.0000          -
3185.62/3194.72	c      3195            285         284         1                -           0.0000          -
3197.20/3206.34	c      3206            286         285         1                -           0.0000          -
3215.95/3225.17	c      3225            288         287         1                -           0.0000          -
3224.73/3233.97	c      3234            289         288         1                -           0.0000          -
3238.50/3247.73	c      3248            292         291         1                -           0.0000          -
3248.88/3258.13	c      3258            293         292         1                -           0.0000          -
3255.35/3264.67	c      3265            294         293         1                -           0.0000          -
3260.44/3269.78	c      3270            295         294         1                -           0.0000          -
3269.83/3279.13	c      3279            296         295         1                -           0.0000          -
3275.81/3285.15	c      3285            298         297         1                -           0.0000          -
3285.79/3295.16	c      3295            299         298         1                -           0.0000          -
3296.85/3306.21	c      3306            301         300         1                -           0.0000          -
3309.53/3318.95	c      3319            302         301         1                -           0.0000          -
3317.01/3326.41	c      3326            303         302         1                -           0.0000          -
3324.89/3334.34	c      3334            305         304         1                -           0.0000          -
3334.67/3344.13	c      3344            306         305         1                -           0.0000          -
3363.00/3372.57	c      3373            307         306         1                -           0.0000          -
3375.97/3385.57	c      3386            309         306         1                -           0.0000          -
3382.15/3391.75	c      3392            310         307         1                -           0.0000          -
3392.32/3401.96	c      3402            312         309         1                -           0.0000          -
3414.66/3424.37	c      3424            317         314         1                -           0.0000          -
3429.11/3438.89	c      3439            319         316         1                -           0.0000          -
3436.31/3446.07	c      3446            322         319         1                -           0.0000          -
3443.88/3453.69	c      3454            324         321         1                -           0.0000          -
3452.55/3462.39	c      3462            326         323         1                -           0.0000          -
3465.32/3475.19	c      3475            328         325         1                -           0.0000          -
3472.10/3481.91	c      3482            330         327         1                -           0.0000          -
3487.65/3497.58	c      3498            332         329         1                -           0.0000          -
3499.32/3509.29	c      3509            333         330         1                -           0.0000          -
3507.80/3517.74	c      3518            336         333         1                -           0.0000          -
3514.68/3524.63	c      3525            340         337         1                -           0.0000          -
3529.23/3539.24	c      3539            341         338         1                -           0.0000          -
3543.29/3553.37	c      3553            344         341         1                -           0.0000          -
3554.16/3564.24	c      3564            346         343         1                -           0.0000          -
3562.94/3573.03	c      3573            349         346         1                -           0.0000          -
3568.42/3578.58	c      3579            350         347         1                -           0.0000          -
3577.59/3587.75	c      3588            351         348         1                -           0.0000          -
3582.78/3592.97	c      3593            354         351         1                -           0.0000          -
3589.86/3600.01	c      3600            354         351         0                -           0.0000          -
3589.86/3600.10	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.86/3600.10	c Total Time         : 3600.1000
3589.86/3600.10	c   solving          : 3600.1000
3589.86/3600.10	c   presolving       : 0.5325 (included in solving)
3589.86/3600.10	c B&B Tree           :
3589.86/3600.10	c   nodes (total)    : 1
3589.86/3600.10	c Solution           :
3589.86/3600.10	c   Solutions found  : 0
3589.86/3600.10	c   Primal Bound     :          -
3589.86/3600.10	c   Dual Bound       : +0.00000000000000e+00
3589.86/3600.10	c Gap                :          -
3589.97/3600.14	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 (59897 MiB free)
  memory of node 1: 64473 MiB (61737 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100094 s]*
/proc/loadavg: 3.93 3.14 3.38 5/265 950606
/proc/meminfo: memFree=124503072/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=77008 memory=64708 CPUtime=0.09 cores=1,3
/proc/950605/stat : 950605 (fscip) R 950602 950605 950155 0 -1 4194304 14008 0 0 0 8 1 0 0 20 0 1 0 181615025 78856192 16177 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 19252 16177 2558 3032 0 15652 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77008 KiB
Current children cumulated memory: 64708 KiB

[startup+0.205735 s]*
/proc/loadavg: 3.93 3.14 3.38 5/265 950606
/proc/meminfo: memFree=124475016/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=93700 memory=81608 CPUtime=0.2 cores=1,3
/proc/950605/stat : 950605 (fscip) R 950602 950605 950155 0 -1 4194304 22257 0 0 0 17 3 0 0 20 0 1 0 181615025 95948800 20402 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 23425 20402 2686 3032 0 19825 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93700 KiB
Current children cumulated memory: 81608 KiB

[startup+0.305705 s]*
/proc/loadavg: 3.93 3.14 3.38 5/265 950606
/proc/meminfo: memFree=124479832/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=96632 memory=84724 CPUtime=0.3 cores=1,3
/proc/950605/stat : 950605 (fscip) R 950602 950605 950155 0 -1 4194304 24294 0 0 0 27 3 0 0 20 0 1 0 181615025 98951168 21181 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 24158 21181 2734 3032 0 20558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96632 KiB
Current children cumulated memory: 84724 KiB

[startup+0.704141 s]
/proc/loadavg: 3.93 3.14 3.38 5/265 950606
/proc/meminfo: memFree=124456368/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=235768 memory=149892 CPUtime=0.69 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 43634 0 0 0 63 6 0 0 20 0 2 0 181615025 241426432 37473 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 58942 37473 2766 3032 0 41890 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 235768 KiB
Current children cumulated memory: 149892 KiB

[startup+1.50116 s]
/proc/loadavg: 3.93 3.14 3.38 5/267 950608
/proc/meminfo: memFree=124346352/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=309500 memory=258428 CPUtime=1.48 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 73171 0 0 0 138 10 0 0 20 0 3 0 181615025 316928000 64607 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 77375 64607 2910 3032 0 71488 0
[pid=950605/tid=950607] ppid=950602 vsize=309500 memory=4264 CPUtime=0.79 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 32400 0 0 0 74 5 0 0 20 0 3 0 181615089 316928000 64607 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=309500 memory=2268 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 181615100 316928000 64607 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 309500 KiB
Current children cumulated memory: 258428 KiB

[startup+3.10614 s]
/proc/loadavg: 4.02 3.17 3.39 5/267 950608
/proc/meminfo: memFree=124303620/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=309500 memory=261604 CPUtime=3.07 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 76772 0 0 0 296 11 0 0 20 0 3 0 181615025 316928000 65401 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 77375 65401 2910 3032 0 72650 0
[pid=950605/tid=950607] ppid=950602 vsize=309500 memory=2268 CPUtime=2.38 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 35994 0 0 0 233 5 0 0 20 0 3 0 181615089 316928000 65401 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=309500 memory=1904 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 181615100 316928000 65401 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 309500 KiB
Current children cumulated memory: 261604 KiB

[startup+6.30113 s]
/proc/loadavg: 4.02 3.17 3.39 5/267 950608
/proc/meminfo: memFree=124302192/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=309500 memory=261864 CPUtime=6.23 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 82815 0 0 0 612 11 0 0 20 0 3 0 181615025 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 77375 65466 2910 3032 0 72650 0
[pid=950605/tid=950607] ppid=950602 vsize=309500 memory=0 CPUtime=5.54 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 42030 0 0 0 549 5 0 0 20 0 3 0 181615089 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=309500 memory=3617375845951816280 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 181615100 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 309500 KiB
Current children cumulated memory: 261864 KiB

[startup+12.7002 s]
/proc/loadavg: 4.01 3.19 3.39 5/267 950658
/proc/meminfo: memFree=124508432/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=309500 memory=261864 CPUtime=12.59 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 89184 0 0 0 1248 11 0 0 20 0 3 0 181615025 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 77375 65466 2910 3032 0 72650 0
[pid=950605/tid=950607] ppid=950602 vsize=309500 memory=261816 CPUtime=11.89 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 48378 0 0 0 1184 5 0 0 20 0 3 0 181615089 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=309500 memory=261864 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 181615100 316928000 65466 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 309500 KiB
Current children cumulated memory: 261864 KiB

[startup+25.5003 s]
/proc/loadavg: 4.01 3.23 3.40 5/267 950659
/proc/meminfo: memFree=124492556/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=375036 memory=272072 CPUtime=25.36 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 121162 0 0 0 2523 13 0 0 20 0 3 0 181615025 384036864 68018 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 93759 68018 2926 3032 0 75761 0
[pid=950605/tid=950607] ppid=950602 vsize=375036 memory=4576 CPUtime=24.66 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 80342 0 0 0 2459 7 0 0 20 0 3 0 181615089 384036864 68018 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=375036 memory=270788 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 181615100 384036864 68018 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 375036 KiB
Current children cumulated memory: 272072 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 3.31 3.42 5/267 950664
/proc/meminfo: memFree=124465668/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=375036 memory=278452 CPUtime=50.89 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 155615 0 0 0 5074 15 0 0 20 0 3 0 181615025 384036864 69613 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 93759 69613 2926 3032 0 78731 0
[pid=950605/tid=950607] ppid=950602 vsize=375036 memory=12088 CPUtime=50.2 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 114785 0 0 0 5011 9 0 0 20 0 3 0 181615089 384036864 69613 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=375036 memory=12088 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 181615100 384036864 69613 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 375036 KiB
Current children cumulated memory: 278452 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 3.45 3.47 5/265 950673
/proc/meminfo: memFree=124451876/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=375036 memory=281756 CPUtime=101.95 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 192370 0 0 0 10178 17 0 0 20 0 3 0 181615025 384036864 70439 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 93759 70439 2926 3032 0 83166 0
[pid=950605/tid=950607] ppid=950602 vsize=375036 memory=12088 CPUtime=101.25 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 151526 0 0 0 10114 11 0 0 20 0 3 0 181615089 384036864 70439 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=375036 memory=281752 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 181615100 384036864 70439 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 375036 KiB
Current children cumulated memory: 281756 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.57 3.51 5/265 950684
/proc/meminfo: memFree=124401664/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=440572 memory=327084 CPUtime=161.78 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 235520 0 0 0 16157 21 0 0 20 0 3 0 181615025 451145728 81771 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 110143 81771 2942 3032 0 97055 0
[pid=950605/tid=950607] ppid=950602 vsize=440572 memory=12088 CPUtime=161.09 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 194627 0 0 0 16094 15 0 0 20 0 3 0 181615089 451145728 81771 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=440572 memory=327084 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 181615100 451145728 81771 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 440572 KiB
Current children cumulated memory: 327084 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.66 3.55 5/266 950696
/proc/meminfo: memFree=124325364/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=440572 memory=327312 CPUtime=221.62 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 254489 0 0 0 22140 22 0 0 20 0 3 0 181615025 451145728 81828 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 110143 81828 2990 3032 0 97055 0
[pid=950605/tid=950607] ppid=950602 vsize=440572 memory=12088 CPUtime=220.93 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 213561 0 0 0 22077 16 0 0 20 0 3 0 181615089 451145728 81828 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=440572 memory=327312 CPUtime=0 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 181615100 451145728 81828 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 440572 KiB
Current children cumulated memory: 327312 KiB


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

[pid=950605] ppid=950602 vsize=571644 memory=468888 CPUtime=3452.55 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 774652 0 0 0 345193 62 0 0 20 0 3 0 181615025 585363456 117222 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117222 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=468888 CPUtime=3451.8 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 732010 0 0 0 345127 53 0 0 20 0 3 0 181615089 585363456 117222 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=468888 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 389 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117222 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 468888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 952772
/proc/meminfo: memFree=122536452/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3512.38 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 775930 0 0 0 351176 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=468888 CPUtime=3511.63 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 733264 0 0 0 351110 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=12088 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 391 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 7/264 952785
/proc/meminfo: memFree=122419292/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3572.21 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776670 0 0 0 357159 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=468888 CPUtime=3571.45 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 733974 0 0 0 357092 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=469800 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 396 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

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

# cumulated CPU time of all completed processes:  user=3589.38 s, system=0.634024 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.11 4.09 5/265 952787
/proc/meminfo: memFree=122041304/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3573.91 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776736 0 0 0 357329 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=2104 CPUtime=3573.15 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734040 0 0 0 357262 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=-4421386491868899682 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 396 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 952789
/proc/meminfo: memFree=122069032/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3580.28 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776741 0 0 0 357966 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=469800 CPUtime=3579.53 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734044 0 0 0 357900 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=5500 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 396 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 952789
/proc/meminfo: memFree=122069060/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3586.67 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776768 0 0 0 358605 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=44880 CPUtime=3585.91 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734071 0 0 0 358538 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=12512 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 396 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068968/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3588.26 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776833 0 0 0 358764 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=469800 CPUtime=3587.51 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734134 0 0 0 358698 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=2268 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 398 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3588.26 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3599.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068976/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3589.06 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776834 0 0 0 358844 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=469800 CPUtime=3588.3 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734135 0 0 0 358777 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=44880 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 398 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3599.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068976/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3589.46 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776834 0 0 0 358884 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=25944 CPUtime=3588.7 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734135 0 0 0 358817 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=1948 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 398 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3589.46 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3600 s]*
/proc/loadavg: 4.11 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068976/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=571644 memory=469800 CPUtime=3589.86 cores=1,3
/proc/950605/stat : 950605 (fscip) S 950602 950605 950155 0 -1 1077936128 776834 0 0 0 358924 62 0 0 20 0 3 0 181615025 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 142911 117450 2990 3032 0 123280 0
[pid=950605/tid=950607] ppid=950602 vsize=571644 memory=2193908 CPUtime=3589.11 cores=1,3
/proc/950605/task/950607/stat : 950607 (fscip) R 950602 950605 950155 0 -1 4194368 734135 0 0 0 358858 53 0 0 20 0 3 0 181615089 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
[pid=950605/tid=950608] ppid=950602 vsize=571644 memory=2696 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 398 0 0 0 1 2 0 0 20 0 3 0 181615100 585363456 117450 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3589.86 s
Current children cumulated vsize: 571644 KiB
Current children cumulated memory: 469800 KiB

[startup+3600.11 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 952790
/proc/meminfo: memFree=122068976/131524600 swapFree=131071996/131071996
[pid=950605] ppid=950602 vsize=503408 memory=449112 CPUtime=3589.97 cores=1,3
/proc/950605/stat : 950605 (fscip) R 950602 950605 950155 0 -1 4194304 778003 0 0 0 358935 62 0 0 20 0 2 0 181615025 515489792 112278 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
/proc/950605/statm: 125852 112278 2990 3032 0 121196 0
[pid=950605/tid=950608] ppid=950602 vsize=503408 memory=12088 CPUtime=0.03 cores=1,3
/proc/950605/task/950608/stat : 950608 (fscip) S 950602 950605 950155 0 -1 1077936192 398 0 0 0 1 2 0 0 20 0 2 0 181615100 515489792 112278 134679101440 4194304 16613245 140721101412048 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36769792 140721101419540 140721101419656 140721101419656 140721101426672 0
Current children cumulated CPU time: 3589.97 s
Current children cumulated vsize: 503408 KiB
Current children cumulated memory: 449112 KiB

Child status: 0

Real time (s): 3600.15
CPU time (s): 3590.02
CPU user time (s): 3589.38
CPU system time (s): 0.634024
CPU usage (%): 99.7186
Max. virtual memory (cumulated for all children) (KiB): 571644
Max. memory (cumulated for all children) (KiB): 469800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.38
system time used= 0.634024
maximum resident set size= 469800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779199
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= 4245
involuntary context switches= 1374


# summary of solver processes directly reported to runsolver:
#   pid: 950605
#   total CPU time (s): 3590.02
#   total CPU user time (s): 3589.38
#   total CPU system time (s): 0.634024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00429 second user time and 16.5648 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-18 11:21:13
IDJOB=4441880
IDBENCH=147755
IDSOLVER=3064
FILE ID=nodeC032/4441880-1721294461
RUNJOBID= nodeC032-1721294255-950167
SLURM_JOB_ID= 7542614
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.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-4441880-1721294461/watcher-4441880-1721294461 -o /tmp/evaluation-result-4441880-1721294461/solver-4441880-1721294461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950167 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4441880-1721294461.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 0255b3d891da2276599e5fcb43348962
RANDOM SEED=1887114559

nodeC032.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		: 3662.744
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.33
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		: 3664.149
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	: 7005.03
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		: 3599.690
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.33
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		: 3673.103
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	: 7005.03
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.731
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.33
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		: 3670.994
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	: 7005.03
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		: 3599.939
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.33
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		: 3600.097
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	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124554192 kB
MemAvailable:   127027436 kB
Buffers:          482424 kB
Cached:          2807036 kB
SwapCached:            0 kB
Active:           928636 kB
Inactive:        5383428 kB
Active(anon):       1564 kB
Inactive(anon):  3058760 kB
Active(file):     927072 kB
Inactive(file):  2324668 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             29356 kB
Writeback:            36 kB
AnonPages:       3022604 kB
Mapped:           141656 kB
Shmem:             37720 kB
KReclaimable:     122656 kB
Slab:             238140 kB
SReclaimable:     122656 kB
SUnreclaim:       115484 kB
KernelStack:        4272 kB
PageTables:        15000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2007864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    567296 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:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC032 at 2024-07-18 12:21:14