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.00/0.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 47276032, getVmSize() = 47276032, SCIPgetMemUsed() = 20950196, SCIPgetMemTotal() = 25046916, SCIPgetMemExternEstim() = 11272055
0.00/0.06 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
5.66/5.73 c ** Estimated virtualMemUsedAtSolver = 75783114, getVmSize() = 127262720, SCIPgetMemUsed() = 72451617, SCIPgetMemTotal() = 102402617, SCIPgetMemExternEstim() = 11272055
5.66/5.73 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
5.66/5.73 c Original Problem :
5.66/5.73 c Problem name : instance-4464479-1722385793
5.66/5.73 c Variables : 5780 (5780 binary, 0 integer, 0 implicit integer, 0 continuous)
5.66/5.73 c Constraints : 5952
5.66/5.73 c Objective sense : minimize
5.66/5.73 c Presolved Problem :
5.66/5.73 c Variables : 5048 (5048 binary, 0 integer, 0 implicit integer, 0 continuous)
5.66/5.73 c Constraints : 5199
5.66/5.73 c Constraints : Number
5.66/5.73 c knapsack : 1
5.66/5.73 c setppc : 1115
5.66/5.74 c orbitope : 3
5.66/5.74 c logicor : 4080
5.66/5.74 c ** Instance transfer method used: 0
5.66/5.74 c ** ParaScipInstance copy increased the number of variables. **
5.66/5.77 c LC is working with racing ramp-up and with rebuilding tree after racing.
5.66/5.77 c Nodes Active
5.66/5.77 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
81.20/81.53 c 82 2 1 1 - 0.0000 -
87.58/88.01 c 88 8 7 1 - 0.0000 -
94.35/94.74 c 95 13 12 1 - 0.0000 -
100.33/100.72 c 101 19 16 1 - 0.0000 -
107.62/108.03 c 108 29 16 1 - 0.0000 -
113.70/114.12 c 114 37 20 1 - 0.0000 -
119.77/120.24 c 120 61 26 1 - 0.0000 -
126.95/127.43 c 127 72 25 1 - 0.0000 -
133.72/134.27 c 134 74 27 1 - 0.0000 -
144.49/145.05 c 145 75 28 1 - 0.0000 -
151.15/151.70 c 152 90 33 1 - 0.0000 -
156.34/156.96 c 157 97 38 1 - 0.0000 -
161.43/162.07 c 162 102 43 1 - 0.0000 -
169.51/170.18 c 170 106 45 1 - 0.0000 -
186.94/187.64 c 188 109 46 1 - 0.0000 -
192.12/192.81 c 193 115 50 1 - 0.0000 -
248.03/248.96 c 249 117 52 1 - 0.0000 -
264.19/265.14 c 265 122 57 1 - 0.0000 -
270.26/271.27 c 271 126 61 1 - 0.0000 -
276.05/277.09 c 277 133 64 1 - 0.0000 -
281.32/282.38 c 282 138 67 1 - 0.0000 -
321.28/322.49 c 322 140 69 1 - 0.0000 -
327.36/328.55 c 329 149 72 1 - 0.0000 -
337.63/338.81 c 339 150 73 1 - 0.0000 -
343.01/344.21 c 344 162 73 1 - 0.0000 -
348.19/349.47 c 349 173 72 1 - 0.0000 -
359.26/360.55 c 361 176 75 1 - 0.0000 -
366.63/367.97 c 368 182 77 1 - 0.0000 -
378.70/380.10 c 380 192 77 1 - 0.0000 -
384.69/386.07 c 386 194 79 1 - 0.0000 -
391.67/393.04 c 393 196 81 1 - 0.0000 -
397.04/398.41 c 398 208 79 1 - 0.0000 -
410.10/411.55 c 412 216 83 1 - 0.0000 -
415.48/416.93 c 417 218 85 1 - 0.0000 -
421.57/423.04 c 423 220 87 1 - 0.0000 -
428.04/429.56 c 430 227 88 1 - 0.0000 -
433.32/434.86 c 435 237 90 1 - 0.0000 -
438.40/439.98 c 440 239 92 1 - 0.0000 -
468.70/470.34 c 470 242 95 1 - 0.0000 -
476.18/477.80 c 478 248 97 1 - 0.0000 -
483.05/484.71 c 485 250 99 1 - 0.0000 -
494.12/495.81 c 496 252 101 1 - 0.0000 -
500.90/502.65 c 503 255 104 1 - 0.0000 -
510.67/512.48 c 512 256 105 1 - 0.0000 -
516.75/518.58 c 519 266 107 1 - 0.0000 -
525.62/527.48 c 527 269 108 1 - 0.0000 -
530.80/532.63 c 533 271 108 1 - 0.0000 -
536.47/538.33 c 538 274 109 1 - 0.0000 -
543.85/545.79 c 546 285 112 1 - 0.0000 -
549.43/551.34 c 551 287 114 1 - 0.0000 -
561.49/563.47 c 563 288 115 1 - 0.0000 -
567.87/569.87 c 570 294 117 1 - 0.0000 -
574.85/576.89 c 577 296 119 1 - 0.0000 -
584.92/586.97 c 587 298 121 1 - 0.0000 -
592.29/594.38 c 594 304 123 1 - 0.0000 -
602.36/604.46 c 604 307 126 1 - 0.0000 -
607.95/610.05 c 610 315 126 1 - 0.0000 -
647.92/650.19 c 650 318 129 1 - 0.0000 -
653.69/655.94 c 656 325 132 1 - 0.0000 -
659.78/662.08 c 662 336 131 1 - 0.0000 -
671.23/673.52 c 674 344 131 1 - 0.0000 -
680.50/682.82 c 683 348 133 1 - 0.0000 -
692.67/695.07 c 695 349 134 1 - 0.0000 -
698.54/701.01 c 701 354 135 1 - 0.0000 -
703.73/706.17 c 706 366 133 1 - 0.0000 -
709.79/712.22 c 712 370 135 1 - 0.0000 -
716.47/719.01 c 719 375 138 1 - 0.0000 -
722.05/724.55 c 725 381 140 1 - 0.0000 -
728.32/730.84 c 731 388 145 1 - 0.0000 -
734.51/737.10 c 737 396 145 1 - 0.0000 -
739.88/742.40 c 742 402 145 1 - 0.0000 -
746.16/748.80 c 749 407 146 1 - 0.0000 -
752.14/754.79 c 755 410 149 1 - 0.0000 -
762.21/764.87 c 765 412 151 1 - 0.0000 -
768.78/771.46 c 771 422 153 1 - 0.0000 -
774.48/777.14 c 777 425 156 1 - 0.0000 -
781.04/783.75 c 784 429 156 1 - 0.0000 -
787.81/790.50 c 790 433 158 1 - 0.0000 -
798.38/801.13 c 801 439 160 1 - 0.0000 -
804.55/807.35 c 807 443 162 1 - 0.0000 -
810.53/813.30 c 813 450 165 1 - 0.0000 -
817.80/820.63 c 821 455 166 1 - 0.0000 -
824.29/827.12 c 827 460 169 1 - 0.0000 -
834.04/836.95 c 837 466 171 1 - 0.0000 -
841.32/844.26 c 844 472 173 1 - 0.0000 -
855.77/858.79 c 859 476 177 1 - 0.0000 -
860.95/863.91 c 864 479 180 1 - 0.0000 -
866.83/869.88 c 870 484 181 1 - 0.0000 -
873.12/876.12 c 876 490 185 1 - 0.0000 -
880.99/884.09 c 884 495 188 1 - 0.0000 -
886.16/889.21 c 889 501 188 1 - 0.0000 -
892.05/895.18 c 895 508 189 1 - 0.0000 -
897.63/900.72 c 901 517 192 1 - 0.0000 -
904.20/907.32 c 907 521 194 1 - 0.0000 -
916.06/919.28 c 919 522 195 1 - 0.0000 -
922.14/925.31 c 925 533 198 1 - 0.0000 -
928.22/931.45 c 931 539 200 1 - 0.0000 -
933.81/937.09 c 937 544 199 1 - 0.0000 -
941.78/945.06 c 945 548 203 1 - 0.0000 -
947.25/950.59 c 951 555 204 1 - 0.0000 -
957.82/961.16 c 961 557 206 1 - 0.0000 -
964.00/967.39 c 967 563 208 1 - 0.0000 -
971.36/974.78 c 975 566 211 1 - 0.0000 -
1102.22/1106.05 c 1106 567 212 1 - 0.0000 -
1107.21/1111.09 c 1111 577 214 1 - 0.0000 -
1112.30/1116.17 c 1116 591 214 1 - 0.0000 -
1121.56/1125.40 c 1125 596 217 1 - 0.0000 -
1129.82/1133.71 c 1134 600 221 1 - 0.0000 -
1138.49/1142.48 c 1142 604 225 1 - 0.0000 -
1144.87/1148.89 c 1149 615 228 1 - 0.0000 -
1150.07/1154.03 c 1154 621 228 1 - 0.0000 -
1158.23/1162.29 c 1162 623 230 1 - 0.0000 -
1163.61/1167.69 c 1168 629 232 1 - 0.0000 -
1171.58/1175.63 c 1176 633 236 1 - 0.0000 -
1177.76/1181.85 c 1182 644 237 1 - 0.0000 -
1189.52/1193.66 c 1194 646 239 1 - 0.0000 -
1196.40/1200.50 c 1200 658 239 1 - 0.0000 -
1202.18/1206.39 c 1206 672 237 1 - 0.0000 -
1207.97/1212.17 c 1212 689 234 1 - 0.0000 -
1213.54/1217.79 c 1218 706 233 1 - 0.0000 -
1218.84/1223.07 c 1223 718 231 1 - 0.0000 -
1224.51/1228.72 c 1229 740 231 1 - 0.0000 -
1230.58/1234.83 c 1235 749 234 1 - 0.0000 -
1237.96/1242.24 c 1242 764 233 1 - 0.0000 -
1243.34/1247.67 c 1248 779 230 1 - 0.0000 -
1248.73/1253.02 c 1253 783 234 1 - 0.0000 -
1259.88/1264.27 c 1264 784 235 1 - 0.0000 -
1266.56/1270.96 c 1271 797 236 1 - 0.0000 -
1279.12/1283.57 c 1284 808 239 1 - 0.0000 -
1285.10/1289.59 c 1290 825 240 1 - 0.0000 -
1290.48/1294.94 c 1295 840 241 1 - 0.0000 -
1296.37/1300.85 c 1301 858 241 1 - 0.0000 -
1302.94/1307.46 c 1307 866 241 1 - 0.0000 -
1313.70/1318.21 c 1318 874 247 1 - 0.0000 -
1323.27/1327.80 c 1328 882 249 1 - 0.0000 -
1328.96/1333.51 c 1334 885 250 1 - 0.0000 -
1335.74/1340.31 c 1340 896 253 1 - 0.0000 -
1341.71/1346.37 c 1346 909 252 1 - 0.0000 -
1349.19/1353.80 c 1354 915 254 1 - 0.0000 -
1354.67/1359.37 c 1359 920 257 1 - 0.0000 -
1360.75/1365.40 c 1365 945 254 1 - 0.0000 -
1366.93/1371.68 c 1372 960 253 1 - 0.0000 -
1372.32/1377.08 c 1377 973 252 1 - 0.0000 -
1377.48/1382.30 c 1382 979 250 1 - 0.0000 -
1383.96/1388.73 c 1389 990 249 1 - 0.0000 -
1394.71/1399.52 c 1400 994 253 1 - 0.0000 -
1401.10/1406.01 c 1406 1015 248 1 - 0.0000 -
1408.18/1413.10 c 1413 1022 253 1 - 0.0000 -
1413.54/1418.41 c 1418 1033 254 1 - 0.0000 -
1419.03/1423.92 c 1424 1045 252 1 - 0.0000 -
1425.00/1429.94 c 1430 1056 255 1 - 0.0000 -
1430.78/1435.71 c 1436 1061 260 1 - 0.0000 -
1436.76/1441.70 c 1442 1064 263 1 - 0.0000 -
1442.75/1447.73 c 1448 1068 265 1 - 0.0000 -
1449.13/1454.14 c 1454 1081 268 1 - 0.0000 -
1454.50/1459.55 c 1460 1087 272 1 - 0.0000 -
1459.58/1464.64 c 1465 1089 274 1 - 0.0000 -
1467.07/1472.15 c 1472 1096 279 1 - 0.0000 -
1475.72/1480.81 c 1481 1102 279 1 - 0.0000 -
1480.81/1485.97 c 1486 1110 279 1 - 0.0000 -
1486.69/1491.89 c 1492 1117 280 1 - 0.0000 -
1492.17/1497.34 c 1497 1123 278 1 - 0.0000 -
1499.05/1504.23 c 1504 1129 278 1 - 0.0000 -
1506.61/1511.80 c 1512 1132 277 1 - 0.0000 -
1515.19/1520.48 c 1520 1137 280 1 - 0.0000 -
1520.56/1525.87 c 1526 1140 281 1 - 0.0000 -
1526.34/1531.67 c 1532 1147 280 1 - 0.0000 -
1533.02/1538.31 c 1538 1154 281 1 - 0.0000 -
1540.19/1545.56 c 1546 1156 283 1 - 0.0000 -
1552.55/1557.93 c 1558 1158 285 1 - 0.0000 -
1558.63/1564.09 c 1564 1163 286 1 - 0.0000 -
1564.80/1570.29 c 1570 1169 286 1 - 0.0000 -
1570.69/1576.18 c 1576 1174 287 1 - 0.0000 -
1576.96/1582.46 c 1582 1177 286 1 - 0.0000 -
1584.23/1589.77 c 1590 1189 286 1 - 0.0000 -
1590.61/1596.13 c 1596 1196 287 1 - 0.0000 -
1595.59/1601.14 c 1601 1199 286 1 - 0.0000 -
1603.15/1608.72 c 1609 1211 286 1 - 0.0000 -
1608.13/1613.78 c 1614 1220 287 1 - 0.0000 -
1613.43/1619.02 c 1619 1227 286 1 - 0.0000 -
1618.90/1624.58 c 1625 1237 286 1 - 0.0000 -
1624.18/1629.82 c 1630 1254 285 1 - 0.0000 -
1629.85/1635.53 c 1636 1260 285 1 - 0.0000 -
1636.03/1641.72 c 1642 1269 286 1 - 0.0000 -
1647.09/1652.83 c 1653 1282 285 1 - 0.0000 -
1652.76/1658.53 c 1659 1293 286 1 - 0.0000 -
1658.14/1663.99 c 1664 1305 286 1 - 0.0000 -
1663.33/1669.18 c 1669 1319 282 1 - 0.0000 -
1668.50/1674.36 c 1674 1334 279 1 - 0.0000 -
1674.29/1680.18 c 1680 1342 279 1 - 0.0000 -
1681.85/1687.79 c 1688 1347 282 1 - 0.0000 -
1688.02/1693.95 c 1694 1348 283 1 - 0.0000 -
1693.22/1699.14 c 1699 1360 287 1 - 0.0000 -
1698.99/1704.92 c 1705 1372 287 1 - 0.0000 -
1709.64/1715.60 c 1716 1375 290 1 - 0.0000 -
1715.62/1721.65 c 1722 1389 290 1 - 0.0000 -
1720.90/1727.01 c 1727 1395 292 1 - 0.0000 -
1730.65/1736.73 c 1737 1396 293 1 - 0.0000 -
1736.33/1742.47 c 1742 1407 290 1 - 0.0000 -
1742.11/1748.23 c 1748 1417 290 1 - 0.0000 -
1750.00/1756.14 c 1756 1425 292 1 - 0.0000 -
1755.88/1762.05 c 1762 1430 293 1 - 0.0000 -
1763.05/1769.21 c 1769 1442 295 1 - 0.0000 -
1769.33/1775.50 c 1776 1449 296 1 - 0.0000 -
1775.41/1781.68 c 1782 1465 296 1 - 0.0000 -
1782.58/1788.82 c 1789 1473 296 1 - 0.0000 -
1792.85/1799.12 c 1799 1476 299 1 - 0.0000 -
1803.81/1810.14 c 1810 1482 303 1 - 0.0000 -
1809.88/1816.26 c 1816 1491 304 1 - 0.0000 -
1816.26/1822.64 c 1823 1500 305 1 - 0.0000 -
1823.83/1830.26 c 1830 1503 306 1 - 0.0000 -
1829.42/1835.88 c 1836 1507 306 1 - 0.0000 -
1836.09/1842.55 c 1843 1513 304 1 - 0.0000 -
1841.87/1848.32 c 1848 1527 304 1 - 0.0000 -
1849.66/1856.16 c 1856 1533 300 1 - 0.0000 -
1856.43/1862.90 c 1863 1548 299 1 - 0.0000 -
1861.91/1868.46 c 1868 1558 297 1 - 0.0000 -
1867.19/1873.73 c 1874 1572 297 1 - 0.0000 -
1872.37/1878.98 c 1879 1583 296 1 - 0.0000 -
1878.85/1885.43 c 1885 1591 296 1 - 0.0000 -
1884.34/1890.93 c 1891 1594 297 1 - 0.0000 -
1890.22/1896.82 c 1897 1597 298 1 - 0.0000 -
1896.41/1903.10 c 1903 1601 296 1 - 0.0000 -
1901.78/1908.41 c 1908 1608 299 1 - 0.0000 -
1907.66/1914.38 c 1914 1624 297 1 - 0.0000 -
1916.03/1922.73 c 1923 1631 296 1 - 0.0000 -
1921.43/1928.12 c 1928 1638 297 1 - 0.0000 -
1927.49/1934.23 c 1934 1643 300 1 - 0.0000 -
1933.28/1940.04 c 1940 1655 302 1 - 0.0000 -
1938.45/1945.20 c 1945 1665 300 1 - 0.0000 -
1945.83/1952.69 c 1953 1682 298 1 - 0.0000 -
1951.33/1958.14 c 1958 1692 298 1 - 0.0000 -
1957.21/1964.10 c 1964 1702 298 1 - 0.0000 -
1963.97/1970.82 c 1971 1714 300 1 - 0.0000 -
1969.75/1976.66 c 1977 1719 301 1 - 0.0000 -
1975.93/1982.89 c 1983 1729 299 1 - 0.0000 -
1986.69/1993.63 c 1994 1733 303 1 - 0.0000 -
1991.88/1998.86 c 1999 1748 304 1 - 0.0000 -
2000.54/2007.53 c 2008 1754 304 1 - 0.0000 -
2010.70/2017.79 c 2018 1756 306 1 - 0.0000 -
2016.68/2023.71 c 2024 1770 308 1 - 0.0000 -
2025.85/2033.01 c 2033 1779 307 1 - 0.0000 -
2031.63/2038.71 c 2039 1787 307 1 - 0.0000 -
2037.81/2044.99 c 2045 1794 306 1 - 0.0000 -
2045.28/2052.40 c 2052 1800 306 1 - 0.0000 -
2058.34/2065.54 c 2066 1803 309 1 - 0.0000 -
2064.11/2071.30 c 2071 1812 306 1 - 0.0000 -
2071.59/2078.84 c 2079 1816 0 1 - 0.0000 -
2115.94/2123.38 c 2123 1816 0 1 - 0.0000 -
2157.01/2164.56 c 2165 1817 1 1 - 0.0000 -
2162.99/2170.50 c 2170 1820 4 1 - 0.0000 -
2168.27/2175.88 c 2176 1825 9 1 - 0.0000 -
2179.03/2186.61 c 2187 1827 11 1 - 0.0000 -
2189.29/2196.93 c 2197 1831 11 1 - 0.0000 -
2196.56/2204.25 c 2204 1842 14 1 - 0.0000 -
2202.45/2210.14 c 2210 1847 13 1 - 0.0000 -
2207.73/2215.41 c 2215 1855 11 1 - 0.0000 -
2213.50/2221.27 c 2221 1860 12 1 - 0.0000 -
2219.68/2227.50 c 2227 1868 12 1 - 0.0000 -
2225.77/2233.55 c 2234 1879 13 1 - 0.0000 -
2231.26/2239.08 c 2239 1887 13 1 - 0.0000 -
2236.93/2244.74 c 2245 1889 15 1 - 0.0000 -
2256.87/2264.76 c 2265 1890 16 1 - 0.0000 -
2262.65/2270.59 c 2271 1899 17 1 - 0.0000 -
2269.43/2277.37 c 2277 1910 16 1 - 0.0000 -
2276.31/2284.27 c 2284 1923 17 1 - 0.0000 -
2281.99/2289.91 c 2290 1929 15 1 - 0.0000 -
2288.57/2296.58 c 2297 1942 14 1 - 0.0000 -
2294.55/2302.50 c 2302 1955 15 1 - 0.0000 -
2300.43/2308.46 c 2308 1972 14 1 - 0.0000 -
2305.61/2313.63 c 2314 1985 15 1 - 0.0000 -
2315.48/2323.55 c 2324 1996 14 1 - 0.0000 -
2320.56/2328.67 c 2329 1999 17 1 - 0.0000 -
2327.53/2335.68 c 2336 2006 18 1 - 0.0000 -
2333.80/2341.90 c 2342 2013 21 1 - 0.0000 -
2339.28/2347.43 c 2347 2023 19 1 - 0.0000 -
2344.97/2353.13 c 2353 2031 21 1 - 0.0000 -
2349.95/2358.16 c 2358 2045 21 1 - 0.0000 -
2355.43/2363.62 c 2364 2059 23 1 - 0.0000 -
2361.91/2370.15 c 2370 2074 20 1 - 0.0000 -
2368.18/2376.40 c 2376 2083 19 1 - 0.0000 -
2373.87/2382.13 c 2382 2093 19 1 - 0.0000 -
2379.33/2387.65 c 2388 2098 20 1 - 0.0000 -
2384.51/2392.86 c 2393 2109 21 1 - 0.0000 -
2390.58/2398.92 c 2399 2120 20 1 - 0.0000 -
2395.68/2404.06 c 2404 2132 20 1 - 0.0000 -
2401.44/2409.82 c 2410 2146 18 1 - 0.0000 -
2407.13/2415.55 c 2416 2155 21 1 - 0.0000 -
2413.00/2421.46 c 2421 2166 20 1 - 0.0000 -
2419.69/2428.11 c 2428 2179 19 1 - 0.0000 -
2425.75/2434.29 c 2434 2193 19 1 - 0.0000 -
2431.13/2439.65 c 2440 2203 21 1 - 0.0000 -
2436.41/2444.99 c 2445 2211 19 1 - 0.0000 -
2442.19/2450.72 c 2451 2225 19 1 - 0.0000 -
2447.47/2456.05 c 2456 2233 19 1 - 0.0000 -
2453.55/2462.15 c 2462 2245 21 1 - 0.0000 -
2459.71/2468.36 c 2468 2264 20 1 - 0.0000 -
2464.89/2473.50 c 2474 2270 22 1 - 0.0000 -
2495.97/2504.71 c 2505 2271 23 1 - 0.0000 -
2501.05/2509.84 c 2510 2275 25 1 - 0.0000 -
2506.13/2514.92 c 2515 2283 23 1 - 0.0000 -
2512.22/2521.06 c 2521 2301 23 1 - 0.0000 -
2517.69/2526.55 c 2527 2318 26 1 - 0.0000 -
2523.66/2532.58 c 2533 2330 26 1 - 0.0000 -
2529.54/2538.41 c 2538 2338 26 1 - 0.0000 -
2535.23/2544.11 c 2544 2349 29 1 - 0.0000 -
2540.50/2549.48 c 2549 2361 29 1 - 0.0000 -
2547.37/2556.35 c 2556 2377 29 1 - 0.0000 -
2553.65/2562.64 c 2563 2387 25 1 - 0.0000 -
2559.72/2568.76 c 2569 2396 26 1 - 0.0000 -
2565.40/2574.40 c 2574 2408 26 1 - 0.0000 -
2571.28/2580.38 c 2580 2424 26 1 - 0.0000 -
2576.56/2585.60 c 2586 2436 26 1 - 0.0000 -
2583.05/2592.13 c 2592 2443 25 1 - 0.0000 -
2588.61/2597.72 c 2598 2454 28 1 - 0.0000 -
2593.79/2602.97 c 2603 2460 26 1 - 0.0000 -
2599.37/2608.53 c 2609 2469 27 1 - 0.0000 -
2605.24/2614.49 c 2614 2482 26 1 - 0.0000 -
2610.62/2619.84 c 2620 2496 24 1 - 0.0000 -
2615.81/2625.08 c 2625 2503 25 1 - 0.0000 -
2621.39/2630.63 c 2631 2516 24 1 - 0.0000 -
2627.07/2636.31 c 2636 2526 26 1 - 0.0000 -
2632.35/2641.61 c 2642 2538 24 1 - 0.0000 -
2638.74/2648.08 c 2648 2552 24 1 - 0.0000 -
2644.73/2654.11 c 2654 2565 23 1 - 0.0000 -
2650.49/2659.85 c 2660 2573 23 1 - 0.0000 -
2656.17/2665.55 c 2666 2581 23 1 - 0.0000 -
2661.45/2670.87 c 2671 2590 24 1 - 0.0000 -
2667.33/2676.71 c 2677 2605 25 1 - 0.0000 -
2673.51/2682.91 c 2683 2617 23 1 - 0.0000 -
2679.30/2688.73 c 2689 2629 23 1 - 0.0000 -
2685.69/2695.19 c 2695 2637 23 1 - 0.0000 -
2691.16/2700.63 c 2701 2652 22 1 - 0.0000 -
2696.94/2706.47 c 2706 2662 22 1 - 0.0000 -
2703.01/2712.58 c 2713 2675 23 1 - 0.0000 -
2709.39/2718.94 c 2719 2687 23 1 - 0.0000 -
2714.68/2724.29 c 2724 2694 24 1 - 0.0000 -
2720.26/2729.83 c 2730 2703 23 1 - 0.0000 -
2728.03/2737.63 c 2738 2709 25 1 - 0.0000 -
2733.53/2743.15 c 2743 2721 23 1 - 0.0000 -
2738.60/2748.27 c 2748 2727 23 1 - 0.0000 -
2744.98/2754.63 c 2755 2735 25 1 - 0.0000 -
2750.26/2759.91 c 2760 2747 23 1 - 0.0000 -
2756.25/2765.93 c 2766 2755 23 1 - 0.0000 -
2761.53/2771.21 c 2771 2767 23 1 - 0.0000 -
2767.82/2777.51 c 2778 2777 25 1 - 0.0000 -
2774.20/2783.96 c 2784 2782 26 1 - 0.0000 -
2779.98/2789.76 c 2790 2795 25 1 - 0.0000 -
2785.86/2795.69 c 2796 2806 24 1 - 0.0000 -
2791.44/2801.25 c 2801 2819 25 1 - 0.0000 -
2797.42/2807.20 c 2807 2834 24 1 - 0.0000 -
2803.00/2812.88 c 2813 2845 25 1 - 0.0000 -
2808.88/2818.72 c 2819 2857 23 1 - 0.0000 -
2814.96/2824.87 c 2825 2867 23 1 - 0.0000 -
2820.94/2830.87 c 2831 2878 22 1 - 0.0000 -
2826.62/2836.56 c 2837 2886 22 1 - 0.0000 -
2832.40/2842.30 c 2842 2892 22 1 - 0.0000 -
2838.10/2848.10 c 2848 2902 22 1 - 0.0000 -
2843.96/2853.90 c 2854 2911 23 1 - 0.0000 -
2850.25/2860.28 c 2860 2925 22 1 - 0.0000 -
2855.83/2865.84 c 2866 2934 23 1 - 0.0000 -
2861.51/2871.54 c 2872 2945 22 1 - 0.0000 -
2867.10/2877.12 c 2877 2955 24 1 - 0.0000 -
2873.27/2883.40 c 2883 2968 21 1 - 0.0000 -
2879.15/2889.27 c 2889 2977 22 1 - 0.0000 -
2884.63/2894.70 c 2895 2988 21 1 - 0.0000 -
2890.41/2900.55 c 2901 2995 20 1 - 0.0000 -
2895.79/2905.90 c 2906 3005 20 1 - 0.0000 -
2901.18/2911.33 c 2911 3013 20 1 - 0.0000 -
2906.46/2916.65 c 2917 3024 21 1 - 0.0000 -
2912.24/2922.41 c 2922 3036 25 1 - 0.0000 -
2917.22/2927.47 c 2927 3043 26 1 - 0.0000 -
2923.41/2933.61 c 2934 3058 25 1 - 0.0000 -
2929.09/2939.30 c 2939 3068 27 1 - 0.0000 -
2934.97/2945.27 c 2945 3082 27 1 - 0.0000 -
2940.26/2950.54 c 2951 3096 27 1 - 0.0000 -
2945.44/2955.75 c 2956 3112 27 1 - 0.0000 -
2950.52/2960.81 c 2961 3131 26 1 - 0.0000 -
2956.20/2966.59 c 2967 3143 26 1 - 0.0000 -
2961.98/2972.39 c 2972 3157 24 1 - 0.0000 -
2967.86/2978.26 c 2978 3175 26 1 - 0.0000 -
2973.54/2983.94 c 2984 3190 25 1 - 0.0000 -
2979.12/2989.51 c 2990 3202 25 1 - 0.0000 -
2984.30/2994.74 c 2995 3218 23 1 - 0.0000 -
2990.28/3000.79 c 3001 3229 24 1 - 0.0000 -
2995.76/3006.30 c 3006 3240 25 1 - 0.0000 -
3001.04/3011.58 c 3012 3253 26 1 - 0.0000 -
3006.43/3016.98 c 3017 3262 23 1 - 0.0000 -
3012.11/3022.67 c 3023 3273 22 1 - 0.0000 -
3017.50/3028.05 c 3028 3275 22 1 - 0.0000 -
3023.37/3033.99 c 3034 3288 25 1 - 0.0000 -
3028.85/3039.44 c 3039 3299 26 1 - 0.0000 -
3034.74/3045.31 c 3045 3310 23 1 - 0.0000 -
3040.02/3050.63 c 3051 3320 23 1 - 0.0000 -
3045.21/3055.82 c 3056 3331 24 1 - 0.0000 -
3050.40/3061.03 c 3061 3339 26 1 - 0.0000 -
3055.87/3066.50 c 3066 3348 25 1 - 0.0000 -
3061.95/3072.66 c 3073 3359 26 1 - 0.0000 -
3068.23/3078.96 c 3079 3367 28 1 - 0.0000 -
3073.61/3084.39 c 3084 3375 26 1 - 0.0000 -
3079.69/3090.42 c 3090 3383 26 1 - 0.0000 -
3084.87/3095.62 c 3096 3388 27 1 - 0.0000 -
3090.55/3101.35 c 3101 3396 27 1 - 0.0000 -
3096.93/3107.72 c 3108 3405 28 1 - 0.0000 -
3102.01/3112.85 c 3113 3415 28 1 - 0.0000 -
3107.30/3118.14 c 3118 3425 28 1 - 0.0000 -
3112.96/3123.89 c 3124 3434 27 1 - 0.0000 -
3118.74/3129.61 c 3130 3446 25 1 - 0.0000 -
3124.32/3135.29 c 3135 3461 28 1 - 0.0000 -
3130.79/3141.77 c 3142 3469 26 1 - 0.0000 -
3136.78/3147.77 c 3148 3479 28 1 - 0.0000 -
3142.75/3153.71 c 3154 3493 26 1 - 0.0000 -
3148.63/3159.66 c 3160 3499 26 1 - 0.0000 -
3154.61/3165.66 c 3166 3511 28 1 - 0.0000 -
3160.29/3171.34 c 3171 3523 26 1 - 0.0000 -
3166.36/3177.43 c 3177 3534 25 1 - 0.0000 -
3172.24/3183.37 c 3183 3547 26 1 - 0.0000 -
3177.82/3189.01 c 3189 3558 27 1 - 0.0000 -
3184.19/3195.38 c 3195 3572 27 1 - 0.0000 -
3190.27/3201.43 c 3201 3588 27 1 - 0.0000 -
3196.05/3207.27 c 3207 3600 27 1 - 0.0000 -
3201.23/3212.41 c 3212 3610 25 1 - 0.0000 -
3206.92/3218.11 c 3218 3623 26 1 - 0.0000 -
3212.98/3224.27 c 3224 3634 25 1 - 0.0000 -
3218.16/3229.42 c 3229 3646 29 1 - 0.0000 -
3223.85/3235.13 c 3235 3661 30 1 - 0.0000 -
3229.32/3240.64 c 3241 3673 30 1 - 0.0000 -
3234.50/3245.87 c 3246 3689 29 1 - 0.0000 -
3239.58/3251.01 c 3251 3701 27 1 - 0.0000 -
3244.77/3256.12 c 3256 3713 29 1 - 0.0000 -
3249.84/3261.22 c 3261 3724 26 1 - 0.0000 -
3256.31/3267.70 c 3268 3737 27 1 - 0.0000 -
3262.28/3273.76 c 3274 3751 25 1 - 0.0000 -
3267.76/3279.24 c 3279 3762 26 1 - 0.0000 -
3273.65/3285.13 c 3285 3776 28 1 - 0.0000 -
3279.73/3291.29 c 3291 3791 27 1 - 0.0000 -
3284.81/3296.36 c 3296 3803 27 1 - 0.0000 -
3291.60/3303.16 c 3303 3817 25 1 - 0.0000 -
3297.07/3308.69 c 3309 3829 29 1 - 0.0000 -
3302.46/3314.05 c 3314 3840 28 1 - 0.0000 -
3308.53/3320.16 c 3320 3852 28 1 - 0.0000 -
3313.60/3325.22 c 3325 3859 25 1 - 0.0000 -
3319.98/3331.60 c 3332 3869 27 1 - 0.0000 -
3325.55/3337.21 c 3337 3878 28 1 - 0.0000 -
3330.83/3342.55 c 3343 3890 28 1 - 0.0000 -
3335.91/3347.68 c 3348 3899 25 1 - 0.0000 -
3341.89/3353.64 c 3354 3911 27 1 - 0.0000 -
3347.87/3359.62 c 3360 3922 26 1 - 0.0000 -
3353.64/3365.49 c 3365 3933 25 1 - 0.0000 -
3359.42/3371.20 c 3371 3942 26 1 - 0.0000 -
3365.40/3377.21 c 3377 3950 26 1 - 0.0000 -
3370.97/3382.88 c 3383 3956 26 1 - 0.0000 -
3376.55/3388.46 c 3388 3967 27 1 - 0.0000 -
3382.73/3394.69 c 3395 3981 27 1 - 0.0000 -
3388.90/3400.80 c 3401 3992 28 1 - 0.0000 -
3394.78/3406.77 c 3407 4006 26 1 - 0.0000 -
3400.66/3412.62 c 3413 4016 30 1 - 0.0000 -
3405.64/3417.69 c 3418 4032 28 1 - 0.0000 -
3411.04/3423.07 c 3423 4042 28 1 - 0.0000 -
3416.81/3428.86 c 3429 4052 26 1 - 0.0000 -
3421.89/3433.99 c 3434 4064 28 1 - 0.0000 -
3427.58/3439.66 c 3440 4075 27 1 - 0.0000 -
3432.66/3444.76 c 3445 4082 28 1 - 0.0000 -
3438.44/3450.57 c 3451 4093 29 1 - 0.0000 -
3444.12/3456.23 c 3456 4102 28 1 - 0.0000 -
3450.40/3462.59 c 3463 4109 27 1 - 0.0000 -
3456.00/3468.17 c 3468 4118 28 1 - 0.0000 -
3461.98/3474.11 c 3474 4124 26 1 - 0.0000 -
3467.95/3480.18 c 3480 4133 27 1 - 0.0000 -
3473.02/3485.21 c 3485 4141 29 1 - 0.0000 -
3478.11/3490.38 c 3490 4155 29 1 - 0.0000 -
3484.89/3497.12 c 3497 4169 29 1 - 0.0000 -
3490.06/3502.39 c 3502 4181 28 1 - 0.0000 -
3495.14/3507.46 c 3507 4188 27 1 - 0.0000 -
3501.32/3513.67 c 3514 4196 27 1 - 0.0000 -
3507.71/3520.07 c 3520 4207 26 1 - 0.0000 -
3512.88/3525.23 c 3525 4216 27 1 - 0.0000 -
3517.96/3530.35 c 3530 4229 26 1 - 0.0000 -
3524.24/3536.62 c 3537 4237 26 1 - 0.0000 -
3529.92/3542.35 c 3542 4246 29 1 - 0.0000 -
3535.00/3547.46 c 3547 4254 29 1 - 0.0000 -
3540.78/3553.22 c 3553 4262 29 1 - 0.0000 -
3546.77/3559.29 c 3559 4270 29 1 - 0.0000 -
3552.05/3564.50 c 3564 4280 31 1 - 0.0000 -
3557.33/3569.84 c 3570 4288 31 1 - 0.0000 -
3562.53/3575.04 c 3575 4298 33 1 - 0.0000 -
3568.39/3580.99 c 3581 4307 30 1 - 0.0000 -
3573.87/3586.41 c 3586 4321 30 1 - 0.0000 -
3578.86/3591.44 c 3591 4329 28 1 - 0.0000 -
3585.33/3598.01 c 3598 4335 28 0 - 0.0000 -
3585.44/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.44/3598.05 c Total Time : 3598.0400
3585.44/3598.05 c solving : 3598.0400
3585.44/3598.05 c presolving : 5.6667 (included in solving)
3585.44/3598.05 c B&B Tree :
3585.44/3598.05 c nodes (total) : 1
3585.44/3598.05 c Solution :
3585.44/3598.05 c Solutions found : 0
3585.44/3598.05 c Primal Bound : -
3585.44/3598.05 c Dual Bound : +0.00000000000000e+00
3585.44/3598.05 c Gap : -
3585.44/3598.08 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: 64096 MiB (62224 MiB free)
memory of node 1: 64473 MiB (55223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464479-1722385793/watcher-4464479-1722385793 -o /tmp/evaluation-result-4464479-1722385793/solver-4464479-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464479-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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32981, runsolver pid=32978
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.15 4.16 4.14 5/250 32984
/proc/meminfo: memFree=120238440/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=51944 memory=40424 CPUtime=0.1 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 7742 0 0 0 9 1 0 0 20 0 1 0 5176319 53190656 10106 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 12986 10106 2614 3035 0 9382 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51944 KiB
Current children cumulated memory: 40424 KiB
[startup+0.213044 s]*
/proc/loadavg: 4.15 4.16 4.14 5/250 32984
/proc/meminfo: memFree=120231112/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=56344 memory=45336 CPUtime=0.22 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 9752 0 0 0 20 2 0 0 20 0 1 0 5176319 57696256 11334 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 14086 11334 2662 3035 0 10482 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 56344 KiB
Current children cumulated memory: 45336 KiB
[startup+0.312883 s]*
/proc/loadavg: 4.15 4.16 4.14 5/250 32984
/proc/meminfo: memFree=120226864/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=60828 memory=49976 CPUtime=0.31 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 11387 0 0 0 29 2 0 0 20 0 1 0 5176319 62287872 12494 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 15207 12494 2758 3035 0 11603 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60828 KiB
Current children cumulated memory: 49976 KiB
[startup+0.700344 s]
/proc/loadavg: 4.15 4.16 4.14 5/250 32984
/proc/meminfo: memFree=120210932/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=80980 memory=67452 CPUtime=0.68 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 15813 0 0 0 65 3 0 0 20 0 1 0 5176319 82923520 16863 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 20245 16863 2774 3035 0 16641 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 67452 KiB
[startup+1.5003 s]
/proc/loadavg: 4.15 4.16 4.14 5/250 32984
/proc/meminfo: memFree=120207180/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=80980 memory=67452 CPUtime=1.48 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 15813 0 0 0 145 3 0 0 20 0 1 0 5176319 82923520 16863 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 20245 16863 2774 3035 0 16641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 67452 KiB
[startup+3.11331 s]
/proc/loadavg: 4.13 4.16 4.14 5/247 32998
/proc/meminfo: memFree=120263644/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=80980 memory=68244 CPUtime=3.08 cores=0,2
/proc/32981/stat : 32981 (fscip) R 32978 32981 28487 0 -1 4194304 16006 0 0 0 305 3 0 0 20 0 1 0 5176319 82923520 17061 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 20245 17061 2774 3035 0 16641 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80980 KiB
Current children cumulated memory: 68244 KiB
[startup+6.3004 s]
/proc/loadavg: 4.13 4.16 4.14 5/251 33032
/proc/meminfo: memFree=119715856/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=217188 memory=146896 CPUtime=6.26 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 35665 0 0 0 619 7 0 0 20 0 3 0 5176319 222400512 36724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 54297 36724 2806 3035 0 44932 0
[pid=32981/tid=33031] ppid=32978 vsize=217188 memory=7361169012357804339 CPUtime=0.54 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 10114 0 0 0 52 2 0 0 20 0 3 0 5176892 222400512 36724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=217188 memory=0 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176896 222400512 36724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 217188 KiB
Current children cumulated memory: 146896 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.16 4.14 5/251 33033
/proc/meminfo: memFree=119400048/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=217352 memory=165496 CPUtime=12.64 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 55073 0 0 0 1254 10 0 0 20 0 3 0 5176319 222568448 41374 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 54338 41374 2950 3035 0 49864 0
[pid=32981/tid=33031] ppid=32978 vsize=217352 memory=12968 CPUtime=6.92 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 29500 0 0 0 687 5 0 0 20 0 3 0 5176892 222568448 41374 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=217352 memory=5528 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5176896 222568448 41374 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217352 KiB
Current children cumulated memory: 165496 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.15 4.14 5/251 33083
/proc/meminfo: memFree=121706524/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=218524 memory=167332 CPUtime=25.39 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 64834 0 0 0 2529 10 0 0 20 0 3 0 5176319 223768576 41833 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 54631 41833 2966 3035 0 50338 0
[pid=32981/tid=33031] ppid=32978 vsize=218524 memory=167332 CPUtime=19.67 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 39240 0 0 0 1962 5 0 0 20 0 3 0 5176892 223768576 41833 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=218524 memory=167332 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5176896 223768576 41833 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 218524 KiB
Current children cumulated memory: 167332 KiB
[startup+51.1129 s]
/proc/loadavg: 4.28 4.19 4.15 5/251 33145
/proc/meminfo: memFree=121257424/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=288000 memory=233992 CPUtime=50.92 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 120870 0 0 0 5077 15 0 0 20 0 3 0 5176319 294912000 58498 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 72000 58498 2982 3035 0 68379 0
[pid=32981/tid=33031] ppid=32978 vsize=288000 memory=233904 CPUtime=45.19 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 95263 0 0 0 4509 10 0 0 20 0 3 0 5176892 294912000 58498 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=288000 memory=233724 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 5176896 294912000 58498 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 288000 KiB
Current children cumulated memory: 233992 KiB
[startup+102.3 s]
/proc/loadavg: 4.74 4.33 4.20 5/251 33154
/proc/meminfo: memFree=121192784/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=288140 memory=236208 CPUtime=101.93 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 165748 0 0 0 10176 17 0 0 20 0 3 0 5176319 295055360 59052 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 72035 59052 2982 3035 0 68419 0
[pid=32981/tid=33031] ppid=32978 vsize=288140 memory=11440 CPUtime=96.21 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 140099 0 0 0 9609 12 0 0 20 0 3 0 5176892 295055360 59052 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=288140 memory=146896 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 5176896 295055360 59052 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 288140 KiB
Current children cumulated memory: 236208 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.28 4.19 5/253 33167
/proc/meminfo: memFree=119864952/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=288140 memory=236520 CPUtime=161.73 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 222333 0 0 0 16151 22 0 0 20 0 3 0 5176319 295055360 59130 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 72035 59130 3030 3035 0 68419 0
[pid=32981/tid=33031] ppid=32978 vsize=288140 memory=236280 CPUtime=155.99 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 196613 0 0 0 15583 16 0 0 20 0 3 0 5176892 295055360 59130 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=288140 memory=11440 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 78 0 0 0 0 0 0 0 20 0 3 0 5176896 295055360 59130 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 288140 KiB
Current children cumulated memory: 236520 KiB
[startup+222.301 s]
/proc/loadavg: 4.21 4.26 4.19 5/253 33178
/proc/meminfo: memFree=119648756/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=288140 memory=236820 CPUtime=221.53 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 230899 0 0 0 22130 23 0 0 20 0 3 0 5176319 295055360 59205 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 72035 59205 3030 3035 0 68420 0
[pid=32981/tid=33031] ppid=32978 vsize=288140 memory=236820 CPUtime=215.79 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 205172 0 0 0 21562 17 0 0 20 0 3 0 5176892 295055360 59205 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=288140 memory=238332 CPUtime=0 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 5176896 295055360 59205 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 288140 KiB
Current children cumulated memory: 236820 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.22 4.18 5/252 33189
/proc/meminfo: memFree=119484408/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=288140 memory=236820 CPUtime=281.32 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 250009 0 0 0 28108 24 0 0 20 0 3 0 5176319 295055360 59205 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 72035 59205 3030 3035 0 68420 0
[pid=32981/tid=33031] ppid=32978 vsize=288140 memory=2276 CPUtime=275.59 cores=0,2
################
# More data... #
################
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=11440 CPUtime=3384.47 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 623433 0 0 0 338386 61 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=338896 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 325 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3390.39 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.52 4.30 4.18 5/251 35028
/proc/meminfo: memFree=123570956/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3450.2 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 651867 0 0 0 344945 75 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=11440 CPUtime=3444.27 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 624968 0 0 0 344366 61 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=338896 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 327 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.26 4.18 5/251 35040
/proc/meminfo: memFree=123544864/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3509.99 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 653721 0 0 0 350924 75 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=12968 CPUtime=3504.05 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 626801 0 0 0 350344 61 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=338896 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 329 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3509.99 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.24 4.18 5/252 35221
/proc/meminfo: memFree=123532448/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3569.79 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655421 0 0 0 356903 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=338896 CPUtime=3563.85 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628477 0 0 0 356323 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=2652 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 336 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3598.09 s]
# the end of solver process 32981 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.76 s, system=0.780106 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.24 4.17 5/252 35221
/proc/meminfo: memFree=123532492/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3571.49 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655454 0 0 0 357073 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=7686721470247706567 CPUtime=3565.56 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628510 0 0 0 356494 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=4137851054442835618 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 336 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.23 4.17 6/252 35221
/proc/meminfo: memFree=123530992/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3577.86 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655678 0 0 0 357710 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=338896 CPUtime=3571.92 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628730 0 0 0 357130 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=-7019541185795546745 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3577.86 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.23 4.17 5/252 35223
/proc/meminfo: memFree=123529692/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3581.05 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655679 0 0 0 358029 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=338896 CPUtime=3575.11 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628731 0 0 0 357449 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=1904 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.23 4.17 5/252 35223
/proc/meminfo: memFree=123529700/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3582.64 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655689 0 0 0 358188 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=423012 CPUtime=3576.7 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628741 0 0 0 357608 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=1904 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3582.64 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.23 4.17 5/252 35223
/proc/meminfo: memFree=123528692/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3584.24 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655708 0 0 0 358348 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=11440 CPUtime=3578.3 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628760 0 0 0 357768 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=338896 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3597.6 s]
/proc/loadavg: 4.13 4.23 4.17 5/252 35223
/proc/meminfo: memFree=123528692/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3585.03 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655708 0 0 0 358427 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=11440 CPUtime=3579.1 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628760 0 0 0 357848 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=12968 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3585.03 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.22 4.17 5/252 35223
/proc/meminfo: memFree=123528668/131655788 swapFree=131071996/131071996
[pid=32981] ppid=32978 vsize=415560 memory=338896 CPUtime=3585.44 cores=0,2
/proc/32981/stat : 32981 (fscip) S 32978 32981 28487 0 -1 1077936128 655720 0 0 0 358468 76 0 0 20 0 3 0 5176319 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
/proc/32981/statm: 103890 84724 3334 3035 0 87600 0
[pid=32981/tid=33031] ppid=32978 vsize=415560 memory=2700 CPUtime=3579.51 cores=0,2
/proc/32981/task/33031/stat : 33031 (fscip) R 32978 32981 28487 0 -1 4194368 628772 0 0 0 357889 62 0 0 20 0 3 0 5176892 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
[pid=32981/tid=33032] ppid=32978 vsize=415560 memory=4137851054442835618 CPUtime=0.05 cores=0,2
/proc/32981/task/33032/stat : 33032 (fscip) S 32978 32981 28487 0 -1 1077936192 338 0 0 0 1 4 0 0 20 0 3 0 5176896 425533440 84724 134679101440 4194304 16623229 140729165781792 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 31719424 140729165788182 140729165788298 140729165788298 140729165795312 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 415560 KiB
Current children cumulated memory: 338896 KiB
Child status: 0
Real time (s): 3598.09
CPU time (s): 3585.54
CPU user time (s): 3584.76
CPU system time (s): 0.780106
CPU usage (%): 99.6511
Max. virtual memory (cumulated for all children) (KiB): 415560
Max. memory (cumulated for all children) (KiB): 338896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.76
system time used= 0.780106
maximum resident set size= 338896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656565
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= 7124
involuntary context switches= 25268
# summary of solver processes directly reported to runsolver:
# pid: 32981
# total CPU time (s): 3585.54
# total CPU user time (s): 3584.76
# total CPU system time (s): 0.780106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3998 second user time and 34.3347 second system time
The end
Begin job on nodeC005 at 2024-07-31 02:29:53
IDJOB=4464479
IDBENCH=158351
IDSOLVER=3092
FILE ID=nodeC005/4464479-1722385793
RUNJOBID= nodeC005-1722378594-28498
SLURM_JOB_ID= 8249835
Free space on /tmp= 723660 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.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-4464479-1722385793/watcher-4464479-1722385793 -o /tmp/evaluation-result-4464479-1722385793/solver-4464479-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28498 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464479-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295
RANDOM SEED=99795441
nodeC005.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 : 3422.513
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.72
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 : 3670.877
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.37
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.211
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.72
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.396
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.37
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 : 3668.151
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.72
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 : 3546.481
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.37
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.375
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.72
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.305
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 120266932 kB
MemAvailable: 122408492 kB
Buffers: 101880 kB
Cached: 2845476 kB
SwapCached: 0 kB
Active: 302472 kB
Inactive: 10574768 kB
Active(anon): 1476 kB
Inactive(anon): 7949756 kB
Active(file): 300996 kB
Inactive(file): 2625012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28968 kB
Writeback: 4 kB
AnonPages: 7929912 kB
Mapped: 121460 kB
Shmem: 21320 kB
KReclaimable: 111500 kB
Slab: 194512 kB
SReclaimable: 111500 kB
SUnreclaim: 83012 kB
KernelStack: 4000 kB
PageTables: 24816 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5173340 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4458496 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC005 at 2024-07-31 03:29:51