Trace number 4463963

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? 3587.34 3598.29

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
MD5SUM45d4d1161a77415ffbfc9841f6913b11
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 benchmark64210
Best CPU time to get the best result obtained on this benchmark72000.8
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 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 559660
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 559660
Number of bits of the biggest sum of numbers20
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.42/0.43	c Default LC presolving (default).
0.42/0.43	c ** Before presolving: virtualMemUsedAtLc = 139499653, getVmSize() = 112807936, SCIPgetMemUsed() = 69201920, SCIPgetMemTotal() = 88082520, SCIPgetMemExternEstim() = 51417133
0.42/0.43	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
2.58/2.69	c ** Estimated virtualMemUsedAtSolver = 271174578, getVmSize() = 384610304, SCIPgetMemUsed() = 238898639, SCIPgetMemTotal() = 355344735, SCIPgetMemExternEstim() = 51417133
2.58/2.69	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.58/2.69	c Original Problem   :
2.58/2.69	c   Problem name     : instance-4463963-1722378594
2.58/2.69	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
2.58/2.69	c   Constraints      : 42620
2.58/2.69	c   Objective sense  : minimize
2.58/2.69	c Presolved Problem  :
2.58/2.69	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
2.58/2.69	c   Constraints      : 42620
2.58/2.69	c Constraints        : Number
2.58/2.69	c   knapsack         : 21770 
2.58/2.69	c   setppc           : 3960 
2.58/2.69	c   logicor          : 16890 
2.58/2.69	c ** Instance transfer method used: 0
2.68/2.77	c ** ParaScipInstance copy does not increase the number of variables. **
2.87/2.92	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.87/2.92	c                                Nodes    Active                                            
2.87/2.92	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
319.87/321.11	c       321              2           1         1                -       40264.0000          -
343.79/345.04	c       345              3           2         1                -       40264.0000          -
366.82/368.18	c       368              4           3         1                -       40264.0000          -
417.35/418.80	c       419              5           4         1                -       40264.0000          -
449.58/451.16	c       451              6           5         1                -       40264.0000          -
470.20/471.87	c       472              7           6         1                -       40264.0000          -
490.84/492.58	c       493              8           7         1                -       40264.0000          -
508.09/509.82	c       510              9           8         1                -       40264.0000          -
513.28/515.08	c       515             11          10         1                -       40264.0000          -
518.66/520.47	c       520             13          12         1                -       40264.0000          -
536.61/538.41	c       538             14          13         1                -       40264.0000          -
553.36/555.28	c       555             16          15         1                -       40264.0000          -
560.44/562.39	c       562             18          17         1                -       40264.0000          -
567.91/569.85	c       570             20          19         1                -       40264.0000          -
580.58/582.53	c       583             22          21         1                -       40264.0000          -
600.13/602.17	c       602             24          23         1                -       40264.0000          -
606.20/608.27	c       608             26          25         1                -       40264.0000          -
612.88/614.95	c       615             28          27         1                -       40264.0000          -
640.02/642.19	c       642             30          29         1                -       40264.0000          -
645.30/647.42	c       647             31          30         1                -       40264.0000          -
651.99/654.11	c       654             33          32         1                -       40264.0000          -
659.96/662.18	c       662             35          34         1                -       40264.0000          -
678.90/681.14	c       681             37          36         1                -       40264.0000          -
685.98/688.27	c       688             39          38         1                -       40264.0000          -
694.65/696.92	c       697             43          42         1                -       40264.0000          -
713.29/715.63	c       716             45          44         1                -       40264.0000          -
735.53/737.91	c       738             47          46         1                -       40264.0000          -
747.29/749.79	c       750             48          47         1                -       40264.0000          -
764.75/767.22	c       767             49          48         1                -       40264.0000          -
770.43/772.90	c       773             50          49         1                -       40264.0000          -
775.81/778.33	c       778             51          50         1                -       40264.0000          -
794.76/797.31	c       797             53          52         1                -       40264.0000          -
804.93/807.59	c       808             54          53         1                -       40264.0000          -
864.47/867.30	c       867             55          54         1                -       40264.0000          -
872.35/875.18	c       875             57          56         1                -       40264.0000          -
891.20/894.06	c       894             59          58         1                -       40264.0000          -
897.07/899.91	c       900             61          60         1                -       40264.0000          -
930.28/933.21	c       933             62          61         1                -       40264.0000          -
936.47/939.43	c       939             64          63         1                -       40264.0000          -
952.72/955.73	c       956             65          64         1                -       40264.0000          -
959.70/962.75	c       963             67          66         1                -       40264.0000          -
992.61/995.73	c       996             69          68         1                -       40264.0000          -
1006.88/1010.02	c      1010             71          70         1                -       40264.0000          -
1015.25/1018.45	c      1018             73          72         1                -       40264.0000          -
1047.16/1050.45	c      1050             75          74         1                -       40264.0000          -
1060.42/1063.73	c      1064             76          75         1                -       40264.0000          -
1067.09/1070.45	c      1070             78          77         1                -       40264.0000          -
1081.15/1084.58	c      1085             79          78         1                -       40264.0000          -
1117.94/1121.47	c      1121             81          80         1                -       40264.0000          -
1123.82/1127.38	c      1127             83          82         1                -       40264.0000          -
1141.27/1144.84	c      1145             84          83         1                -       40264.0000          -
1147.57/1151.19	c      1151             86          85         1                -       40264.0000          -
1160.42/1164.03	c      1164             87          86         1                -       40264.0000          -
1165.69/1169.32	c      1169             89          88         1                -       40264.0000          -
1198.09/1201.89	c      1202             90          89         1                -       40264.0000          -
1212.44/1216.22	c      1216             92          91         1                -       40264.0000          -
1225.32/1229.17	c      1229             93          92         1                -       40264.0000          -
1230.31/1234.17	c      1234             94          93         1                -       40264.0000          -
1279.35/1283.35	c      1283             96          95         1                -       40264.0000          -
1285.94/1289.90	c      1290             98          97         1                -       40264.0000          -
1296.40/1300.40	c      1300             99          98         1                -       40264.0000          -
1302.19/1306.26	c      1306            101         100         1                -       40264.0000          -
1311.46/1315.54	c      1316            103         102         1                -       40264.0000          -
1325.13/1329.26	c      1329            104         103         1                -       40264.0000          -
1330.81/1334.93	c      1335            106         105         1                -       40264.0000          -
1367.60/1371.86	c      1372            108         107         1                -       40264.0000          -
1374.98/1379.21	c      1379            110         109         1                -       40264.0000          -
1388.76/1393.09	c      1393            111         110         1                -       40264.0000          -
1396.23/1400.51	c      1401            113         112         1                -       40264.0000          -
1401.72/1406.05	c      1406            115         114         1                -       40264.0000          -
1432.41/1436.88	c      1437            117         116         1                -       40264.0000          -
1444.48/1448.92	c      1449            118         117         1                -       40264.0000          -
1452.96/1457.49	c      1457            119         118         1                -       40264.0000          -
1460.55/1465.07	c      1465            121         120         1                -       40264.0000          -
1466.92/1471.44	c      1471            123         122         1                -       40264.0000          -
1497.24/1501.83	c      1502            124         123         1                -       40264.0000          -
1512.00/1516.69	c      1517            126         125         1                -       40264.0000          -
1519.39/1524.09	c      1524            128         127         1                -       40264.0000          -
1525.26/1529.94	c      1530            130         129         1                -       40264.0000          -
1562.66/1567.49	c      1567            132         131         1                -       40264.0000          -
1569.26/1574.05	c      1574            134         133         1                -       40264.0000          -
1574.93/1579.75	c      1580            136         135         1                -       40264.0000          -
1584.60/1589.40	c      1589            137         136         1                -       40264.0000          -
1592.68/1597.52	c      1598            139         138         1                -       40264.0000          -
1628.08/1633.10	c      1633            141         140         1                -       40264.0000          -
1642.82/1647.90	c      1648            143         142         1                -       40264.0000          -
1648.30/1653.35	c      1653            145         144         1                -       40264.0000          -
1654.68/1659.73	c      1660            146         145         1                -       40264.0000          -
1662.25/1667.30	c      1667            148         147         1                -       40264.0000          -
1675.21/1680.39	c      1680            149         148         1                -       40264.0000          -
1683.08/1688.20	c      1688            151         150         1                -       40264.0000          -
1706.31/1711.59	c      1712            152         151         1                -       40264.0000          -
1712.08/1717.37	c      1717            154         153         1                -       40264.0000          -
1732.23/1737.55	c      1738            155         154         1                -       40264.0000          -
1750.69/1756.01	c      1756            157         156         1                -       40264.0000          -
1757.56/1762.99	c      1763            159         158         1                -       40264.0000          -
1789.07/1794.51	c      1795            160         159         1                -       40264.0000          -
1800.55/1806.11	c      1806            162         161         1                -       40264.0000          -
1810.01/1815.53	c      1816            164         163         1                -       40264.0000          -
1815.60/1821.11	c      1821            165         164         1                -       40264.0000          -
1834.64/1840.27	c      1840            167         166         1                -       40264.0000          -
1902.71/1908.51	c      1909            169         168         1                -       40264.0000          -
1915.46/1921.36	c      1921            170         169         1                -       40264.0000          -
1921.94/1927.80	c      1928            172         171         1                -       40264.0000          -
1930.13/1936.05	c      1936            173         172         1                -       40264.0000          -
1936.21/1942.14	c      1942            176         175         1                -       40264.0000          -
1964.60/1970.64	c      1971            177         176         1                -       40264.0000          -
1976.46/1982.57	c      1983            178         177         1                -       40264.0000          -
1981.95/1988.06	c      1988            181         180         1                -       40264.0000          -
1988.42/1994.58	c      1995            183         182         1                -       40264.0000          -
2051.91/2058.21	c      2058            185         184         1                -       40264.0000          -
2065.46/2071.89	c      2072            186         185         1                -       40264.0000          -
2072.14/2078.55	c      2079            188         187         1                -       40264.0000          -
2077.92/2084.37	c      2084            190         189         1                -       40264.0000          -
2089.78/2096.21	c      2096            192         191         1                -       40264.0000          -
2115.61/2122.17	c      2122            194         193         1                -       40264.0000          -
2122.68/2129.29	c      2129            196         195         1                -       40264.0000          -
2129.47/2136.10	c      2136            199         198         1                -       40264.0000          -
2139.02/2145.65	c      2146            201         200         1                -       40264.0000          -
2144.20/2150.81	c      2151            203         202         1                -       40264.0000          -
2176.41/2183.13	c      2183            204         203         1                -       40264.0000          -
2182.68/2189.46	c      2189            206         205         1                -       40264.0000          -
2188.37/2195.11	c      2195            209         208         1                -       40264.0000          -
2199.33/2206.16	c      2206            211         210         1                -       40264.0000          -
2208.89/2215.73	c      2216            214         213         1                -       40264.0000          -
2220.26/2227.18	c      2227            215         214         1                -       40264.0000          -
2233.12/2240.03	c      2240            216         215         1                -       40264.0000          -
2241.89/2248.80	c      2249            218         217         1                -       40264.0000          -
2252.95/2259.91	c      2260            219         218         1                -       40264.0000          -
2283.24/2290.31	c      2290            220         219         1                -       40264.0000          -
2289.12/2296.20	c      2296            222         221         1                -       40264.0000          -
2295.40/2302.50	c      2302            225         224         1                -       40264.0000          -
2303.08/2310.29	c      2310            226         225         1                -       40264.0000          -
2308.46/2315.67	c      2316            227         226         1                -       40264.0000          -
2333.67/2340.97	c      2341            230         229         1                -       40264.0000          -
2339.26/2346.54	c      2347            232         231         1                -       40264.0000          -
2349.62/2356.99	c      2357            234         233         1                -       40264.0000          -
2355.72/2363.09	c      2363            238         237         1                -       40264.0000          -
2372.15/2379.59	c      2380            240         239         1                -       40264.0000          -
2418.89/2426.47	c      2426            242         241         1                -       40264.0000          -
2431.95/2439.57	c      2440            243         242         1                -       40264.0000          -
2437.44/2445.08	c      2445            245         244         1                -       40264.0000          -
2443.52/2451.18	c      2451            247         246         1                -       40264.0000          -
2454.78/2462.42	c      2462            248         247         1                -       40264.0000          -
2470.44/2478.17	c      2478            251         250         1                -       40264.0000          -
2486.47/2494.26	c      2494            253         252         1                -       40264.0000          -
2494.43/2502.29	c      2502            255         254         1                -       40264.0000          -
2537.82/2545.79	c      2546            256         255         1                -       40264.0000          -
2550.09/2558.08	c      2558            257         256         1                -       40264.0000          -
2555.67/2563.69	c      2564            259         258         1                -       40264.0000          -
2566.33/2574.35	c      2574            263         262         1                -       40264.0000          -
2580.80/2588.89	c      2589            265         264         1                -       40264.0000          -
2589.28/2597.30	c      2597            267         266         1                -       40264.0000          -
2621.90/2630.07	c      2630            269         268         1                -       40264.0000          -
2632.87/2641.11	c      2641            270         269         1                -       40264.0000          -
2639.34/2647.58	c      2648            273         272         1                -       40264.0000          -
2645.62/2653.84	c      2654            275         274         1                -       40264.0000          -
2659.38/2667.68	c      2668            276         275         1                -       40264.0000          -
2667.16/2675.46	c      2675            278         277         1                -       40264.0000          -
2672.25/2680.59	c      2681            280         279         1                -       40264.0000          -
2682.92/2691.23	c      2691            281         280         1                -       40264.0000          -
2694.79/2703.14	c      2703            282         281         1                -       40264.0000          -
2704.95/2713.35	c      2713            283         282         1                -       40264.0000          -
2710.34/2718.74	c      2719            286         285         1                -       40264.0000          -
2752.54/2761.09	c      2761            287         286         1                -       40264.0000          -
2780.46/2789.02	c      2789            289         288         1                -       40264.0000          -
2786.44/2795.04	c      2795            291         290         1                -       40264.0000          -
2798.90/2807.56	c      2808            293         292         1                -       40264.0000          -
2804.68/2813.34	c      2813            295         294         1                -       40264.0000          -
2818.74/2827.45	c      2827            299         298         1                -       40264.0000          -
2826.93/2835.60	c      2836            301         300         1                -       40264.0000          -
2841.79/2850.52	c      2851            303         302         1                -       40264.0000          -
2883.08/2891.96	c      2892            304         303         1                -       40264.0000          -
2888.36/2897.25	c      2897            306         305         1                -       40264.0000          -
2902.82/2911.76	c      2912            308         307         1                -       40264.0000          -
2909.11/2918.03	c      2918            310         309         1                -       40264.0000          -
2914.59/2923.53	c      2924            311         310         1                -       40264.0000          -
2931.05/2940.09	c      2940            313         312         1                -       40264.0000          -
2936.72/2945.78	c      2946            314         313         1                -       40264.0000          -
2971.94/2981.10	c      2981            316         315         1                -       40264.0000          -
2983.20/2992.35	c      2992            317         316         1                -       40264.0000          -
2989.48/2998.60	c      2999            319         318         1                -       40264.0000          -
2994.98/3004.18	c      3004            322         321         1                -       40264.0000          -
3004.44/3013.69	c      3014            323         322         1                -       40264.0000          -
3012.32/3021.58	c      3022            325         324         1                -       40264.0000          -
3020.09/3029.37	c      3029            327         326         1                -       40264.0000          -
3029.48/3038.79	c      3039            328         327         1                -       40264.0000          -
3050.32/3059.62	c      3060            329         328         1                -       40264.0000          -
3056.20/3065.50	c      3066            332         331         1                -       40264.0000          -
3067.56/3076.96	c      3077            335         334         1                -       40264.0000          -
3077.83/3087.24	c      3087            336         335         1                -       40264.0000          -
3101.17/3110.63	c      3111            338         337         1                -       40264.0000          -
3107.45/3117.01	c      3117            340         339         1                -       40264.0000          -
3118.82/3128.30	c      3128            344         343         1                -       40264.0000          -
3128.60/3138.16	c      3138            347         346         1                -       40264.0000          -
3135.37/3144.90	c      3145            349         348         1                -       40264.0000          -
3146.04/3155.69	c      3156            350         349         1                -       40264.0000          -
3179.55/3189.22	c      3189            351         350         1                -       40264.0000          -
3184.83/3194.52	c      3195            353         352         1                -       40264.0000          -
3191.81/3201.53	c      3202            354         353         1                -       40264.0000          -
3197.80/3207.58	c      3208            357         356         1                -       40264.0000          -
3207.97/3217.79	c      3218            359         358         1                -       40264.0000          -
3214.45/3224.25	c      3224            361         360         1                -       40264.0000          -
3248.86/3258.78	c      3259            363         362         1                -       40264.0000          -
3257.83/3267.76	c      3268            364         363         1                -       40264.0000          -
3262.82/3272.78	c      3273            366         365         1                -       40264.0000          -
3273.58/3283.54	c      3284            368         367         1                -       40264.0000          -
3283.06/3293.05	c      3293            371         370         1                -       40264.0000          -
3300.00/3310.10	c      3310            374         373         1                -       40264.0000          -
3327.70/3337.81	c      3338            375         374         1                -       40264.0000          -
3341.35/3351.50	c      3352            377         376         1                -       40264.0000          -
3347.84/3358.07	c      3358            379         378         1                -       40264.0000          -
3362.69/3372.97	c      3373            383         382         1                -       40264.0000          -
3389.70/3400.03	c      3400            386         385         1                -       40264.0000          -
3396.57/3406.92	c      3407            388         387         1                -       40264.0000          -
3408.03/3418.49	c      3418            390         389         1                -       40264.0000          -
3414.62/3425.10	c      3425            393         392         1                -       40264.0000          -
3423.88/3434.36	c      3434            395         394         1                -       40264.0000          -
3447.00/3457.56	c      3458            396         395         1                -       40264.0000          -
3452.87/3463.44	c      3463            398         397         1                -       40264.0000          -
3462.85/3473.48	c      3473            400         399         1                -       40264.0000          -
3468.23/3478.81	c      3479            403         402         1                -       40264.0000          -
3477.30/3487.96	c      3488            406         405         1                -       40264.0000          -
3517.07/3527.86	c      3528            407         406         1                -       40264.0000          -
3542.09/3552.90	c      3553            409         408         1                -       40264.0000          -
3553.05/3563.95	c      3564            411         410         1                -       40264.0000          -
3558.63/3569.59	c      3570            413         412         1                -       40264.0000          -
3566.90/3577.80	c      3578            416         415         1                -       40264.0000          -
3577.77/3588.71	c      3589            419         418         1                -       40264.0000          -
3586.94/3598.01	c      3598            419         418         0                -       40264.0000          -
3587.15/3598.14	c SCIP Status        : c solving was interrupted [hard time limit reached]
3587.15/3598.14	c Total Time         : 3598.1400
3587.15/3598.14	c   solving          : 3598.1400
3587.15/3598.14	c   presolving       : 2.2606 (included in solving)
3587.15/3598.14	c B&B Tree           :
3587.15/3598.14	c   nodes (total)    : 1
3587.15/3598.14	c Solution           :
3587.15/3598.14	c   Solutions found  : 0
3587.15/3598.14	c   Primal Bound     :          -
3587.15/3598.14	c   Dual Bound       : +4.02640000000000e+04
3587.15/3598.14	c Gap                :          -
3587.24/3598.28	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (62088 MiB free)
  memory of node 1: 64473 MiB (57540 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100101 s]*
/proc/loadavg: 0.12 0.09 0.09 6/245 27356
/proc/meminfo: memFree=122445552/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=37840 memory=26076 CPUtime=0.1 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 4429 0 0 0 9 1 0 0 20 0 1 0 4229544 38748160 6519 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 9460 6519 2347 3035 0 5856 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37840 KiB
Current children cumulated memory: 26076 KiB

[startup+0.214121 s]*
/proc/loadavg: 0.12 0.09 0.09 5/245 27356
/proc/meminfo: memFree=122405192/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=47552 memory=35628 CPUtime=0.22 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 6814 0 0 0 20 2 0 0 20 0 1 0 4229544 48693248 8907 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 11888 8907 2347 3035 0 8284 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47552 KiB
Current children cumulated memory: 35628 KiB

[startup+0.31372 s]*
/proc/loadavg: 0.12 0.09 0.09 5/247 27358
/proc/meminfo: memFree=122349600/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=67200 memory=56848 CPUtime=0.31 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 12108 0 0 0 28 3 0 0 20 0 1 0 4229544 68812800 14212 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 16800 14212 2555 3035 0 13196 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67200 KiB
Current children cumulated memory: 56848 KiB

[startup+0.700354 s]
/proc/loadavg: 0.12 0.09 0.09 5/247 27358
/proc/meminfo: memFree=122302644/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=135916 memory=120748 CPUtime=0.69 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 25966 0 0 0 61 8 0 0 20 0 1 0 4229544 139177984 30187 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 33979 30187 2646 3035 0 30375 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 120748 KiB

[startup+1.50033 s]
/proc/loadavg: 0.12 0.09 0.09 5/247 27358
/proc/meminfo: memFree=122255172/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=169020 memory=156220 CPUtime=1.48 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 41098 0 0 0 136 12 0 0 20 0 1 0 4229544 173076480 39055 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 42255 39055 2774 3035 0 38651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 169020 KiB
Current children cumulated memory: 156220 KiB

[startup+3.11414 s]
/proc/loadavg: 0.12 0.09 0.09 5/251 27364
/proc/meminfo: memFree=121777968/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=526352 memory=410908 CPUtime=3.08 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 88206 0 0 0 281 27 0 0 20 0 3 0 4229544 538984448 102727 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 131588 102727 2806 3035 0 117044 0
[pid=27355/tid=27363] ppid=27352 vsize=526352 memory=288212 CPUtime=0.32 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 21444 0 0 0 25 7 0 0 20 0 3 0 4229814 538984448 102727 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=526352 memory=0 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4229837 538984448 102727 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 526352 KiB
Current children cumulated memory: 410908 KiB

[startup+6.30113 s]
/proc/loadavg: 0.51 0.17 0.12 5/251 27412
/proc/meminfo: memFree=121419772/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=865536 memory=687964 CPUtime=6.23 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 145729 0 0 0 584 39 0 0 20 0 3 0 4229544 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 216384 171991 2934 3035 0 197634 0
[pid=27355/tid=27363] ppid=27352 vsize=865536 memory=0 CPUtime=3.47 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 78960 0 0 0 328 19 0 0 20 0 3 0 4229814 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=865536 memory=157540 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4229837 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 865536 KiB
Current children cumulated memory: 687964 KiB

[startup+12.7011 s]
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121085524/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=865536 memory=687964 CPUtime=12.58 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 167426 0 0 0 1217 41 0 0 20 0 3 0 4229544 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 216384 171991 2934 3035 0 197634 0
[pid=27355/tid=27363] ppid=27352 vsize=865536 memory=0 CPUtime=9.81 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 100651 0 0 0 960 21 0 0 20 0 3 0 4229814 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=865536 memory=687964 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4229837 886308864 171991 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 865536 KiB
Current children cumulated memory: 687964 KiB

[startup+25.5004 s]
/proc/loadavg: 1.63 0.45 0.21 5/253 27511
/proc/meminfo: memFree=120529876/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=865536 memory=688028 CPUtime=25.33 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 182427 0 0 0 2491 42 0 0 20 0 3 0 4229544 886308864 172007 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 216384 172007 2950 3035 0 197634 0
[pid=27355/tid=27363] ppid=27352 vsize=865536 memory=4416 CPUtime=22.56 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 115633 0 0 0 2234 22 0 0 20 0 3 0 4229814 886308864 172007 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=865536 memory=688028 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4229837 886308864 172007 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 865536 KiB
Current children cumulated memory: 688028 KiB

[startup+51.1132 s]
/proc/loadavg: 2.50 0.76 0.32 5/256 27574
/proc/meminfo: memFree=120372404/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=865536 memory=696860 CPUtime=50.88 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 238602 0 0 0 5042 46 0 0 20 0 3 0 4229544 886308864 174215 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 216384 174215 2966 3035 0 200904 0
[pid=27355/tid=27363] ppid=27352 vsize=865536 memory=693736 CPUtime=48.11 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 171791 0 0 0 4785 26 0 0 20 0 3 0 4229814 886308864 174215 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=865536 memory=695024 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4229837 886308864 174215 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 865536 KiB
Current children cumulated memory: 696860 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.27 0.52 5/256 27585
/proc/meminfo: memFree=120235760/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=865536 memory=709824 CPUtime=101.91 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 310184 0 0 0 10140 51 0 0 20 0 3 0 4229544 886308864 177456 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 216384 177456 2966 3035 0 209094 0
[pid=27355/tid=27363] ppid=27352 vsize=865536 memory=709808 CPUtime=99.14 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 243357 0 0 0 9883 31 0 0 20 0 3 0 4229814 886308864 177456 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=865536 memory=709820 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4229837 886308864 177456 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 865536 KiB
Current children cumulated memory: 709824 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 1.82 0.76 5/256 27596
/proc/meminfo: memFree=120178036/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=869684 memory=714264 CPUtime=161.7 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 349477 0 0 0 16115 55 0 0 20 0 3 0 4229544 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 217421 178566 2966 3035 0 212671 0
[pid=27355/tid=27363] ppid=27352 vsize=869684 memory=714264 CPUtime=158.93 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 282641 0 0 0 15858 35 0 0 20 0 3 0 4229814 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=869684 memory=714264 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 4229837 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 869684 KiB
Current children cumulated memory: 714264 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.25 0.97 5/256 27606
/proc/meminfo: memFree=120108384/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=869684 memory=714264 CPUtime=221.5 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 365829 0 0 0 22094 56 0 0 20 0 3 0 4229544 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 217421 178566 2966 3035 0 212671 0
[pid=27355/tid=27363] ppid=27352 vsize=869684 memory=714264 CPUtime=218.73 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 298984 0 0 0 21837 36 0 0 20 0 3 0 4229814 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=869684 memory=714264 CPUtime=0 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 4229837 890556416 178566 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 869684 KiB
Current children cumulated memory: 714264 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.58 1.17 5/254 27617
/proc/meminfo: memFree=119909852/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=935220 memory=779408 CPUtime=281.3 cores=1,3

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

[pid=27355] ppid=27352 vsize=1263732 memory=951456 CPUtime=3391.98 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 993738 0 0 0 339073 125 0 0 20 0 3 0 4229544 1294061568 237864 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 315933 237864 3030 3035 0 294046 0
[pid=27355/tid=27363] ppid=27352 vsize=1263732 memory=951124 CPUtime=3389.12 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 925452 0 0 0 338813 99 0 0 20 0 3 0 4229814 1294061568 237864 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1263732 memory=951456 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 339 0 0 0 1 4 0 0 20 0 3 0 4229837 1294061568 237864 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3391.98 s
Current children cumulated vsize: 1263732 KiB
Current children cumulated memory: 951456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/253 29170
/proc/meminfo: memFree=117850688/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1263732 memory=951468 CPUtime=3451.78 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 995231 0 0 0 345053 125 0 0 20 0 3 0 4229544 1294061568 237867 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 315933 237867 3030 3035 0 297022 0
[pid=27355/tid=27363] ppid=27352 vsize=1263732 memory=951124 CPUtime=3448.92 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 926926 0 0 0 344793 99 0 0 20 0 3 0 4229814 1294061568 237867 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1263732 memory=16032 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 343 0 0 0 1 4 0 0 20 0 3 0 4229837 1294061568 237867 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 1263732 KiB
Current children cumulated memory: 951468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/254 29349
/proc/meminfo: memFree=117725448/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3511.59 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1014757 0 0 0 351030 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3508.73 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 946439 0 0 0 350770 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=1015488 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 347 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3582.31 s]
/proc/loadavg: 4.20 4.15 4.10 5/254 29359
/proc/meminfo: memFree=117688360/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3571.39 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1016563 0 0 0 357010 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3568.53 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948221 0 0 0 356750 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=1944 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 351 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

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

# cumulated CPU time of all completed processes:  user=3586.02 s, system=1.31739 s

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

[startup+3584 s]*
/proc/loadavg: 4.18 4.15 4.10 5/254 29361
/proc/meminfo: memFree=117688140/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3573.09 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1016595 0 0 0 357180 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=27852 CPUtime=3570.23 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948253 0 0 0 356920 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=1015488 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 351 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3573.09 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3590.4 s]
/proc/loadavg: 4.17 4.15 4.09 5/253 29361
/proc/meminfo: memFree=117688228/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3579.46 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1017085 0 0 0 357817 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=12700 CPUtime=3576.59 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948740 0 0 0 357556 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=11424 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3579.46 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3593.6 s]
/proc/loadavg: 4.17 4.15 4.09 5/253 29362
/proc/meminfo: memFree=117688268/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3582.65 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1017163 0 0 0 358136 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=-7450480474651190395 CPUtime=3579.78 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948818 0 0 0 357875 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=1015488 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3582.65 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688276/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3585.84 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1017220 0 0 0 358455 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3582.97 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948875 0 0 0 358194 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=11424 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3597.6 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688244/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3586.64 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1017220 0 0 0 358535 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=11424 CPUtime=3583.77 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948875 0 0 0 358274 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=12700 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3598 s]*
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688252/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1329268 memory=1015488 CPUtime=3587.05 cores=1,3
/proc/27355/stat : 27355 (fscip) S 27352 27355 27283 0 -1 1077936128 1017235 0 0 0 358576 129 0 0 20 0 3 0 4229544 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 332317 253872 3030 3035 0 313445 0
[pid=27355/tid=27363] ppid=27352 vsize=1329268 memory=-7306365286575334528 CPUtime=3584.18 cores=1,3
/proc/27355/task/27363/stat : 27363 (fscip) R 27352 27355 27283 0 -1 4194368 948889 0 0 0 358315 103 0 0 20 0 3 0 4229814 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
[pid=27355/tid=27364] ppid=27352 vsize=1329268 memory=4426367299322801826 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 3 0 4229837 1361170432 253872 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 1329268 KiB
Current children cumulated memory: 1015488 KiB

[startup+3598.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688252/131655788 swapFree=131071472/131071996
[pid=27355] ppid=27352 vsize=1190064 memory=913780 CPUtime=3587.24 cores=1,3
/proc/27355/stat : 27355 (fscip) R 27352 27355 27283 0 -1 4194304 1019476 0 0 0 358595 129 0 0 20 0 2 0 4229544 1218625536 228445 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
/proc/27355/statm: 297516 228445 3030 3035 0 278644 0
[pid=27355/tid=27364] ppid=27352 vsize=1190064 memory=1915640 CPUtime=0.05 cores=1,3
/proc/27355/task/27364/stat : 27364 (fscip) S 27352 27355 27283 0 -1 1077936192 353 0 0 0 1 4 0 0 20 0 2 0 4229837 1218625536 228445 134679101440 4194304 16623229 140729291859296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 52146176 140729291863062 140729291863178 140729291863178 140729291870192 0
Current children cumulated CPU time: 3587.24 s
Current children cumulated vsize: 1190064 KiB
Current children cumulated memory: 913780 KiB

Child status: 0

Real time (s): 3598.29
CPU time (s): 3587.34
CPU user time (s): 3586.02
CPU system time (s): 1.31739
CPU usage (%): 99.6956
Max. virtual memory (cumulated for all children) (KiB): 1329268
Max. memory (cumulated for all children) (KiB): 1015488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.02
system time used= 1.31739
maximum resident set size= 1015488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023185
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= 4588
involuntary context switches= 4862


# summary of solver processes directly reported to runsolver:
#   pid: 27355
#   total CPU time (s): 3587.34
#   total CPU user time (s): 3586.02
#   total CPU system time (s): 1.31739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2552 second user time and 33.4328 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-31 00:29:54
IDJOB=4463963
IDBENCH=147023
IDSOLVER=3092
FILE ID=nodeC012/4463963-1722378594
RUNJOBID= nodeC012-1722378594-27295
SLURM_JOB_ID= 8249842
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=1497379858

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122518680 kB
MemAvailable:   129998572 kB
Buffers:           83224 kB
Cached:          8199440 kB
SwapCached:           48 kB
Active:           239676 kB
Inactive:        8398340 kB
Active(anon):       1316 kB
Inactive(anon):   375284 kB
Active(file):     238360 kB
Inactive(file):  8023056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            117768 kB
Writeback:             4 kB
AnonPages:        354928 kB
Mapped:            97952 kB
Shmem:             21248 kB
KReclaimable:     117348 kB
Slab:             200396 kB
SReclaimable:     117348 kB
SUnreclaim:        83048 kB
KernelStack:        3808 kB
PageTables:         9932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     763844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      199496 kB
DirectMap2M:    13336576 kB
DirectMap1G:    122683392 kB

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