Trace number 4434631

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
FiberSCIP 2024-07-02? 3590.57 3600.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: 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.10/0.22	c Default LC presolving (default).
0.22/0.22	c ** Before presolving: virtualMemUsedAtLc = 139499653, getVmSize() = 112791552, SCIPgetMemUsed() = 69201840, SCIPgetMemTotal() = 88082520, SCIPgetMemExternEstim() = 51417133
0.22/0.22	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
2.18/2.23	c ** Estimated virtualMemUsedAtSolver = 271174578, getVmSize() = 384593920, SCIPgetMemUsed() = 238898559, SCIPgetMemTotal() = 355344735, SCIPgetMemExternEstim() = 51417133
2.18/2.23	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.18/2.23	c Original Problem   :
2.18/2.23	c   Problem name     : instance-4434631-1721068481
2.18/2.23	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.23	c   Constraints      : 42620
2.18/2.23	c   Objective sense  : minimize
2.18/2.23	c Presolved Problem  :
2.18/2.23	c   Variables        : 2700 (2700 binary, 0 integer, 0 implicit integer, 0 continuous)
2.18/2.23	c   Constraints      : 42620
2.18/2.23	c Constraints        : Number
2.18/2.23	c   knapsack         : 21770 
2.18/2.23	c   setppc           : 3960 
2.18/2.23	c   logicor          : 16890 
2.18/2.23	c ** Instance transfer method used: 0
2.28/2.30	c ** ParaScipInstance copy does not increase the number of variables. **
2.39/2.45	c LC is working with racing ramp-up and with rebuilding tree after racing.
2.39/2.45	c                                Nodes    Active                                            
2.39/2.45	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
314.85/315.70	c       316              2           1         1                -       40264.0000          -
338.48/339.44	c       339              3           2         1                -       40264.0000          -
361.43/362.41	c       362              4           3         1                -       40264.0000          -
411.59/412.71	c       413              5           4         1                -       40264.0000          -
443.70/444.94	c       445              6           5         1                -       40264.0000          -
464.24/465.52	c       466              7           6         1                -       40264.0000          -
484.69/486.04	c       486              8           7         1                -       40264.0000          -
501.74/503.11	c       503              9           8         1                -       40264.0000          -
506.91/508.33	c       508             11          10         1                -       40264.0000          -
512.20/513.69	c       514             13          12         1                -       40264.0000          -
530.05/531.50	c       532             14          13         1                -       40264.0000          -
546.72/548.20	c       548             16          15         1                -       40264.0000          -
553.70/555.27	c       555             18          17         1                -       40264.0000          -
561.18/562.70	c       563             20          19         1                -       40264.0000          -
573.64/575.26	c       575             22          21         1                -       40264.0000          -
593.09/594.76	c       595             24          23         1                -       40264.0000          -
599.18/600.82	c       601             26          25         1                -       40264.0000          -
605.76/607.45	c       607             28          27         1                -       40264.0000          -
632.30/634.06	c       634             30          29         1                -       40264.0000          -
637.48/639.24	c       639             31          30         1                -       40264.0000          -
644.06/645.88	c       646             33          32         1                -       40264.0000          -
652.04/653.88	c       654             35          34         1                -       40264.0000          -
670.79/672.69	c       673             37          36         1                -       40264.0000          -
677.87/679.77	c       680             39          38         1                -       40264.0000          -
686.44/688.34	c       688             43          42         1                -       40264.0000          -
704.99/706.90	c       707             45          44         1                -       40264.0000          -
726.74/728.78	c       729             47          46         1                -       40264.0000          -
738.50/740.57	c       741             48          47         1                -       40264.0000          -
755.77/757.84	c       758             49          48         1                -       40264.0000          -
761.35/763.47	c       763             50          49         1                -       40264.0000          -
766.74/768.83	c       769             51          50         1                -       40264.0000          -
785.48/787.64	c       788             53          52         1                -       40264.0000          -
795.36/797.56	c       798             54          53         1                -       40264.0000          -
854.60/856.95	c       857             55          54         1                -       40264.0000          -
862.38/864.77	c       865             57          56         1                -       40264.0000          -
881.03/883.49	c       883             59          58         1                -       40264.0000          -
886.81/889.27	c       889             61          60         1                -       40264.0000          -
919.73/922.28	c       922             62          61         1                -       40264.0000          -
925.92/928.42	c       928             64          63         1                -       40264.0000          -
941.97/944.52	c       945             65          64         1                -       40264.0000          -
948.85/951.49	c       951             67          66         1                -       40264.0000          -
981.07/983.72	c       984             69          68         1                -       40264.0000          -
995.23/997.90	c       998             71          70         1                -       40264.0000          -
1003.51/1006.25	c      1006             73          72         1                -       40264.0000          -
1034.83/1037.65	c      1038             75          74         1                -       40264.0000          -
1047.89/1050.78	c      1051             76          75         1                -       40264.0000          -
1054.57/1057.40	c      1057             78          77         1                -       40264.0000          -
1068.44/1071.39	c      1071             79          78         1                -       40264.0000          -
1104.16/1107.18	c      1107             81          80         1                -       40264.0000          -
1110.05/1113.02	c      1113             83          82         1                -       40264.0000          -
1127.29/1130.37	c      1130             84          83         1                -       40264.0000          -
1133.57/1136.67	c      1137             86          85         1                -       40264.0000          -
1146.34/1149.42	c      1149             87          86         1                -       40264.0000          -
1151.52/1154.67	c      1155             89          88         1                -       40264.0000          -
1183.45/1186.67	c      1187             90          89         1                -       40264.0000          -
1197.71/1200.93	c      1201             92          91         1                -       40264.0000          -
1210.57/1213.87	c      1214             93          92         1                -       40264.0000          -
1215.56/1218.87	c      1219             94          93         1                -       40264.0000          -
1264.13/1267.55	c      1268             96          95         1                -       40264.0000          -
1270.62/1274.08	c      1274             98          97         1                -       40264.0000          -
1281.08/1284.55	c      1285             99          98         1                -       40264.0000          -
1286.97/1290.40	c      1290            101         100         1                -       40264.0000          -
1296.14/1299.67	c      1300            103         102         1                -       40264.0000          -
1309.80/1313.34	c      1313            104         103         1                -       40264.0000          -
1315.39/1318.99	c      1319            106         105         1                -       40264.0000          -
1352.10/1355.78	c      1356            108         107         1                -       40264.0000          -
1359.49/1363.14	c      1363            110         109         1                -       40264.0000          -
1373.24/1376.97	c      1377            111         110         1                -       40264.0000          -
1380.61/1384.38	c      1384            113         112         1                -       40264.0000          -
1386.20/1389.91	c      1390            115         114         1                -       40264.0000          -
1416.83/1420.66	c      1421            117         116         1                -       40264.0000          -
1428.89/1432.71	c      1433            118         117         1                -       40264.0000          -
1437.37/1441.27	c      1441            119         118         1                -       40264.0000          -
1444.95/1448.84	c      1449            121         120         1                -       40264.0000          -
1451.24/1455.19	c      1455            123         122         1                -       40264.0000          -
1481.44/1485.40	c      1485            124         123         1                -       40264.0000          -
1496.21/1500.26	c      1500            126         125         1                -       40264.0000          -
1503.58/1507.64	c      1508            128         127         1                -       40264.0000          -
1509.38/1513.47	c      1513            130         129         1                -       40264.0000          -
1546.18/1550.38	c      1550            132         131         1                -       40264.0000          -
1552.77/1556.95	c      1557            134         133         1                -       40264.0000          -
1558.45/1562.65	c      1563            136         135         1                -       40264.0000          -
1568.13/1572.31	c      1572            137         136         1                -       40264.0000          -
1576.20/1580.42	c      1580            139         138         1                -       40264.0000          -
1611.52/1615.80	c      1616            141         140         1                -       40264.0000          -
1626.18/1630.58	c      1631            143         142         1                -       40264.0000          -
1631.68/1636.04	c      1636            145         144         1                -       40264.0000          -
1638.05/1642.42	c      1642            146         145         1                -       40264.0000          -
1645.53/1649.94	c      1650            148         147         1                -       40264.0000          -
1658.61/1663.02	c      1663            149         148         1                -       40264.0000          -
1666.38/1670.81	c      1671            151         150         1                -       40264.0000          -
1689.63/1694.17	c      1694            152         151         1                -       40264.0000          -
1695.41/1699.93	c      1700            154         153         1                -       40264.0000          -
1715.57/1720.12	c      1720            155         154         1                -       40264.0000          -
1734.01/1738.60	c      1739            157         156         1                -       40264.0000          -
1740.89/1745.57	c      1746            159         158         1                -       40264.0000          -
1772.32/1777.03	c      1777            160         159         1                -       40264.0000          -
1783.88/1788.62	c      1789            162         161         1                -       40264.0000          -
1793.27/1798.03	c      1798            164         163         1                -       40264.0000          -
1798.74/1803.58	c      1804            165         164         1                -       40264.0000          -
1817.80/1822.65	c      1823            167         166         1                -       40264.0000          -
1885.43/1890.46	c      1890            169         168         1                -       40264.0000          -
1898.19/1903.29	c      1903            170         169         1                -       40264.0000          -
1904.68/1909.71	c      1910            172         171         1                -       40264.0000          -
1912.86/1917.96	c      1918            173         172         1                -       40264.0000          -
1918.95/1924.05	c      1924            176         175         1                -       40264.0000          -
1947.28/1952.48	c      1952            177         176         1                -       40264.0000          -
1959.25/1964.40	c      1964            178         177         1                -       40264.0000          -
1964.63/1969.89	c      1970            181         180         1                -       40264.0000          -
1971.21/1976.40	c      1976            183         182         1                -       40264.0000          -
2033.77/2039.18	c      2039            185         184         1                -       40264.0000          -
2047.42/2052.82	c      2053            186         185         1                -       40264.0000          -
2054.00/2059.48	c      2059            188         187         1                -       40264.0000          -
2059.89/2065.30	c      2065            190         189         1                -       40264.0000          -
2071.67/2077.13	c      2077            192         191         1                -       40264.0000          -
2097.51/2103.01	c      2103            194         193         1                -       40264.0000          -
2104.59/2110.15	c      2110            196         195         1                -       40264.0000          -
2111.37/2116.93	c      2117            199         198         1                -       40264.0000          -
2120.84/2126.47	c      2126            201         200         1                -       40264.0000          -
2126.03/2131.63	c      2132            203         202         1                -       40264.0000          -
2157.95/2163.69	c      2164            204         203         1                -       40264.0000          -
2164.23/2170.01	c      2170            206         205         1                -       40264.0000          -
2169.91/2175.66	c      2176            209         208         1                -       40264.0000          -
2180.99/2186.71	c      2187            211         210         1                -       40264.0000          -
2190.47/2196.28	c      2196            214         213         1                -       40264.0000          -
2201.94/2207.71	c      2208            215         214         1                -       40264.0000          -
2214.71/2220.53	c      2221            216         215         1                -       40264.0000          -
2223.39/2229.26	c      2229            218         217         1                -       40264.0000          -
2234.46/2240.34	c      2240            219         218         1                -       40264.0000          -
2264.37/2270.37	c      2270            220         219         1                -       40264.0000          -
2270.25/2276.24	c      2276            222         221         1                -       40264.0000          -
2276.52/2282.56	c      2283            225         224         1                -       40264.0000          -
2284.30/2290.32	c      2290            226         225         1                -       40264.0000          -
2289.69/2295.70	c      2296            227         226         1                -       40264.0000          -
2314.83/2320.92	c      2321            230         229         1                -       40264.0000          -
2320.32/2326.47	c      2326            232         231         1                -       40264.0000          -
2330.69/2336.89	c      2337            234         233         1                -       40264.0000          -
2336.78/2343.01	c      2343            238         237         1                -       40264.0000          -
2353.23/2359.48	c      2359            240         239         1                -       40264.0000          -
2399.84/2406.19	c      2406            242         241         1                -       40264.0000          -
2412.89/2419.26	c      2419            243         242         1                -       40264.0000          -
2418.38/2424.76	c      2425            245         244         1                -       40264.0000          -
2424.46/2430.87	c      2431            247         246         1                -       40264.0000          -
2435.75/2442.14	c      2442            248         247         1                -       40264.0000          -
2451.39/2457.88	c      2458            251         250         1                -       40264.0000          -
2467.45/2473.95	c      2474            253         252         1                -       40264.0000          -
2475.43/2481.95	c      2482            255         254         1                -       40264.0000          -
2518.13/2524.73	c      2525            256         255         1                -       40264.0000          -
2530.30/2536.97	c      2537            257         256         1                -       40264.0000          -
2535.89/2542.59	c      2543            259         258         1                -       40264.0000          -
2546.57/2553.25	c      2553            263         262         1                -       40264.0000          -
2561.04/2567.75	c      2568            265         264         1                -       40264.0000          -
2569.43/2576.13	c      2576            267         266         1                -       40264.0000          -
2602.02/2608.80	c      2609            269         268         1                -       40264.0000          -
2612.98/2619.87	c      2620            270         269         1                -       40264.0000          -
2619.46/2626.36	c      2626            273         272         1                -       40264.0000          -
2625.74/2632.62	c      2633            275         274         1                -       40264.0000          -
2639.50/2646.47	c      2646            276         275         1                -       40264.0000          -
2647.27/2654.26	c      2654            278         277         1                -       40264.0000          -
2652.36/2659.38	c      2659            280         279         1                -       40264.0000          -
2663.04/2670.04	c      2670            281         280         1                -       40264.0000          -
2674.89/2681.93	c      2682            282         281         1                -       40264.0000          -
2684.97/2692.11	c      2692            283         282         1                -       40264.0000          -
2690.34/2697.50	c      2698            286         285         1                -       40264.0000          -
2732.72/2739.94	c      2740            287         286         1                -       40264.0000          -
2760.43/2767.70	c      2768            289         288         1                -       40264.0000          -
2766.41/2773.73	c      2774            291         290         1                -       40264.0000          -
2778.88/2786.25	c      2786            293         292         1                -       40264.0000          -
2784.67/2792.03	c      2792            295         294         1                -       40264.0000          -
2798.63/2806.10	c      2806            299         298         1                -       40264.0000          -
2806.79/2814.23	c      2814            301         300         1                -       40264.0000          -
2821.66/2829.15	c      2829            303         302         1                -       40264.0000          -
2862.72/2870.37	c      2870            304         303         1                -       40264.0000          -
2868.00/2875.67	c      2876            306         305         1                -       40264.0000          -
2882.56/2890.20	c      2890            308         307         1                -       40264.0000          -
2888.74/2896.47	c      2896            310         309         1                -       40264.0000          -
2894.22/2901.98	c      2902            311         310         1                -       40264.0000          -
2910.77/2918.57	c      2919            313         312         1                -       40264.0000          -
2916.46/2924.26	c      2924            314         313         1                -       40264.0000          -
2951.64/2959.54	c      2960            316         315         1                -       40264.0000          -
2962.82/2970.79	c      2971            317         316         1                -       40264.0000          -
2969.11/2977.04	c      2977            319         318         1                -       40264.0000          -
2974.68/2982.62	c      2983            322         321         1                -       40264.0000          -
2984.16/2992.12	c      2992            323         322         1                -       40264.0000          -
2992.05/3000.02	c      3000            325         324         1                -       40264.0000          -
2999.81/3007.82	c      3008            327         326         1                -       40264.0000          -
3009.19/3017.25	c      3017            328         327         1                -       40264.0000          -
3029.95/3038.09	c      3038            329         328         1                -       40264.0000          -
3035.82/3043.98	c      3044            332         331         1                -       40264.0000          -
3047.29/3055.48	c      3055            335         334         1                -       40264.0000          -
3057.56/3065.77	c      3066            336         335         1                -       40264.0000          -
3080.92/3089.14	c      3089            338         337         1                -       40264.0000          -
3087.30/3095.52	c      3096            340         339         1                -       40264.0000          -
3098.57/3106.82	c      3107            344         343         1                -       40264.0000          -
3108.34/3116.69	c      3117            347         346         1                -       40264.0000          -
3115.12/3123.44	c      3123            349         348         1                -       40264.0000          -
3125.88/3134.24	c      3134            350         349         1                -       40264.0000          -
3159.28/3167.76	c      3168            351         350         1                -       40264.0000          -
3164.58/3173.09	c      3173            353         352         1                -       40264.0000          -
3171.66/3180.11	c      3180            354         353         1                -       40264.0000          -
3177.64/3186.16	c      3186            357         356         1                -       40264.0000          -
3187.79/3196.39	c      3196            359         358         1                -       40264.0000          -
3194.27/3202.86	c      3203            361         360         1                -       40264.0000          -
3228.77/3237.40	c      3237            363         362         1                -       40264.0000          -
3237.64/3246.39	c      3246            364         363         1                -       40264.0000          -
3242.73/3251.41	c      3251            366         365         1                -       40264.0000          -
3253.50/3262.20	c      3262            368         367         1                -       40264.0000          -
3262.97/3271.72	c      3272            371         370         1                -       40264.0000          -
3280.02/3288.81	c      3289            374         373         1                -       40264.0000          -
3307.63/3316.53	c      3317            375         374         1                -       40264.0000          -
3321.20/3330.18	c      3330            377         376         1                -       40264.0000          -
3327.77/3336.76	c      3337            379         378         1                -       40264.0000          -
3342.62/3351.69	c      3352            383         382         1                -       40264.0000          -
3369.63/3378.78	c      3379            386         385         1                -       40264.0000          -
3376.61/3385.70	c      3386            388         387         1                -       40264.0000          -
3388.08/3397.27	c      3397            390         389         1                -       40264.0000          -
3394.75/3403.90	c      3404            393         392         1                -       40264.0000          -
3403.95/3413.16	c      3413            395         394         1                -       40264.0000          -
3427.06/3436.32	c      3436            396         395         1                -       40264.0000          -
3432.85/3442.17	c      3442            398         397         1                -       40264.0000          -
3442.91/3452.20	c      3452            400         399         1                -       40264.0000          -
3448.19/3457.53	c      3458            403         402         1                -       40264.0000          -
3457.26/3466.67	c      3467            406         405         1                -       40264.0000          -
3497.04/3506.54	c      3507            407         406         1                -       40264.0000          -
3521.97/3531.56	c      3532            409         408         1                -       40264.0000          -
3533.04/3542.62	c      3543            411         410         1                -       40264.0000          -
3538.62/3548.27	c      3548            413         412         1                -       40264.0000          -
3546.89/3556.50	c      3557            416         415         1                -       40264.0000          -
3557.76/3567.42	c      3567            419         418         1                -       40264.0000          -
3579.31/3589.10	c      3589            420         419         1                -       40264.0000          -
3590.17/3600.01	c      3600            421         420         0                -       40264.0000          -
3590.38/3600.13	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.38/3600.13	c Total Time         : 3600.1400
3590.38/3600.13	c   solving          : 3600.1400
3590.38/3600.13	c   presolving       : 2.0097 (included in solving)
3590.38/3600.13	c B&B Tree           :
3590.38/3600.13	c   nodes (total)    : 1
3590.38/3600.13	c Solution           :
3590.38/3600.13	c   Solutions found  : 0
3590.38/3600.13	c   Primal Bound     :          -
3590.38/3600.13	c   Dual Bound       : +4.02640000000000e+04
3590.38/3600.13	c Gap                :          -
3590.47/3600.27	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: 64059 MiB (62480 MiB free)
  memory of node 1: 64510 MiB (62226 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100103 s]*
/proc/loadavg: 4.13 4.19 4.17 5/247 816190
/proc/meminfo: memFree=127675752/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=53028 memory=41208 CPUtime=0.1 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 8191 0 0 0 9 1 0 0 20 0 1 0 159006216 54300672 10302 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 13257 10302 2318 3032 0 9657 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53028 KiB
Current children cumulated memory: 41208 KiB

[startup+0.213172 s]*
/proc/loadavg: 4.13 4.19 4.17 5/244 816190
/proc/meminfo: memFree=128346428/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=111444 memory=99212 CPUtime=0.22 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 22623 0 0 0 17 5 0 0 20 0 1 0 159006216 114118656 24803 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 27861 24803 2590 3032 0 24261 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 111444 KiB
Current children cumulated memory: 99212 KiB

[startup+0.313343 s]*
/proc/loadavg: 4.13 4.19 4.17 4/243 816204
/proc/meminfo: memFree=128338936/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=112628 memory=100124 CPUtime=0.32 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 22814 0 0 0 27 5 0 0 20 0 1 0 159006216 115331072 25031 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 28157 25031 2622 3032 0 24557 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 112628 KiB
Current children cumulated memory: 100124 KiB

[startup+0.700357 s]
/proc/loadavg: 4.13 4.19 4.17 4/240 816221
/proc/meminfo: memFree=128316568/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=154560 memory=141296 CPUtime=0.69 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 34876 0 0 0 61 8 0 0 20 0 1 0 159006216 158269440 35324 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 38640 35324 2702 3032 0 35040 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154560 KiB
Current children cumulated memory: 141296 KiB

[startup+1.50033 s]
/proc/loadavg: 4.20 4.20 4.18 6/246 816238
/proc/meminfo: memFree=128222204/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=172184 memory=159032 CPUtime=1.48 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 41817 0 0 0 139 9 0 0 20 0 1 0 159006216 176316416 39758 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 43046 39758 2750 3032 0 39446 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172184 KiB
Current children cumulated memory: 159032 KiB

[startup+3.11191 s]
/proc/loadavg: 4.20 4.20 4.18 5/248 816240
/proc/meminfo: memFree=127874640/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=591872 memory=474980 CPUtime=3.09 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 98130 0 0 0 286 23 0 0 20 0 3 0 159006216 606076928 118745 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 147968 118745 2798 3032 0 133015 0
[pid=816189/tid=816239] ppid=816186 vsize=591872 memory=412656 CPUtime=0.78 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 31338 0 0 0 70 8 0 0 20 0 3 0 159006440 606076928 118745 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=591872 memory=0 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 159006461 606076928 118745 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 591872 KiB
Current children cumulated memory: 474980 KiB

[startup+6.30034 s]
/proc/loadavg: 4.19 4.20 4.17 5/250 816242
/proc/meminfo: memFree=127524292/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=865520 memory=690544 CPUtime=6.26 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 145438 0 0 0 594 32 0 0 20 0 3 0 159006216 886292480 172636 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 216380 172636 2878 3032 0 197630 0
[pid=816189/tid=816239] ppid=816186 vsize=865520 memory=0 CPUtime=3.96 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 78640 0 0 0 378 18 0 0 20 0 3 0 159006440 886292480 172636 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=865520 memory=160352 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 159006461 886292480 172636 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 865520 KiB
Current children cumulated memory: 690544 KiB

[startup+12.7004 s]
/proc/loadavg: 4.17 4.19 4.17 5/250 816244
/proc/meminfo: memFree=127449956/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=865520 memory=690672 CPUtime=12.64 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 167330 0 0 0 1230 34 0 0 20 0 3 0 159006216 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 216380 172668 2910 3032 0 197630 0
[pid=816189/tid=816239] ppid=816186 vsize=865520 memory=160352 CPUtime=10.35 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 100525 0 0 0 1015 20 0 0 20 0 3 0 159006440 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=865520 memory=690672 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 159006461 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 865520 KiB
Current children cumulated memory: 690672 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.19 4.17 5/250 816246
/proc/meminfo: memFree=127371820/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=865520 memory=690672 CPUtime=25.41 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 180429 0 0 0 2506 35 0 0 20 0 3 0 159006216 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 216380 172668 2910 3032 0 197630 0
[pid=816189/tid=816239] ppid=816186 vsize=865520 memory=42604 CPUtime=23.11 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 113610 0 0 0 2290 21 0 0 20 0 3 0 159006440 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=865520 memory=-6514569480765619050 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 159006461 886292480 172668 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 865520 KiB
Current children cumulated memory: 690672 KiB

[startup+51.1126 s]
/proc/loadavg: 4.66 4.31 4.21 7/249 816251
/proc/meminfo: memFree=127310948/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=865520 memory=701468 CPUtime=50.96 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 234346 0 0 0 5057 39 0 0 20 0 3 0 159006216 886292480 175367 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 216380 175367 2926 3032 0 202018 0
[pid=816189/tid=816239] ppid=816186 vsize=865520 memory=42604 CPUtime=48.65 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 167513 0 0 0 4841 24 0 0 20 0 3 0 159006440 886292480 175367 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=865520 memory=698244 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 159006461 886292480 175367 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 865520 KiB
Current children cumulated memory: 701468 KiB

[startup+102.3 s]
/proc/loadavg: 4.78 4.42 4.26 5/248 816260
/proc/meminfo: memFree=127254312/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=865520 memory=713040 CPUtime=102.02 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 306545 0 0 0 10157 45 0 0 20 0 3 0 159006216 886292480 178260 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 216380 178260 2926 3032 0 209425 0
[pid=816189/tid=816239] ppid=816186 vsize=865520 memory=12440 CPUtime=99.71 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 239700 0 0 0 9941 30 0 0 20 0 3 0 159006440 886292480 178260 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=865520 memory=713024 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 159006461 886292480 178260 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 865520 KiB
Current children cumulated memory: 713040 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.37 4.25 5/248 816271
/proc/meminfo: memFree=127169540/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=869668 memory=717348 CPUtime=161.85 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 339557 0 0 0 16139 46 0 0 20 0 3 0 159006216 890540032 179337 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 217417 179337 2926 3032 0 212546 0
[pid=816189/tid=816239] ppid=816186 vsize=869668 memory=715656 CPUtime=159.55 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 272705 0 0 0 15923 32 0 0 20 0 3 0 159006440 890540032 179337 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=869668 memory=715912 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 159006461 890540032 179337 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 869668 KiB
Current children cumulated memory: 717348 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.31 4.24 5/248 816281
/proc/meminfo: memFree=127085612/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=869668 memory=719092 CPUtime=221.7 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 353959 0 0 0 22123 47 0 0 20 0 3 0 159006216 890540032 179773 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 217417 179773 2926 3032 0 212546 0
[pid=816189/tid=816239] ppid=816186 vsize=869668 memory=717664 CPUtime=219.4 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 287103 0 0 0 21908 32 0 0 20 0 3 0 159006440 890540032 179773 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=869668 memory=717348 CPUtime=0 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 159006461 890540032 179773 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 869668 KiB
Current children cumulated memory: 719092 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.27 4.23 5/248 816292
/proc/meminfo: memFree=126942608/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=935204 memory=800736 CPUtime=281.54 cores=5,7

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

[pid=816189] ppid=816186 vsize=1262884 memory=1003832 CPUtime=3393.16 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 629717 0 0 0 339232 84 0 0 20 0 3 0 159006216 1293193216 250958 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 315721 250958 2990 3032 0 294855 0
[pid=816189/tid=816239] ppid=816186 vsize=1262884 memory=1003832 CPUtime=3390.76 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 561622 0 0 0 339012 64 0 0 20 0 3 0 159006440 1293193216 250958 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1262884 memory=12440 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 228 0 0 0 1 4 0 0 20 0 3 0 159006461 1293193216 250958 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 1262884 KiB
Current children cumulated memory: 1003832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/254 818108
/proc/meminfo: memFree=123774332/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1262884 memory=1003844 CPUtime=3452.98 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 633356 0 0 0 345213 85 0 0 20 0 3 0 159006216 1293193216 250961 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 315721 250961 2990 3032 0 297863 0
[pid=816189/tid=816239] ppid=816186 vsize=1262884 memory=1003832 CPUtime=3450.58 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 565227 0 0 0 344993 65 0 0 20 0 3 0 159006440 1293193216 250961 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1262884 memory=12440 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 232 0 0 0 1 4 0 0 20 0 3 0 159006461 1293193216 250961 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 1262884 KiB
Current children cumulated memory: 1003844 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/253 818119
/proc/meminfo: memFree=123695508/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3512.8 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 652779 0 0 0 351192 88 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=1003832 CPUtime=3510.39 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 584643 0 0 0 350972 67 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=1062580 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 233 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662212/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3572.62 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656123 0 0 0 357173 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=1003832 CPUtime=3570.21 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 587966 0 0 0 356953 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=1062580 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 235 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

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

# cumulated CPU time of all completed processes:  user=3589.64 s, system=0.926733 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662212/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3574.33 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656129 0 0 0 357344 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=2664 CPUtime=3571.92 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 587972 0 0 0 357124 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=13664 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 235 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3574.33 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.13 5/252 818129
/proc/meminfo: memFree=123662188/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3580.7 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656382 0 0 0 357981 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3578.29 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 588212 0 0 0 357761 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=12440 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 235 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3580.7 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 818130
/proc/meminfo: memFree=123662044/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3587.08 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656428 0 0 0 358619 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3584.67 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 588257 0 0 0 358399 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=2273 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 235 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3598.4 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123662052/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3588.67 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656510 0 0 0 358778 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=42604 CPUtime=3586.26 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 588339 0 0 0 358558 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=12676 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 235 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3599.2 s]
/proc/loadavg: 4.16 4.12 4.13 5/252 818130
/proc/meminfo: memFree=123661972/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3589.47 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 656523 0 0 0 358858 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=7196 CPUtime=3587.06 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 588351 0 0 0 358638 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=28200 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 236 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3600 s]*
/proc/loadavg: 4.16 4.12 4.13 4/243 818161
/proc/meminfo: memFree=124404164/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1328420 memory=1062580 CPUtime=3590.28 cores=5,7
/proc/816189/stat : 816189 (fscip) S 816186 816189 811937 0 -1 1077936128 657011 0 0 0 358939 89 0 0 20 0 3 0 159006216 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 332105 265645 2990 3032 0 313236 0
[pid=816189/tid=816239] ppid=816186 vsize=1328420 memory=6720659939557587819 CPUtime=3587.87 cores=5,7
/proc/816189/task/816239/stat : 816239 (fscip) R 816186 816189 811937 0 -1 4194368 588868 0 0 0 358719 68 0 0 20 0 3 0 159006440 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
[pid=816189/tid=816240] ppid=816186 vsize=1328420 memory=1470216829021096025 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 236 0 0 0 1 4 0 0 20 0 3 0 159006461 1360302080 265645 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3590.28 s
Current children cumulated vsize: 1328420 KiB
Current children cumulated memory: 1062580 KiB

[startup+3600.2 s]
/proc/loadavg: 4.16 4.12 4.13 4/243 818161
/proc/meminfo: memFree=124404164/131655788 swapFree=131071996/131071996
[pid=816189] ppid=816186 vsize=1123680 memory=945096 CPUtime=3590.47 cores=5,7
/proc/816189/stat : 816189 (fscip) R 816186 816189 811937 0 -1 4194304 659631 0 0 0 358957 90 0 0 20 0 2 0 159006216 1150648320 236274 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
/proc/816189/statm: 280920 236274 2990 3032 0 274411 0
[pid=816189/tid=816240] ppid=816186 vsize=1123680 memory=5356 CPUtime=0.05 cores=5,7
/proc/816189/task/816240/stat : 816240 (fscip) S 816186 816189 811937 0 -1 1077936192 236 0 0 0 1 4 0 0 20 0 2 0 159006461 1150648320 236274 134679101440 4194304 16613245 140728174354176 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47960064 140728174355477 140728174355593 140728174355593 140728174362608 0
Current children cumulated CPU time: 3590.47 s
Current children cumulated vsize: 1123680 KiB
Current children cumulated memory: 945096 KiB

Child status: 0

Real time (s): 3600.29
CPU time (s): 3590.57
CPU user time (s): 3589.64
CPU system time (s): 0.926733
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 1328420
Max. memory (cumulated for all children) (KiB): 1062580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.64
system time used= 0.926733
maximum resident set size= 1062580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663305
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= 4563
involuntary context switches= 1234


# summary of solver processes directly reported to runsolver:
#   pid: 816189
#   total CPU time (s): 3590.57
#   total CPU user time (s): 3589.64
#   total CPU system time (s): 0.926733

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7663 second user time and 35.8792 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-15 20:34:54
IDJOB=4434631
IDBENCH=147023
IDSOLVER=3064
FILE ID=nodeC002/4434631-1721068481
RUNJOBID= nodeC002-1721061290-811950
SLURM_JOB_ID= 7505511
Free space on /tmp= 723692 MiB

SOLVER NAME= FiberSCIP 2024-07-02
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-4434631-1721068481/watcher-4434631-1721068481 -o /tmp/evaluation-result-4434631-1721068481/solver-4434631-1721068481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721061290-811950 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434631-1721068481.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 45d4d1161a77415ffbfc9841f6913b11
RANDOM SEED=314843581

nodeC002.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		: 3580.535
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.727
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.31
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.178
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.183
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.31
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		: 3664.936
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3391.948
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.31
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.378
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.152
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127701116 kB
MemAvailable:   129096728 kB
Buffers:          391040 kB
Cached:          1833280 kB
SwapCached:            0 kB
Active:           620284 kB
Inactive:        2778176 kB
Active(anon):       2700 kB
Inactive(anon):  1209156 kB
Active(file):     617584 kB
Inactive(file):  1569020 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59780 kB
Writeback:             4 kB
AnonPages:       1170004 kB
Mapped:           137848 kB
Shmem:             37704 kB
KReclaimable:      98076 kB
Slab:             196480 kB
SReclaimable:      98076 kB
SUnreclaim:        98404 kB
KernelStack:        4000 kB
PageTables:        11420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1266048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1036288 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:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC002 at 2024-07-15 21:34:55