Trace number 4464425

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? 3588.45 3598.51

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUMc8aab35d42bad0d90391f6d533654bf0
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 benchmark1.2834
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40605
Total number of constraints118930
Number of constraints which are clauses117190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1740
Minimum length of a constraint1
Maximum length of a constraint13
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 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
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.39/0.43	c Default LC presolving (default).
0.39/0.43	c ** Before presolving: virtualMemUsedAtLc = 374840979, getVmSize() = 257343488, SCIPgetMemUsed() = 216373547, SCIPgetMemTotal() = 225691435, SCIPgetMemExternEstim() = 149149544
0.39/0.43	c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
88.42/88.77	c ** Estimated virtualMemUsedAtSolver = 385209741, getVmSize() = 476286976, SCIPgetMemUsed() = 276977780, SCIPgetMemTotal() = 428665068, SCIPgetMemExternEstim() = 149149544
88.42/88.77	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
88.42/88.77	c Original Problem   :
88.42/88.77	c   Problem name     : instance-4464425-1722378597
88.42/88.77	c   Variables        : 40605 (40605 binary, 0 integer, 0 implicit integer, 0 continuous)
88.42/88.77	c   Constraints      : 118930
88.42/88.77	c   Objective sense  : minimize
88.42/88.77	c Presolved Problem  :
88.42/88.77	c   Variables        : 33159 (33159 binary, 0 integer, 0 implicit integer, 0 continuous)
88.42/88.77	c   Constraints      : 34766
88.42/88.77	c Constraints        : Number
88.42/88.77	c   knapsack         : 1740 
88.42/88.77	c   setppc           : 1078 
88.42/88.77	c   and              : 31931 
88.42/88.77	c   logicor          : 17 
88.42/88.77	c ** Instance transfer method used: 0
88.51/88.86	c ** ParaScipInstance copy increased the number of variables. **
88.61/88.95	c LC is working with racing ramp-up and with rebuilding tree after racing.
88.61/88.95	c                                Nodes    Active                                            
88.61/88.95	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
837.68/840.46	c       840              2           1         1                -           0.0000          -
884.82/887.74	c       888              3           2         1                -           0.0000          -
898.58/901.52	c       902              4           3         1                -           0.0000          -
903.76/906.73	c       907             10           9         1                -           0.0000          -
913.04/916.00	c       916             15          14         1                -           0.0000          -
941.77/944.86	c       945             17          16         1                -           0.0000          -
948.65/951.76	c       952             22          21         1                -           0.0000          -
954.43/957.57	c       958             53          50         1                -           0.0000          -
961.30/964.48	c       964             88          40         1                -           0.0000          -
1013.16/1016.42	c      1016            122          67         1                -           0.0000          -
1041.68/1045.09	c      1045            123          68         1                -           0.0000          -
1047.06/1050.46	c      1050            133          74         1                -           0.0000          -
1052.54/1055.93	c      1056            172          11         1                -           0.0000          -
1060.52/1063.94	c      1064            175          12         1                -           0.0000          -
1065.81/1069.29	c      1069            187          18         1                -           0.0000          -
1071.29/1074.77	c      1075            203          19         1                -           0.0000          -
1098.63/1102.12	c      1102            209           3         1                -           0.0000          -
1118.97/1122.50	c      1122            210           4         1                -           0.0000          -
1143.09/1146.71	c      1147            211           5         1                -           0.0000          -
1150.08/1153.70	c      1154            212           6         1                -           0.0000          -
1157.46/1161.12	c      1161            214           8         1                -           0.0000          -
1166.03/1169.77	c      1170            218           7         1                -           0.0000          -
1172.32/1176.04	c      1176            220           9         1                -           0.0000          -
1178.49/1182.23	c      1182            227          13         1                -           0.0000          -
1185.08/1188.84	c      1189            243          16         1                -           0.0000          -
1280.06/1284.02	c      1284            248          21         1                -           0.0000          -
1285.94/1289.99	c      1290            260          26         1                -           0.0000          -
1292.12/1296.18	c      1296            271          20         1                -           0.0000          -
1297.40/1301.48	c      1301            279          15         1                -           0.0000          -
1303.09/1307.13	c      1307            287          17         1                -           0.0000          -
1308.86/1312.99	c      1313            297          22         1                -           0.0000          -
1314.65/1318.73	c      1319            315          21         1                -           0.0000          -
1321.14/1325.29	c      1325            325          14         1                -           0.0000          -
1326.82/1330.96	c      1331            333          16         1                -           0.0000          -
1331.91/1336.07	c      1336            339          10         1                -           0.0000          -
1337.59/1341.76	c      1342            347          10         1                -           0.0000          -
1342.98/1347.16	c      1347            353           8         1                -           0.0000          -
1350.55/1354.74	c      1355            359           9         1                -           0.0000          -
1357.02/1361.23	c      1361            364          14         1                -           0.0000          -
1362.71/1366.91	c      1367            366          16         1                -           0.0000          -
1368.99/1373.28	c      1373            377          16         1                -           0.0000          -
1374.08/1378.38	c      1378            391          13         1                -           0.0000          -
1399.82/1404.15	c      1404            392          14         1                -           0.0000          -
1405.99/1410.36	c      1410            399          17         1                -           0.0000          -
1411.38/1415.77	c      1416            405          16         1                -           0.0000          -
1416.56/1420.99	c      1421            411          15         1                -           0.0000          -
1424.14/1428.51	c      1429            421           9         1                -           0.0000          -
1430.42/1434.87	c      1435            428          10         1                -           0.0000          -
1435.72/1440.11	c      1440            434           8         1                -           0.0000          -
1441.49/1445.95	c      1446            440          11         1                -           0.0000          -
1452.86/1457.30	c      1457            442          10         1                -           0.0000          -
1466.82/1471.35	c      1471            443          11         1                -           0.0000          -
1478.98/1483.51	c      1484            444          12         1                -           0.0000          -
1489.46/1494.07	c      1494            445          13         1                -           0.0000          -
1533.25/1537.93	c      1538            446          14         1                -           0.0000          -
1538.44/1543.17	c      1543            453          13         1                -           0.0000          -
1545.82/1550.56	c      1551            456          12         1                -           0.0000          -
1552.60/1557.36	c      1557            458          14         1                -           0.0000          -
1558.28/1563.06	c      1563            461          17         1                -           0.0000          -
1563.77/1568.57	c      1569            469          19         1                -           0.0000          -
1569.05/1573.83	c      1574            476          15         1                -           0.0000          -
1578.03/1582.89	c      1583            482          15         1                -           0.0000          -
1584.21/1589.04	c      1589            484          17         1                -           0.0000          -
1592.30/1597.16	c      1597            496          15         1                -           0.0000          -
1598.47/1603.36	c      1603            500          19         1                -           0.0000          -
1604.75/1609.61	c      1610            508          19         1                -           0.0000          -
1610.93/1615.80	c      1616            514          16         1                -           0.0000          -
1616.32/1621.23	c      1621            519          15         1                -           0.0000          -
1621.31/1626.28	c      1626            522          18         1                -           0.0000          -
1626.89/1631.83	c      1632            535          20         1                -           0.0000          -
1632.77/1637.70	c      1638            543          21         1                -           0.0000          -
1638.26/1643.26	c      1643            550          18         1                -           0.0000          -
1643.34/1648.33	c      1648            553          21         1                -           0.0000          -
1649.03/1654.02	c      1654            558          24         1                -           0.0000          -
1655.02/1660.04	c      1660            566          18         1                -           0.0000          -
1660.60/1665.66	c      1666            570          15         1                -           0.0000          -
1667.77/1672.83	c      1673            578          14         1                -           0.0000          -
1673.16/1678.26	c      1678            583          16         1                -           0.0000          -
1685.42/1690.54	c      1691            589          13         1                -           0.0000          -
1691.70/1696.88	c      1697            590          14         1                -           0.0000          -
1699.47/1704.68	c      1705            592          16         1                -           0.0000          -
1705.55/1710.75	c      1711            595          19         1                -           0.0000          -
1711.03/1716.22	c      1716            602          17         1                -           0.0000          -
1717.01/1722.24	c      1722            606          19         1                -           0.0000          -
1723.39/1728.66	c      1729            612          18         1                -           0.0000          -
1728.97/1734.24	c      1734            616          18         1                -           0.0000          -
1734.76/1740.08	c      1740            621          19         1                -           0.0000          -
1742.13/1747.47	c      1747            628          17         1                -           0.0000          -
1750.20/1755.50	c      1756            630          19         1                -           0.0000          -
1755.99/1761.38	c      1761            634          20         1                -           0.0000          -
1763.47/1768.84	c      1769            640          18         1                -           0.0000          -
1769.16/1774.58	c      1775            645          20         1                -           0.0000          -
1777.03/1782.41	c      1782            651          17         1                -           0.0000          -
1783.11/1788.52	c      1789            653          19         1                -           0.0000          -
1788.60/1794.09	c      1794            657          18         1                -           0.0000          -
1793.68/1799.17	c      1799            662          18         1                -           0.0000          -
1799.26/1804.75	c      1805            669          16         1                -           0.0000          -
1804.44/1809.93	c      1810            672          16         1                -           0.0000          -
1810.33/1815.88	c      1816            676          16         1                -           0.0000          -
1816.31/1821.88	c      1822            681          15         1                -           0.0000          -
1822.30/1827.88	c      1828            685          16         1                -           0.0000          -
1827.49/1833.00	c      1833            691          13         1                -           0.0000          -
1832.57/1838.11	c      1838            697          13         1                -           0.0000          -
1838.94/1844.59	c      1845            700          12         1                -           0.0000          -
1846.82/1852.42	c      1852            702          14         1                -           0.0000          -
1852.80/1858.49	c      1858            704          16         1                -           0.0000          -
1859.07/1864.74	c      1865            707          19         1                -           0.0000          -
1865.35/1871.00	c      1871            713          20         1                -           0.0000          -
1871.63/1877.32	c      1877            716          17         1                -           0.0000          -
1878.11/1883.83	c      1884            719          20         1                -           0.0000          -
1883.29/1889.03	c      1889            726          20         1                -           0.0000          -
1891.26/1897.05	c      1897            732          19         1                -           0.0000          -
1898.44/1904.25	c      1904            734          21         1                -           0.0000          -
1904.03/1909.85	c      1910            740          20         1                -           0.0000          -
1909.11/1914.95	c      1915            745          19         1                -           0.0000          -
1914.30/1920.17	c      1920            749          17         1                -           0.0000          -
1919.88/1925.75	c      1926            751          19         1                -           0.0000          -
1925.36/1931.26	c      1931            754          22         1                -           0.0000          -
1932.55/1938.43	c      1938            758          22         1                -           0.0000          -
1938.23/1944.13	c      1944            762          23         1                -           0.0000          -
1943.51/1949.42	c      1949            766          23         1                -           0.0000          -
1948.89/1954.81	c      1955            770          22         1                -           0.0000          -
1955.28/1961.22	c      1961            777          20         1                -           0.0000          -
1961.47/1967.47	c      1967            782          19         1                -           0.0000          -
1967.25/1973.28	c      1973            786          19         1                -           0.0000          -
1973.83/1979.87	c      1980            790          20         1                -           0.0000          -
1978.81/1984.89	c      1985            794          18         1                -           0.0000          -
1984.19/1990.21	c      1990            799          18         1                -           0.0000          -
1991.16/1997.20	c      1997            802          17         1                -           0.0000          -
1998.35/2004.47	c      2004            806          18         1                -           0.0000          -
2004.72/2010.81	c      2011            811          18         1                -           0.0000          -
2010.50/2016.60	c      2017            816          18         1                -           0.0000          -
2015.99/2022.14	c      2022            821          13         1                -           0.0000          -
2022.16/2028.31	c      2028            826          11         1                -           0.0000          -
2030.84/2037.03	c      2037            831          10         1                -           0.0000          -
2041.40/2047.61	c      2048            834          10         1                -           0.0000          -
2047.59/2053.83	c      2054            838          12         1                -           0.0000          -
2054.28/2060.50	c      2060            844          10         1                -           0.0000          -
2060.06/2066.38	c      2066            847          11         1                -           0.0000          -
2065.75/2072.07	c      2072            851          10         1                -           0.0000          -
2071.52/2077.82	c      2078            854          11         1                -           0.0000          -
2076.60/2082.97	c      2083            857          11         1                -           0.0000          -
2082.18/2088.51	c      2089            861          11         1                -           0.0000          -
2088.36/2094.77	c      2095            870          14         1                -           0.0000          -
2093.54/2099.94	c      2100            878          14         1                -           0.0000          -
2107.30/2113.74	c      2114            882          10         1                -           0.0000          -
2112.48/2118.95	c      2119            883          11         1                -           0.0000          -
2118.86/2125.31	c      2125            886          14         1                -           0.0000          -
2124.24/2130.79	c      2131            889          17         1                -           0.0000          -
2129.63/2136.11	c      2136            894          18         1                -           0.0000          -
2135.80/2142.34	c      2142            903          16         1                -           0.0000          -
2142.48/2149.06	c      2149            910          18         1                -           0.0000          -
2150.37/2156.98	c      2157            920          10         1                -           0.0000          -
2157.24/2163.88	c      2164            925          15         1                -           0.0000          -
2163.23/2169.84	c      2170            931          17         1                -           0.0000          -
2176.29/2182.91	c      2183            932          18         1                -           0.0000          -
2181.98/2188.68	c      2189            935          21         1                -           0.0000          -
2188.06/2194.76	c      2195            941          16         1                -           0.0000          -
2202.81/2209.50	c      2210            946           8         1                -           0.0000          -
2216.97/2223.76	c      2224            947           9         1                -           0.0000          -
2231.03/2237.87	c      2238            948          10         1                -           0.0000          -
2244.21/2251.05	c      2251            949          11         1                -           0.0000          -
2256.26/2263.19	c      2263            950          12         1                -           0.0000          -
2262.53/2269.47	c      2269            951          13         1                -           0.0000          -
2269.52/2276.43	c      2276            953          15         1                -           0.0000          -
2277.40/2284.33	c      2284            956          18         1                -           0.0000          -
2301.84/2308.87	c      2309            958          20         1                -           0.0000          -
2309.91/2316.96	c      2317            961          20         1                -           0.0000          -
2315.70/2322.72	c      2323            963          22         1                -           0.0000          -
2321.18/2328.23	c      2328            970          22         1                -           0.0000          -
2332.35/2339.41	c      2339            972          21         1                -           0.0000          -
2339.93/2347.07	c      2347            973          22         1                -           0.0000          -
2346.92/2354.06	c      2354            974          23         1                -           0.0000          -
2527.74/2535.23	c      2535            976          24         1                -           0.0000          -
2533.63/2541.15	c      2541            980          25         1                -           0.0000          -
2540.10/2547.69	c      2548            984          27         1                -           0.0000          -
2565.86/2573.40	c      2573            985          28         1                -           0.0000          -
2571.94/2579.52	c      2580            989          32         1                -           0.0000          -
2578.33/2585.90	c      2586            995          34         1                -           0.0000          -
2583.81/2591.41	c      2591           1000          29         1                -           0.0000          -
2589.80/2597.45	c      2597           1003          22         1                -           0.0000          -
2595.58/2603.28	c      2603           1010          19         1                -           0.0000          -
2603.56/2611.25	c      2611           1013          15         1                -           0.0000          -
2608.64/2616.33	c      2616           1016          16         1                -           0.0000          -
2617.42/2625.18	c      2625           1022          14         1                -           0.0000          -
2624.10/2631.87	c      2632           1024          16         1                -           0.0000          -
2629.58/2637.31	c      2637           1028          18         1                -           0.0000          -
2635.17/2642.95	c      2643           1032          17         1                -           0.0000          -
2641.05/2648.86	c      2649           1035          15         1                -           0.0000          -
2647.24/2655.05	c      2655           1039          17         1                -           0.0000          -
2654.72/2662.53	c      2663           1042          15         1                -           0.0000          -
2663.10/2670.96	c      2671           1044          17         1                -           0.0000          -
2668.19/2676.01	c      2676           1047          16         1                -           0.0000          -
2673.57/2681.44	c      2681           1050          19         1                -           0.0000          -
2678.86/2686.74	c      2687           1053          19         1                -           0.0000          -
2684.44/2692.35	c      2692           1057          20         1                -           0.0000          -
2689.53/2697.46	c      2697           1063          16         1                -           0.0000          -
2696.81/2704.76	c      2705           1066          15         1                -           0.0000          -
2703.79/2711.78	c      2712           1068          13         1                -           0.0000          -
2709.77/2717.80	c      2718           1070          15         1                -           0.0000          -
2716.65/2724.68	c      2725           1076          16         1                -           0.0000          -
2723.84/2731.84	c      2732           1085          17         1                -           0.0000          -
2730.22/2738.28	c      2738           1091          13         1                -           0.0000          -
2736.90/2744.94	c      2745           1098          16         1                -           0.0000          -
2743.38/2751.46	c      2751           1108          13         1                -           0.0000          -
2748.67/2756.70	c      2757           1117          14         1                -           0.0000          -
2754.95/2763.04	c      2763           1120          12         1                -           0.0000          -
2762.23/2770.37	c      2770           1122          14         1                -           0.0000          -
2768.31/2776.49	c      2776           1125          14         1                -           0.0000          -
2775.79/2783.98	c      2784           1129          12         1                -           0.0000          -
2781.08/2789.23	c      2789           1131          14         1                -           0.0000          -
2786.97/2795.16	c      2795           1135          13         1                -           0.0000          -
2792.55/2800.73	c      2801           1140          18         1                -           0.0000          -
2804.93/2813.11	c      2813           1142          20         1                -           0.0000          -
2812.10/2820.33	c      2820           1157          23         1                -           0.0000          -
2818.30/2826.50	c      2826           1161          27         1                -           0.0000          -
2832.17/2840.41	c      2840           1164          28         1                -           0.0000          -
2837.76/2846.05	c      2846           1168          32         1                -           0.0000          -
3000.31/3008.99	c      3009           1172          23         1                -           0.0000          -
3007.40/3016.04	c      3016           1177          12         1                -           0.0000          -
3013.77/3022.46	c      3022           1180          11         1                -           0.0000          -
3020.15/3028.87	c      3029           1190          15         1                -           0.0000          -
3029.82/3038.58	c      3039           1192          14         1                -           0.0000          -
3039.00/3047.74	c      3048           1193          15         1                -           0.0000          -
3044.29/3053.01	c      3053           1194          16         1                -           0.0000          -
3059.55/3068.37	c      3068           1196          18         1                -           0.0000          -
3064.74/3073.50	c      3074           1208          17         1                -           0.0000          -
3071.02/3079.83	c      3080           1218          16         1                -           0.0000          -
3076.31/3085.15	c      3085           1227          18         1                -           0.0000          -
3081.79/3090.67	c      3091           1239          14         1                -           0.0000          -
3087.37/3096.26	c      3096           1249          13         1                -           0.0000          -
3092.56/3101.47	c      3101           1253          14         1                -           0.0000          -
3098.15/3107.09	c      3107           1259          14         1                -           0.0000          -
3108.32/3117.25	c      3117           1266          11         1                -           0.0000          -
3114.60/3123.52	c      3124           1269          12         1                -           0.0000          -
3120.29/3129.29	c      3129           1275          13         1                -           0.0000          -
3127.37/3136.31	c      3136           1278          12         1                -           0.0000          -
3133.46/3142.43	c      3142           1282          16         1                -           0.0000          -
3139.75/3148.73	c      3149           1286          20         1                -           0.0000          -
3146.04/3155.01	c      3155           1291          21         1                -           0.0000          -
3152.81/3161.87	c      3162           1297          19         1                -           0.0000          -
3158.90/3168.00	c      3168           1301          19         1                -           0.0000          -
3164.98/3174.00	c      3174           1304          12         1                -           0.0000          -
3171.97/3181.03	c      3181           1308          13         1                -           0.0000          -
3182.63/3191.73	c      3192           1312          11         1                -           0.0000          -
3188.52/3197.69	c      3198           1313          12         1                -           0.0000          -
3195.20/3204.33	c      3204           1315          14         1                -           0.0000          -
3200.49/3209.64	c      3210           1320          14         1                -           0.0000          -
3207.17/3216.38	c      3216           1326          11         1                -           0.0000          -
3213.76/3222.96	c      3223           1329          14         1                -           0.0000          -
3220.74/3229.93	c      3230           1332          14         1                -           0.0000          -
3228.12/3237.33	c      3237           1335          15         1                -           0.0000          -
3233.61/3242.82	c      3243           1339          17         1                -           0.0000          -
3239.69/3248.92	c      3249           1343          15         1                -           0.0000          -
3247.17/3256.46	c      3256           1349          11         1                -           0.0000          -
3252.36/3261.66	c      3262           1353          12         1                -           0.0000          -
3257.75/3267.00	c      3267           1357          10         1                -           0.0000          -
3263.62/3272.98	c      3273           1360          13         1                -           0.0000          -
3270.01/3279.37	c      3279           1365          15         1                -           0.0000          -
3275.40/3284.71	c      3285           1370          15         1                -           0.0000          -
3281.48/3290.84	c      3291           1375          11         1                -           0.0000          -
3299.84/3309.22	c      3309           1380           9         1                -           0.0000          -
3313.41/3322.86	c      3323           1381          10         1                -           0.0000          -
3323.69/3333.15	c      3333           1382          11         1                -           0.0000          -
3331.27/3340.78	c      3341           1383          12         1                -           0.0000          -
3336.85/3346.37	c      3346           1385          14         1                -           0.0000          -
3343.23/3352.79	c      3353           1396          15         1                -           0.0000          -
3348.63/3358.16	c      3358           1402          17         1                -           0.0000          -
3354.81/3364.30	c      3364           1413          16         1                -           0.0000          -
3363.49/3373.01	c      3373           1422          15         1                -           0.0000          -
3384.24/3393.85	c      3394           1426          19         1                -           0.0000          -
3389.62/3399.21	c      3399           1441          18         1                -           0.0000          -
3395.42/3405.07	c      3405           1450          17         1                -           0.0000          -
3401.50/3411.12	c      3411           1463          12         1                -           0.0000          -
3408.38/3418.03	c      3418           1473          12         1                -           0.0000          -
3417.56/3427.21	c      3427           1484          11         1                -           0.0000          -
3424.14/3433.84	c      3434           1487          14         1                -           0.0000          -
3429.23/3438.99	c      3439           1492          14         1                -           0.0000          -
3435.82/3445.53	c      3446           1500          12         1                -           0.0000          -
3442.10/3451.87	c      3452           1507          11         1                -           0.0000          -
3448.09/3457.84	c      3458           1514          13         1                -           0.0000          -
3453.87/3463.67	c      3464           1518          13         1                -           0.0000          -
3459.86/3469.60	c      3470           1524          11         1                -           0.0000          -
3467.04/3476.83	c      3477           1529          10         1                -           0.0000          -
3473.33/3483.16	c      3483           1539          10         1                -           0.0000          -
3479.61/3489.40	c      3489           1546          15         1                -           0.0000          -
3485.39/3495.24	c      3495           1554          13         1                -           0.0000          -
3490.98/3500.81	c      3501           1561          13         1                -           0.0000          -
3496.76/3506.69	c      3507           1574          11         1                -           0.0000          -
3512.03/3521.98	c      3522           1579           9         1                -           0.0000          -
3525.99/3535.97	c      3536           1580          10         1                -           0.0000          -
3535.67/3545.60	c      3546           1581          11         1                -           0.0000          -
3541.65/3551.62	c      3552           1588          13         1                -           0.0000          -
3547.34/3557.38	c      3557           1600          18         1                -           0.0000          -
3552.72/3562.74	c      3563           1602          17         1                -           0.0000          -
3558.61/3568.67	c      3569           1620          17         1                -           0.0000          -
3563.90/3573.94	c      3574           1637          11         1                -           0.0000          -
3569.68/3579.78	c      3580           1641          12         1                -           0.0000          -
3574.87/3584.93	c      3585           1645          16         1                -           0.0000          -
3584.74/3594.85	c      3595           1652          13         1                -           0.0000          -
3588.14/3598.29	c SCIP Status        : c solving was interrupted [hard time limit reached]
3588.14/3598.29	c Total Time         : 3598.2900
3588.14/3598.29	c   solving          : 3598.2900
3588.14/3598.29	c   presolving       : 88.3414 (included in solving)
3588.14/3598.29	c B&B Tree           :
3588.14/3598.29	c   nodes (total)    : 1
3588.14/3598.29	c Solution           :
3588.14/3598.29	c   Solutions found  : 0
3588.14/3598.29	c   Primal Bound     :          -
3588.14/3598.29	c   Dual Bound       : +0.00000000000000e+00
3588.14/3598.29	c Gap                :          -
3588.34/3598.49	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 (63452 MiB free)
  memory of node 1: 64473 MiB (63044 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464425-1722378597/watcher-4464425-1722378597 -o /tmp/evaluation-result-4464425-1722378597/solver-4464425-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464425-1722378597.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
Current StackSize limit: 8192 KiB

solver pid=35265, runsolver pid=35262

[startup+0.100816 s]*
/proc/loadavg: 0.11 0.09 0.09 5/258 35266
/proc/meminfo: memFree=129366424/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=70084 memory=58352 CPUtime=0.09 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 12452 0 0 0 8 1 0 0 20 0 1 0 4461630 71766016 14588 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 17521 14588 2347 3035 0 13917 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 58352 KiB

[startup+0.205817 s]*
/proc/loadavg: 0.11 0.09 0.09 5/258 35266
/proc/meminfo: memFree=129257140/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=114748 memory=102464 CPUtime=0.2 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 23498 0 0 0 17 3 0 0 20 0 1 0 4461630 117501952 25616 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 28687 25616 2347 3035 0 25083 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 114748 KiB
Current children cumulated memory: 102464 KiB

[startup+0.305852 s]*
/proc/loadavg: 0.11 0.09 0.09 5/258 35268
/proc/meminfo: memFree=129105268/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=189680 memory=178720 CPUtime=0.29 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 42915 0 0 0 24 5 0 0 20 0 1 0 4461630 194232320 44614 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 47420 44680 2539 3035 0 43816 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 189680 KiB
Current children cumulated memory: 178720 KiB

[startup+0.700254 s]
/proc/loadavg: 0.11 0.09 0.09 5/258 35268
/proc/meminfo: memFree=128902568/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=309684 memory=288808 CPUtime=0.68 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 68886 0 0 0 59 9 0 0 20 0 1 0 4461630 317116416 72202 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 77421 72202 2630 3035 0 73817 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 309684 KiB
Current children cumulated memory: 288808 KiB

[startup+1.50025 s]
/proc/loadavg: 0.11 0.09 0.09 5/258 35268
/proc/meminfo: memFree=128640640/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342248 CPUtime=1.48 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76553 0 0 0 137 11 0 0 20 0 1 0 4461630 366764032 85562 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85562 2678 3035 0 85938 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342248 KiB

[startup+3.10573 s]
/proc/loadavg: 0.42 0.15 0.11 4/253 35278
/proc/meminfo: memFree=128509768/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342648 CPUtime=3.07 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76581 0 0 0 296 11 0 0 20 0 1 0 4461630 366764032 85662 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85662 2726 3035 0 85938 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342648 KiB

[startup+6.30024 s]
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=127942800/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342648 CPUtime=6.26 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76609 0 0 0 614 12 0 0 20 0 1 0 4461630 366764032 85662 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85662 2726 3035 0 85938 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342648 KiB

[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 5/259 35470
/proc/meminfo: memFree=127883448/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342648 CPUtime=12.64 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76639 0 0 0 1252 12 0 0 20 0 1 0 4461630 366764032 85662 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85662 2726 3035 0 85938 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342648 KiB

[startup+25.5003 s]
/proc/loadavg: 1.44 0.40 0.19 5/261 35474
/proc/meminfo: memFree=127632352/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342648 CPUtime=25.4 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76669 0 0 0 2528 12 0 0 20 0 1 0 4461630 366764032 85662 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85662 2726 3035 0 85938 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342648 KiB

[startup+51.1059 s]
/proc/loadavg: 2.38 0.71 0.30 5/263 35480
/proc/meminfo: memFree=125781532/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=358168 memory=342648 CPUtime=50.93 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 76716 0 0 0 5080 13 0 0 20 0 1 0 4461630 366764032 85662 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 89542 85662 2726 3035 0 85938 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 358168 KiB
Current children cumulated memory: 342648 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.25 0.51 5/267 35495
/proc/meminfo: memFree=124962920/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=816868 memory=685648 CPUtime=101.94 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 256293 0 0 0 10162 32 0 0 20 0 3 0 4461630 836472832 171412 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 204217 171412 2806 3035 0 190412 0
[pid=35265/tid=35489] ppid=35262 vsize=816868 memory=685612 CPUtime=13.35 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 131505 0 0 0 1323 12 0 0 20 0 3 0 4470507 836472832 171412 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=816868 memory=682908 CPUtime=0 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4470525 836472832 171412 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 816868 KiB
Current children cumulated memory: 685648 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 1.78 0.74 5/267 35505
/proc/meminfo: memFree=124208624/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1147224 memory=1019884 CPUtime=161.75 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 506642 0 0 0 16124 51 0 0 20 0 3 0 4461630 1174757376 254971 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 286806 254971 2982 3035 0 275026 0
[pid=35265/tid=35489] ppid=35262 vsize=1147224 memory=1019436 CPUtime=73.16 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 381821 0 0 0 7285 31 0 0 20 0 3 0 4470507 1174757376 254971 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1147224 memory=11596 CPUtime=0 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 4470525 1174757376 254971 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1147224 KiB
Current children cumulated memory: 1019884 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.22 0.96 5/265 35515
/proc/meminfo: memFree=124012596/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1147224 memory=1020364 CPUtime=221.55 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 618839 0 0 0 22098 57 0 0 20 0 3 0 4461630 1174757376 255091 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 286806 255091 2982 3035 0 275026 0
[pid=35265/tid=35489] ppid=35262 vsize=1147224 memory=11596 CPUtime=132.96 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 494005 0 0 0 13259 37 0 0 20 0 3 0 4470507 1174757376 255091 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1147224 memory=5600 CPUtime=0 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 4470525 1174757376 255091 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1147224 KiB
Current children cumulated memory: 1020364 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.56 1.16 5/265 35526
/proc/meminfo: memFree=123967060/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1147224 memory=1020436 CPUtime=281.35 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 696340 0 0 0 28073 62 0 0 20 0 3 0 4461630 1174757376 255109 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 286806 255109 2982 3035 0 275026 0
[pid=35265/tid=35489] ppid=35262 vsize=1147224 memory=1020436 CPUtime=192.75 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 571498 0 0 0 19234 41 0 0 20 0 3 0 4470507 1174757376 255109 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1147224 memory=11596 CPUtime=0 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 4470525 1174757376 255109 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1147224 KiB
Current children cumulated memory: 1020436 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.84 1.34 5/259 35536
/proc/meminfo: memFree=123951548/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1147224 memory=1020496 CPUtime=341.17 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 769314 0 0 0 34050 67 0 0 20 0 3 0 4461630 1174757376 255124 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 286806 255124 2982 3035 0 275026 0
[pid=35265/tid=35489] ppid=35262 vsize=1147224 memory=1020436 CPUtime=252.57 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 644464 0 0 0 25210 47 0 0 20 0 3 0 4470507 1174757376 255124 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1147224 memory=1020496 CPUtime=0 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 4470525 1174757376 255124 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0

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

[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1318792 CPUtime=0.03 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 375 0 0 0 0 3 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3392.72 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.03 5/261 37058
/proc/meminfo: memFree=122425768/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3452.58 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3299724 0 0 0 345033 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3363.88 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3173629 0 0 0 336188 200 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1318792 CPUtime=0.03 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 379 0 0 0 0 3 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/263 37238
/proc/meminfo: memFree=122415304/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3512.43 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3301960 0 0 0 351018 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=12272 CPUtime=3423.73 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3175844 0 0 0 342172 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1318792 CPUtime=0.04 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 381 0 0 0 1 3 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3512.43 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 37248
/proc/meminfo: memFree=122398112/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3572.27 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304361 0 0 0 357002 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=11596 CPUtime=3483.58 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178214 0 0 0 348157 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=11596 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 391 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

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

# cumulated CPU time of all completed processes:  user=3586.18 s, system=2.2729 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.04 5/263 37248
/proc/meminfo: memFree=122398132/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3573.98 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304371 0 0 0 357173 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=-7378984731055054464 CPUtime=3485.29 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178224 0 0 0 348328 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=4354026035579874971 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 391 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3573.98 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.04 5/263 37248
/proc/meminfo: memFree=122396312/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3580.35 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304480 0 0 0 357810 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3491.66 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178332 0 0 0 348965 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1318792 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 391 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3580.35 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.04 5/263 37250
/proc/meminfo: memFree=122395616/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3583.55 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304491 0 0 0 358130 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3494.86 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178340 0 0 0 349285 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=-7523099919130911866 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 394 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3583.55 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 37250
/proc/meminfo: memFree=122395536/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3586.74 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304506 0 0 0 358449 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3498.05 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178340 0 0 0 349604 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1318792 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 394 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3597.6 s]
/proc/loadavg: 4.09 4.10 4.04 6/263 37250
/proc/meminfo: memFree=122395536/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3587.54 cores=4,6
/proc/35265/stat : 35265 (fscip) S 35262 35265 35189 0 -1 1077936128 3304506 0 0 0 358529 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=5600 CPUtime=3498.85 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178340 0 0 0 349684 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=1836 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 394 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3598 s]*
/proc/loadavg: 4.09 4.10 4.04 5/263 37250
/proc/meminfo: memFree=122437972/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1420412 memory=1318792 CPUtime=3587.94 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 1077936128 3304506 0 0 0 358569 225 0 0 20 0 3 0 4461630 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 355103 329698 3030 3035 0 347201 0
[pid=35265/tid=35489] ppid=35262 vsize=1420412 memory=-7378984731055054464 CPUtime=3499.25 cores=4,6
/proc/35265/task/35489/stat : 35489 (fscip) R 35262 35265 35189 0 -1 4194368 3178340 0 0 0 349724 201 0 0 20 0 3 0 4470507 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
[pid=35265/tid=35490] ppid=35262 vsize=1420412 memory=4354026035579874971 CPUtime=0.05 cores=4,6
/proc/35265/task/35490/stat : 35490 (fscip) S 35262 35265 35189 0 -1 1077936192 394 0 0 0 1 4 0 0 20 0 3 0 4470525 1454501888 329698 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 1420412 KiB
Current children cumulated memory: 1318792 KiB

[startup+3598.4 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 37250
/proc/meminfo: memFree=122437972/131524600 swapFree=131071996/131071996
[pid=35265] ppid=35262 vsize=1353820 memory=1223152 CPUtime=3588.34 cores=4,6
/proc/35265/stat : 35265 (fscip) R 35262 35265 35189 0 -1 4194304 3308565 0 0 0 358608 226 0 0 20 0 1 0 4461630 1386311680 305788 134679101440 4194304 16623229 140729150840448 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45117440 140729150841882 140729150841998 140729150841998 140729150849008 0
/proc/35265/statm: 338455 305788 3030 3035 0 332911 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 1353820 KiB
Current children cumulated memory: 1223152 KiB

[startup+3598.5 s]*
/proc/loadavg: 4.01 4.09 4.03 4/256 37264
/proc/meminfo: memFree=124755228/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3598.51
CPU time (s): 3588.45
CPU user time (s): 3586.18
CPU system time (s): 2.2729
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 1420412
Max. memory (cumulated for all children) (KiB): 1318792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.18
system time used= 2.2729
maximum resident set size= 1318792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3316300
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= 5302
involuntary context switches= 1304


# summary of solver processes directly reported to runsolver:
#   pid: 35265
#   total CPU time (s): 3588.45
#   total CPU user time (s): 3586.18
#   total CPU system time (s): 2.2729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64271 second user time and 17.4928 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-31 00:29:57
IDJOB=4464425
IDBENCH=147734
IDSOLVER=3092
FILE ID=nodeC030/4464425-1722378597
RUNJOBID= nodeC030-1722378597-35200
SLURM_JOB_ID= 8249853
Free space on /tmp= 889988 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.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-4464425-1722378597/watcher-4464425-1722378597 -o /tmp/evaluation-result-4464425-1722378597/solver-4464425-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35200 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464425-1722378597.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= c8aab35d42bad0d90391f6d533654bf0
RANDOM SEED=576650998

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129561580 kB
MemAvailable:   129880180 kB
Buffers:           83280 kB
Cached:          1071248 kB
SwapCached:            0 kB
Active:           253828 kB
Inactive:        1230156 kB
Active(anon):       1452 kB
Inactive(anon):   349416 kB
Active(file):     252376 kB
Inactive(file):   880740 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            125804 kB
Writeback:             0 kB
AnonPages:        329640 kB
Mapped:           117156 kB
Shmem:             21328 kB
KReclaimable:      51288 kB
Slab:             132628 kB
SReclaimable:      51288 kB
SUnreclaim:        81340 kB
KernelStack:        4008 kB
PageTables:         9440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     563812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9152 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 889984 MiB
End job on nodeC030 at 2024-07-31 01:29:56