Trace number 4441640

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-02? 3591.75 3600.47

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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.2.1         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.39/0.41	c Default LC presolving (default).
0.39/0.41	c ** Before presolving: virtualMemUsedAtLc = 374840979, getVmSize() = 257327104, SCIPgetMemUsed() = 216373467, SCIPgetMemTotal() = 225691435, SCIPgetMemExternEstim() = 149149544
0.39/0.41	c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
79.17/79.48	c ** Estimated virtualMemUsedAtSolver = 385209741, getVmSize() = 476270592, SCIPgetMemUsed() = 276977700, SCIPgetMemTotal() = 428665068, SCIPgetMemExternEstim() = 149149544
79.17/79.48	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
79.17/79.48	c Original Problem   :
79.17/79.48	c   Problem name     : instance-4441640-1721294243
79.17/79.48	c   Variables        : 40605 (40605 binary, 0 integer, 0 implicit integer, 0 continuous)
79.17/79.48	c   Constraints      : 118930
79.17/79.48	c   Objective sense  : minimize
79.17/79.48	c Presolved Problem  :
79.17/79.48	c   Variables        : 33159 (33159 binary, 0 integer, 0 implicit integer, 0 continuous)
79.17/79.48	c   Constraints      : 34766
79.17/79.48	c Constraints        : Number
79.17/79.48	c   knapsack         : 1740 
79.17/79.48	c   setppc           : 1078 
79.17/79.48	c   and              : 31931 
79.17/79.48	c   logicor          : 17 
79.17/79.48	c ** Instance transfer method used: 0
79.28/79.57	c ** ParaScipInstance copy increased the number of variables. **
79.38/79.65	c LC is working with racing ramp-up and with rebuilding tree after racing.
79.38/79.65	c                                Nodes    Active                                            
79.38/79.65	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
810.33/812.42	c       812              2           1         1                -           0.0000          -
853.24/855.44	c       855              3           2         1                -           0.0000          -
866.21/868.45	c       868              4           3         1                -           0.0000          -
872.80/875.08	c       875             12          11         1                -           0.0000          -
879.88/882.15	c       882             15          14         1                -           0.0000          -
908.72/911.05	c       911             17          16         1                -           0.0000          -
915.50/917.87	c       918             22          21         1                -           0.0000          -
921.38/923.78	c       924             57          54         1                -           0.0000          -
927.56/929.94	c       930             88          40         1                -           0.0000          -
976.85/979.34	c       979            122          67         1                -           0.0000          -
1003.09/1005.66	c      1006            123          68         1                -           0.0000          -
1009.07/1011.69	c      1012            144          62         1                -           0.0000          -
1021.15/1023.73	c      1024            175          12         1                -           0.0000          -
1026.44/1029.08	c      1029            187          18         1                -           0.0000          -
1031.92/1034.57	c      1035            203          19         1                -           0.0000          -
1058.15/1060.80	c      1061            209           3         1                -           0.0000          -
1078.21/1080.91	c      1081            210           4         1                -           0.0000          -
1100.65/1103.41	c      1103            211           5         1                -           0.0000          -
1106.84/1109.65	c      1110            212           6         1                -           0.0000          -
1113.23/1116.08	c      1116            214           8         1                -           0.0000          -
1120.90/1123.79	c      1124            218           7         1                -           0.0000          -
1126.69/1129.51	c      1130            220           9         1                -           0.0000          -
1132.88/1135.76	c      1136            227          13         1                -           0.0000          -
1139.56/1142.44	c      1142            243          16         1                -           0.0000          -
1233.26/1236.31	c      1236            248          21         1                -           0.0000          -
1238.85/1241.97	c      1242            260          26         1                -           0.0000          -
1244.73/1247.86	c      1248            271          20         1                -           0.0000          -
1250.93/1254.06	c      1254            280          16         1                -           0.0000          -
1256.21/1259.38	c      1259            289          19         1                -           0.0000          -
1262.69/1265.89	c      1266            300          23         1                -           0.0000          -
1267.88/1271.01	c      1271            316          22         1                -           0.0000          -
1273.87/1277.10	c      1277            325          14         1                -           0.0000          -
1279.75/1282.91	c      1283            333          16         1                -           0.0000          -
1284.94/1288.12	c      1288            339          10         1                -           0.0000          -
1289.93/1293.14	c      1293            347          10         1                -           0.0000          -
1295.81/1299.04	c      1299            354           9         1                -           0.0000          -
1301.19/1304.40	c      1304            359           9         1                -           0.0000          -
1306.79/1310.07	c      1310            364          14         1                -           0.0000          -
1312.17/1315.40	c      1315            366          16         1                -           0.0000          -
1317.86/1321.14	c      1321            377          16         1                -           0.0000          -
1349.28/1352.69	c      1353            392          14         1                -           0.0000          -
1354.38/1357.79	c      1358            395          17         1                -           0.0000          -
1360.76/1364.19	c      1364            405          16         1                -           0.0000          -
1366.54/1369.91	c      1370            413          15         1                -           0.0000          -
1373.22/1376.61	c      1377            421           9         1                -           0.0000          -
1379.31/1382.70	c      1383            428          10         1                -           0.0000          -
1385.49/1388.97	c      1389            435           9         1                -           0.0000          -
1400.36/1403.88	c      1404            442          10         1                -           0.0000          -
1413.83/1417.32	c      1417            443          11         1                -           0.0000          -
1425.00/1428.50	c      1429            444          12         1                -           0.0000          -
1434.28/1437.84	c      1438            445          13         1                -           0.0000          -
1478.68/1482.30	c      1482            446          14         1                -           0.0000          -
1483.87/1487.52	c      1488            453          13         1                -           0.0000          -
1491.15/1494.87	c      1495            456          12         1                -           0.0000          -
1497.74/1501.49	c      1502            458          14         1                -           0.0000          -
1503.22/1506.95	c      1507            461          17         1                -           0.0000          -
1508.71/1512.40	c      1512            470          15         1                -           0.0000          -
1513.80/1517.53	c      1518            476          15         1                -           0.0000          -
1523.28/1527.04	c      1527            482          15         1                -           0.0000          -
1529.65/1533.48	c      1533            484          17         1                -           0.0000          -
1534.84/1538.65	c      1539            495          14         1                -           0.0000          -
1540.44/1544.22	c      1544            497          16         1                -           0.0000          -
1546.42/1550.22	c      1550            502          21         1                -           0.0000          -
1551.91/1555.78	c      1556            510          17         1                -           0.0000          -
1557.39/1561.23	c      1561            516          16         1                -           0.0000          -
1563.08/1566.97	c      1567            520          16         1                -           0.0000          -
1569.36/1573.28	c      1573            527          21         1                -           0.0000          -
1575.65/1579.50	c      1580            541          19         1                -           0.0000          -
1582.53/1586.42	c      1586            550          18         1                -           0.0000          -
1589.42/1593.31	c      1593            555          21         1                -           0.0000          -
1596.00/1599.90	c      1600            563          20         1                -           0.0000          -
1601.68/1605.65	c      1606            569          14         1                -           0.0000          -
1607.07/1611.04	c      1611            574          16         1                -           0.0000          -
1612.16/1616.10	c      1616            579          15         1                -           0.0000          -
1618.54/1622.56	c      1623            586          14         1                -           0.0000          -
1627.13/1631.15	c      1631            589          13         1                -           0.0000          -
1632.61/1636.61	c      1637            590          14         1                -           0.0000          -
1639.39/1643.40	c      1643            592          16         1                -           0.0000          -
1644.68/1648.71	c      1649            595          19         1                -           0.0000          -
1651.06/1655.13	c      1655            603          18         1                -           0.0000          -
1657.84/1661.98	c      1662            611          17         1                -           0.0000          -
1662.94/1667.09	c      1667            614          20         1                -           0.0000          -
1668.72/1672.88	c      1673            620          18         1                -           0.0000          -
1676.80/1680.94	c      1681            628          17         1                -           0.0000          -
1683.98/1688.15	c      1688            630          19         1                -           0.0000          -
1689.76/1693.92	c      1694            634          20         1                -           0.0000          -
1697.34/1701.59	c      1702            640          18         1                -           0.0000          -
1703.33/1707.50	c      1708            645          20         1                -           0.0000          -
1711.62/1715.85	c      1716            651          17         1                -           0.0000          -
1717.80/1722.04	c      1722            653          19         1                -           0.0000          -
1723.48/1727.74	c      1728            658          19         1                -           0.0000          -
1729.76/1734.00	c      1734            666          16         1                -           0.0000          -
1736.64/1740.91	c      1741            672          16         1                -           0.0000          -
1742.53/1746.81	c      1747            676          16         1                -           0.0000          -
1748.41/1752.79	c      1753            681          15         1                -           0.0000          -
1754.40/1758.78	c      1759            685          16         1                -           0.0000          -
1759.49/1763.86	c      1764            691          13         1                -           0.0000          -
1765.57/1769.98	c      1770            698          14         1                -           0.0000          -
1773.56/1777.94	c      1778            701          13         1                -           0.0000          -
1779.65/1784.02	c      1784            703          15         1                -           0.0000          -
1785.53/1789.91	c      1790            706          18         1                -           0.0000          -
1791.42/1795.85	c      1796            712          19         1                -           0.0000          -
1798.20/1802.63	c      1803            716          17         1                -           0.0000          -
1803.88/1808.37	c      1808            719          20         1                -           0.0000          -
1810.16/1814.64	c      1815            730          20         1                -           0.0000          -
1815.46/1819.96	c      1820            732          19         1                -           0.0000          -
1822.65/1827.15	c      1827            734          21         1                -           0.0000          -
1828.43/1832.97	c      1833            740          20         1                -           0.0000          -
1833.91/1838.45	c      1838            745          19         1                -           0.0000          -
1839.40/1843.98	c      1844            749          17         1                -           0.0000          -
1845.38/1849.96	c      1850            751          19         1                -           0.0000          -
1852.47/1857.05	c      1857            756          20         1                -           0.0000          -
1858.05/1862.65	c      1863            759          23         1                -           0.0000          -
1864.64/1869.27	c      1869            763          24         1                -           0.0000          -
1871.63/1876.28	c      1876            769          21         1                -           0.0000          -
1877.71/1882.32	c      1882            775          21         1                -           0.0000          -
1883.89/1888.57	c      1889            780          20         1                -           0.0000          -
1890.28/1894.93	c      1895            784          21         1                -           0.0000          -
1896.16/1900.85	c      1901            789          19         1                -           0.0000          -
1902.55/1907.28	c      1907            794          18         1                -           0.0000          -
1911.23/1915.97	c      1916            801          16         1                -           0.0000          -
1918.01/1922.78	c      1923            804          19         1                -           0.0000          -
1924.49/1929.26	c      1929            809          19         1                -           0.0000          -
1931.28/1936.02	c      1936            816          18         1                -           0.0000          -
1937.56/1942.33	c      1942            822          14         1                -           0.0000          -
1943.94/1948.73	c      1949            828          11         1                -           0.0000          -
1949.83/1954.66	c      1955            831          10         1                -           0.0000          -
1955.11/1959.95	c      1960            833           9         1                -           0.0000          -
1961.21/1966.02	c      1966            834          10         1                -           0.0000          -
1966.49/1971.37	c      1971            836          12         1                -           0.0000          -
1975.17/1980.08	c      1980            844          10         1                -           0.0000          -
1981.15/1986.10	c      1986            847          11         1                -           0.0000          -
1986.34/1991.23	c      1991            851          10         1                -           0.0000          -
1991.72/1996.60	c      1997            854          11         1                -           0.0000          -
1999.11/2004.05	c      2004            859           9         1                -           0.0000          -
2004.90/2009.82	c      2010            867          13         1                -           0.0000          -
2011.28/2016.24	c      2016            878          14         1                -           0.0000          -
2023.45/2028.42	c      2028            882          10         1                -           0.0000          -
2030.23/2035.27	c      2035            884          12         1                -           0.0000          -
2036.12/2041.18	c      2041            887          15         1                -           0.0000          -
2042.19/2047.28	c      2047            893          17         1                -           0.0000          -
2047.59/2052.61	c      2053            901          17         1                -           0.0000          -
2053.47/2058.52	c      2059            908          16         1                -           0.0000          -
2059.06/2064.17	c      2064            915          16         1                -           0.0000          -
2064.84/2069.99	c      2070            921          11         1                -           0.0000          -
2071.13/2076.27	c      2076            927          15         1                -           0.0000          -
2088.38/2093.51	c      2094            932          18         1                -           0.0000          -
2093.87/2099.02	c      2099            935          21         1                -           0.0000          -
2099.55/2104.79	c      2105            941          16         1                -           0.0000          -
2112.62/2117.89	c      2118            946           8         1                -           0.0000          -
2126.79/2132.05	c      2132            947           9         1                -           0.0000          -
2141.45/2146.72	c      2147            948          10         1                -           0.0000          -
2154.21/2159.59	c      2160            949          11         1                -           0.0000          -
2165.18/2170.51	c      2171            950          12         1                -           0.0000          -
2170.77/2176.17	c      2176            951          13         1                -           0.0000          -
2177.65/2183.05	c      2183            953          15         1                -           0.0000          -
2182.93/2188.33	c      2188            955          17         1                -           0.0000          -
2189.72/2195.13	c      2195            957          19         1                -           0.0000          -
2211.37/2216.82	c      2217            958          20         1                -           0.0000          -
2219.15/2224.69	c      2225            961          20         1                -           0.0000          -
2224.93/2230.44	c      2230            963          22         1                -           0.0000          -
2230.32/2235.87	c      2236            970          22         1                -           0.0000          -
2241.59/2247.19	c      2247            972          21         1                -           0.0000          -
2248.97/2254.58	c      2255            973          22         1                -           0.0000          -
2255.85/2261.43	c      2261            974          23         1                -           0.0000          -
2434.49/2440.42	c      2440            976          24         1                -           0.0000          -
2439.78/2445.76	c      2446            980          25         1                -           0.0000          -
2445.76/2451.71	c      2452            984          27         1                -           0.0000          -
2471.02/2477.10	c      2477            985          28         1                -           0.0000          -
2477.39/2483.45	c      2483            989          32         1                -           0.0000          -
2483.98/2490.02	c      2490            995          34         1                -           0.0000          -
2489.46/2495.53	c      2496           1000          29         1                -           0.0000          -
2495.14/2501.21	c      2501           1003          22         1                -           0.0000          -
2500.43/2506.51	c      2507           1010          19         1                -           0.0000          -
2507.61/2513.70	c      2514           1013          15         1                -           0.0000          -
2514.60/2520.75	c      2521           1018          15         1                -           0.0000          -
2520.58/2526.72	c      2527           1022          14         1                -           0.0000          -
2526.87/2533.01	c      2533           1024          16         1                -           0.0000          -
2533.25/2539.49	c      2540           1029          19         1                -           0.0000          -
2540.63/2546.80	c      2547           1034          14         1                -           0.0000          -
2545.61/2551.86	c      2552           1036          16         1                -           0.0000          -
2556.59/2562.83	c      2563           1042          15         1                -           0.0000          -
2564.77/2571.02	c      2571           1044          17         1                -           0.0000          -
2571.55/2577.82	c      2578           1048          17         1                -           0.0000          -
2578.23/2584.58	c      2585           1052          18         1                -           0.0000          -
2584.01/2590.30	c      2590           1056          19         1                -           0.0000          -
2590.01/2596.39	c      2596           1063          16         1                -           0.0000          -
2596.69/2603.08	c      2603           1066          15         1                -           0.0000          -
2602.97/2609.39	c      2609           1068          13         1                -           0.0000          -
2608.35/2614.80	c      2615           1070          15         1                -           0.0000          -
2614.74/2621.16	c      2621           1076          16         1                -           0.0000          -
2621.51/2627.94	c      2628           1085          17         1                -           0.0000          -
2627.70/2634.17	c      2634           1091          13         1                -           0.0000          -
2634.09/2640.57	c      2641           1098          16         1                -           0.0000          -
2640.27/2646.77	c      2647           1108          13         1                -           0.0000          -
2650.94/2657.43	c      2657           1120          12         1                -           0.0000          -
2657.33/2663.88	c      2664           1122          14         1                -           0.0000          -
2663.01/2669.52	c      2670           1125          14         1                -           0.0000          -
2669.89/2676.45	c      2676           1129          12         1                -           0.0000          -
2675.37/2681.99	c      2682           1131          14         1                -           0.0000          -
2681.76/2688.30	c      2688           1135          13         1                -           0.0000          -
2687.64/2694.27	c      2694           1140          18         1                -           0.0000          -
2700.42/2707.09	c      2707           1142          20         1                -           0.0000          -
2707.60/2714.27	c      2714           1157          23         1                -           0.0000          -
2713.78/2720.49	c      2720           1161          27         1                -           0.0000          -
2727.85/2734.56	c      2735           1164          28         1                -           0.0000          -
2733.54/2740.26	c      2740           1168          32         1                -           0.0000          -
2893.31/2900.38	c      2900           1172          23         1                -           0.0000          -
2899.90/2906.99	c      2907           1177          12         1                -           0.0000          -
2906.08/2913.14	c      2913           1180          11         1                -           0.0000          -
2912.16/2919.25	c      2919           1190          15         1                -           0.0000          -
2920.94/2928.06	c      2928           1192          14         1                -           0.0000          -
2929.22/2936.30	c      2936           1193          15         1                -           0.0000          -
2936.50/2943.62	c      2944           1195          17         1                -           0.0000          -
2948.47/2955.67	c      2956           1196          18         1                -           0.0000          -
2954.26/2961.41	c      2961           1209          18         1                -           0.0000          -
2960.74/2967.94	c      2968           1220          18         1                -           0.0000          -
2967.24/2974.42	c      2974           1232          17         1                -           0.0000          -
2972.22/2979.49	c      2980           1246          16         1                -           0.0000          -
2977.51/2984.74	c      2985           1251          12         1                -           0.0000          -
2982.90/2990.15	c      2990           1257          12         1                -           0.0000          -
2988.58/2995.87	c      2996           1262          14         1                -           0.0000          -
2995.66/3002.94	c      3003           1266          11         1                -           0.0000          -
3001.75/3009.10	c      3009           1269          12         1                -           0.0000          -
3007.43/3014.71	c      3015           1275          13         1                -           0.0000          -
3014.22/3021.57	c      3022           1278          12         1                -           0.0000          -
3020.30/3027.60	c      3028           1282          16         1                -           0.0000          -
3026.39/3033.77	c      3034           1286          20         1                -           0.0000          -
3032.57/3039.93	c      3040           1291          21         1                -           0.0000          -
3039.25/3046.61	c      3047           1297          19         1                -           0.0000          -
3045.24/3052.68	c      3053           1301          19         1                -           0.0000          -
3051.12/3058.58	c      3059           1304          12         1                -           0.0000          -
3058.10/3065.52	c      3066           1308          13         1                -           0.0000          -
3068.68/3076.12	c      3076           1312          11         1                -           0.0000          -
3074.56/3082.02	c      3082           1313          12         1                -           0.0000          -
3081.14/3088.61	c      3089           1315          14         1                -           0.0000          -
3086.53/3094.02	c      3094           1320          14         1                -           0.0000          -
3093.01/3100.53	c      3101           1326          11         1                -           0.0000          -
3099.50/3107.05	c      3107           1329          14         1                -           0.0000          -
3106.38/3113.92	c      3114           1332          14         1                -           0.0000          -
3113.76/3121.34	c      3121           1335          15         1                -           0.0000          -
3119.14/3126.76	c      3127           1339          17         1                -           0.0000          -
3125.13/3132.74	c      3133           1343          15         1                -           0.0000          -
3132.42/3140.05	c      3140           1349          11         1                -           0.0000          -
3137.51/3145.16	c      3145           1353          12         1                -           0.0000          -
3142.79/3150.43	c      3150           1357          10         1                -           0.0000          -
3148.57/3156.28	c      3156           1360          13         1                -           0.0000          -
3154.96/3162.63	c      3163           1365          15         1                -           0.0000          -
3160.35/3168.00	c      3168           1370          15         1                -           0.0000          -
3166.43/3174.12	c      3174           1375          11         1                -           0.0000          -
3184.68/3192.43	c      3192           1380           9         1                -           0.0000          -
3197.85/3205.63	c      3206           1381          10         1                -           0.0000          -
3207.82/3215.65	c      3216           1382          11         1                -           0.0000          -
3215.40/3223.23	c      3223           1383          12         1                -           0.0000          -
3221.09/3228.96	c      3229           1385          14         1                -           0.0000          -
3227.47/3235.38	c      3235           1396          15         1                -           0.0000          -
3232.86/3240.72	c      3241           1402          17         1                -           0.0000          -
3239.04/3246.95	c      3247           1413          16         1                -           0.0000          -
3247.42/3255.36	c      3255           1422          15         1                -           0.0000          -
3267.97/3275.91	c      3276           1426          19         1                -           0.0000          -
3273.46/3281.43	c      3281           1441          18         1                -           0.0000          -
3279.46/3287.41	c      3287           1450          17         1                -           0.0000          -
3285.54/3293.54	c      3294           1463          12         1                -           0.0000          -
3292.52/3300.50	c      3301           1473          12         1                -           0.0000          -
3301.80/3309.81	c      3310           1484          11         1                -           0.0000          -
3308.18/3316.26	c      3316           1487          14         1                -           0.0000          -
3313.37/3321.45	c      3321           1492          14         1                -           0.0000          -
3319.75/3327.84	c      3328           1500          12         1                -           0.0000          -
3325.94/3334.07	c      3334           1507          11         1                -           0.0000          -
3331.82/3339.98	c      3340           1514          13         1                -           0.0000          -
3337.41/3345.54	c      3346           1518          13         1                -           0.0000          -
3343.00/3351.10	c      3351           1524          11         1                -           0.0000          -
3350.07/3358.28	c      3358           1529          10         1                -           0.0000          -
3356.46/3364.65	c      3365           1539          10         1                -           0.0000          -
3362.24/3370.42	c      3370           1545          14         1                -           0.0000          -
3367.43/3375.63	c      3376           1553          12         1                -           0.0000          -
3373.22/3381.48	c      3381           1560          12         1                -           0.0000          -
3379.20/3387.44	c      3387           1570          11         1                -           0.0000          -
3395.96/3404.27	c      3404           1579           9         1                -           0.0000          -
3409.83/3418.18	c      3418           1580          10         1                -           0.0000          -
3419.60/3427.98	c      3428           1581          11         1                -           0.0000          -
3425.69/3434.00	c      3434           1588          13         1                -           0.0000          -
3431.27/3439.68	c      3440           1600          18         1                -           0.0000          -
3436.66/3445.08	c      3445           1602          17         1                -           0.0000          -
3442.54/3450.90	c      3451           1621          16         1                -           0.0000          -
3447.63/3456.00	c      3456           1637          11         1                -           0.0000          -
3453.11/3461.56	c      3462           1641          12         1                -           0.0000          -
3460.20/3468.69	c      3469           1649          13         1                -           0.0000          -
3467.68/3476.14	c      3476           1652          13         1                -           0.0000          -
3473.26/3481.78	c      3482           1654          15         1                -           0.0000          -
3497.52/3506.05	c      3506           1656          17         1                -           0.0000          -
3503.10/3511.62	c      3512           1661          19         1                -           0.0000          -
3508.88/3517.50	c      3518           1671          15         1                -           0.0000          -
3514.17/3522.75	c      3523           1677          16         1                -           0.0000          -
3520.06/3528.64	c      3529           1684          18         1                -           0.0000          -
3525.74/3534.38	c      3534           1693          17         1                -           0.0000          -
3532.22/3540.89	c      3541           1698          13         1                -           0.0000          -
3538.11/3546.79	c      3547           1702          13         1                -           0.0000          -
3546.19/3554.81	c      3555           1708          10         1                -           0.0000          -
3552.07/3560.78	c      3561           1712          12         1                -           0.0000          -
3557.26/3565.98	c      3566           1717          11         1                -           0.0000          -
3563.24/3571.96	c      3572           1722          11         1                -           0.0000          -
3576.01/3584.79	c      3585           1729           9         1                -           0.0000          -
3581.99/3590.79	c      3591           1731          11         1                -           0.0000          -
3588.88/3597.69	c      3598           1738          15         1                -           0.0000          -
3591.47/3600.28	c SCIP Status        : c solving was interrupted [hard time limit reached]
3591.47/3600.28	c Total Time         : 3600.2700
3591.47/3600.28	c   solving          : 3600.2700
3591.47/3600.28	c   presolving       : 79.0671 (included in solving)
3591.47/3600.28	c B&B Tree           :
3591.47/3600.28	c   nodes (total)    : 1
3591.47/3600.28	c Solution           :
3591.47/3600.28	c   Solutions found  : 0
3591.47/3600.28	c   Primal Bound     :          -
3591.47/3600.28	c   Dual Bound       : +0.00000000000000e+00
3591.47/3600.28	c Gap                :          -
3591.68/3600.46	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 (61326 MiB free)
  memory of node 1: 64473 MiB (62878 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4441640-1721294243/watcher-4441640-1721294243 -o /tmp/evaluation-result-4441640-1721294243/solver-4441640-1721294243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4441640-1721294243.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=950219, runsolver pid=950216

[startup+0.100952 s]*
/proc/loadavg: 1.14 2.08 3.17 4/255 950230
/proc/meminfo: memFree=127100488/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=73016 memory=61140 CPUtime=0.09 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 13193 0 0 0 8 1 0 0 20 0 1 0 181593264 74768384 15285 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 18254 15285 2318 3032 0 14654 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73016 KiB
Current children cumulated memory: 61140 KiB

[startup+0.205474 s]*
/proc/loadavg: 1.14 2.08 3.17 4/254 950234
/proc/meminfo: memFree=127000320/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=121456 memory=106408 CPUtime=0.2 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 24486 0 0 0 18 2 0 0 20 0 1 0 181593264 124370944 26602 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 30364 26602 2318 3032 0 26764 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121456 KiB
Current children cumulated memory: 106408 KiB

[startup+0.305311 s]*
/proc/loadavg: 1.14 2.08 3.17 4/254 950244
/proc/meminfo: memFree=126885784/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=195372 memory=184268 CPUtime=0.3 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 44346 0 0 0 25 5 0 0 20 0 1 0 181593264 200060928 46067 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 48843 46067 2542 3032 0 45243 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 195372 KiB
Current children cumulated memory: 184268 KiB

[startup+0.700246 s]
/proc/loadavg: 1.45 2.12 3.18 5/251 950266
/proc/meminfo: memFree=126705480/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=309664 memory=292336 CPUtime=0.69 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 68771 0 0 0 60 9 0 0 20 0 1 0 181593264 317095936 73084 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 77416 73084 2622 3032 0 73816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 309664 KiB
Current children cumulated memory: 292336 KiB

[startup+1.50024 s]
/proc/loadavg: 1.45 2.12 3.18 5/257 950276
/proc/meminfo: memFree=126321400/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342152 CPUtime=1.48 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78569 0 0 0 137 11 0 0 20 0 1 0 181593264 366747648 85538 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85538 2654 3032 0 85938 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342152 KiB

[startup+3.10597 s]
/proc/loadavg: 1.45 2.12 3.18 4/254 950292
/proc/meminfo: memFree=126182932/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342152 CPUtime=3.08 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78592 0 0 0 297 11 0 0 20 0 1 0 181593264 366747648 85538 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85538 2654 3032 0 85938 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342152 KiB

[startup+6.30022 s]
/proc/loadavg: 1.65 2.16 3.18 5/257 950325
/proc/meminfo: memFree=125757140/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342444 CPUtime=6.27 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78616 0 0 0 615 12 0 0 20 0 1 0 181593264 366747648 85611 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85611 2702 3032 0 85938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342444 KiB

[startup+12.7002 s]
/proc/loadavg: 1.92 2.20 3.19 5/257 950325
/proc/meminfo: memFree=125756260/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342444 CPUtime=12.65 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78640 0 0 0 1253 12 0 0 20 0 1 0 181593264 366747648 85611 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85611 2702 3032 0 85938 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342444 KiB

[startup+25.5002 s]
/proc/loadavg: 2.24 2.26 3.20 5/259 950330
/proc/meminfo: memFree=125655520/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342444 CPUtime=25.42 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78664 0 0 0 2529 13 0 0 20 0 1 0 181593264 366747648 85611 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85611 2702 3032 0 85938 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342444 KiB

[startup+51.1059 s]
/proc/loadavg: 3.06 2.46 3.24 5/259 950333
/proc/meminfo: memFree=125489836/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=358152 memory=342444 CPUtime=50.96 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 78699 0 0 0 5083 13 0 0 20 0 1 0 181593264 366747648 85611 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 89538 85611 2702 3032 0 85938 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 358152 KiB
Current children cumulated memory: 342444 KiB

[startup+102.3 s]
/proc/loadavg: 3.66 2.72 3.28 5/263 950346
/proc/meminfo: memFree=124633628/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=816852 memory=687696 CPUtime=101.91 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 303446 0 0 0 10156 35 0 0 20 0 3 0 181593264 836456448 171924 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 204213 171924 2798 3032 0 190406 0
[pid=950219/tid=950342] ppid=950216 vsize=816852 memory=682108 CPUtime=22.55 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 176202 0 0 0 2240 15 0 0 20 0 3 0 181601212 836456448 171924 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=816852 memory=687628 CPUtime=0 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 181601230 836456448 171924 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 816852 KiB
Current children cumulated memory: 687696 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.97 3.34 5/267 950362
/proc/meminfo: memFree=123266064/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1147212 memory=1023928 CPUtime=161.77 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 564253 0 0 0 16120 57 0 0 20 0 3 0 181593264 1174745088 255982 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 286803 255982 2942 3032 0 275027 0
[pid=950219/tid=950342] ppid=950216 vsize=1147212 memory=682108 CPUtime=82.41 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 436986 0 0 0 8204 37 0 0 20 0 3 0 181601212 1174745088 255982 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1147212 memory=5500 CPUtime=0 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 181601230 1174745088 255982 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1147212 KiB
Current children cumulated memory: 1023928 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 3.17 3.39 5/267 950608
/proc/meminfo: memFree=124302248/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1147212 memory=1025968 CPUtime=221.62 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 640077 0 0 0 22101 61 0 0 20 0 3 0 181593264 1174745088 256492 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 286803 256492 2942 3032 0 275027 0
[pid=950219/tid=950342] ppid=950216 vsize=1147212 memory=1025968 CPUtime=142.26 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 512795 0 0 0 14185 41 0 0 20 0 3 0 181601212 1174745088 256492 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1147212 memory=44880 CPUtime=0 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 181601230 1174745088 256492 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1147212 KiB
Current children cumulated memory: 1025968 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.34 3.43 5/265 950665
/proc/meminfo: memFree=124465000/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1147212 memory=1029660 CPUtime=281.47 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 707962 0 0 0 28082 65 0 0 20 0 3 0 181593264 1174745088 257415 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 286803 257415 2942 3032 0 275027 0
[pid=950219/tid=950342] ppid=950216 vsize=1147212 memory=12088 CPUtime=202.11 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 580670 0 0 0 20166 45 0 0 20 0 3 0 181601212 1174745088 257415 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1147212 memory=1029656 CPUtime=0 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 181601230 1174745088 257415 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1147212 KiB
Current children cumulated memory: 1029660 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.49 3.48 5/265 950676
/proc/meminfo: memFree=124451448/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1147212 memory=1033768 CPUtime=341.32 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 806250 0 0 0 34062 70 0 0 20 0 3 0 181593264 1174745088 258442 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 286803 258442 2942 3032 0 275027 0
[pid=950219/tid=950342] ppid=950216 vsize=1147212 memory=12088 CPUtime=261.96 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 678950 0 0 0 26146 50 0 0 20 0 3 0 181601212 1174745088 258442 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1147212 memory=1033612 CPUtime=0 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 181601230 1174745088 258442 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0

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

[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3394.07 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1459294 0 0 0 339277 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=44880 CPUtime=3314.61 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1330616 0 0 0 331357 104 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=6720666532348706674 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 398 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 952434
/proc/meminfo: memFree=123422808/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3453.91 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1461092 0 0 0 345261 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=44880 CPUtime=3374.45 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1332371 0 0 0 337341 104 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=1325600 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 402 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3453.91 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.10 4.08 5/263 952444
/proc/meminfo: memFree=123412952/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3513.77 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1463010 0 0 0 351247 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3434.31 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1334258 0 0 0 343327 104 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=1325600 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 409 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 952454
/proc/meminfo: memFree=123384788/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3573.61 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465077 0 0 0 357231 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=12512 CPUtime=3494.16 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1336303 0 0 0 349311 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=25944 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 411 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

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

# cumulated CPU time of all completed processes:  user=3590.43 s, system=1.32371 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.09 5/263 952454
/proc/meminfo: memFree=123380692/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3575.31 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465077 0 0 0 357401 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=6720662151549173614 CPUtime=3495.86 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1336303 0 0 0 349481 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=7968730903424047769 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 411 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3575.31 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 952455
/proc/meminfo: memFree=123380640/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3581.69 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465108 0 0 0 358039 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=12088 CPUtime=3502.24 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1336334 0 0 0 350119 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=12088 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 411 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3581.69 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 952459
/proc/meminfo: memFree=123372956/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3588.08 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465720 0 0 0 358678 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=44880 CPUtime=3508.62 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1336942 0 0 0 350757 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=129 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 413 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3598.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 952459
/proc/meminfo: memFree=123372956/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3589.67 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465722 0 0 0 358837 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3510.22 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1336944 0 0 0 350917 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=25944 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 413 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3599.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 952459
/proc/meminfo: memFree=123372956/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3590.47 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465800 0 0 0 358917 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=44880 CPUtime=3511.02 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1337022 0 0 0 350997 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=12512 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 413 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3590.47 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3600 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 952459
/proc/meminfo: memFree=123372928/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1456332 memory=1325600 CPUtime=3591.27 cores=4,6
/proc/950219/stat : 950219 (fscip) S 950216 950219 950155 0 -1 1077936128 1465802 0 0 0 358997 130 0 0 20 0 3 0 181593264 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 364083 331400 2990 3032 0 347752 0
[pid=950219/tid=950342] ppid=950216 vsize=1456332 memory=6720662151549173614 CPUtime=3511.82 cores=4,6
/proc/950219/task/950342/stat : 950342 (fscip) R 950216 950219 950155 0 -1 4194368 1337022 0 0 0 351077 105 0 0 20 0 3 0 181601212 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
[pid=950219/tid=950343] ppid=950216 vsize=1456332 memory=7968730903424047769 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 413 0 0 0 0 3 0 0 20 0 3 0 181601230 1491283968 331400 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3591.27 s
Current children cumulated vsize: 1456332 KiB
Current children cumulated memory: 1325600 KiB

[startup+3600.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 952459
/proc/meminfo: memFree=123372928/131524600 swapFree=131071996/131071996
[pid=950219] ppid=950216 vsize=1340084 memory=1230696 CPUtime=3591.68 cores=4,6
/proc/950219/stat : 950219 (fscip) R 950216 950219 950155 0 -1 4194304 1469261 0 0 0 359037 131 0 0 20 0 2 0 181593264 1372246016 307674 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
/proc/950219/statm: 335021 307674 2990 3032 0 329453 0
[pid=950219/tid=950343] ppid=950216 vsize=1340084 memory=32872 CPUtime=0.03 cores=4,6
/proc/950219/task/950343/stat : 950343 (fscip) S 950216 950219 950155 0 -1 1077936192 413 0 0 0 0 3 0 0 20 0 2 0 181601230 1372246016 307674 134679101440 4194304 16613245 140728420435760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56033280 140728420443156 140728420443272 140728420443272 140728420450288 0
Current children cumulated CPU time: 3591.68 s
Current children cumulated vsize: 1340084 KiB
Current children cumulated memory: 1230696 KiB

Child status: 0

Real time (s): 3600.47
CPU time (s): 3591.75
CPU user time (s): 3590.43
CPU system time (s): 1.32371
CPU usage (%): 99.7579
Max. virtual memory (cumulated for all children) (KiB): 1456332
Max. memory (cumulated for all children) (KiB): 1325600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.43
system time used= 1.32371
maximum resident set size= 1325600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1475254
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= 5420
involuntary context switches= 1406


# summary of solver processes directly reported to runsolver:
#   pid: 950219
#   total CPU time (s): 3591.75
#   total CPU user time (s): 3590.43
#   total CPU system time (s): 1.32371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1089 second user time and 16.8492 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-18 11:17:36
IDJOB=4441640
IDBENCH=147734
IDSOLVER=3064
FILE ID=nodeC032/4441640-1721294243
RUNJOBID= nodeC032-1721294255-950166
SLURM_JOB_ID= 7542614
Free space on /tmp= 890020 MiB

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

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

MD5SUM BENCH= c8aab35d42bad0d90391f6d533654bf0
RANDOM SEED=1718401176

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127206476 kB
MemAvailable:   129675744 kB
Buffers:          482216 kB
Cached:          2803300 kB
SwapCached:            0 kB
Active:           918792 kB
Inactive:        2745260 kB
Active(anon):       1468 kB
Inactive(anon):   415140 kB
Active(file):     917324 kB
Inactive(file):  2330120 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            123492 kB
Writeback:             8 kB
AnonPages:        378988 kB
Mapped:           125820 kB
Shmem:             37720 kB
KReclaimable:     123296 kB
Slab:             239376 kB
SReclaimable:     123296 kB
SUnreclaim:       116080 kB
KernelStack:        3860 kB
PageTables:        10124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     825400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68960 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      226004 kB
DirectMap2M:    21567488 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC032 at 2024-07-18 12:17:36