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.08 c Default LC presolving (default).
0.00/0.08 c ** Before presolving: virtualMemUsedAtLc = 47247360, getVmSize() = 47247360, SCIPgetMemUsed() = 20240944, SCIPgetMemTotal() = 25023968, SCIPgetMemExternEstim() = 10873979
0.00/0.08 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
6.57/6.63 c ** Estimated virtualMemUsedAtSolver = 73815558, getVmSize() = 124612608, SCIPgetMemUsed() = 70029327, SCIPgetMemTotal() = 99849359, SCIPgetMemExternEstim() = 10873979
6.57/6.63 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
6.57/6.63 c Original Problem :
6.57/6.63 c Problem name : instance-4464477-1722385793
6.57/6.63 c Variables : 5576 (5576 binary, 0 integer, 0 implicit integer, 0 continuous)
6.57/6.63 c Constraints : 5742
6.57/6.63 c Objective sense : minimize
6.57/6.63 c Presolved Problem :
6.57/6.63 c Variables : 4844 (4844 binary, 0 integer, 0 implicit integer, 0 continuous)
6.57/6.63 c Constraints : 4992
6.57/6.63 c Constraints : Number
6.57/6.63 c knapsack : 1
6.57/6.63 c setppc : 1070
6.57/6.63 c orbitope : 3
6.57/6.63 c logicor : 3918
6.57/6.63 c ** Instance transfer method used: 0
6.57/6.64 c ** ParaScipInstance copy increased the number of variables. **
6.57/6.67 c LC is working with racing ramp-up and with rebuilding tree after racing.
6.57/6.67 c Nodes Active
6.57/6.67 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
142.96/143.44 c 143 2 1 1 - 0.0000 -
148.56/149.09 c 149 8 7 1 - 0.0000 -
155.92/156.49 c 156 14 13 1 - 0.0000 -
163.90/164.43 c 164 22 17 1 - 0.0000 -
169.28/169.86 c 170 27 20 1 - 0.0000 -
175.48/176.08 c 176 33 22 1 - 0.0000 -
180.96/181.58 c 182 46 27 1 - 0.0000 -
186.34/186.97 c 187 56 27 1 - 0.0000 -
192.53/193.16 c 193 72 27 1 - 0.0000 -
200.51/201.18 c 201 82 29 1 - 0.0000 -
207.49/208.15 c 208 84 31 1 - 0.0000 -
212.97/213.63 c 214 85 32 1 - 0.0000 -
222.35/223.06 c 223 86 33 1 - 0.0000 -
228.03/228.78 c 229 96 31 1 - 0.0000 -
234.01/234.74 c 235 102 33 1 - 0.0000 -
239.69/240.42 c 240 108 33 1 - 0.0000 -
245.08/245.88 c 246 115 32 1 - 0.0000 -
251.27/252.04 c 252 124 31 1 - 0.0000 -
257.44/258.25 c 258 131 36 1 - 0.0000 -
265.52/266.37 c 266 134 39 1 - 0.0000 -
277.49/278.32 c 278 135 40 1 - 0.0000 -
284.67/285.51 c 286 145 40 1 - 0.0000 -
289.95/290.86 c 291 151 42 1 - 0.0000 -
296.15/297.08 c 297 153 44 1 - 0.0000 -
302.42/303.36 c 303 156 47 1 - 0.0000 -
308.30/309.25 c 309 160 49 1 - 0.0000 -
314.10/315.07 c 315 164 51 1 - 0.0000 -
327.65/328.68 c 329 167 54 1 - 0.0000 -
332.83/333.85 c 334 173 58 1 - 0.0000 -
339.62/340.64 c 341 175 60 1 - 0.0000 -
435.54/436.82 c 437 177 62 1 - 0.0000 -
454.18/455.56 c 456 182 67 1 - 0.0000 -
462.15/463.56 c 464 184 69 1 - 0.0000 -
469.53/470.96 c 471 187 72 1 - 0.0000 -
475.32/476.71 c 477 188 73 1 - 0.0000 -
482.20/483.65 c 484 192 77 1 - 0.0000 -
488.79/490.29 c 490 202 79 1 - 0.0000 -
498.17/499.68 c 500 209 80 1 - 0.0000 -
518.21/519.74 c 520 212 83 1 - 0.0000 -
524.20/525.73 c 526 222 83 1 - 0.0000 -
531.59/533.18 c 533 234 83 1 - 0.0000 -
538.48/540.08 c 540 237 86 1 - 0.0000 -
545.95/547.60 c 548 238 87 1 - 0.0000 -
552.54/554.12 c 554 239 88 1 - 0.0000 -
566.60/568.28 c 568 243 92 1 - 0.0000 -
574.57/576.26 c 576 245 94 1 - 0.0000 -
582.55/584.26 c 584 248 97 1 - 0.0000 -
589.94/591.60 c 592 250 99 1 - 0.0000 -
608.19/609.90 c 610 253 102 1 - 0.0000 -
615.28/617.08 c 617 255 104 1 - 0.0000 -
625.45/627.25 c 627 258 107 1 - 0.0000 -
632.02/633.81 c 634 261 110 1 - 0.0000 -
641.32/643.15 c 643 263 112 1 - 0.0000 -
648.69/650.54 c 651 265 114 1 - 0.0000 -
661.05/662.98 c 663 268 117 1 - 0.0000 -
667.64/669.56 c 670 279 116 1 - 0.0000 -
672.83/674.78 c 675 288 115 1 - 0.0000 -
682.22/684.11 c 684 295 116 1 - 0.0000 -
687.69/689.61 c 690 296 117 1 - 0.0000 -
695.87/697.88 c 698 298 119 1 - 0.0000 -
711.43/713.42 c 713 303 124 1 - 0.0000 -
718.61/720.64 c 721 308 129 1 - 0.0000 -
724.60/726.66 c 727 318 131 1 - 0.0000 -
730.59/732.66 c 733 326 133 1 - 0.0000 -
740.46/742.57 c 743 328 135 1 - 0.0000 -
745.65/747.73 c 748 333 136 1 - 0.0000 -
751.73/753.81 c 754 338 137 1 - 0.0000 -
757.51/759.63 c 760 347 140 1 - 0.0000 -
763.18/765.34 c 765 354 143 1 - 0.0000 -
768.88/771.03 c 771 363 146 1 - 0.0000 -
774.15/776.31 c 776 369 146 1 - 0.0000 -
781.95/784.17 c 784 375 148 1 - 0.0000 -
788.32/790.55 c 791 380 149 1 - 0.0000 -
793.82/796.10 c 796 386 149 1 - 0.0000 -
800.50/802.73 c 803 389 150 1 - 0.0000 -
805.68/807.90 c 808 396 149 1 - 0.0000 -
810.78/813.02 c 813 405 148 1 - 0.0000 -
815.77/818.06 c 818 413 148 1 - 0.0000 -
821.54/823.81 c 824 423 146 1 - 0.0000 -
827.13/829.45 c 829 426 149 1 - 0.0000 -
832.22/834.58 c 835 431 150 1 - 0.0000 -
838.30/840.68 c 841 436 151 1 - 0.0000 -
843.89/846.22 c 846 444 151 1 - 0.0000 -
849.18/851.54 c 852 452 151 1 - 0.0000 -
854.96/857.31 c 857 459 154 1 - 0.0000 -
866.43/868.89 c 869 465 158 1 - 0.0000 -
872.51/874.92 c 875 475 158 1 - 0.0000 -
877.80/880.26 c 880 482 157 1 - 0.0000 -
884.08/886.50 c 887 487 158 1 - 0.0000 -
891.37/893.84 c 894 491 158 1 - 0.0000 -
896.57/899.08 c 899 497 158 1 - 0.0000 -
902.84/905.30 c 905 502 161 1 - 0.0000 -
910.92/913.49 c 914 505 162 1 - 0.0000 -
916.20/918.73 c 919 509 164 1 - 0.0000 -
923.89/926.47 c 926 516 169 1 - 0.0000 -
929.49/932.08 c 932 524 171 1 - 0.0000 -
936.76/939.34 c 939 530 171 1 - 0.0000 -
942.24/944.85 c 945 532 171 1 - 0.0000 -
948.03/950.63 c 951 537 172 1 - 0.0000 -
954.61/957.28 c 957 544 171 1 - 0.0000 -
960.80/963.42 c 963 551 172 1 - 0.0000 -
967.28/969.99 c 970 555 176 1 - 0.0000 -
972.87/975.52 c 976 561 178 1 - 0.0000 -
978.95/981.66 c 982 564 181 1 - 0.0000 -
983.94/986.67 c 987 567 184 1 - 0.0000 -
990.02/992.70 c 993 572 187 1 - 0.0000 -
996.51/999.22 c 999 576 189 1 - 0.0000 -
1003.80/1006.50 c 1007 581 192 1 - 0.0000 -
1010.08/1012.84 c 1013 583 194 1 - 0.0000 -
1015.46/1018.25 c 1018 586 195 1 - 0.0000 -
1030.83/1033.67 c 1034 590 197 1 - 0.0000 -
1037.11/1039.96 c 1040 597 198 1 - 0.0000 -
1042.21/1045.04 c 1045 602 197 1 - 0.0000 -
1048.09/1050.90 c 1051 605 200 1 - 0.0000 -
1054.07/1056.90 c 1057 614 199 1 - 0.0000 -
1060.06/1062.94 c 1063 616 201 1 - 0.0000 -
1065.34/1068.23 c 1068 621 204 1 - 0.0000 -
1071.73/1074.64 c 1075 627 204 1 - 0.0000 -
1080.80/1083.70 c 1084 632 207 1 - 0.0000 -
1087.48/1090.42 c 1090 636 209 1 - 0.0000 -
1095.56/1098.58 c 1099 640 209 1 - 0.0000 -
1102.14/1105.12 c 1105 645 210 1 - 0.0000 -
1108.22/1111.22 c 1111 652 211 1 - 0.0000 -
1141.72/1144.86 c 1145 655 214 1 - 0.0000 -
1146.80/1149.99 c 1150 659 216 1 - 0.0000 -
1154.58/1157.74 c 1158 665 212 1 - 0.0000 -
1160.55/1163.78 c 1164 672 213 1 - 0.0000 -
1167.23/1170.47 c 1170 677 214 1 - 0.0000 -
1180.69/1183.96 c 1184 680 217 1 - 0.0000 -
1186.19/1189.45 c 1189 684 217 1 - 0.0000 -
1191.57/1194.85 c 1195 687 218 1 - 0.0000 -
1198.16/1201.48 c 1201 690 217 1 - 0.0000 -
1205.94/1209.28 c 1209 693 220 1 - 0.0000 -
1212.92/1216.26 c 1216 695 222 1 - 0.0000 -
1218.30/1221.62 c 1222 701 222 1 - 0.0000 -
1226.58/1229.90 c 1230 705 224 1 - 0.0000 -
1233.96/1237.38 c 1237 710 227 1 - 0.0000 -
1243.13/1246.56 c 1247 714 227 1 - 0.0000 -
1248.21/1251.61 c 1252 716 229 1 - 0.0000 -
1261.47/1264.96 c 1265 719 232 1 - 0.0000 -
1267.15/1270.68 c 1271 720 233 1 - 0.0000 -
1275.12/1278.66 c 1279 722 235 1 - 0.0000 -
1283.70/1287.23 c 1287 724 237 1 - 0.0000 -
1290.67/1294.23 c 1294 729 240 1 - 0.0000 -
1296.85/1300.43 c 1300 734 241 1 - 0.0000 -
1301.95/1305.50 c 1306 740 245 1 - 0.0000 -
1307.83/1311.46 c 1311 744 247 1 - 0.0000 -
1315.52/1319.18 c 1319 748 249 1 - 0.0000 -
1322.09/1325.74 c 1326 754 251 1 - 0.0000 -
1328.18/1331.87 c 1332 757 254 1 - 0.0000 -
1333.76/1337.40 c 1337 766 253 1 - 0.0000 -
1339.46/1343.19 c 1343 773 254 1 - 0.0000 -
1345.63/1349.32 c 1349 778 255 1 - 0.0000 -
1351.11/1354.84 c 1355 790 251 1 - 0.0000 -
1358.31/1362.09 c 1362 797 256 1 - 0.0000 -
1369.28/1373.06 c 1373 800 259 1 - 0.0000 -
1375.85/1379.65 c 1380 809 256 1 - 0.0000 -
1381.24/1385.02 c 1385 816 257 1 - 0.0000 -
1387.41/1391.22 c 1391 822 263 1 - 0.0000 -
1392.59/1396.42 c 1396 824 265 1 - 0.0000 -
1402.66/1406.54 c 1407 833 266 1 - 0.0000 -
1410.94/1414.81 c 1415 836 267 1 - 0.0000 -
1418.91/1422.84 c 1423 840 269 1 - 0.0000 -
1425.59/1429.58 c 1430 847 270 1 - 0.0000 -
1430.67/1434.69 c 1435 850 271 1 - 0.0000 -
1436.17/1440.12 c 1440 860 273 1 - 0.0000 -
1441.44/1445.47 c 1445 872 275 1 - 0.0000 -
1446.62/1450.60 c 1451 878 275 1 - 0.0000 -
1454.80/1458.80 c 1459 886 279 1 - 0.0000 -
1462.87/1466.99 c 1467 897 278 1 - 0.0000 -
1469.25/1473.32 c 1473 908 277 1 - 0.0000 -
1474.44/1478.51 c 1479 913 278 1 - 0.0000 -
1479.52/1483.65 c 1484 921 276 1 - 0.0000 -
1485.21/1489.33 c 1489 928 277 1 - 0.0000 -
1492.59/1496.72 c 1497 934 281 1 - 0.0000 -
1498.38/1502.53 c 1503 946 283 1 - 0.0000 -
1503.77/1507.95 c 1508 956 283 1 - 0.0000 -
1509.45/1513.66 c 1514 961 286 1 - 0.0000 -
1514.73/1518.99 c 1519 965 286 1 - 0.0000 -
1520.22/1524.49 c 1524 972 287 1 - 0.0000 -
1527.91/1532.17 c 1532 979 290 1 - 0.0000 -
1534.48/1538.70 c 1539 991 290 1 - 0.0000 -
1540.27/1544.59 c 1545 997 290 1 - 0.0000 -
1547.86/1552.18 c 1552 1002 291 1 - 0.0000 -
1555.93/1560.24 c 1560 1005 292 1 - 0.0000 -
1563.91/1568.26 c 1568 1007 290 1 - 0.0000 -
1569.49/1573.81 c 1574 1011 294 1 - 0.0000 -
1577.27/1581.60 c 1582 1012 295 1 - 0.0000 -
1585.25/1589.67 c 1590 1018 299 1 - 0.0000 -
1591.04/1595.40 c 1595 1023 304 1 - 0.0000 -
1596.12/1600.52 c 1601 1028 305 1 - 0.0000 -
1603.11/1607.59 c 1608 1033 306 1 - 0.0000 -
1609.29/1613.77 c 1614 1038 309 1 - 0.0000 -
1614.38/1618.88 c 1619 1044 309 1 - 0.0000 -
1620.26/1624.74 c 1625 1049 312 1 - 0.0000 -
1626.74/1631.21 c 1631 1060 309 1 - 0.0000 -
1634.13/1638.65 c 1639 1063 312 1 - 0.0000 -
1639.71/1644.24 c 1644 1070 311 1 - 0.0000 -
1645.39/1649.95 c 1650 1078 313 1 - 0.0000 -
1652.18/1656.70 c 1657 1083 314 1 - 0.0000 -
1662.36/1666.97 c 1667 1085 316 1 - 0.0000 -
1669.84/1674.46 c 1674 1092 317 1 - 0.0000 -
1678.12/1682.77 c 1683 1098 321 1 - 0.0000 -
1684.60/1689.22 c 1689 1100 322 1 - 0.0000 -
1690.08/1694.72 c 1695 1105 323 1 - 0.0000 -
1696.48/1701.15 c 1701 1116 324 1 - 0.0000 -
1702.55/1707.26 c 1707 1124 324 1 - 0.0000 -
1707.63/1712.33 c 1712 1129 325 1 - 0.0000 -
1713.52/1718.22 c 1718 1140 326 1 - 0.0000 -
1720.00/1724.70 c 1725 1144 328 1 - 0.0000 -
1727.29/1732.08 c 1732 1153 327 1 - 0.0000 -
1733.17/1737.96 c 1738 1159 327 1 - 0.0000 -
1739.06/1743.82 c 1744 1163 327 1 - 0.0000 -
1745.14/1749.90 c 1750 1168 328 1 - 0.0000 -
1751.72/1756.56 c 1757 1177 331 1 - 0.0000 -
1758.91/1763.79 c 1764 1183 331 1 - 0.0000 -
1765.89/1770.74 c 1771 1186 334 1 - 0.0000 -
1770.98/1775.89 c 1776 1188 336 1 - 0.0000 -
1776.27/1781.12 c 1781 1197 337 1 - 0.0000 -
1782.26/1787.18 c 1787 1202 336 1 - 0.0000 -
1787.43/1792.37 c 1792 1204 338 1 - 0.0000 -
1792.91/1797.89 c 1798 1209 339 1 - 0.0000 -
1800.60/1805.60 c 1806 1215 341 1 - 0.0000 -
1809.87/1814.88 c 1815 1222 342 1 - 0.0000 -
1815.86/1820.82 c 1821 1226 346 1 - 0.0000 -
1823.84/1828.88 c 1829 1238 346 1 - 0.0000 -
1829.32/1834.31 c 1834 1241 347 1 - 0.0000 -
1857.96/1863.05 c 1863 1242 348 1 - 0.0000 -
1863.64/1868.78 c 1869 1252 352 1 - 0.0000 -
1869.12/1874.25 c 1874 1264 352 1 - 0.0000 -
1874.92/1880.06 c 1880 1267 355 1 - 0.0000 -
1880.90/1886.04 c 1886 1268 356 1 - 0.0000 -
1885.99/1891.18 c 1891 1273 357 1 - 0.0000 -
1894.45/1899.67 c 1900 1277 361 1 - 0.0000 -
1899.74/1904.98 c 1905 1282 360 1 - 0.0000 -
1907.02/1912.26 c 1912 1287 359 1 - 0.0000 -
1912.70/1917.97 c 1918 1294 360 1 - 0.0000 -
1919.19/1924.45 c 1924 1300 360 1 - 0.0000 -
1927.66/1932.97 c 1933 1302 362 1 - 0.0000 -
1934.85/1940.12 c 1940 1312 364 1 - 0.0000 -
1942.91/1948.23 c 1948 1315 367 1 - 0.0000 -
1947.89/1953.27 c 1953 1321 367 1 - 0.0000 -
1952.97/1958.30 c 1958 1328 366 1 - 0.0000 -
1959.25/1964.62 c 1965 1336 368 1 - 0.0000 -
1964.75/1970.14 c 1970 1342 370 1 - 0.0000 -
1970.63/1976.05 c 1976 1351 371 1 - 0.0000 -
1976.50/1981.96 c 1982 1361 369 1 - 0.0000 -
1982.48/1987.98 c 1988 1365 369 1 - 0.0000 -
1989.16/1994.66 c 1995 1367 371 1 - 0.0000 -
1994.84/2000.34 c 2000 1371 369 1 - 0.0000 -
2000.03/2005.53 c 2006 1376 372 1 - 0.0000 -
2009.51/2015.04 c 2015 1380 376 1 - 0.0000 -
2016.98/2022.59 c 2023 1382 378 1 - 0.0000 -
2029.35/2034.91 c 2035 1385 381 1 - 0.0000 -
2038.54/2044.14 c 2044 1390 386 1 - 0.0000 -
2045.91/2051.55 c 2052 1398 390 1 - 0.0000 -
2051.59/2057.20 c 2057 1404 390 1 - 0.0000 -
2057.27/2062.90 c 2063 1414 390 1 - 0.0000 -
2063.06/2068.73 c 2069 1421 391 1 - 0.0000 -
2082.01/2087.72 c 2088 1424 394 1 - 0.0000 -
2087.80/2093.58 c 2094 1428 394 1 - 0.0000 -
2093.78/2099.56 c 2100 1437 395 1 - 0.0000 -
2099.16/2104.97 c 2105 1445 397 1 - 0.0000 -
2104.65/2110.44 c 2110 1451 397 1 - 0.0000 -
2112.53/2118.32 c 2118 1457 397 1 - 0.0000 -
2126.21/2132.05 c 2132 1462 398 1 - 0.0000 -
2135.19/2141.10 c 2141 1469 399 1 - 0.0000 -
2141.17/2147.07 c 2147 1473 401 1 - 0.0000 -
2151.83/2157.79 c 2158 1478 400 1 - 0.0000 -
2157.72/2163.62 c 2164 1482 402 1 - 0.0000 -
2164.00/2169.90 c 2170 1487 403 1 - 0.0000 -
2170.49/2176.44 c 2176 1494 406 1 - 0.0000 -
2176.37/2182.37 c 2182 1497 407 1 - 0.0000 -
2183.66/2189.62 c 2190 1498 407 1 - 0.0000 -
2190.63/2196.63 c 2197 1502 409 1 - 0.0000 -
2199.91/2205.93 c 2206 1504 411 1 - 0.0000 -
2206.69/2212.78 c 2213 1511 410 1 - 0.0000 -
2213.08/2219.11 c 2219 1518 411 1 - 0.0000 -
2223.64/2229.72 c 2230 1522 413 1 - 0.0000 -
2234.52/2240.60 c 2241 1530 417 1 - 0.0000 -
2240.11/2246.21 c 2246 1536 415 1 - 0.0000 -
2245.09/2251.26 c 2251 1545 414 1 - 0.0000 -
2250.08/2256.29 c 2256 1548 417 1 - 0.0000 -
2256.46/2262.60 c 2263 1558 419 1 - 0.0000 -
2262.54/2268.74 c 2269 1561 418 1 - 0.0000 -
2268.63/2274.84 c 2275 1568 419 1 - 0.0000 -
2275.71/2281.95 c 2282 1571 422 1 - 0.0000 -
2281.69/2287.92 c 2288 1576 423 1 - 0.0000 -
2290.17/2296.49 c 2296 1580 423 1 - 0.0000 -
2295.87/2302.18 c 2302 1589 422 1 - 0.0000 -
2304.43/2310.75 c 2311 1591 422 1 - 0.0000 -
2310.32/2316.64 c 2317 1595 424 1 - 0.0000 -
2317.01/2323.39 c 2323 1599 424 1 - 0.0000 -
2323.49/2329.85 c 2330 1603 426 1 - 0.0000 -
2329.68/2336.02 c 2336 1614 425 1 - 0.0000 -
2336.45/2342.80 c 2343 1624 425 1 - 0.0000 -
2345.33/2351.73 c 2352 1629 430 1 - 0.0000 -
2351.51/2357.98 c 2358 1640 429 1 - 0.0000 -
2357.50/2363.98 c 2364 1649 432 1 - 0.0000 -
2363.59/2370.02 c 2370 1656 429 1 - 0.0000 -
2370.36/2376.88 c 2377 1663 430 1 - 0.0000 -
2378.34/2384.80 c 2385 1668 433 1 - 0.0000 -
2389.52/2396.04 c 2396 1674 437 1 - 0.0000 -
2396.51/2403.06 c 2403 1680 441 1 - 0.0000 -
2402.58/2409.19 c 2409 1693 446 1 - 0.0000 -
2408.36/2414.97 c 2415 1701 443 1 - 0.0000 -
2413.45/2420.10 c 2420 1705 447 1 - 0.0000 -
2421.12/2427.76 c 2428 1713 449 1 - 0.0000 -
2426.21/2432.86 c 2433 1714 450 1 - 0.0000 -
2435.09/2441.71 c 2442 1719 451 1 - 0.0000 -
2463.62/2470.33 c 2470 1726 454 1 - 0.0000 -
2469.61/2476.39 c 2476 1732 454 1 - 0.0000 -
2478.29/2485.03 c 2485 1741 455 1 - 0.0000 -
2484.07/2490.87 c 2491 1745 455 1 - 0.0000 -
2490.75/2497.56 c 2498 1749 457 1 - 0.0000 -
2496.13/2502.90 c 2503 1757 455 1 - 0.0000 -
2501.91/2508.77 c 2509 1764 454 1 - 0.0000 -
2507.60/2514.43 c 2514 1769 457 1 - 0.0000 -
2515.68/2522.57 c 2523 1772 460 1 - 0.0000 -
2523.06/2529.92 c 2530 1778 462 1 - 0.0000 -
2530.94/2537.84 c 2538 1780 462 1 - 0.0000 -
2536.93/2543.83 c 2544 1789 463 1 - 0.0000 -
2542.22/2549.15 c 2549 1793 463 1 - 0.0000 -
2547.50/2554.48 c 2554 1798 460 1 - 0.0000 -
2552.99/2559.90 c 2560 1802 464 1 - 0.0000 -
2559.67/2566.67 c 2567 1803 465 1 - 0.0000 -
2565.66/2572.67 c 2573 1812 468 1 - 0.0000 -
2578.72/2585.73 c 2586 1815 471 1 - 0.0000 -
2583.71/2590.78 c 2591 1818 472 1 - 0.0000 -
2589.59/2596.66 c 2597 1821 473 1 - 0.0000 -
2597.37/2604.46 c 2604 1822 474 1 - 0.0000 -
2605.05/2612.12 c 2612 1830 476 1 - 0.0000 -
2610.52/2617.66 c 2618 1832 0 1 - 0.0000 -
2665.85/2673.15 c 2673 1832 0 1 - 0.0000 -
2692.78/2700.13 c 2700 1833 1 1 - 0.0000 -
2698.46/2705.84 c 2706 1840 8 1 - 0.0000 -
2704.44/2711.82 c 2712 1845 13 1 - 0.0000 -
2711.53/2718.97 c 2719 1849 17 1 - 0.0000 -
2716.72/2724.12 c 2724 1855 17 1 - 0.0000 -
2726.39/2733.81 c 2734 1860 18 1 - 0.0000 -
2731.47/2739.01 c 2739 1869 19 1 - 0.0000 -
2736.85/2744.38 c 2744 1878 20 1 - 0.0000 -
2742.14/2749.63 c 2750 1889 19 1 - 0.0000 -
2748.12/2755.64 c 2756 1907 19 1 - 0.0000 -
2753.41/2760.98 c 2761 1917 17 1 - 0.0000 -
2758.69/2766.22 c 2766 1923 19 1 - 0.0000 -
2764.68/2772.23 c 2772 1942 18 1 - 0.0000 -
2770.16/2777.71 c 2778 1951 19 1 - 0.0000 -
2777.55/2785.18 c 2785 1963 19 1 - 0.0000 -
2790.81/2798.44 c 2798 1966 22 1 - 0.0000 -
2795.99/2803.69 c 2804 1975 23 1 - 0.0000 -
2801.98/2809.61 c 2810 1991 25 1 - 0.0000 -
2812.16/2819.88 c 2820 1997 29 1 - 0.0000 -
2817.55/2825.22 c 2825 2008 28 1 - 0.0000 -
2822.73/2830.49 c 2830 2015 25 1 - 0.0000 -
2828.72/2836.40 c 2836 2020 26 1 - 0.0000 -
2834.50/2842.26 c 2842 2029 29 1 - 0.0000 -
2840.09/2847.88 c 2848 2040 32 1 - 0.0000 -
2846.07/2853.80 c 2854 2045 33 1 - 0.0000 -
2851.16/2858.91 c 2859 2049 33 1 - 0.0000 -
2856.74/2864.50 c 2865 2066 34 1 - 0.0000 -
2862.42/2870.23 c 2870 2084 34 1 - 0.0000 -
2868.00/2875.90 c 2876 2096 28 1 - 0.0000 -
2873.69/2881.53 c 2882 2104 30 1 - 0.0000 -
2878.97/2886.84 c 2887 2107 33 1 - 0.0000 -
2884.46/2892.38 c 2892 2120 32 1 - 0.0000 -
2889.55/2897.45 c 2897 2128 30 1 - 0.0000 -
2894.84/2902.78 c 2903 2140 32 1 - 0.0000 -
2900.14/2908.09 c 2908 2150 32 1 - 0.0000 -
2906.71/2914.64 c 2915 2163 31 1 - 0.0000 -
2911.70/2919.68 c 2920 2173 33 1 - 0.0000 -
2917.38/2925.38 c 2925 2186 32 1 - 0.0000 -
2922.87/2930.87 c 2931 2198 32 1 - 0.0000 -
2929.06/2937.01 c 2937 2206 32 1 - 0.0000 -
2935.15/2943.12 c 2943 2229 35 1 - 0.0000 -
2941.42/2949.44 c 2949 2250 36 1 - 0.0000 -
2946.80/2954.88 c 2955 2261 32 1 - 0.0000 -
2952.39/2960.42 c 2960 2273 34 1 - 0.0000 -
2958.77/2966.84 c 2967 2287 34 1 - 0.0000 -
2964.56/2972.61 c 2973 2292 30 1 - 0.0000 -
2969.54/2977.68 c 2978 2301 31 1 - 0.0000 -
2975.63/2983.71 c 2984 2314 32 1 - 0.0000 -
2981.51/2989.65 c 2990 2327 33 1 - 0.0000 -
2987.49/2995.64 c 2996 2337 32 1 - 0.0000 -
2992.89/3001.10 c 3001 2348 33 1 - 0.0000 -
2998.46/3006.62 c 3007 2360 31 1 - 0.0000 -
3004.05/3012.20 c 3012 2367 32 1 - 0.0000 -
3009.64/3017.84 c 3018 2380 29 1 - 0.0000 -
3016.33/3024.58 c 3025 2385 30 1 - 0.0000 -
3021.82/3030.06 c 3030 2395 30 1 - 0.0000 -
3027.30/3035.58 c 3036 2403 30 1 - 0.0000 -
3032.58/3040.83 c 3041 2415 28 1 - 0.0000 -
3040.88/3049.11 c 3049 2420 31 1 - 0.0000 -
3046.35/3054.64 c 3055 2428 33 1 - 0.0000 -
3051.44/3059.77 c 3060 2436 33 1 - 0.0000 -
3057.42/3065.77 c 3066 2448 33 1 - 0.0000 -
3062.61/3070.97 c 3071 2462 33 1 - 0.0000 -
3067.70/3076.04 c 3076 2475 32 1 - 0.0000 -
3073.88/3082.23 c 3082 2486 33 1 - 0.0000 -
3079.77/3088.15 c 3088 2493 32 1 - 0.0000 -
3090.93/3099.32 c 3099 2498 35 1 - 0.0000 -
3096.63/3105.02 c 3105 2506 35 1 - 0.0000 -
3103.20/3111.63 c 3112 2519 36 1 - 0.0000 -
3110.18/3118.62 c 3119 2534 35 1 - 0.0000 -
3115.27/3123.78 c 3124 2545 36 1 - 0.0000 -
3121.05/3129.53 c 3130 2555 36 1 - 0.0000 -
3127.44/3135.92 c 3136 2569 36 1 - 0.0000 -
3134.32/3142.89 c 3143 2582 34 1 - 0.0000 -
3139.51/3148.09 c 3148 2590 36 1 - 0.0000 -
3145.39/3153.90 c 3154 2604 36 1 - 0.0000 -
3150.87/3159.45 c 3159 2616 36 1 - 0.0000 -
3157.06/3165.64 c 3166 2634 36 1 - 0.0000 -
3162.34/3170.92 c 3171 2647 35 1 - 0.0000 -
3167.63/3176.25 c 3176 2659 37 1 - 0.0000 -
3172.71/3181.32 c 3181 2673 35 1 - 0.0000 -
3177.91/3186.58 c 3187 2680 34 1 - 0.0000 -
3183.79/3192.45 c 3192 2688 34 1 - 0.0000 -
3190.97/3199.62 c 3200 2700 34 1 - 0.0000 -
3196.56/3205.28 c 3205 2711 37 1 - 0.0000 -
3203.24/3211.97 c 3212 2724 34 1 - 0.0000 -
3209.33/3218.10 c 3218 2731 35 1 - 0.0000 -
3214.81/3223.60 c 3224 2742 34 1 - 0.0000 -
3220.79/3229.58 c 3230 2751 35 1 - 0.0000 -
3226.88/3235.69 c 3236 2762 32 1 - 0.0000 -
3232.06/3240.85 c 3241 2772 32 1 - 0.0000 -
3237.05/3245.87 c 3246 2782 32 1 - 0.0000 -
3242.53/3251.31 c 3251 2801 35 1 - 0.0000 -
3248.42/3257.28 c 3257 2813 39 1 - 0.0000 -
3253.60/3262.41 c 3262 2828 38 1 - 0.0000 -
3259.09/3267.90 c 3268 2847 39 1 - 0.0000 -
3264.98/3273.88 c 3274 2861 33 1 - 0.0000 -
3270.17/3279.07 c 3279 2868 32 1 - 0.0000 -
3276.64/3285.58 c 3286 2878 32 1 - 0.0000 -
3282.83/3291.71 c 3292 2885 33 1 - 0.0000 -
3288.41/3297.36 c 3297 2894 34 1 - 0.0000 -
3343.48/3352.57 c 3353 2899 37 1 - 0.0000 -
3348.67/3357.71 c 3358 2906 36 1 - 0.0000 -
3353.76/3362.89 c 3363 2915 35 1 - 0.0000 -
3360.45/3369.55 c 3370 2924 38 1 - 0.0000 -
3367.33/3376.49 c 3376 2932 38 1 - 0.0000 -
3373.31/3382.49 c 3382 2943 39 1 - 0.0000 -
3378.91/3388.08 c 3388 2953 39 1 - 0.0000 -
3385.00/3394.12 c 3394 2973 39 1 - 0.0000 -
3391.07/3400.21 c 3400 2981 37 1 - 0.0000 -
3396.25/3405.45 c 3405 2989 37 1 - 0.0000 -
3402.54/3411.78 c 3412 3001 39 1 - 0.0000 -
3409.51/3418.79 c 3419 3014 38 1 - 0.0000 -
3414.70/3423.94 c 3424 3020 38 1 - 0.0000 -
3420.68/3429.93 c 3430 3033 39 1 - 0.0000 -
3426.17/3435.46 c 3435 3041 37 1 - 0.0000 -
3431.36/3440.65 c 3441 3048 36 1 - 0.0000 -
3437.85/3447.13 c 3447 3057 37 1 - 0.0000 -
3443.83/3453.16 c 3453 3066 36 1 - 0.0000 -
3449.21/3458.56 c 3459 3073 37 1 - 0.0000 -
3456.29/3465.61 c 3466 3081 39 1 - 0.0000 -
3462.79/3472.17 c 3472 3095 37 1 - 0.0000 -
3468.26/3477.60 c 3478 3102 38 1 - 0.0000 -
3473.76/3483.14 c 3483 3110 38 1 - 0.0000 -
3479.23/3488.63 c 3489 3123 37 1 - 0.0000 -
3484.63/3494.01 c 3494 3129 37 1 - 0.0000 -
3490.71/3500.15 c 3500 3138 36 1 - 0.0000 -
3496.60/3506.04 c 3506 3146 36 1 - 0.0000 -
3501.87/3511.37 c 3511 3155 35 1 - 0.0000 -
3507.67/3517.20 c 3517 3169 35 1 - 0.0000 -
3513.94/3523.41 c 3523 3179 37 1 - 0.0000 -
3519.92/3529.45 c 3529 3189 35 1 - 0.0000 -
3525.52/3535.08 c 3535 3197 35 1 - 0.0000 -
3531.30/3540.81 c 3541 3210 34 1 - 0.0000 -
3537.88/3547.41 c 3547 3217 35 1 - 0.0000 -
3543.26/3552.88 c 3553 3226 34 1 - 0.0000 -
3551.04/3560.65 c 3561 3238 34 1 - 0.0000 -
3556.54/3566.12 c 3566 3245 37 1 - 0.0000 -
3562.53/3572.13 c 3572 3253 37 1 - 0.0000 -
3567.60/3577.28 c 3577 3260 38 1 - 0.0000 -
3573.00/3582.66 c 3583 3270 36 1 - 0.0000 -
3578.58/3588.24 c 3588 3278 36 1 - 0.0000 -
3584.26/3593.98 c 3594 3290 36 1 - 0.0000 -
3588.36/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.36/3598.05 c Total Time : 3598.0400
3588.36/3598.05 c solving : 3598.0400
3588.36/3598.05 c presolving : 6.5446 (included in solving)
3588.36/3598.05 c B&B Tree :
3588.36/3598.05 c nodes (total) : 1
3588.36/3598.05 c Solution :
3588.36/3598.05 c Solutions found : 0
3588.36/3598.05 c Primal Bound : -
3588.36/3598.05 c Dual Bound : +0.00000000000000e+00
3588.36/3598.05 c Gap : -
3588.36/3598.07 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 (58976 MiB free)
memory of node 1: 64473 MiB (54638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464477-1722385793/watcher-4464477-1722385793 -o /tmp/evaluation-result-4464477-1722385793/solver-4464477-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27294 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464477-1722385793.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31742, runsolver pid=31739
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116314496/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=48796 memory=37400 CPUtime=0.1 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 7029 0 0 0 8 2 0 0 20 0 1 0 4949400 49967104 9350 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 12199 9350 2598 3035 0 8595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48796 KiB
Current children cumulated memory: 37400 KiB
[startup+0.213225 s]*
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116306852/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=56004 memory=44876 CPUtime=0.21 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 9646 0 0 0 19 2 0 0 20 0 1 0 4949400 57348096 11219 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 14001 11219 2662 3035 0 10397 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56004 KiB
Current children cumulated memory: 44876 KiB
[startup+0.313043 s]*
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116308324/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=53932 memory=43240 CPUtime=0.31 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 9661 0 0 0 29 2 0 0 20 0 1 0 4949400 55226368 10810 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 13483 10810 2710 3035 0 9879 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53932 KiB
Current children cumulated memory: 43240 KiB
[startup+0.700345 s]
/proc/loadavg: 4.14 4.14 4.13 5/251 31743
/proc/meminfo: memFree=116302820/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=78732 memory=65008 CPUtime=0.69 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 15162 0 0 0 65 4 0 0 20 0 1 0 4949400 80621568 16252 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 19683 16252 2774 3035 0 16079 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78732 KiB
Current children cumulated memory: 65008 KiB
[startup+1.50036 s]
/proc/loadavg: 4.13 4.13 4.13 6/251 31743
/proc/meminfo: memFree=116285576/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=79828 memory=66048 CPUtime=1.48 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 15433 0 0 0 144 4 0 0 20 0 1 0 4949400 81743872 16512 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 19957 16512 2774 3035 0 16353 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79828 KiB
Current children cumulated memory: 66048 KiB
[startup+3.11294 s]
/proc/loadavg: 4.13 4.13 4.13 5/249 31789
/proc/meminfo: memFree=116953616/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=79828 memory=67100 CPUtime=3.09 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 15639 0 0 0 305 4 0 0 20 0 1 0 4949400 81743872 16775 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 19957 16775 2774 3035 0 16353 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79828 KiB
Current children cumulated memory: 67100 KiB
[startup+6.30032 s]
/proc/loadavg: 4.12 4.13 4.13 5/251 31793
/proc/meminfo: memFree=116791980/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=80936 memory=68156 CPUtime=6.27 cores=4,6
/proc/31742/stat : 31742 (fscip) R 31739 31742 27283 0 -1 4194304 15899 0 0 0 623 4 0 0 20 0 1 0 4949400 82878464 17039 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 20234 17039 2774 3035 0 16630 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80936 KiB
Current children cumulated memory: 68156 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.13 4.12 5/253 31795
/proc/meminfo: memFree=116645772/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=214712 memory=161600 CPUtime=12.62 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 54096 0 0 0 1253 9 0 0 20 0 3 0 4949400 219865088 40400 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 53678 40400 2950 3035 0 48602 0
[pid=31742/tid=31794] ppid=31739 vsize=214712 memory=160844 CPUtime=6.01 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 29129 0 0 0 597 4 0 0 20 0 3 0 4950063 219865088 40400 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=214712 memory=137932 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4950068 219865088 40400 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 214712 KiB
Current children cumulated memory: 161600 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.14 4.13 5/253 31942
/proc/meminfo: memFree=118642908/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=216336 memory=165200 CPUtime=25.39 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 68822 0 0 0 2529 10 0 0 20 0 3 0 4949400 221528064 41300 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 54084 41300 2966 3035 0 49724 0
[pid=31742/tid=31794] ppid=31739 vsize=216336 memory=165164 CPUtime=18.77 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 43841 0 0 0 1873 4 0 0 20 0 3 0 4950063 221528064 41300 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=216336 memory=163268 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4950068 221528064 41300 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 216336 KiB
Current children cumulated memory: 165200 KiB
[startup+51.1129 s]
/proc/loadavg: 4.10 4.13 4.12 5/255 32003
/proc/meminfo: memFree=118547992/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=285620 memory=220372 CPUtime=50.93 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 103470 0 0 0 5079 14 0 0 20 0 3 0 4949400 292474880 55093 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 71405 55093 2982 3035 0 63952 0
[pid=31742/tid=31794] ppid=31739 vsize=285620 memory=165164 CPUtime=44.31 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 78468 0 0 0 4423 8 0 0 20 0 3 0 4950063 292474880 55093 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=285620 memory=220156 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4950068 292474880 55093 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 285620 KiB
Current children cumulated memory: 220372 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.15 4.13 5/254 32013
/proc/meminfo: memFree=118515232/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=285620 memory=220804 CPUtime=101.98 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 128896 0 0 0 10182 16 0 0 20 0 3 0 4949400 292474880 55201 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 71405 55201 2982 3035 0 63952 0
[pid=31742/tid=31794] ppid=31739 vsize=285620 memory=220804 CPUtime=95.35 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 103873 0 0 0 9525 10 0 0 20 0 3 0 4950063 292474880 55201 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=285620 memory=12736 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 4950068 292474880 55201 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 285620 KiB
Current children cumulated memory: 220804 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/254 32023
/proc/meminfo: memFree=118458044/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=351156 memory=239808 CPUtime=161.81 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 170656 0 0 0 16162 19 0 0 20 0 3 0 4949400 359583744 59952 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 87789 59952 3286 3035 0 68447 0
[pid=31742/tid=31794] ppid=31739 vsize=351156 memory=223976 CPUtime=155.18 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 145576 0 0 0 15505 13 0 0 20 0 3 0 4950063 359583744 59952 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=351156 memory=239808 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 87 0 0 0 0 0 0 0 20 0 3 0 4950068 359583744 59952 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 351156 KiB
Current children cumulated memory: 239808 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/254 32033
/proc/meminfo: memFree=118450860/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=351156 memory=240300 CPUtime=221.64 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 193551 0 0 0 22143 21 0 0 20 0 3 0 4949400 359583744 60075 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 87789 60075 3334 3035 0 68447 0
[pid=31742/tid=31794] ppid=31739 vsize=351156 memory=240264 CPUtime=215.02 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 168449 0 0 0 21487 15 0 0 20 0 3 0 4950063 359583744 60075 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=351156 memory=12700 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 90 0 0 0 0 0 0 0 20 0 3 0 4950068 359583744 60075 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 351156 KiB
Current children cumulated memory: 240300 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.15 4.12 5/253 32045
/proc/meminfo: memFree=118436304/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=351156 memory=240348 CPUtime=281.48 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 215058 0 0 0 28125 23 0 0 20 0 3 0 4949400 359583744 60087 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 87789 60087 3334 3035 0 68447 0
[pid=31742/tid=31794] ppid=31739 vsize=351156 memory=11424 CPUtime=274.85 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 189933 0 0 0 27468 17 0 0 20 0 3 0 4950063 359583744 60087 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=351156 memory=240300 CPUtime=0 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 92 0 0 0 0 0 0 0 20 0 3 0 4950068 359583744 60087 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 351156 KiB
################
# More data... #
################
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=334804 CPUtime=3386.35 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 529378 0 0 0 338566 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=334804 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 314 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3393.16 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/252 33722
/proc/meminfo: memFree=120772352/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3453 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 556287 0 0 0 345216 84 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=334804 CPUtime=3446.18 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 530093 0 0 0 344549 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=334804 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 316 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/254 33902
/proc/meminfo: memFree=120757396/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3512.84 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 557283 0 0 0 351200 84 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=12832 CPUtime=3506.03 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531068 0 0 0 350534 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=334804 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 322 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33912
/proc/meminfo: memFree=120752636/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3572.7 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558111 0 0 0 357185 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=11424 CPUtime=3565.87 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531879 0 0 0 356518 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=11424 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3572.7 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3598.08 s]
# the end of solver process 31742 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.59 s, system=0.85406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.09 5/254 33914
/proc/meminfo: memFree=120752148/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3574.4 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558155 0 0 0 357355 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=-7596001938098971515 CPUtime=3567.57 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531916 0 0 0 356688 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=-7522038826519527357 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3590.4 s]
/proc/loadavg: 4.20 4.15 4.10 5/254 33914
/proc/meminfo: memFree=120752232/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3580.77 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558217 0 0 0 357992 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=-7522038826519527357 CPUtime=3573.94 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531977 0 0 0 357325 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=12832 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3593.6 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 33914
/proc/meminfo: memFree=120752260/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3583.96 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558233 0 0 0 358311 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=334804 CPUtime=3577.13 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531993 0 0 0 357644 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=334804 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 33915
/proc/meminfo: memFree=120752184/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3585.56 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558239 0 0 0 358471 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=11424 CPUtime=3578.73 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 531999 0 0 0 357804 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=334804 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3585.56 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.14 4.10 5/254 33915
/proc/meminfo: memFree=120752184/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3587.16 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558245 0 0 0 358631 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=334804 CPUtime=3580.33 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 532005 0 0 0 357964 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=11424 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 33915
/proc/meminfo: memFree=120752184/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3587.95 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558251 0 0 0 358710 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=12832 CPUtime=3581.12 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 532011 0 0 0 358043 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=16032 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.14 4.10 5/254 33915
/proc/meminfo: memFree=120752212/131655788 swapFree=131071472/131071996
[pid=31742] ppid=31739 vsize=413696 memory=334804 CPUtime=3588.36 cores=4,6
/proc/31742/stat : 31742 (fscip) S 31739 31742 27283 0 -1 1077936128 558292 0 0 0 358751 85 0 0 20 0 3 0 4949400 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
/proc/31742/statm: 103424 83701 3334 3035 0 88511 0
[pid=31742/tid=31794] ppid=31739 vsize=413696 memory=-7596001938098971515 CPUtime=3581.54 cores=4,6
/proc/31742/task/31794/stat : 31794 (fscip) R 31739 31742 27283 0 -1 4194368 532051 0 0 0 358085 69 0 0 20 0 3 0 4950063 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
[pid=31742/tid=31795] ppid=31739 vsize=413696 memory=-7522038826519527357 CPUtime=0.05 cores=4,6
/proc/31742/task/31795/stat : 31795 (fscip) S 31739 31742 27283 0 -1 1077936192 324 0 0 0 1 4 0 0 20 0 3 0 4950068 423624704 83701 134679101440 4194304 16623229 140723104924704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 25698304 140723104928790 140723104928906 140723104928906 140723104935920 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 413696 KiB
Current children cumulated memory: 334804 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.44
CPU user time (s): 3587.59
CPU system time (s): 0.85406
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 413696
Max. memory (cumulated for all children) (KiB): 342372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.59
system time used= 0.85406
maximum resident set size= 342372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558871
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= 6777
involuntary context switches= 1573
# summary of solver processes directly reported to runsolver:
# pid: 31742
# total CPU time (s): 3588.44
# total CPU user time (s): 3587.59
# total CPU system time (s): 0.85406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6217 second user time and 35.363 second system time
The end
Begin job on nodeC012 at 2024-07-31 02:29:53
IDJOB=4464477
IDBENCH=158340
IDSOLVER=3092
FILE ID=nodeC012/4464477-1722385793
RUNJOBID= nodeC012-1722378594-27294
SLURM_JOB_ID= 8249842
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.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-4464477-1722385793/watcher-4464477-1722385793 -o /tmp/evaluation-result-4464477-1722385793/solver-4464477-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27294 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464477-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5599f1c242004f89302cb9020bac47d1
RANDOM SEED=99795441
nodeC012.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 : 3647.074
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.70
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 : 3493.684
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.392
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.70
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.397
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 : 3491.870
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.70
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 : 3670.347
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.208
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.70
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.329
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: 116342116 kB
MemAvailable: 123939292 kB
Buffers: 98832 kB
Cached: 8299560 kB
SwapCached: 48 kB
Active: 275528 kB
Inactive: 14523776 kB
Active(anon): 1432 kB
Inactive(anon): 6420752 kB
Active(file): 274096 kB
Inactive(file): 8103024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28572 kB
Writeback: 0 kB
AnonPages: 6397256 kB
Mapped: 123796 kB
Shmem: 21248 kB
KReclaimable: 120508 kB
Slab: 203732 kB
SReclaimable: 120508 kB
SUnreclaim: 83224 kB
KernelStack: 4016 kB
PageTables: 21684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3874368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4894720 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC012 at 2024-07-31 03:29:51