Trace number 4464464

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3590.02 3598.74

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-77.opb
MD5SUM71fdab66bbdfc1c9c6ce1eef27fb98d4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1621.08
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10086
Total number of constraints226240
Number of constraints which are clauses203302
Number of constraints which are cardinality constraints (but not clauses)720
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint2
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
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.59/0.69	c Default LC presolving (default).
0.59/0.69	c ** Before presolving: virtualMemUsedAtLc = 555453157, getVmSize() = 351109120, SCIPgetMemUsed() = 288183709, SCIPgetMemTotal() = 313820541, SCIPgetMemExternEstim() = 241632616
0.59/0.69	c ** set memory limit for presolving in LC to 8.79593e+12 for SCIP **
6.37/6.40	c ** Estimated virtualMemUsedAtSolver = 741280465, getVmSize() = 933163008, SCIPgetMemUsed() = 536144770, SCIPgetMemTotal() = 870288082, SCIPgetMemExternEstim() = 241632616
6.37/6.40	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
6.37/6.40	c Original Problem   :
6.37/6.40	c   Problem name     : instance-4464464-1722382206
6.37/6.40	c   Variables        : 10086 (10086 binary, 0 integer, 0 implicit integer, 0 continuous)
6.37/6.40	c   Constraints      : 226240
6.37/6.40	c   Objective sense  : minimize
6.37/6.40	c Presolved Problem  :
6.37/6.40	c   Variables        : 10085 (10085 binary, 0 integer, 0 implicit integer, 0 continuous)
6.37/6.40	c   Constraints      : 223414
6.37/6.40	c Constraints        : Number
6.37/6.40	c   knapsack         : 22570 
6.37/6.40	c   setppc           : 48174 
6.37/6.40	c   linear           : 2 
6.37/6.40	c   logicor          : 152668 
6.37/6.40	c ** Instance transfer method used: 0
6.67/6.76	c ** ParaScipInstance copy does not increase the number of variables. **
6.98/7.05	c LC is working with racing ramp-up and with rebuilding tree after racing.
6.98/7.05	c                                Nodes    Active                                            
6.98/7.05	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
365.36/366.31	c       366              2           1         1                -           0.0000          -
372.04/373.06	c       373              8           7         1                -           0.0000          -
387.01/388.05	c       388             12          11         1                -           0.0000          -
400.67/401.79	c       402             21          20         1                -           0.0000          -
752.61/754.51	c       755             22          21         1                -           0.0000          -
767.66/769.67	c       770             23          22         1                -           0.0000          -
776.85/778.86	c       779             24          23         1                -           0.0000          -
799.79/801.82	c       802             25          24         1                -           0.0000          -
807.27/809.37	c       809             26          25         1                -           0.0000          -
815.95/818.01	c       818             27          26         1                -           0.0000          -
823.33/825.45	c       825             28          27         1                -           0.0000          -
848.97/851.19	c       851             32          31         1                -           0.0000          -
856.64/858.85	c       859             34          33         1                -           0.0000          -
870.51/872.77	c       873             37          36         1                -           0.0000          -
886.67/888.95	c       889             40          39         1                -           0.0000          -
893.76/896.09	c       896             44          43         1                -           0.0000          -
902.42/904.77	c       905             47          46         1                -           0.0000          -
908.31/910.61	c       911             49          48         1                -           0.0000          -
919.38/921.78	c       922             54          53         1                -           0.0000          -
924.97/927.37	c       927             56          55         1                -           0.0000          -
932.66/935.10	c       935             60          59         1                -           0.0000          -
953.00/955.42	c       955             66          65         1                -           0.0000          -
962.59/965.08	c       965             72          71         1                -           0.0000          -
972.36/974.82	c       975             80          79         1                -           0.0000          -
979.04/981.52	c       982             84          83         1                -           0.0000          -
1001.99/1004.52	c      1005             88          87         1                -           0.0000          -
1007.18/1009.77	c      1010             98          97         1                -           0.0000          -
1023.83/1026.42	c      1026             99          98         1                -           0.0000          -
1031.52/1034.15	c      1034            108         107         1                -           0.0000          -
1037.50/1040.16	c      1040            116         115         1                -           0.0000          -
1042.68/1045.30	c      1045            126         125         1                -           0.0000          -
1068.13/1070.82	c      1071            130         129         1                -           0.0000          -
1074.41/1077.12	c      1077            134         133         1                -           0.0000          -
1086.88/1089.61	c      1090            142         141         1                -           0.0000          -
1114.11/1116.98	c      1117            146         145         1                -           0.0000          -
1122.10/1124.92	c      1125            157         156         1                -           0.0000          -
1127.98/1130.88	c      1131            164         163         1                -           0.0000          -
1147.53/1150.41	c      1150            167         166         1                -           0.0000          -
1153.01/1155.94	c      1156            171         170         1                -           0.0000          -
1162.40/1165.37	c      1165            172         171         1                -           0.0000          -
1167.98/1170.92	c      1171            181         180         1                -           0.0000          -
1173.86/1176.89	c      1177            186         185         1                -           0.0000          -
1184.84/1187.85	c      1188            190         189         1                -           0.0000          -
1191.03/1194.10	c      1194            196         195         1                -           0.0000          -
1205.49/1208.57	c      1209            198         197         1                -           0.0000          -
1211.07/1214.19	c      1214            207         206         1                -           0.0000          -
1216.96/1220.04	c      1220            210         209         1                -           0.0000          -
1244.00/1247.17	c      1247            212         211         1                -           0.0000          -
1256.26/1259.40	c      1259            216         215         1                -           0.0000          -
1263.14/1266.38	c      1266            220         219         1                -           0.0000          -
1269.12/1272.38	c      1272            224         223         1                -           0.0000          -
1278.51/1281.77	c      1282            226         225         1                -           0.0000          -
1286.39/1289.64	c      1290            233         232         1                -           0.0000          -
1294.06/1297.39	c      1297            240         239         1                -           0.0000          -
1299.85/1303.18	c      1303            243         242         1                -           0.0000          -
1306.03/1309.32	c      1309            248         247         1                -           0.0000          -
1311.03/1314.36	c      1314            249         248         1                -           0.0000          -
1316.21/1319.59	c      1320            252         251         1                -           0.0000          -
1326.09/1329.42	c      1329            256         255         1                -           0.0000          -
1332.07/1335.44	c      1335            264         263         1                -           0.0000          -
1339.65/1343.03	c      1343            267         266         1                -           0.0000          -
1348.63/1352.00	c      1352            269         268         1                -           0.0000          -
1370.58/1374.09	c      1374            272         271         1                -           0.0000          -
1377.96/1381.43	c      1381            276         275         1                -           0.0000          -
1384.94/1388.45	c      1388            278         277         1                -           0.0000          -
1395.91/1399.46	c      1399            280         279         1                -           0.0000          -
1407.59/1411.11	c      1411            282         281         1                -           0.0000          -
1417.46/1421.04	c      1421            292         291         1                -           0.0000          -
1423.84/1427.45	c      1427            298         297         1                -           0.0000          -
1437.01/1440.63	c      1441            300         299         1                -           0.0000          -
1443.59/1447.29	c      1447            309         308         1                -           0.0000          -
1449.18/1452.82	c      1453            320         319         1                -           0.0000          -
1456.37/1460.10	c      1460            324         323         1                -           0.0000          -
1469.03/1472.71	c      1473            326         325         1                -           0.0000          -
1491.68/1495.40	c      1495            328         327         1                -           0.0000          -
1498.86/1502.64	c      1503            332         331         1                -           0.0000          -
1516.12/1519.93	c      1520            334         333         1                -           0.0000          -
1536.47/1540.35	c      1540            338         337         1                -           0.0000          -
1542.75/1546.67	c      1547            350         349         1                -           0.0000          -
1548.93/1552.81	c      1553            354         353         1                -           0.0000          -
1554.62/1558.58	c      1559            360         359         1                -           0.0000          -
1560.60/1564.56	c      1565            366         365         1                -           0.0000          -
1576.36/1580.31	c      1580            370         369         1                -           0.0000          -
1592.04/1596.04	c      1596            380         379         1                -           0.0000          -
1607.80/1611.83	c      1612            382         381         1                -           0.0000          -
1622.26/1626.39	c      1626            384         383         1                -           0.0000          -
1632.63/1636.73	c      1637            390         389         1                -           0.0000          -
1638.82/1642.97	c      1643            392         391         1                -           0.0000          -
1644.40/1648.52	c      1649            394         393         1                -           0.0000          -
1652.48/1656.61	c      1657            396         395         1                -           0.0000          -
1661.36/1665.57	c      1666            400         399         1                -           0.0000          -
1673.43/1677.64	c      1678            405         404         1                -           0.0000          -
1679.71/1683.91	c      1684            413         412         1                -           0.0000          -
1685.70/1689.98	c      1690            419         418         1                -           0.0000          -
1695.57/1699.83	c      1700            422         421         1                -           0.0000          -
1703.35/1707.67	c      1708            426         425         1                -           0.0000          -
1710.23/1714.58	c      1715            431         430         1                -           0.0000          -
1727.71/1732.09	c      1732            432         431         1                -           0.0000          -
1732.99/1737.37	c      1737            437         436         1                -           0.0000          -
1739.37/1743.73	c      1744            443         442         1                -           0.0000          -
1744.95/1749.32	c      1749            449         448         1                -           0.0000          -
1755.33/1759.76	c      1760            454         453         1                -           0.0000          -
1763.21/1767.63	c      1768            459         458         1                -           0.0000          -
1770.49/1774.95	c      1775            468         467         1                -           0.0000          -
1781.76/1786.20	c      1786            472         471         1                -           0.0000          -
1792.04/1796.55	c      1797            478         477         1                -           0.0000          -
1797.42/1801.90	c      1802            484         483         1                -           0.0000          -
1803.61/1808.19	c      1808            488         487         1                -           0.0000          -
1810.49/1815.05	c      1815            496         495         1                -           0.0000          -
1817.47/1822.08	c      1822            500         499         1                -           0.0000          -
1828.64/1833.20	c      1833            501         500         1                -           0.0000          -
1841.91/1846.51	c      1847            503         502         1                -           0.0000          -
1862.57/1867.21	c      1867            506         505         1                -           0.0000          -
1873.45/1878.12	c      1878            509         508         1                -           0.0000          -
1900.18/1904.91	c      1905            512         511         1                -           0.0000          -
1910.05/1914.81	c      1915            515         514         1                -           0.0000          -
1934.69/1939.53	c      1940            518         517         1                -           0.0000          -
1964.02/1968.96	c      1969            522         521         1                -           0.0000          -
1974.89/1979.81	c      1980            527         526         1                -           0.0000          -
1981.09/1986.01	c      1986            540         536         1                -           0.0000          -
1988.07/1993.07	c      1993            547         543         1                -           0.0000          -
1995.45/2000.47	c      2000            554         550         1                -           0.0000          -
2000.83/2005.81	c      2006            560         556         1                -           0.0000          -
2012.80/2017.82	c      2018            566         562         1                -           0.0000          -
2029.97/2035.06	c      2035            569         565         1                -           0.0000          -
2048.51/2053.64	c      2054            572         568         1                -           0.0000          -
2053.60/2058.79	c      2059            579         575         1                -           0.0000          -
2063.08/2068.20	c      2068            584         580         1                -           0.0000          -
2073.65/2078.87	c      2079            590         586         1                -           0.0000          -
2079.04/2084.29	c      2084            598         594         1                -           0.0000          -
2100.89/2106.17	c      2106            604         600         1                -           0.0000          -
2133.21/2138.59	c      2139            612         608         1                -           0.0000          -
2139.80/2145.11	c      2145            618         614         1                -           0.0000          -
2145.48/2150.83	c      2151            629         625         1                -           0.0000          -
2152.67/2158.09	c      2158            632         628         1                -           0.0000          -
2158.35/2163.76	c      2164            640         636         1                -           0.0000          -
2166.73/2172.19	c      2172            648         644         1                -           0.0000          -
2176.01/2181.41	c      2181            650         646         1                -           0.0000          -
2188.58/2194.04	c      2194            652         648         1                -           0.0000          -
2194.67/2200.13	c      2200            658         654         1                -           0.0000          -
2201.14/2206.68	c      2207            671         667         1                -           0.0000          -
2220.90/2226.44	c      2226            678         674         1                -           0.0000          -
2238.96/2244.50	c      2245            682         678         1                -           0.0000          -
2245.24/2250.81	c      2251            691         687         1                -           0.0000          -
2250.83/2256.44	c      2256            701         695         1                -           0.0000          -
2259.31/2264.95	c      2265            702         696         1                -           0.0000          -
2264.40/2270.06	c      2270            708         702         1                -           0.0000          -
2269.97/2275.67	c      2276            719         713         1                -           0.0000          -
2278.26/2283.92	c      2284            728         720         1                -           0.0000          -
2289.53/2295.21	c      2295            730         722         1                -           0.0000          -
2296.22/2301.98	c      2302            739         731         1                -           0.0000          -
2304.31/2310.08	c      2310            744         736         1                -           0.0000          -
2310.29/2316.01	c      2316            747         739         1                -           0.0000          -
2317.67/2323.43	c      2323            752         744         1                -           0.0000          -
2329.94/2335.72	c      2336            758         750         1                -           0.0000          -
2335.42/2341.23	c      2341            765         755         1                -           0.0000          -
2351.58/2357.47	c      2357            766         756         1                -           0.0000          -
2357.76/2363.68	c      2364            770         760         1                -           0.0000          -
2365.95/2371.90	c      2372            771         761         1                -           0.0000          -
2372.64/2378.58	c      2379            785         775         1                -           0.0000          -
2383.41/2389.37	c      2389            793         783         1                -           0.0000          -
2389.20/2395.12	c      2395            812         802         1                -           0.0000          -
2400.07/2406.03	c      2406            814         804         1                -           0.0000          -
2406.25/2412.22	c      2412            829         819         1                -           0.0000          -
2411.44/2417.40	c      2417            839         829         1                -           0.0000          -
2417.82/2423.89	c      2424            842         832         1                -           0.0000          -
2423.41/2429.44	c      2429            855         841         1                -           0.0000          -
2429.40/2435.42	c      2435            867         853         1                -           0.0000          -
2438.08/2444.13	c      2444            868         854         1                -           0.0000          -
2448.75/2454.85	c      2455            876         862         1                -           0.0000          -
2456.94/2463.05	c      2463            878         864         1                -           0.0000          -
2477.58/2483.78	c      2484            886         872         1                -           0.0000          -
2483.36/2489.57	c      2490            897         883         1                -           0.0000          -
2489.35/2495.57	c      2496            910         896         1                -           0.0000          -
2499.23/2505.45	c      2505            912         898         1                -           0.0000          -
2505.51/2511.74	c      2512            915         901         1                -           0.0000          -
2515.89/2522.15	c      2522            926         912         1                -           0.0000          -
2532.45/2538.77	c      2539            928         914         1                -           0.0000          -
2555.39/2561.78	c      2562            933         919         1                -           0.0000          -
2573.16/2579.56	c      2580            936         922         1                -           0.0000          -
2581.03/2587.44	c      2587            945         931         1                -           0.0000          -
2595.10/2601.55	c      2602            948         934         1                -           0.0000          -
2601.19/2607.62	c      2608            955         941         1                -           0.0000          -
2613.06/2619.59	c      2620            962         948         1                -           0.0000          -
2629.92/2636.43	c      2636            965         951         1                -           0.0000          -
2635.30/2641.87	c      2642            977         963         1                -           0.0000          -
2649.97/2656.54	c      2657            982         968         1                -           0.0000          -
2667.83/2674.46	c      2674            987         973         1                -           0.0000          -
2687.79/2694.40	c      2694            992         978         1                -           0.0000          -
2699.26/2705.94	c      2706            995         981         1                -           0.0000          -
2704.84/2711.56	c      2712           1003         989         1                -           0.0000          -
2710.22/2716.99	c      2717           1014        1000         1                -           0.0000          -
2718.60/2725.34	c      2725           1018        1004         1                -           0.0000          -
2734.66/2741.48	c      2741           1025        1011         1                -           0.0000          -
2741.66/2748.49	c      2748           1028        1014         1                -           0.0000          -
2754.72/2761.54	c      2762           1035        1021         1                -           0.0000          -
2760.11/2766.99	c      2767           1041        1027         1                -           0.0000          -
2767.99/2774.84	c      2775           1042        1028         1                -           0.0000          -
2792.83/2799.75	c      2800           1052        1038         1                -           0.0000          -
2798.13/2805.10	c      2805           1064        1050         1                -           0.0000          -
2811.29/2818.22	c      2818           1073        1055         1                -           0.0000          -
2818.97/2825.97	c      2826           1076        1058         1                -           0.0000          -
2824.56/2831.54	c      2832           1082        1062         1                -           0.0000          -
2849.49/2856.52	c      2857           1085        1065         1                -           0.0000          -
2861.77/2868.85	c      2869           1089        1069         1                -           0.0000          -
2867.26/2874.36	c      2874           1096        1076         1                -           0.0000          -
2873.05/2880.15	c      2880           1108        1088         1                -           0.0000          -
2883.22/2890.39	c      2890           1112        1092         1                -           0.0000          -
2889.10/2896.21	c      2896           1120           0         1                -           0.0000          -
3108.59/3116.24	c      3116           1121           1         1                -           0.0000          -
3320.11/3328.26	c      3328           1128           8         1                -           0.0000          -
3374.08/3382.35	c      3382           1131          11         1                -           0.0000          -
3380.66/3388.93	c      3389           1132          12         1                -           0.0000          -
3389.75/3398.10	c      3398           1133          13         1                -           0.0000          -
3402.51/3410.83	c      3411           1134          14         1                -           0.0000          -
3408.10/3416.40	c      3416           1135          15         1                -           0.0000          -
3427.66/3436.04	c      3436           1141          21         1                -           0.0000          -
3441.12/3449.55	c      3450           1151          31         1                -           0.0000          -
3446.31/3454.77	c      3455           1152          32         1                -           0.0000          -
3462.58/3471.00	c      3471           1157          37         1                -           0.0000          -
3468.86/3477.34	c      3477           1160          40         1                -           0.0000          -
3475.44/3483.90	c      3484           1162          42         1                -           0.0000          -
3495.30/3503.82	c      3504           1163          43         1                -           0.0000          -
3513.65/3522.30	c      3522           1172          52         1                -           0.0000          -
3519.34/3527.94	c      3528           1175          55         1                -           0.0000          -
3526.72/3535.39	c      3535           1178          58         1                -           0.0000          -
3532.70/3541.33	c      3541           1181          61         1                -           0.0000          -
3539.88/3548.59	c      3549           1190          70         1                -           0.0000          -
3560.93/3569.66	c      3570           1195          75         1                -           0.0000          -
3567.62/3576.33	c      3576           1197          77         1                -           0.0000          -
3580.99/3589.74	c      3590           1201          81         1                -           0.0000          -
3586.88/3595.60	c      3596           1215          95         1                -           0.0000          -
3589.67/3598.46	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.67/3598.46	c Total Time         : 3598.4600
3589.67/3598.46	c   solving          : 3598.4600
3589.67/3598.46	c   presolving       : 5.7050 (included in solving)
3589.67/3598.46	c B&B Tree           :
3589.67/3598.46	c   nodes (total)    : 1
3589.67/3598.46	c Solution           :
3589.67/3598.46	c   Solutions found  : 0
3589.67/3598.46	c   Primal Bound     :          -
3589.67/3598.46	c   Dual Bound       : +0.00000000000000e+00
3589.67/3598.46	c Gap                :          -
3589.97/3598.72	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62650 MiB free)
  memory of node 1: 64473 MiB (62538 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=30803, runsolver pid=30800
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=128158196/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=59896 memory=47540 CPUtime=0.09 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 9815 0 0 0 8 1 0 0 20 0 1 0 4825104 61333504 11885 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 14974 11885 2347 3035 0 11370 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59896 KiB
Current children cumulated memory: 47540 KiB

[startup+0.205749 s]*
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=128124064/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=93244 memory=80500 CPUtime=0.2 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 18028 0 0 0 17 3 0 0 20 0 1 0 4825104 95481856 20125 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 23311 20125 2347 3035 0 19707 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93244 KiB
Current children cumulated memory: 80500 KiB

[startup+0.305712 s]*
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=128094020/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=121860 memory=109432 CPUtime=0.3 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 25277 0 0 0 26 4 0 0 20 0 1 0 4825104 124784640 27358 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 30465 27358 2347 3035 0 26861 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 121860 KiB
Current children cumulated memory: 109432 KiB

[startup+0.700237 s]
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=127990308/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=346084 memory=330264 CPUtime=0.68 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 80972 0 0 0 56 12 0 0 20 0 1 0 4825104 354390016 82566 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 86521 82566 2582 3035 0 82917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 346084 KiB
Current children cumulated memory: 330264 KiB

[startup+1.50026 s]
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=127849044/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=533356 memory=515432 CPUtime=1.49 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 102267 0 0 0 129 20 0 0 20 0 1 0 4825104 546156544 128858 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 133339 128858 2678 3035 0 129735 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 533356 KiB
Current children cumulated memory: 515432 KiB

[startup+3.10576 s]
/proc/loadavg: 4.08 4.10 4.03 5/263 30804
/proc/meminfo: memFree=127692572/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=515636 memory=495932 CPUtime=3.09 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 127617 0 0 0 285 24 0 0 20 0 1 0 4825104 528011264 123983 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 128909 123983 2742 3035 0 125305 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 515636 KiB
Current children cumulated memory: 495932 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.09 4.03 5/263 30804
/proc/meminfo: memFree=127373268/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=911292 memory=839832 CPUtime=6.27 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 140543 0 0 0 596 31 0 0 20 0 1 0 4825104 933163008 209958 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 227823 209958 2774 3035 0 224219 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 911292 KiB
Current children cumulated memory: 839832 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.11 4.03 5/267 30810
/proc/meminfo: memFree=125841048/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2083816 memory=1876404 CPUtime=12.65 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 392533 0 0 0 1189 76 0 0 20 0 3 0 4825104 2133827584 469101 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 520954 469101 2854 3035 0 502101 0
[pid=30803/tid=30805] ppid=30800 vsize=2083816 memory=-5155635712492333957 CPUtime=5.9 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 222340 0 0 0 551 39 0 0 20 0 3 0 4825744 2133827584 469101 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2083816 memory=912708 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4825809 2133827584 469101 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2083816 KiB
Current children cumulated memory: 1876404 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.03 5/267 30811
/proc/meminfo: memFree=125560496/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2083816 memory=1922932 CPUtime=25.42 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 414401 0 0 0 2463 79 0 0 20 0 3 0 4825104 2133827584 480733 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 520954 480733 2950 3035 0 513979 0
[pid=30803/tid=30805] ppid=30800 vsize=2083816 memory=11592 CPUtime=18.67 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 244198 0 0 0 1825 42 0 0 20 0 3 0 4825744 2133827584 480733 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2083816 memory=1922932 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4825809 2133827584 480733 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2083816 KiB
Current children cumulated memory: 1922932 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.09 4.03 5/267 30873
/proc/meminfo: memFree=125257068/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2154640 memory=1957832 CPUtime=50.96 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 520615 0 0 0 5009 87 0 0 20 0 3 0 4825104 2206351360 489458 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 538660 489458 2950 3035 0 525779 0
[pid=30803/tid=30805] ppid=30800 vsize=2154640 memory=11592 CPUtime=44.21 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 350397 0 0 0 4371 50 0 0 20 0 3 0 4825744 2206351360 489458 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2154640 memory=1957832 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4825809 2206351360 489458 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2154640 KiB
Current children cumulated memory: 1957832 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.03 5/266 30929
/proc/meminfo: memFree=125030084/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2285712 memory=1985732 CPUtime=102.04 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 641456 0 0 0 10110 94 0 0 20 0 3 0 4825104 2340569088 496433 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 571428 496433 2950 3035 0 547615 0
[pid=30803/tid=30805] ppid=30800 vsize=2285712 memory=1967448 CPUtime=95.29 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 471223 0 0 0 9472 57 0 0 20 0 3 0 4825744 2340569088 496433 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2285712 memory=-5155635712492333957 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4825809 2340569088 496433 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2285712 KiB
Current children cumulated memory: 1985732 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/265 30940
/proc/meminfo: memFree=124977824/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2285712 memory=1986120 CPUtime=161.89 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 758748 0 0 0 16088 101 0 0 20 0 3 0 4825104 2340569088 496530 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 571428 496530 2950 3035 0 558057 0
[pid=30803/tid=30805] ppid=30800 vsize=2285712 memory=12828 CPUtime=155.13 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 588506 0 0 0 15449 64 0 0 20 0 3 0 4825744 2340569088 496530 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2285712 memory=1985812 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4825809 2340569088 496530 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2285712 KiB
Current children cumulated memory: 1986120 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 30950
/proc/meminfo: memFree=124973548/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2351248 memory=1988496 CPUtime=221.73 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 820580 0 0 0 22067 106 0 0 20 0 3 0 4825104 2407677952 497124 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 587812 497124 2950 3035 0 563327 0
[pid=30803/tid=30805] ppid=30800 vsize=2351248 memory=1986120 CPUtime=214.98 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 650329 0 0 0 21429 69 0 0 20 0 3 0 4825744 2407677952 497124 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2351248 memory=1988316 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 3 0 4825809 2407677952 497124 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2351248 KiB
Current children cumulated memory: 1988496 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/263 30962
/proc/meminfo: memFree=124970748/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2351248 memory=1991788 CPUtime=281.57 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 892507 0 0 0 28046 111 0 0 20 0 3 0 4825104 2407677952 497947 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 587812 497947 2950 3035 0 568534 0
[pid=30803/tid=30805] ppid=30800 vsize=2351248 memory=1986120 CPUtime=274.82 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 722250 0 0 0 27408 74 0 0 20 0 3 0 4825744 2407677952 497947 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=2351248 memory=1990700 CPUtime=0 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 4825809 2407677952 497947 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2351248 KiB

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

/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 326 0 0 0 0 3 0 0 20 0 3 0 4825809 4183707648 688605 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3394.03 s
Current children cumulated vsize: 4085652 KiB
Current children cumulated memory: 2754420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 32517
/proc/meminfo: memFree=124004996/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4085652 memory=2760552 CPUtime=3453.89 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2427033 0 0 0 345155 234 0 0 20 0 3 0 4825104 4183707648 690138 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1021413 690138 3030 3035 0 1003413 0
[pid=30803/tid=30805] ppid=30800 vsize=4085652 memory=11592 CPUtime=3447.06 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2255662 0 0 0 344514 192 0 0 20 0 3 0 4825744 4183707648 690138 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4085652 memory=11592 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 332 0 0 0 0 3 0 0 20 0 3 0 4825809 4183707648 690138 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 4085652 KiB
Current children cumulated memory: 2760552 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 32697
/proc/meminfo: memFree=123993372/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2770784 CPUtime=3513.75 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2447192 0 0 0 351139 236 0 0 20 0 3 0 4825104 4250816512 692696 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 692696 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=11592 CPUtime=3506.92 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2275800 0 0 0 350498 194 0 0 20 0 3 0 4825744 4250816512 692696 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=2770784 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 337 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 692696 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2770784 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 32708
/proc/meminfo: memFree=123982836/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3573.61 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2465167 0 0 0 357124 237 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=2776916 CPUtime=3566.78 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2293748 0 0 0 356483 195 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=-7020104135748968831 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

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

# cumulated CPU time of all completed processes:  user=3587.6 s, system=2.4181 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/267 32708
/proc/meminfo: memFree=123982832/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3575.31 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2465168 0 0 0 357294 237 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=7988 CPUtime=3568.48 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2293749 0 0 0 356653 195 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=20620 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3575.31 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 32766
/proc/meminfo: memFree=125617340/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3581.69 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2477127 0 0 0 357932 237 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=11592 CPUtime=3574.85 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2305706 0 0 0 357290 195 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=11592 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125458384/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3584.88 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2477707 0 0 0 358250 238 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=11592 CPUtime=3578.05 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2306286 0 0 0 357609 196 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=2781004 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125428736/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3588.08 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2477924 0 0 0 358570 238 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=12936 CPUtime=3581.24 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2306503 0 0 0 357928 196 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=357849 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

[startup+3597.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125427644/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4151188 memory=2781004 CPUtime=3588.87 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2478480 0 0 0 358649 238 0 0 20 0 3 0 4825104 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1037797 695251 3030 3035 0 1013891 0
[pid=30803/tid=30805] ppid=30800 vsize=4151188 memory=5488 CPUtime=3582.04 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2307059 0 0 0 358008 196 0 0 20 0 3 0 4825744 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
[pid=30803/tid=30806] ppid=30800 vsize=4151188 memory=16000 CPUtime=0.03 cores=4,6
/proc/30803/task/30806/stat : 30806 (fscip) S 30800 30803 28631 0 -1 1077936192 342 0 0 0 0 3 0 0 20 0 3 0 4825809 4250816512 695251 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 4151188 KiB
Current children cumulated memory: 2781004 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125427252/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=4216724 memory=2781008 CPUtime=3589.67 cores=4,6
/proc/30803/stat : 30803 (fscip) S 30800 30803 28631 0 -1 1077936128 2483978 0 0 0 358729 238 0 0 20 0 2 0 4825104 4317925376 695252 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 1054181 695252 3030 3035 0 1013924 0
[pid=30803/tid=30805] ppid=30800 vsize=4216724 memory=2781004 CPUtime=3582.84 cores=4,6
/proc/30803/task/30805/stat : 30805 (fscip) R 30800 30803 28631 0 -1 4194368 2312553 0 0 0 358088 196 0 0 20 0 2 0 4825744 4317925376 695252 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 4216724 KiB
Current children cumulated memory: 2781008 KiB

[startup+3598.6 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125427252/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2775296 memory=2240020 CPUtime=3589.87 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 2486374 0 0 0 358748 239 0 0 20 0 1 0 4825104 2841903104 560005 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 693824 560005 3030 3035 0 659667 0
Current children cumulated CPU time: 3589.87 s
Current children cumulated vsize: 2775296 KiB
Current children cumulated memory: 2240020 KiB

[startup+3598.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 32854
/proc/meminfo: memFree=125427252/131524600 swapFree=131071996/131071996
[pid=30803] ppid=30800 vsize=2698484 memory=2163268 CPUtime=3589.97 cores=4,6
/proc/30803/stat : 30803 (fscip) R 30800 30803 28631 0 -1 4194304 2492167 0 0 0 358758 239 0 0 20 0 1 0 4825104 2763247616 540817 134679101440 4194304 16623229 140732011854720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 39489536 140732011856918 140732011857034 140732011857034 140732011864048 0
/proc/30803/statm: 674621 540817 3030 3035 0 640464 0
Current children cumulated CPU time: 3589.97 s
Current children cumulated vsize: 2698484 KiB
Current children cumulated memory: 2163268 KiB

Child status: 0

Real time (s): 3598.74
CPU time (s): 3590.02
CPU user time (s): 3587.6
CPU system time (s): 2.4181
CPU usage (%): 99.7577
Max. virtual memory (cumulated for all children) (KiB): 4216724
Max. memory (cumulated for all children) (KiB): 2781008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.6
system time used= 2.4181
maximum resident set size= 2781008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2493544
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= 4753
involuntary context switches= 1638


# summary of solver processes directly reported to runsolver:
#   pid: 30803
#   total CPU time (s): 3590.02
#   total CPU user time (s): 3587.6
#   total CPU system time (s): 2.4181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5389 second user time and 15.1912 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-31 01:30:06
IDJOB=4464464
IDBENCH=155555
IDSOLVER=3092
FILE ID=nodeC028/4464464-1722382206
RUNJOBID= nodeC028-1722378597-28642
SLURM_JOB_ID= 8249851
Free space on /tmp= 889980 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-77.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-4464464-1722382206/watcher-4464464-1722382206 -o /tmp/evaluation-result-4464464-1722382206/solver-4464464-1722382206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722378597-28642 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464464-1722382206.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 71fdab66bbdfc1c9c6ce1eef27fb98d4
RANDOM SEED=881201410

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128193152 kB
MemAvailable:   129031400 kB
Buffers:           88984 kB
Cached:          1573632 kB
SwapCached:            0 kB
Active:           262340 kB
Inactive:        2565264 kB
Active(anon):       1524 kB
Inactive(anon):  1184544 kB
Active(file):     260816 kB
Inactive(file):  1380720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            134540 kB
Writeback:            60 kB
AnonPages:       1164220 kB
Mapped:           120792 kB
Shmem:             21336 kB
KReclaimable:      73068 kB
Slab:             159168 kB
SReclaimable:      73068 kB
SUnreclaim:        86100 kB
KernelStack:        4272 kB
PageTables:        11368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1510408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9728 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 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:      207572 kB
DirectMap2M:     6905856 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889960 MiB
End job on nodeC028 at 2024-07-31 02:30:05