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.10/0.11 c Default LC presolving (default).
0.10/0.11 c ** Before presolving: virtualMemUsedAtLc = 53301248, getVmSize() = 53301248, SCIPgetMemUsed() = 26059066, SCIPgetMemTotal() = 30935994, SCIPgetMemExternEstim() = 14058588
0.10/0.11 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
8.35/8.42 c ** Estimated virtualMemUsedAtSolver = 93568852, getVmSize() = 151547904, SCIPgetMemUsed() = 91020626, SCIPgetMemTotal() = 126294690, SCIPgetMemExternEstim() = 14058588
8.35/8.42 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
8.35/8.42 c Original Problem :
8.35/8.42 c Problem name : instance-4464474-1722385793
8.35/8.42 c Variables : 7208 (7208 binary, 0 integer, 0 implicit integer, 0 continuous)
8.35/8.42 c Constraints : 7422
8.35/8.42 c Objective sense : minimize
8.35/8.42 c Presolved Problem :
8.35/8.42 c Variables : 6451 (6451 binary, 0 integer, 0 implicit integer, 0 continuous)
8.35/8.42 c Constraints : 6623
8.35/8.42 c Constraints : Number
8.35/8.42 c knapsack : 1
8.35/8.42 c setppc : 1405
8.35/8.42 c orbitope : 3
8.35/8.42 c logicor : 5214
8.35/8.42 c ** Instance transfer method used: 0
8.35/8.43 c ** ParaScipInstance copy increased the number of variables. **
8.35/8.47 c LC is working with racing ramp-up and with rebuilding tree after racing.
8.35/8.47 c Nodes Active
8.35/8.47 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
134.83/135.30 c 135 2 1 1 - 0.0000 -
140.62/141.14 c 141 4 3 1 - 0.0000 -
151.97/152.58 c 153 12 9 1 - 0.0000 -
159.34/159.95 c 160 15 12 1 - 0.0000 -
166.43/167.07 c 167 17 14 1 - 0.0000 -
172.10/172.74 c 173 22 15 1 - 0.0000 -
178.57/179.22 c 179 33 14 1 - 0.0000 -
183.86/184.55 c 185 36 15 1 - 0.0000 -
190.23/190.93 c 191 41 12 1 - 0.0000 -
197.82/198.59 c 199 43 14 1 - 0.0000 -
226.62/227.47 c 227 44 15 1 - 0.0000 -
248.34/249.24 c 249 50 19 1 - 0.0000 -
266.28/267.25 c 267 53 22 1 - 0.0000 -
273.95/274.90 c 275 55 24 1 - 0.0000 -
304.65/305.73 c 306 56 25 1 - 0.0000 -
314.93/316.01 c 316 58 27 1 - 0.0000 -
454.28/455.87 c 456 59 28 1 - 0.0000 -
462.36/463.98 c 464 60 29 1 - 0.0000 -
482.09/483.73 c 484 62 31 1 - 0.0000 -
487.58/489.29 c 489 64 33 1 - 0.0000 -
495.95/497.68 c 498 66 33 1 - 0.0000 -
505.12/506.85 c 507 68 34 1 - 0.0000 -
511.20/512.98 c 513 70 36 1 - 0.0000 -
522.27/524.03 c 524 72 38 1 - 0.0000 -
528.84/530.63 c 531 74 40 1 - 0.0000 -
542.79/544.60 c 545 75 41 1 - 0.0000 -
561.72/563.64 c 564 78 44 1 - 0.0000 -
606.87/608.96 c 609 82 48 1 - 0.0000 -
620.22/622.39 c 622 85 51 1 - 0.0000 -
626.91/629.10 c 629 87 53 1 - 0.0000 -
644.34/646.59 c 647 88 54 1 - 0.0000 -
650.52/652.71 c 653 91 57 1 - 0.0000 -
668.66/670.93 c 671 92 58 1 - 0.0000 -
674.74/677.04 c 677 97 59 1 - 0.0000 -
679.73/682.10 c 682 99 61 1 - 0.0000 -
685.71/688.03 c 688 102 62 1 - 0.0000 -
702.34/704.79 c 705 103 63 1 - 0.0000 -
713.91/716.35 c 716 106 66 1 - 0.0000 -
721.08/723.51 c 724 109 67 1 - 0.0000 -
727.26/729.78 c 730 112 66 1 - 0.0000 -
732.85/735.32 c 735 118 68 1 - 0.0000 -
746.21/748.74 c 749 122 70 1 - 0.0000 -
751.99/754.53 c 755 127 71 1 - 0.0000 -
757.37/759.94 c 760 129 73 1 - 0.0000 -
762.65/765.28 c 765 133 73 1 - 0.0000 -
770.54/773.12 c 773 137 75 1 - 0.0000 -
775.81/778.48 c 778 139 77 1 - 0.0000 -
790.96/793.66 c 794 140 78 1 - 0.0000 -
796.04/798.76 c 799 142 80 1 - 0.0000 -
817.56/820.37 c 820 143 81 1 - 0.0000 -
829.11/831.94 c 832 147 81 1 - 0.0000 -
838.68/841.59 c 842 150 84 1 - 0.0000 -
850.74/853.63 c 854 153 87 1 - 0.0000 -
862.79/865.71 c 866 159 91 1 - 0.0000 -
870.86/873.87 c 874 164 92 1 - 0.0000 -
877.65/880.67 c 881 165 93 1 - 0.0000 -
895.69/898.77 c 899 168 96 1 - 0.0000 -
905.07/908.15 c 908 172 100 1 - 0.0000 -
927.78/930.91 c 931 175 101 1 - 0.0000 -
944.85/948.08 c 948 178 104 1 - 0.0000 -
951.22/954.47 c 954 181 105 1 - 0.0000 -
957.50/960.78 c 961 182 106 1 - 0.0000 -
963.58/966.80 c 967 185 107 1 - 0.0000 -
1007.65/1011.05 c 1011 188 110 1 - 0.0000 -
1013.73/1017.16 c 1017 190 112 1 - 0.0000 -
1026.78/1030.24 c 1030 192 114 1 - 0.0000 -
1106.48/1110.29 c 1110 195 115 1 - 0.0000 -
1113.37/1117.18 c 1117 201 119 1 - 0.0000 -
1130.90/1134.70 c 1135 205 121 1 - 0.0000 -
1138.97/1142.87 c 1143 208 124 1 - 0.0000 -
1144.16/1148.07 c 1148 211 125 1 - 0.0000 -
1153.01/1156.90 c 1157 212 126 1 - 0.0000 -
1172.15/1176.19 c 1176 217 127 1 - 0.0000 -
1179.51/1183.54 c 1184 225 125 1 - 0.0000 -
1185.59/1189.65 c 1190 232 128 1 - 0.0000 -
1191.17/1195.27 c 1195 237 129 1 - 0.0000 -
1206.81/1210.99 c 1211 243 133 1 - 0.0000 -
1212.10/1216.21 c 1216 249 131 1 - 0.0000 -
1217.48/1221.61 c 1222 252 132 1 - 0.0000 -
1224.75/1228.98 c 1229 253 133 1 - 0.0000 -
1229.84/1234.07 c 1234 256 136 1 - 0.0000 -
1238.10/1242.36 c 1242 263 135 1 - 0.0000 -
1243.28/1247.54 c 1248 271 133 1 - 0.0000 -
1250.35/1254.64 c 1255 277 135 1 - 0.0000 -
1258.02/1262.34 c 1262 282 134 1 - 0.0000 -
1263.90/1268.21 c 1268 290 134 1 - 0.0000 -
1273.78/1278.12 c 1278 295 135 1 - 0.0000 -
1280.84/1285.22 c 1285 299 137 1 - 0.0000 -
1286.74/1291.14 c 1291 305 139 1 - 0.0000 -
1297.10/1301.54 c 1302 314 140 1 - 0.0000 -
1302.38/1306.88 c 1307 324 140 1 - 0.0000 -
1307.57/1312.02 c 1312 330 138 1 - 0.0000 -
1312.74/1317.24 c 1317 335 139 1 - 0.0000 -
1322.81/1327.37 c 1327 339 139 1 - 0.0000 -
1328.68/1333.24 c 1333 343 139 1 - 0.0000 -
1333.76/1338.33 c 1338 349 139 1 - 0.0000 -
1339.14/1343.77 c 1344 355 139 1 - 0.0000 -
1344.33/1348.96 c 1349 358 138 1 - 0.0000 -
1358.67/1363.35 c 1363 362 140 1 - 0.0000 -
1363.76/1368.44 c 1368 364 142 1 - 0.0000 -
1369.35/1374.08 c 1374 367 145 1 - 0.0000 -
1375.51/1380.23 c 1380 368 146 1 - 0.0000 -
1380.80/1385.56 c 1386 370 148 1 - 0.0000 -
1388.38/1393.17 c 1393 372 150 1 - 0.0000 -
1395.94/1400.72 c 1401 375 153 1 - 0.0000 -
1402.11/1407.01 c 1407 380 158 1 - 0.0000 -
1407.99/1412.88 c 1413 385 161 1 - 0.0000 -
1414.47/1419.34 c 1419 392 162 1 - 0.0000 -
1420.05/1424.98 c 1425 399 163 1 - 0.0000 -
1426.33/1431.25 c 1431 407 161 1 - 0.0000 -
1432.22/1437.16 c 1437 419 161 1 - 0.0000 -
1437.79/1442.73 c 1443 426 162 1 - 0.0000 -
1443.09/1448.02 c 1448 437 161 1 - 0.0000 -
1449.26/1454.28 c 1454 446 160 1 - 0.0000 -
1458.43/1463.48 c 1463 453 163 1 - 0.0000 -
1465.61/1470.69 c 1471 459 163 1 - 0.0000 -
1470.79/1475.80 c 1476 461 163 1 - 0.0000 -
1476.57/1481.65 c 1482 463 165 1 - 0.0000 -
1482.65/1487.73 c 1488 471 165 1 - 0.0000 -
1488.64/1493.78 c 1494 477 165 1 - 0.0000 -
1494.52/1499.63 c 1500 484 166 1 - 0.0000 -
1506.68/1511.82 c 1512 486 168 1 - 0.0000 -
1512.16/1517.30 c 1517 496 166 1 - 0.0000 -
1517.85/1523.07 c 1523 507 165 1 - 0.0000 -
1523.42/1528.67 c 1529 511 165 1 - 0.0000 -
1529.60/1534.83 c 1535 515 165 1 - 0.0000 -
1535.48/1540.75 c 1541 523 160 1 - 0.0000 -
1541.78/1547.05 c 1547 524 161 1 - 0.0000 -
1551.85/1557.17 c 1557 530 161 1 - 0.0000 -
1557.73/1563.05 c 1563 535 162 1 - 0.0000 -
1563.40/1568.77 c 1569 539 162 1 - 0.0000 -
1569.88/1575.27 c 1575 544 167 1 - 0.0000 -
1575.26/1580.65 c 1581 554 171 1 - 0.0000 -
1581.05/1586.42 c 1586 575 176 1 - 0.0000 -
1586.93/1592.37 c 1592 596 175 1 - 0.0000 -
1592.63/1598.10 c 1598 617 176 1 - 0.0000 -
1601.19/1606.62 c 1607 633 174 1 - 0.0000 -
1606.76/1612.29 c 1612 642 171 1 - 0.0000 -
1612.74/1618.22 c 1618 661 172 1 - 0.0000 -
1617.82/1623.33 c 1623 671 170 1 - 0.0000 -
1623.70/1629.22 c 1629 690 171 1 - 0.0000 -
1629.49/1635.09 c 1635 705 170 1 - 0.0000 -
1635.16/1640.71 c 1641 716 169 1 - 0.0000 -
1641.14/1646.74 c 1647 729 168 1 - 0.0000 -
1646.83/1652.42 c 1652 738 171 1 - 0.0000 -
1652.51/1658.19 c 1658 752 169 1 - 0.0000 -
1657.99/1663.65 c 1664 765 170 1 - 0.0000 -
1665.16/1670.80 c 1671 778 169 1 - 0.0000 -
1671.14/1676.82 c 1677 787 166 1 - 0.0000 -
1676.91/1682.66 c 1683 796 167 1 - 0.0000 -
1682.68/1688.43 c 1688 808 167 1 - 0.0000 -
1688.06/1693.88 c 1694 817 168 1 - 0.0000 -
1694.94/1700.73 c 1701 825 172 1 - 0.0000 -
1700.42/1706.27 c 1706 834 171 1 - 0.0000 -
1706.10/1711.95 c 1712 847 174 1 - 0.0000 -
1712.30/1718.14 c 1718 865 174 1 - 0.0000 -
1718.46/1724.35 c 1724 879 176 1 - 0.0000 -
1723.75/1729.64 c 1730 889 174 1 - 0.0000 -
1730.25/1736.13 c 1736 908 173 1 - 0.0000 -
1735.52/1741.40 c 1741 928 177 1 - 0.0000 -
1741.60/1747.60 c 1748 948 173 1 - 0.0000 -
1746.68/1752.68 c 1753 964 173 1 - 0.0000 -
1752.26/1758.28 c 1758 982 171 1 - 0.0000 -
1758.24/1764.22 c 1764 992 175 1 - 0.0000 -
1763.22/1769.26 c 1769 1007 176 1 - 0.0000 -
1768.81/1774.86 c 1775 1021 174 1 - 0.0000 -
1774.40/1780.47 c 1780 1034 173 1 - 0.0000 -
1780.28/1786.32 c 1786 1045 174 1 - 0.0000 -
1785.36/1791.40 c 1791 1057 178 1 - 0.0000 -
1790.95/1797.06 c 1797 1074 179 1 - 0.0000 -
1796.72/1802.81 c 1803 1085 178 1 - 0.0000 -
1812.17/1818.32 c 1818 1092 179 1 - 0.0000 -
1818.15/1824.32 c 1824 1108 179 1 - 0.0000 -
1824.04/1830.27 c 1830 1129 180 1 - 0.0000 -
1829.02/1835.28 c 1835 1140 177 1 - 0.0000 -
1834.91/1841.12 c 1841 1153 176 1 - 0.0000 -
1840.89/1847.13 c 1847 1173 178 1 - 0.0000 -
1846.66/1852.92 c 1853 1187 174 1 - 0.0000 -
1851.76/1858.08 c 1858 1203 174 1 - 0.0000 -
1857.93/1864.28 c 1864 1224 175 1 - 0.0000 -
1863.82/1870.19 c 1870 1242 175 1 - 0.0000 -
1869.99/1876.31 c 1876 1257 174 1 - 0.0000 -
1875.68/1882.09 c 1882 1271 172 1 - 0.0000 -
1881.85/1888.29 c 1888 1292 173 1 - 0.0000 -
1887.83/1894.22 c 1894 1305 172 1 - 0.0000 -
1892.82/1899.25 c 1899 1318 173 1 - 0.0000 -
1898.50/1904.94 c 1905 1329 170 1 - 0.0000 -
1904.38/1910.89 c 1911 1342 173 1 - 0.0000 -
1910.76/1917.20 c 1917 1366 175 1 - 0.0000 -
1917.44/1923.97 c 1924 1385 176 1 - 0.0000 -
1923.42/1929.96 c 1930 1391 178 1 - 0.0000 -
1928.91/1935.42 c 1935 1413 178 1 - 0.0000 -
1934.50/1941.05 c 1941 1428 175 1 - 0.0000 -
1940.57/1947.14 c 1947 1440 175 1 - 0.0000 -
1946.64/1953.27 c 1953 1461 174 1 - 0.0000 -
1952.62/1959.21 c 1959 1485 176 1 - 0.0000 -
1958.01/1964.60 c 1965 1500 175 1 - 0.0000 -
1963.09/1969.72 c 1970 1513 172 1 - 0.0000 -
1968.16/1974.86 c 1975 1525 172 1 - 0.0000 -
1974.64/1981.34 c 1981 1536 171 1 - 0.0000 -
1979.72/1986.45 c 1986 1544 171 1 - 0.0000 -
1986.11/1992.85 c 1993 1560 171 1 - 0.0000 -
1991.78/1998.59 c 1999 1571 172 1 - 0.0000 -
1996.96/2003.79 c 2004 1581 170 1 - 0.0000 -
2002.04/2008.85 c 2009 1587 172 1 - 0.0000 -
2007.12/2013.96 c 2014 1595 174 1 - 0.0000 -
2012.50/2019.37 c 2019 1610 171 1 - 0.0000 -
2017.58/2024.48 c 2024 1617 172 1 - 0.0000 -
2024.06/2030.98 c 2031 1629 170 1 - 0.0000 -
2029.94/2036.84 c 2037 1644 171 1 - 0.0000 -
2036.22/2043.13 c 2043 1659 170 1 - 0.0000 -
2041.89/2048.83 c 2049 1668 171 1 - 0.0000 -
2061.82/2068.80 c 2069 1676 175 1 - 0.0000 -
2067.21/2074.26 c 2074 1688 177 1 - 0.0000 -
2073.10/2080.19 c 2080 1701 178 1 - 0.0000 -
2079.75/2086.84 c 2087 1714 181 1 - 0.0000 -
2084.84/2091.99 c 2092 1726 176 1 - 0.0000 -
2090.61/2097.78 c 2098 1739 177 1 - 0.0000 -
2096.01/2103.18 c 2103 1751 175 1 - 0.0000 -
2101.18/2108.39 c 2108 1760 175 1 - 0.0000 -
2107.46/2114.62 c 2115 1775 178 1 - 0.0000 -
2112.74/2119.92 c 2120 1782 177 1 - 0.0000 -
2117.83/2125.05 c 2125 1797 178 1 - 0.0000 -
2123.50/2130.78 c 2131 1808 175 1 - 0.0000 -
2128.89/2136.14 c 2136 1821 178 1 - 0.0000 -
2133.96/2141.26 c 2141 1834 177 1 - 0.0000 -
2139.24/2146.58 c 2147 1846 179 1 - 0.0000 -
2144.73/2152.02 c 2152 1860 179 1 - 0.0000 -
2150.20/2157.55 c 2158 1877 178 1 - 0.0000 -
2156.17/2163.53 c 2164 1886 177 1 - 0.0000 -
2161.35/2168.72 c 2169 1898 177 1 - 0.0000 -
2167.13/2174.50 c 2174 1914 177 1 - 0.0000 -
2173.11/2180.54 c 2181 1930 177 1 - 0.0000 -
2178.60/2186.10 c 2186 1944 175 1 - 0.0000 -
2184.26/2191.72 c 2192 1954 175 1 - 0.0000 -
2189.35/2196.83 c 2197 1966 175 1 - 0.0000 -
2195.54/2203.02 c 2203 1977 176 1 - 0.0000 -
2201.71/2209.26 c 2209 1995 174 1 - 0.0000 -
2206.79/2214.32 c 2214 2008 173 1 - 0.0000 -
2212.97/2220.57 c 2221 2021 172 1 - 0.0000 -
2218.15/2225.71 c 2226 2033 172 1 - 0.0000 -
2224.44/2232.02 c 2232 2046 173 1 - 0.0000 -
2229.62/2237.26 c 2237 2053 174 1 - 0.0000 -
2235.10/2242.71 c 2243 2062 177 1 - 0.0000 -
2240.49/2248.18 c 2248 2077 178 1 - 0.0000 -
2246.56/2254.26 c 2254 2097 178 1 - 0.0000 -
2252.25/2259.94 c 2260 2116 177 1 - 0.0000 -
2257.34/2265.08 c 2265 2133 178 1 - 0.0000 -
2263.91/2271.61 c 2272 2146 177 1 - 0.0000 -
2269.19/2276.93 c 2277 2159 176 1 - 0.0000 -
2274.29/2282.09 c 2282 2171 178 1 - 0.0000 -
2279.96/2287.73 c 2288 2186 177 1 - 0.0000 -
2285.14/2292.94 c 2293 2194 177 1 - 0.0000 -
2290.12/2297.96 c 2298 2206 177 1 - 0.0000 -
2296.22/2304.09 c 2304 2217 174 1 - 0.0000 -
2302.39/2310.21 c 2310 2229 176 1 - 0.0000 -
2308.46/2316.32 c 2316 2239 176 1 - 0.0000 -
2314.15/2322.11 c 2322 2256 175 1 - 0.0000 -
2320.13/2328.07 c 2328 2273 176 1 - 0.0000 -
2326.00/2333.98 c 2334 2285 176 1 - 0.0000 -
2331.39/2339.32 c 2339 2296 175 1 - 0.0000 -
2336.47/2344.48 c 2344 2306 175 1 - 0.0000 -
2342.36/2350.38 c 2350 2317 174 1 - 0.0000 -
2347.74/2355.78 c 2356 2325 174 1 - 0.0000 -
2353.14/2361.19 c 2361 2333 174 1 - 0.0000 -
2359.12/2367.16 c 2367 2346 173 1 - 0.0000 -
2364.19/2372.25 c 2372 2353 176 1 - 0.0000 -
2370.77/2378.85 c 2379 2366 173 1 - 0.0000 -
2376.85/2384.97 c 2385 2373 172 1 - 0.0000 -
2383.33/2391.45 c 2391 2385 176 1 - 0.0000 -
2389.31/2397.40 c 2397 2395 174 1 - 0.0000 -
2395.29/2403.49 c 2403 2404 175 1 - 0.0000 -
2400.57/2408.73 c 2409 2409 174 1 - 0.0000 -
2405.76/2413.94 c 2414 2419 178 1 - 0.0000 -
2410.74/2418.95 c 2419 2432 177 1 - 0.0000 -
2416.03/2424.22 c 2424 2442 175 1 - 0.0000 -
2421.71/2429.95 c 2430 2458 175 1 - 0.0000 -
2426.69/2434.98 c 2435 2467 174 1 - 0.0000 -
2432.97/2441.24 c 2441 2479 174 1 - 0.0000 -
2439.05/2447.39 c 2447 2488 175 1 - 0.0000 -
2444.54/2452.89 c 2453 2503 176 1 - 0.0000 -
2450.32/2458.69 c 2459 2516 179 1 - 0.0000 -
2455.50/2463.86 c 2464 2531 178 1 - 0.0000 -
2461.38/2469.72 c 2470 2546 177 1 - 0.0000 -
2466.87/2475.24 c 2475 2558 177 1 - 0.0000 -
2472.05/2480.42 c 2480 2570 175 1 - 0.0000 -
2478.03/2486.40 c 2486 2586 175 1 - 0.0000 -
2483.02/2491.46 c 2491 2600 175 1 - 0.0000 -
2488.40/2496.82 c 2497 2610 175 1 - 0.0000 -
2494.68/2503.14 c 2503 2623 176 1 - 0.0000 -
2500.85/2509.36 c 2509 2636 175 1 - 0.0000 -
2506.13/2514.60 c 2515 2646 177 1 - 0.0000 -
2512.01/2520.51 c 2521 2656 175 1 - 0.0000 -
2517.99/2526.50 c 2526 2666 175 1 - 0.0000 -
2522.98/2531.55 c 2532 2675 174 1 - 0.0000 -
2529.06/2537.65 c 2538 2687 174 1 - 0.0000 -
2534.84/2543.42 c 2543 2700 173 1 - 0.0000 -
2540.62/2549.25 c 2549 2714 177 1 - 0.0000 -
2546.00/2554.66 c 2555 2726 177 1 - 0.0000 -
2551.89/2560.52 c 2561 2742 175 1 - 0.0000 -
2558.27/2566.98 c 2567 2760 175 1 - 0.0000 -
2564.05/2572.74 c 2573 2768 175 1 - 0.0000 -
2570.63/2579.35 c 2579 2782 175 1 - 0.0000 -
2576.71/2585.40 c 2585 2796 177 1 - 0.0000 -
2582.59/2591.30 c 2591 2809 178 1 - 0.0000 -
2588.57/2597.34 c 2597 2824 179 1 - 0.0000 -
2594.37/2603.13 c 2603 2836 175 1 - 0.0000 -
2600.04/2608.85 c 2609 2846 177 1 - 0.0000 -
2605.02/2613.86 c 2614 2859 178 1 - 0.0000 -
2610.90/2619.75 c 2620 2870 179 1 - 0.0000 -
2615.89/2624.79 c 2625 2883 178 1 - 0.0000 -
2621.67/2630.58 c 2631 2894 177 1 - 0.0000 -
2627.45/2636.36 c 2636 2904 177 1 - 0.0000 -
2633.73/2642.65 c 2643 2915 178 1 - 0.0000 -
2639.41/2648.38 c 2648 2930 175 1 - 0.0000 -
2644.79/2653.73 c 2654 2943 176 1 - 0.0000 -
2650.58/2659.57 c 2660 2954 175 1 - 0.0000 -
2655.76/2664.71 c 2665 2966 173 1 - 0.0000 -
2661.15/2670.13 c 2670 2975 176 1 - 0.0000 -
2666.23/2675.25 c 2675 2985 176 1 - 0.0000 -
2672.12/2681.17 c 2681 2998 175 1 - 0.0000 -
2677.19/2686.22 c 2686 3008 175 1 - 0.0000 -
2682.47/2691.54 c 2692 3019 176 1 - 0.0000 -
2688.15/2697.26 c 2697 3029 174 1 - 0.0000 -
2694.43/2703.59 c 2704 3044 175 1 - 0.0000 -
2700.02/2709.16 c 2709 3059 174 1 - 0.0000 -
2706.29/2715.45 c 2715 3067 174 1 - 0.0000 -
2711.27/2720.45 c 2720 3076 177 1 - 0.0000 -
2716.97/2726.14 c 2726 3085 178 1 - 0.0000 -
2722.74/2732.01 c 2732 3103 180 1 - 0.0000 -
2728.31/2737.58 c 2738 3118 181 1 - 0.0000 -
2733.50/2742.74 c 2743 3134 177 1 - 0.0000 -
2738.59/2747.89 c 2748 3145 176 1 - 0.0000 -
2744.07/2753.32 c 2753 3163 178 1 - 0.0000 -
2749.06/2758.35 c 2758 3177 180 1 - 0.0000 -
2754.14/2763.49 c 2763 3184 177 1 - 0.0000 -
2759.42/2768.76 c 2769 3198 175 1 - 0.0000 -
2765.90/2775.27 c 2775 3210 177 1 - 0.0000 -
2772.18/2781.50 c 2782 3224 177 1 - 0.0000 -
2777.96/2787.36 c 2787 3237 176 1 - 0.0000 -
2783.14/2792.58 c 2793 3248 175 1 - 0.0000 -
2789.32/2798.73 c 2799 3262 177 1 - 0.0000 -
2796.19/2805.69 c 2806 3278 175 1 - 0.0000 -
2801.97/2811.49 c 2811 3289 174 1 - 0.0000 -
2807.66/2817.16 c 2817 3301 176 1 - 0.0000 -
2813.93/2823.43 c 2823 3315 174 1 - 0.0000 -
2819.70/2829.20 c 2829 3327 174 1 - 0.0000 -
2824.69/2834.28 c 2834 3341 174 1 - 0.0000 -
2830.66/2840.20 c 2840 3350 173 1 - 0.0000 -
2836.34/2845.90 c 2846 3365 174 1 - 0.0000 -
2841.32/2850.91 c 2851 3382 175 1 - 0.0000 -
2846.52/2856.17 c 2856 3394 173 1 - 0.0000 -
2852.49/2862.17 c 2862 3414 175 1 - 0.0000 -
2858.46/2868.15 c 2868 3432 175 1 - 0.0000 -
2863.73/2873.46 c 2873 3448 175 1 - 0.0000 -
2869.11/2878.89 c 2879 3464 171 1 - 0.0000 -
2874.99/2884.73 c 2885 3481 176 1 - 0.0000 -
2880.97/2890.76 c 2891 3492 171 1 - 0.0000 -
2886.75/2896.55 c 2897 3510 171 1 - 0.0000 -
2892.03/2901.89 c 2902 3521 170 1 - 0.0000 -
2897.41/2907.23 c 2907 3529 172 1 - 0.0000 -
2903.69/2913.53 c 2914 3541 172 1 - 0.0000 -
2908.67/2918.54 c 2919 3549 170 1 - 0.0000 -
2914.45/2924.34 c 2924 3562 173 1 - 0.0000 -
2919.53/2929.48 c 2929 3575 172 1 - 0.0000 -
2924.62/2934.53 c 2935 3587 170 1 - 0.0000 -
2929.70/2939.62 c 2940 3600 173 1 - 0.0000 -
2936.08/2946.10 c 2946 3615 176 1 - 0.0000 -
2941.45/2951.49 c 2951 3633 180 1 - 0.0000 -
2948.04/2958.05 c 2958 3642 181 1 - 0.0000 -
2953.41/2963.42 c 2963 3652 177 1 - 0.0000 -
2959.10/2969.11 c 2969 3669 176 1 - 0.0000 -
2964.98/2975.10 c 2975 3688 175 1 - 0.0000 -
2971.14/2981.28 c 2981 3700 173 1 - 0.0000 -
2976.52/2986.68 c 2987 3712 175 1 - 0.0000 -
2982.20/2992.33 c 2992 3721 176 1 - 0.0000 -
2988.08/2998.21 c 2998 3735 178 1 - 0.0000 -
2994.06/3004.20 c 3004 3751 178 1 - 0.0000 -
2999.74/3010.01 c 3010 3766 179 1 - 0.0000 -
3004.84/3015.09 c 3015 3776 179 1 - 0.0000 -
3010.01/3020.26 c 3020 3795 180 1 - 0.0000 -
3015.29/3025.59 c 3026 3816 177 1 - 0.0000 -
3021.27/3031.59 c 3032 3831 178 1 - 0.0000 -
3027.05/3037.33 c 3037 3842 179 1 - 0.0000 -
3033.13/3043.44 c 3043 3856 179 1 - 0.0000 -
3039.22/3049.52 c 3050 3872 179 1 - 0.0000 -
3044.31/3054.60 c 3055 3884 177 1 - 0.0000 -
3051.38/3061.79 c 3062 3898 179 1 - 0.0000 -
3057.68/3068.07 c 3068 3913 178 1 - 0.0000 -
3063.84/3074.23 c 3074 3929 178 1 - 0.0000 -
3069.53/3079.90 c 3080 3943 176 1 - 0.0000 -
3075.21/3085.64 c 3086 3953 178 1 - 0.0000 -
3080.29/3090.78 c 3091 3961 176 1 - 0.0000 -
3086.07/3096.56 c 3097 3975 176 1 - 0.0000 -
3091.85/3102.31 c 3102 3990 175 1 - 0.0000 -
3097.74/3108.21 c 3108 3998 175 1 - 0.0000 -
3103.32/3113.89 c 3114 4010 175 1 - 0.0000 -
3108.80/3119.34 c 3119 4017 176 1 - 0.0000 -
3114.28/3124.83 c 3125 4029 174 1 - 0.0000 -
3120.06/3130.60 c 3131 4040 175 1 - 0.0000 -
3125.85/3136.40 c 3136 4055 176 1 - 0.0000 -
3131.64/3142.27 c 3142 4065 176 1 - 0.0000 -
3137.61/3148.29 c 3148 4080 175 1 - 0.0000 -
3143.10/3153.79 c 3154 4090 175 1 - 0.0000 -
3148.39/3159.02 c 3159 4100 173 1 - 0.0000 -
3154.47/3165.18 c 3165 4109 174 1 - 0.0000 -
3160.04/3170.72 c 3171 4122 175 1 - 0.0000 -
3165.34/3176.03 c 3176 4136 175 1 - 0.0000 -
3171.42/3182.18 c 3182 4149 176 1 - 0.0000 -
3176.69/3187.40 c 3187 4163 178 1 - 0.0000 -
3183.16/3193.97 c 3194 4175 176 1 - 0.0000 -
3188.84/3199.60 c 3200 4188 177 1 - 0.0000 -
3195.23/3206.04 c 3206 4198 177 1 - 0.0000 -
3201.10/3211.91 c 3212 4207 176 1 - 0.0000 -
3206.88/3217.75 c 3218 4220 175 1 - 0.0000 -
3213.37/3224.21 c 3224 4233 172 1 - 0.0000 -
3218.45/3229.37 c 3229 4239 172 1 - 0.0000 -
3223.84/3234.75 c 3235 4250 171 1 - 0.0000 -
3229.52/3240.46 c 3240 4263 172 1 - 0.0000 -
3235.11/3246.08 c 3246 4274 173 1 - 0.0000 -
3240.88/3251.80 c 3252 4283 172 1 - 0.0000 -
3246.08/3257.02 c 3257 4293 176 1 - 0.0000 -
3251.45/3262.48 c 3262 4302 173 1 - 0.0000 -
3257.53/3268.51 c 3269 4315 174 1 - 0.0000 -
3262.61/3273.68 c 3274 4327 176 1 - 0.0000 -
3267.79/3278.86 c 3279 4340 175 1 - 0.0000 -
3272.98/3284.09 c 3284 4352 175 1 - 0.0000 -
3278.35/3289.48 c 3289 4363 174 1 - 0.0000 -
3284.53/3295.64 c 3296 4381 174 1 - 0.0000 -
3290.51/3301.60 c 3302 4398 173 1 - 0.0000 -
3295.79/3307.01 c 3307 4410 173 1 - 0.0000 -
3301.68/3312.81 c 3313 4423 174 1 - 0.0000 -
3307.36/3318.55 c 3319 4434 173 1 - 0.0000 -
3313.04/3324.28 c 3324 4445 174 1 - 0.0000 -
3319.42/3330.69 c 3331 4458 171 1 - 0.0000 -
3325.11/3336.33 c 3336 4468 175 1 - 0.0000 -
3330.69/3341.95 c 3342 4480 173 1 - 0.0000 -
3335.78/3347.09 c 3347 4491 176 1 - 0.0000 -
3341.86/3353.16 c 3353 4505 176 1 - 0.0000 -
3347.43/3358.78 c 3359 4524 179 1 - 0.0000 -
3353.72/3365.10 c 3365 4526 181 1 - 0.0000 -
3359.89/3371.29 c 3371 4557 180 1 - 0.0000 -
3366.37/3377.79 c 3378 4577 180 1 - 0.0000 -
3371.76/3383.14 c 3383 4597 178 1 - 0.0000 -
3376.94/3388.39 c 3388 4611 178 1 - 0.0000 -
3382.43/3393.82 c 3394 4623 176 1 - 0.0000 -
3388.30/3399.79 c 3400 4643 180 1 - 0.0000 -
3394.08/3405.56 c 3406 4657 178 1 - 0.0000 -
3400.36/3411.83 c 3412 4675 178 1 - 0.0000 -
3405.84/3417.32 c 3417 4689 178 1 - 0.0000 -
3410.93/3422.40 c 3422 4702 179 1 - 0.0000 -
3416.41/3427.96 c 3428 4714 177 1 - 0.0000 -
3422.50/3434.05 c 3434 4726 177 1 - 0.0000 -
3428.87/3440.49 c 3440 4742 179 1 - 0.0000 -
3434.46/3446.04 c 3446 4754 177 1 - 0.0000 -
3439.45/3451.06 c 3451 4769 176 1 - 0.0000 -
3445.22/3456.82 c 3457 4789 178 1 - 0.0000 -
3450.60/3462.25 c 3462 4802 181 1 - 0.0000 -
3455.68/3467.33 c 3467 4816 175 1 - 0.0000 -
3461.76/3473.48 c 3473 4829 178 1 - 0.0000 -
3467.84/3479.53 c 3480 4846 179 1 - 0.0000 -
3473.34/3485.05 c 3485 4858 175 1 - 0.0000 -
3479.32/3491.09 c 3491 4870 177 1 - 0.0000 -
3484.40/3496.12 c 3496 4884 181 1 - 0.0000 -
3490.47/3502.20 c 3502 4902 179 1 - 0.0000 -
3495.66/3507.47 c 3507 4911 176 1 - 0.0000 -
3502.03/3513.83 c 3514 4924 177 1 - 0.0000 -
3508.23/3520.10 c 3520 4946 175 1 - 0.0000 -
3513.51/3525.31 c 3525 4961 178 1 - 0.0000 -
3519.79/3531.64 c 3532 4981 178 1 - 0.0000 -
3525.18/3537.10 c 3537 4991 178 1 - 0.0000 -
3531.55/3543.47 c 3543 5005 176 1 - 0.0000 -
3537.24/3549.14 c 3549 5017 176 1 - 0.0000 -
3543.41/3555.39 c 3555 5032 177 1 - 0.0000 -
3549.10/3561.07 c 3561 5046 177 1 - 0.0000 -
3555.18/3567.19 c 3567 5062 177 1 - 0.0000 -
3561.25/3573.24 c 3573 5074 175 1 - 0.0000 -
3566.53/3578.57 c 3579 5092 175 1 - 0.0000 -
3572.71/3584.76 c 3585 5104 175 1 - 0.0000 -
3577.90/3589.99 c 3590 5117 174 1 - 0.0000 -
3583.48/3595.53 c 3596 5133 172 1 - 0.0000 -
3585.98/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.98/3598.05 c Total Time : 3598.0500
3585.98/3598.05 c solving : 3598.0500
3585.98/3598.05 c presolving : 8.3145 (included in solving)
3585.98/3598.05 c B&B Tree :
3585.98/3598.05 c nodes (total) : 1
3585.98/3598.05 c Solution :
3585.98/3598.05 c Solutions found : 0
3585.98/3598.05 c Primal Bound : -
3585.98/3598.05 c Dual Bound : +0.00000000000000e+00
3585.98/3598.05 c Gap : -
3585.98/3598.10 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62279 MiB free)
memory of node 1: 64510 MiB (52383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464474-1722385793/watcher-4464474-1722385793 -o /tmp/evaluation-result-4464474-1722385793/solver-4464474-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28870 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464474-1722385793.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=33176, runsolver pid=33173
[startup+0.100216 s]*
/proc/loadavg: 4.12 4.16 4.20 5/250 33177
/proc/meminfo: memFree=117382500/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=55072 memory=43664 CPUtime=0.1 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 8580 0 0 0 9 1 0 0 20 0 1 0 5176266 56393728 10916 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 13768 10916 2598 3035 0 10164 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55072 KiB
Current children cumulated memory: 43664 KiB
[startup+0.213971 s]*
/proc/loadavg: 4.12 4.16 4.20 5/250 33177
/proc/meminfo: memFree=117370664/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=62096 memory=51128 CPUtime=0.22 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 12036 0 0 0 20 2 0 0 20 0 1 0 5176266 63586304 12782 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 15524 12782 2710 3035 0 11920 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 62096 KiB
Current children cumulated memory: 51128 KiB
[startup+0.313876 s]*
/proc/loadavg: 4.12 4.16 4.20 5/250 33177
/proc/meminfo: memFree=117366080/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=69744 memory=58432 CPUtime=0.31 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 13858 0 0 0 29 2 0 0 20 0 1 0 5176266 71417856 14608 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 17436 14608 2758 3035 0 13832 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69744 KiB
Current children cumulated memory: 58432 KiB
[startup+0.700281 s]
/proc/loadavg: 4.12 4.16 4.20 6/250 33177
/proc/meminfo: memFree=117349164/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=92076 memory=80312 CPUtime=0.68 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 18906 0 0 0 65 3 0 0 20 0 1 0 5176266 94285824 20078 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 23019 20078 2774 3035 0 19415 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92076 KiB
Current children cumulated memory: 80312 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 4.16 4.20 5/250 33177
/proc/meminfo: memFree=117343768/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=92264 memory=80572 CPUtime=1.48 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 18949 0 0 0 145 3 0 0 20 0 1 0 5176266 94478336 20143 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 23066 20143 2774 3035 0 19462 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92264 KiB
Current children cumulated memory: 80572 KiB
[startup+3.11396 s]
/proc/loadavg: 4.11 4.16 4.19 5/246 33192
/proc/meminfo: memFree=119362240/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=93516 memory=82152 CPUtime=3.09 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 19390 0 0 0 306 3 0 0 20 0 1 0 5176266 95760384 20538 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 23379 20538 2774 3035 0 19775 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93516 KiB
Current children cumulated memory: 82152 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.16 4.19 5/248 33224
/proc/meminfo: memFree=119092192/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=93516 memory=82416 CPUtime=6.26 cores=0,2
/proc/33176/stat : 33176 (fscip) R 33173 33176 28860 0 -1 4194304 19397 0 0 0 623 3 0 0 20 0 1 0 5176266 95760384 20604 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 23379 20604 2774 3035 0 19775 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93516 KiB
Current children cumulated memory: 82416 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.16 4.19 5/251 33285
/proc/meminfo: memFree=118905424/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=310000 memory=202992 CPUtime=12.64 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 59850 0 0 0 1253 11 0 0 20 0 3 0 5176266 317440000 50748 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 77500 50748 2950 3035 0 59974 0
[pid=33176/tid=33225] ppid=33173 vsize=310000 memory=177448 CPUtime=4.23 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 28291 0 0 0 418 5 0 0 20 0 3 0 5177108 317440000 50748 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=310000 memory=7379261661399838573 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5177114 317440000 50748 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 310000 KiB
Current children cumulated memory: 202992 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.17 4.19 5/253 33288
/proc/meminfo: memFree=118164156/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=310000 memory=206180 CPUtime=25.39 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 76507 0 0 0 2527 12 0 0 20 0 3 0 5176266 317440000 51545 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 77500 51545 2966 3035 0 60732 0
[pid=33176/tid=33225] ppid=33173 vsize=310000 memory=206176 CPUtime=16.98 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 44928 0 0 0 1692 6 0 0 20 0 3 0 5177108 317440000 51545 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=310000 memory=206180 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5177114 317440000 51545 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 310000 KiB
Current children cumulated memory: 206180 KiB
[startup+51.1137 s]
/proc/loadavg: 4.17 4.17 4.19 5/251 33291
/proc/meminfo: memFree=117938184/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=384016 memory=293296 CPUtime=50.92 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 112740 0 0 0 5077 15 0 0 20 0 3 0 5176266 393232384 73324 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 96004 73324 2982 3035 0 83349 0
[pid=33176/tid=33225] ppid=33173 vsize=384016 memory=207716 CPUtime=42.52 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 81140 0 0 0 4242 10 0 0 20 0 3 0 5177108 393232384 73324 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=384016 memory=207716 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5177114 393232384 73324 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 384016 KiB
Current children cumulated memory: 293296 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.18 5/251 33301
/proc/meminfo: memFree=117896460/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=384168 memory=323044 CPUtime=101.93 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 162230 0 0 0 10174 19 0 0 20 0 3 0 5176266 393388032 80761 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 96042 80761 2982 3035 0 90463 0
[pid=33176/tid=33225] ppid=33173 vsize=384168 memory=323044 CPUtime=93.53 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 130620 0 0 0 9339 14 0 0 20 0 3 0 5177108 393388032 80761 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=384168 memory=11488 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 66 0 0 0 0 0 0 0 20 0 3 0 5177114 393388032 80761 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 384168 KiB
Current children cumulated memory: 323044 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.12 4.17 5/250 33312
/proc/meminfo: memFree=117886604/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=384168 memory=325492 CPUtime=161.74 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 213573 0 0 0 16152 22 0 0 20 0 3 0 5176266 393388032 81373 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 96042 81373 2982 3035 0 90463 0
[pid=33176/tid=33225] ppid=33173 vsize=384168 memory=325064 CPUtime=153.32 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 181915 0 0 0 15316 16 0 0 20 0 3 0 5177108 393388032 81373 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=384168 memory=325172 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 5177114 393388032 81373 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 384168 KiB
Current children cumulated memory: 325492 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/247 33322
/proc/meminfo: memFree=117822960/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=384168 memory=325692 CPUtime=221.54 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 232835 0 0 0 22131 23 0 0 20 0 3 0 5176266 393388032 81423 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 96042 81423 3030 3035 0 90463 0
[pid=33176/tid=33225] ppid=33173 vsize=384168 memory=325692 CPUtime=213.12 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 201151 0 0 0 21295 17 0 0 20 0 3 0 5177108 393388032 81423 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=384168 memory=11488 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 5177114 393388032 81423 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 384168 KiB
Current children cumulated memory: 325692 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/247 33332
/proc/meminfo: memFree=117761152/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=384168 memory=325696 CPUtime=281.32 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 247415 0 0 0 28109 23 0 0 20 0 3 0 5176266 393388032 81424 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 96042 81424 3030 3035 0 90463 0
[pid=33176/tid=33225] ppid=33173 vsize=384168 memory=-7595720463122260857 CPUtime=272.92 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 215704 0 0 0 27274 18 0 0 20 0 3 0 5177108 393388032 81424 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=384168 memory=325696 CPUtime=0 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 5177114 393388032 81424 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 384168 KiB
################
# More data... #
################
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=395292 CPUtime=3382.29 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 571122 0 0 0 338177 52 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=395292 CPUtime=0.04 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 312 0 0 0 1 3 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3390.89 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/249 35099
/proc/meminfo: memFree=123072868/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3450.7 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 604822 0 0 0 345003 67 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=395292 CPUtime=3442.09 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 571980 0 0 0 344157 52 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=11488 CPUtime=0.04 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 314 0 0 0 1 3 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 35280
/proc/meminfo: memFree=123031920/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3510.52 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 605791 0 0 0 350984 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=16700 CPUtime=3501.91 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 572929 0 0 0 350138 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=395292 CPUtime=0.04 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 316 0 0 0 1 3 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.15 5/251 35291
/proc/meminfo: memFree=122996828/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3570.32 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 606825 0 0 0 356964 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=395292 CPUtime=3561.71 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 573944 0 0 0 356118 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=2448 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3570.32 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3598.11 s]
# the end of solver process 33176 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.4 s, system=0.695446 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.15 5/251 35291
/proc/meminfo: memFree=122995324/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3572.03 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 606832 0 0 0 357135 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=-7379266206031765629 CPUtime=3563.42 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 573951 0 0 0 356289 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=4642254212708331166 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 318 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 35291
/proc/meminfo: memFree=122988144/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3578.39 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 606979 0 0 0 357771 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=16700 CPUtime=3569.78 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574094 0 0 0 356925 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=12136 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3578.39 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 35293
/proc/meminfo: memFree=122988152/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3581.58 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 606995 0 0 0 358090 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=11488 CPUtime=3572.97 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574110 0 0 0 357244 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=16700 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3581.58 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 35293
/proc/meminfo: memFree=122988188/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3583.18 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 606996 0 0 0 358250 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=5448 CPUtime=3574.57 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574111 0 0 0 357404 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=11488 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3583.18 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 35293
/proc/meminfo: memFree=122988188/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3584.77 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 607027 0 0 0 358409 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=395292 CPUtime=3576.16 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574142 0 0 0 357563 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=395292 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 35293
/proc/meminfo: memFree=122988164/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3585.57 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 607036 0 0 0 358489 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=12136 CPUtime=3576.96 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574151 0 0 0 357643 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=16700 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
[startup+3598 s]*
/proc/loadavg: 4.13 4.12 4.15 5/251 35293
/proc/meminfo: memFree=122988164/131655788 swapFree=131071996/131071996
[pid=33176] ppid=33173 vsize=449836 memory=395292 CPUtime=3585.98 cores=0,2
/proc/33176/stat : 33176 (fscip) S 33173 33176 28860 0 -1 1077936128 607053 0 0 0 358530 68 0 0 20 0 3 0 5176266 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
/proc/33176/statm: 112459 98823 3334 3035 0 102063 0
[pid=33176/tid=33225] ppid=33173 vsize=449836 memory=-7379266206031765629 CPUtime=3577.37 cores=0,2
/proc/33176/task/33225/stat : 33225 (fscip) R 33173 33176 28860 0 -1 4194368 574172 0 0 0 357684 53 0 0 20 0 3 0 5177108 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
[pid=33176/tid=33226] ppid=33173 vsize=449836 memory=4642254212708331166 CPUtime=0.05 cores=0,2
/proc/33176/task/33226/stat : 33226 (fscip) S 33173 33176 28860 0 -1 1077936192 320 0 0 0 1 4 0 0 20 0 3 0 5177114 460632064 98823 134679101440 4194304 16623229 140733603315520 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 42684416 140733603320858 140733603320974 140733603320974 140733603327984 0
Current children cumulated CPU time: 3585.98 s
Current children cumulated vsize: 449836 KiB
Current children cumulated memory: 395292 KiB
Child status: 0
Real time (s): 3598.11
CPU time (s): 3586.09
CPU user time (s): 3585.4
CPU system time (s): 0.695446
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 449836
Max. memory (cumulated for all children) (KiB): 395292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.4
system time used= 0.695446
maximum resident set size= 395292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608787
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= 7293
involuntary context switches= 24550
# summary of solver processes directly reported to runsolver:
# pid: 33176
# total CPU time (s): 3586.09
# total CPU user time (s): 3585.4
# total CPU system time (s): 0.695446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2096 second user time and 34.7462 second system time
The end
Begin job on nodeC010 at 2024-07-31 02:29:54
IDJOB=4464474
IDBENCH=158362
IDSOLVER=3092
FILE ID=nodeC010/4464474-1722385793
RUNJOBID= nodeC010-1722378594-28870
SLURM_JOB_ID= 8249840
Free space on /tmp= 723656 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.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-4464474-1722385793/watcher-4464474-1722385793 -o /tmp/evaluation-result-4464474-1722385793/solver-4464474-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28870 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464474-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2
RANDOM SEED=99795441
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.616
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3656.566
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.025
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3566.556
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.351
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117413980 kB
MemAvailable: 120358568 kB
Buffers: 99212 kB
Cached: 3686276 kB
SwapCached: 0 kB
Active: 296868 kB
Inactive: 13487400 kB
Active(anon): 1984 kB
Inactive(anon): 10026024 kB
Active(file): 294884 kB
Inactive(file): 3461376 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28368 kB
Writeback: 0 kB
AnonPages: 9998572 kB
Mapped: 130380 kB
Shmem: 29504 kB
KReclaimable: 56716 kB
Slab: 132468 kB
SReclaimable: 56716 kB
SUnreclaim: 75752 kB
KernelStack: 3976 kB
PageTables: 29352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5665004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5947392 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC010 at 2024-07-31 03:29:52