0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 51474432, getVmSize() = 51474432, SCIPgetMemUsed() = 23984316, SCIPgetMemTotal() = 29290284, SCIPgetMemExternEstim() = 12997052
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
6.17/6.27 c ** Estimated virtualMemUsedAtSolver = 87120940, getVmSize() = 142753792, SCIPgetMemUsed() = 83839767, SCIPgetMemTotal() = 117684359, SCIPgetMemExternEstim() = 12997052
6.17/6.27 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
6.17/6.27 c Original Problem :
6.17/6.27 c Problem name : instance-4446980-1721345778
6.17/6.27 c Variables : 6664 (6664 binary, 0 integer, 0 implicit integer, 0 continuous)
6.17/6.27 c Constraints : 6862
6.17/6.27 c Objective sense : minimize
6.17/6.27 c Presolved Problem :
6.17/6.27 c Variables : 5918 (5918 binary, 0 integer, 0 implicit integer, 0 continuous)
6.17/6.27 c Constraints : 6082
6.17/6.27 c Constraints : Number
6.17/6.27 c setppc : 1296
6.17/6.27 c orbitope : 3
6.17/6.27 c logicor : 4783
6.17/6.27 c ** Instance transfer method used: 0
6.17/6.28 c ** ParaScipInstance copy increased the number of variables. **
6.17/6.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
6.17/6.29 c Nodes Active
6.17/6.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
101.70/102.01 c 102 2 1 1 - 0.0000 -
106.88/107.25 c 107 4 1 1 - 0.0000 -
113.56/113.97 c 114 8 5 1 - 0.0000 -
121.53/121.97 c 122 13 10 1 - 0.0000 -
128.21/128.69 c 129 15 12 1 - 0.0000 -
134.50/134.94 c 135 23 18 1 - 0.0000 -
140.48/140.95 c 141 24 19 1 - 0.0000 -
146.37/146.84 c 147 36 25 1 - 0.0000 -
151.45/151.99 c 152 47 26 1 - 0.0000 -
157.94/158.41 c 158 52 25 1 - 0.0000 -
163.63/164.16 c 164 54 27 1 - 0.0000 -
178.29/178.88 c 179 55 28 1 - 0.0000 -
183.77/184.36 c 184 64 31 1 - 0.0000 -
189.46/190.09 c 190 78 37 1 - 0.0000 -
196.14/196.76 c 197 81 40 1 - 0.0000 -
201.43/202.04 c 202 87 40 1 - 0.0000 -
208.41/209.09 c 209 94 43 1 - 0.0000 -
335.20/336.13 c 336 97 46 1 - 0.0000 -
341.58/342.55 c 343 102 51 1 - 0.0000 -
374.00/375.05 c 375 106 51 1 - 0.0000 -
382.48/383.54 c 384 118 54 1 - 0.0000 -
396.25/397.37 c 397 120 56 1 - 0.0000 -
401.63/402.76 c 403 124 60 1 - 0.0000 -
407.12/408.27 c 408 136 58 1 - 0.0000 -
412.50/413.62 c 414 138 60 1 - 0.0000 -
422.28/423.43 c 423 152 64 1 - 0.0000 -
427.27/428.44 c 428 156 68 1 - 0.0000 -
432.35/433.56 c 434 165 73 1 - 0.0000 -
437.34/438.59 c 439 181 73 1 - 0.0000 -
442.43/443.61 c 444 196 74 1 - 0.0000 -
447.92/449.18 c 449 211 73 1 - 0.0000 -
460.78/462.04 c 462 222 76 1 - 0.0000 -
466.56/467.82 c 468 236 76 1 - 0.0000 -
472.35/473.66 c 474 245 81 1 - 0.0000 -
478.23/479.59 c 480 254 82 1 - 0.0000 -
484.22/485.55 c 486 258 84 1 - 0.0000 -
489.90/491.25 c 491 270 84 1 - 0.0000 -
502.87/504.27 c 504 279 89 1 - 0.0000 -
507.96/509.35 c 509 284 92 1 - 0.0000 -
513.14/514.59 c 515 294 94 1 - 0.0000 -
521.92/523.30 c 523 297 97 1 - 0.0000 -
527.91/529.36 c 529 310 100 1 - 0.0000 -
534.19/535.63 c 536 322 98 1 - 0.0000 -
540.08/541.55 c 542 329 101 1 - 0.0000 -
546.67/548.14 c 548 341 107 1 - 0.0000 -
558.93/560.45 c 560 343 109 1 - 0.0000 -
564.02/565.55 c 566 351 113 1 - 0.0000 -
569.80/571.35 c 571 359 117 1 - 0.0000 -
589.85/591.48 c 591 362 120 1 - 0.0000 -
595.24/596.82 c 597 370 126 1 - 0.0000 -
605.01/606.62 c 607 375 131 1 - 0.0000 -
618.48/620.19 c 620 378 134 1 - 0.0000 -
623.56/625.28 c 625 385 135 1 - 0.0000 -
629.65/631.30 c 631 397 143 1 - 0.0000 -
634.73/636.41 c 636 404 148 1 - 0.0000 -
640.22/641.97 c 642 410 152 1 - 0.0000 -
645.81/647.56 c 648 416 158 1 - 0.0000 -
671.44/673.29 c 673 422 160 1 - 0.0000 -
679.82/681.60 c 682 427 163 1 - 0.0000 -
687.00/688.85 c 689 429 165 1 - 0.0000 -
692.29/694.17 c 694 431 167 1 - 0.0000 -
704.46/706.37 c 706 432 168 1 - 0.0000 -
710.54/712.42 c 712 434 170 1 - 0.0000 -
726.60/728.58 c 729 436 172 1 - 0.0000 -
734.58/736.56 c 737 438 174 1 - 0.0000 -
747.45/749.44 c 749 440 176 1 - 0.0000 -
757.23/759.28 c 759 442 178 1 - 0.0000 -
779.97/782.09 c 782 444 180 1 - 0.0000 -
790.05/792.19 c 792 446 182 1 - 0.0000 -
806.10/808.26 c 808 448 184 1 - 0.0000 -
812.39/814.58 c 815 449 185 1 - 0.0000 -
818.67/820.84 c 821 452 188 1 - 0.0000 -
824.16/826.36 c 826 453 189 1 - 0.0000 -
831.34/833.52 c 834 454 190 1 - 0.0000 -
842.41/844.60 c 845 456 192 1 - 0.0000 -
848.90/851.17 c 851 462 198 1 - 0.0000 -
855.29/857.58 c 858 465 199 1 - 0.0000 -
861.18/863.46 c 863 471 201 1 - 0.0000 -
867.36/869.65 c 870 476 202 1 - 0.0000 -
873.05/875.33 c 875 479 203 1 - 0.0000 -
879.43/881.76 c 882 481 205 1 - 0.0000 -
886.51/888.85 c 889 487 209 1 - 0.0000 -
913.15/915.57 c 916 490 212 1 - 0.0000 -
919.33/921.70 c 922 494 214 1 - 0.0000 -
925.72/928.12 c 928 500 214 1 - 0.0000 -
935.69/938.11 c 938 504 218 1 - 0.0000 -
944.67/947.18 c 947 508 222 1 - 0.0000 -
952.44/954.91 c 955 512 226 1 - 0.0000 -
958.43/960.96 c 961 519 229 1 - 0.0000 -
965.91/968.45 c 968 522 230 1 - 0.0000 -
971.20/973.72 c 974 530 230 1 - 0.0000 -
978.08/980.64 c 981 532 232 1 - 0.0000 -
990.95/993.59 c 994 536 236 1 - 0.0000 -
996.63/999.25 c 999 540 240 1 - 0.0000 -
1002.72/1005.33 c 1005 544 240 1 - 0.0000 -
1008.51/1011.11 c 1011 548 238 1 - 0.0000 -
1022.47/1025.19 c 1025 559 241 1 - 0.0000 -
1032.45/1035.18 c 1035 563 245 1 - 0.0000 -
1037.73/1040.48 c 1040 584 256 1 - 0.0000 -
1042.82/1045.50 c 1046 598 254 1 - 0.0000 -
1048.00/1050.77 c 1051 614 260 1 - 0.0000 -
1053.79/1056.54 c 1057 628 266 1 - 0.0000 -
1059.28/1062.02 c 1062 638 264 1 - 0.0000 -
1065.06/1067.86 c 1068 652 266 1 - 0.0000 -
1070.65/1073.41 c 1073 668 272 1 - 0.0000 -
1075.83/1078.64 c 1079 691 277 1 - 0.0000 -
1081.41/1084.27 c 1084 699 277 1 - 0.0000 -
1087.00/1089.85 c 1090 715 283 1 - 0.0000 -
1092.78/1095.63 c 1096 722 282 1 - 0.0000 -
1098.47/1101.36 c 1101 732 282 1 - 0.0000 -
1103.66/1106.56 c 1107 744 284 1 - 0.0000 -
1109.25/1112.18 c 1112 755 287 1 - 0.0000 -
1115.03/1117.97 c 1118 770 290 1 - 0.0000 -
1120.41/1123.38 c 1123 780 292 1 - 0.0000 -
1125.70/1128.69 c 1129 788 294 1 - 0.0000 -
1135.58/1138.52 c 1139 798 298 1 - 0.0000 -
1141.56/1144.56 c 1145 801 299 1 - 0.0000 -
1153.33/1156.35 c 1156 807 301 1 - 0.0000 -
1160.41/1163.48 c 1163 814 302 1 - 0.0000 -
1165.90/1168.90 c 1169 825 305 1 - 0.0000 -
1170.99/1174.00 c 1174 834 308 1 - 0.0000 -
1175.98/1179.05 c 1179 846 310 1 - 0.0000 -
1181.67/1184.72 c 1185 857 309 1 - 0.0000 -
1187.35/1190.49 c 1190 865 311 1 - 0.0000 -
1193.04/1196.16 c 1196 881 313 1 - 0.0000 -
1200.22/1203.35 c 1203 883 315 1 - 0.0000 -
1205.30/1208.44 c 1208 894 322 1 - 0.0000 -
1211.39/1214.55 c 1215 901 323 1 - 0.0000 -
1217.57/1220.76 c 1221 906 324 1 - 0.0000 -
1224.66/1227.89 c 1228 914 330 1 - 0.0000 -
1251.89/1255.16 c 1255 916 332 1 - 0.0000 -
1257.37/1260.65 c 1261 920 336 1 - 0.0000 -
1262.77/1266.01 c 1266 928 340 1 - 0.0000 -
1267.95/1271.26 c 1271 936 342 1 - 0.0000 -
1274.33/1277.60 c 1278 947 343 1 - 0.0000 -
1280.62/1283.98 c 1284 959 343 1 - 0.0000 -
1287.20/1290.56 c 1291 967 347 1 - 0.0000 -
1299.77/1303.18 c 1303 968 348 1 - 0.0000 -
1305.06/1308.49 c 1308 978 354 1 - 0.0000 -
1311.04/1314.40 c 1314 997 353 1 - 0.0000 -
1316.83/1320.28 c 1320 1009 357 1 - 0.0000 -
1322.11/1325.58 c 1326 1022 356 1 - 0.0000 -
1329.09/1332.55 c 1333 1039 357 1 - 0.0000 -
1334.18/1337.68 c 1338 1048 360 1 - 0.0000 -
1339.97/1343.48 c 1343 1072 364 1 - 0.0000 -
1346.95/1350.43 c 1350 1078 366 1 - 0.0000 -
1356.23/1359.79 c 1360 1079 367 1 - 0.0000 -
1362.52/1366.04 c 1366 1093 367 1 - 0.0000 -
1372.10/1375.63 c 1376 1106 370 1 - 0.0000 -
1384.76/1388.37 c 1388 1108 372 1 - 0.0000 -
1392.45/1396.04 c 1396 1114 378 1 - 0.0000 -
1400.63/1404.28 c 1404 1116 380 1 - 0.0000 -
1406.81/1410.42 c 1410 1139 377 1 - 0.0000 -
1412.29/1415.90 c 1416 1147 379 1 - 0.0000 -
1417.57/1421.28 c 1421 1159 383 1 - 0.0000 -
1425.55/1429.20 c 1429 1166 384 1 - 0.0000 -
1431.43/1435.11 c 1435 1184 382 1 - 0.0000 -
1437.11/1440.84 c 1441 1205 383 1 - 0.0000 -
1442.39/1446.12 c 1446 1211 385 1 - 0.0000 -
1455.85/1459.67 c 1460 1224 390 1 - 0.0000 -
1462.94/1466.79 c 1467 1228 394 1 - 0.0000 -
1468.62/1472.48 c 1472 1252 398 1 - 0.0000 -
1473.61/1477.49 c 1478 1271 395 1 - 0.0000 -
1486.78/1490.60 c 1491 1290 398 1 - 0.0000 -
1492.66/1496.59 c 1497 1305 399 1 - 0.0000 -
1499.84/1503.76 c 1504 1310 402 1 - 0.0000 -
1506.73/1510.60 c 1511 1330 398 1 - 0.0000 -
1535.06/1539.07 c 1539 1334 402 1 - 0.0000 -
1543.34/1547.39 c 1547 1352 402 1 - 0.0000 -
1551.71/1555.71 c 1556 1365 403 1 - 0.0000 -
1558.60/1562.64 c 1563 1390 400 1 - 0.0000 -
1564.99/1569.09 c 1569 1397 403 1 - 0.0000 -
1570.57/1574.66 c 1575 1405 405 1 - 0.0000 -
1577.35/1581.49 c 1582 1412 408 1 - 0.0000 -
1582.73/1586.84 c 1587 1443 409 1 - 0.0000 -
1588.02/1592.15 c 1592 1460 408 1 - 0.0000 -
1594.00/1598.15 c 1598 1480 404 1 - 0.0000 -
1600.27/1604.48 c 1604 1502 402 1 - 0.0000 -
1606.45/1610.62 c 1611 1509 403 1 - 0.0000 -
1613.13/1617.33 c 1617 1513 405 1 - 0.0000 -
1618.61/1622.80 c 1623 1525 401 1 - 0.0000 -
1624.59/1628.80 c 1629 1536 402 1 - 0.0000 -
1630.08/1634.34 c 1634 1546 406 1 - 0.0000 -
1636.86/1641.14 c 1641 1558 408 1 - 0.0000 -
1644.63/1648.94 c 1649 1562 412 1 - 0.0000 -
1650.62/1654.92 c 1655 1567 415 1 - 0.0000 -
1657.80/1662.19 c 1662 1570 418 1 - 0.0000 -
1902.13/1907.27 c 1907 1572 420 1 - 0.0000 -
1908.61/1913.74 c 1914 1584 420 1 - 0.0000 -
1913.89/1919.00 c 1919 1600 422 1 - 0.0000 -
1919.47/1924.69 c 1925 1616 420 1 - 0.0000 -
1966.25/1971.54 c 1972 1619 423 1 - 0.0000 -
1971.74/1977.03 c 1977 1632 424 1 - 0.0000 -
1977.32/1982.68 c 1983 1652 424 1 - 0.0000 -
1982.91/1988.24 c 1988 1675 425 1 - 0.0000 -
1987.99/1993.34 c 1993 1692 424 1 - 0.0000 -
1994.18/1999.56 c 2000 1707 423 1 - 0.0000 -
1999.67/2005.05 c 2005 1714 426 1 - 0.0000 -
2008.55/2013.96 c 2014 1716 428 1 - 0.0000 -
2014.23/2019.62 c 2020 1739 431 1 - 0.0000 -
2019.72/2025.15 c 2025 1757 429 1 - 0.0000 -
2025.20/2030.60 c 2031 1772 424 1 - 0.0000 -
2030.29/2035.76 c 2036 1787 424 1 - 0.0000 -
2035.88/2041.39 c 2041 1804 425 1 - 0.0000 -
2041.06/2046.53 c 2047 1808 423 1 - 0.0000 -
2047.25/2052.74 c 2053 1811 426 1 - 0.0000 -
2054.33/2059.82 c 2060 1812 427 1 - 0.0000 -
2065.80/2071.32 c 2071 1824 431 1 - 0.0000 -
2071.49/2077.10 c 2077 1832 433 1 - 0.0000 -
2078.77/2084.31 c 2084 1835 436 1 - 0.0000 -
2084.15/2089.71 c 2090 1843 438 1 - 0.0000 -
2095.92/2101.59 c 2102 1847 442 1 - 0.0000 -
2101.21/2106.81 c 2107 1867 440 1 - 0.0000 -
2109.59/2115.20 c 2115 1887 442 1 - 0.0000 -
2122.55/2128.29 c 2128 1890 445 1 - 0.0000 -
2130.63/2136.37 c 2136 1896 449 1 - 0.0000 -
2137.02/2142.75 c 2143 1915 451 1 - 0.0000 -
2151.59/2157.34 c 2157 1916 452 1 - 0.0000 -
2164.15/2169.93 c 2170 1930 456 1 - 0.0000 -
2169.14/2174.99 c 2175 1940 458 1 - 0.0000 -
2174.72/2180.56 c 2181 1955 457 1 - 0.0000 -
2183.99/2189.80 c 2190 1962 464 1 - 0.0000 -
2189.78/2195.60 c 2196 1980 464 1 - 0.0000 -
2194.87/2200.75 c 2201 1995 465 1 - 0.0000 -
2200.85/2206.79 c 2207 2013 463 1 - 0.0000 -
2206.93/2212.88 c 2213 2026 466 1 - 0.0000 -
2216.12/2222.07 c 2222 2029 469 1 - 0.0000 -
2221.80/2227.72 c 2228 2041 469 1 - 0.0000 -
2226.98/2232.98 c 2233 2069 475 1 - 0.0000 -
2232.87/2238.84 c 2239 2096 474 1 - 0.0000 -
2238.65/2244.64 c 2245 2136 474 1 - 0.0000 -
2245.23/2251.24 c 2251 2168 476 1 - 0.0000 -
2250.42/2256.45 c 2256 2202 474 1 - 0.0000 -
2256.01/2262.02 c 2262 2236 476 1 - 0.0000 -
2261.69/2267.78 c 2268 2269 477 1 - 0.0000 -
2267.38/2273.40 c 2273 2296 474 1 - 0.0000 -
2273.26/2279.38 c 2279 2332 474 1 - 0.0000 -
2278.95/2285.00 c 2285 2353 475 1 - 0.0000 -
2284.53/2290.61 c 2291 2368 478 1 - 0.0000 -
2290.62/2296.71 c 2297 2376 476 1 - 0.0000 -
2296.40/2302.57 c 2303 2384 482 1 - 0.0000 -
2302.29/2308.47 c 2308 2396 484 1 - 0.0000 -
2308.07/2314.22 c 2314 2415 487 1 - 0.0000 -
2313.76/2319.92 c 2320 2438 488 1 - 0.0000 -
2323.73/2329.96 c 2330 2454 488 1 - 0.0000 -
2334.21/2340.41 c 2340 2458 492 1 - 0.0000 -
2339.90/2346.15 c 2346 2478 492 1 - 0.0000 -
2345.48/2351.75 c 2352 2511 493 1 - 0.0000 -
2350.96/2357.24 c 2357 2527 493 1 - 0.0000 -
2356.46/2362.74 c 2363 2532 496 1 - 0.0000 -
2366.73/2373.03 c 2373 2536 500 1 - 0.0000 -
2372.82/2379.16 c 2379 2559 499 1 - 0.0000 -
2378.00/2384.30 c 2384 2572 498 1 - 0.0000 -
2382.99/2389.33 c 2389 2584 498 1 - 0.0000 -
2389.07/2395.43 c 2395 2587 501 1 - 0.0000 -
2395.66/2402.04 c 2402 2588 502 1 - 0.0000 -
2400.84/2407.22 c 2407 2606 502 1 - 0.0000 -
2406.13/2412.52 c 2413 2627 501 1 - 0.0000 -
2411.22/2417.60 c 2418 2636 498 1 - 0.0000 -
2416.90/2423.35 c 2423 2665 503 1 - 0.0000 -
2422.59/2429.03 c 2429 2706 502 1 - 0.0000 -
2428.27/2434.79 c 2435 2751 501 1 - 0.0000 -
2433.76/2440.25 c 2440 2784 502 1 - 0.0000 -
2444.03/2450.52 c 2451 2817 501 1 - 0.0000 -
2454.01/2460.57 c 2461 2822 506 1 - 0.0000 -
2459.69/2466.21 c 2466 2839 511 1 - 0.0000 -
2467.58/2474.17 c 2474 2843 515 1 - 0.0000 -
2473.06/2479.63 c 2480 2847 519 1 - 0.0000 -
2478.64/2485.29 c 2485 2852 522 1 - 0.0000 -
2483.73/2490.37 c 2490 2863 523 1 - 0.0000 -
2489.52/2496.14 c 2496 2878 526 1 - 0.0000 -
2495.00/2501.67 c 2502 2896 530 1 - 0.0000 -
2500.79/2507.41 c 2507 2920 532 1 - 0.0000 -
2506.68/2513.33 c 2513 2937 527 1 - 0.0000 -
2513.16/2519.83 c 2520 2952 524 1 - 0.0000 -
2519.95/2526.68 c 2527 2956 528 1 - 0.0000 -
2525.82/2532.58 c 2533 2968 530 1 - 0.0000 -
2531.31/2538.06 c 2538 2981 533 1 - 0.0000 -
2537.90/2544.61 c 2545 2993 529 1 - 0.0000 -
2543.19/2549.90 c 2550 2999 535 1 - 0.0000 -
2554.56/2561.33 c 2561 3003 539 1 - 0.0000 -
2559.74/2566.59 c 2567 3018 544 1 - 0.0000 -
2565.03/2571.82 c 2572 3033 545 1 - 0.0000 -
2570.42/2577.24 c 2577 3051 545 1 - 0.0000 -
2575.60/2582.40 c 2582 3069 543 1 - 0.0000 -
2581.69/2588.57 c 2589 3082 546 1 - 0.0000 -
2594.75/2601.61 c 2602 3084 548 1 - 0.0000 -
2600.34/2607.25 c 2607 3101 553 1 - 0.0000 -
2605.82/2612.76 c 2613 3119 555 1 - 0.0000 -
2611.61/2618.50 c 2619 3152 552 1 - 0.0000 -
2617.50/2624.47 c 2624 3189 553 1 - 0.0000 -
2622.99/2629.93 c 2630 3230 554 1 - 0.0000 -
2628.37/2635.39 c 2635 3254 552 1 - 0.0000 -
2634.75/2641.75 c 2642 3283 554 1 - 0.0000 -
2640.44/2647.41 c 2647 3325 554 1 - 0.0000 -
2646.72/2653.70 c 2654 3360 553 1 - 0.0000 -
2652.31/2659.37 c 2659 3389 552 1 - 0.0000 -
2657.39/2664.42 c 2664 3416 553 1 - 0.0000 -
2663.38/2670.45 c 2670 3436 553 1 - 0.0000 -
2672.75/2679.81 c 2680 3449 556 1 - 0.0000 -
2678.24/2685.38 c 2685 3472 559 1 - 0.0000 -
2684.32/2691.42 c 2691 3491 560 1 - 0.0000 -
2689.71/2696.84 c 2697 3517 558 1 - 0.0000 -
2695.90/2703.02 c 2703 3537 564 1 - 0.0000 -
2701.88/2709.05 c 2709 3550 567 1 - 0.0000 -
2708.06/2715.21 c 2715 3571 567 1 - 0.0000 -
2713.05/2720.28 c 2720 3591 567 1 - 0.0000 -
2719.13/2726.36 c 2726 3593 569 1 - 0.0000 -
2724.42/2731.62 c 2732 3596 572 1 - 0.0000 -
2730.60/2737.84 c 2738 3604 576 1 - 0.0000 -
2737.08/2744.33 c 2744 3605 577 1 - 0.0000 -
2743.06/2750.33 c 2750 3627 583 1 - 0.0000 -
2748.94/2756.27 c 2756 3658 582 1 - 0.0000 -
2754.83/2762.14 c 2762 3681 583 1 - 0.0000 -
2760.00/2767.39 c 2767 3695 581 1 - 0.0000 -
2765.88/2773.27 c 2773 3709 579 1 - 0.0000 -
2771.27/2778.65 c 2779 3722 578 1 - 0.0000 -
2776.45/2783.88 c 2784 3733 579 1 - 0.0000 -
2784.52/2791.95 c 2792 3740 582 1 - 0.0000 -
2790.51/2797.95 c 2798 3742 584 1 - 0.0000 -
2795.79/2803.20 c 2803 3762 582 1 - 0.0000 -
2801.07/2808.54 c 2809 3774 582 1 - 0.0000 -
2807.35/2814.87 c 2815 3780 586 1 - 0.0000 -
2814.93/2822.44 c 2822 3784 590 1 - 0.0000 -
2820.82/2828.37 c 2828 3822 588 1 - 0.0000 -
2831.60/2839.11 c 2839 3827 593 1 - 0.0000 -
2837.87/2845.42 c 2845 3844 594 1 - 0.0000 -
2843.37/2850.92 c 2851 3854 600 1 - 0.0000 -
2849.35/2856.97 c 2857 3880 596 1 - 0.0000 -
2855.04/2862.64 c 2863 3917 597 1 - 0.0000 -
2861.02/2868.62 c 2869 3945 595 1 - 0.0000 -
2866.01/2873.64 c 2874 3954 596 1 - 0.0000 -
2874.89/2882.59 c 2883 3958 598 1 - 0.0000 -
2880.38/2888.04 c 2888 3975 599 1 - 0.0000 -
2886.15/2893.86 c 2894 4000 602 1 - 0.0000 -
2891.45/2899.15 c 2899 4019 601 1 - 0.0000 -
2897.13/2904.89 c 2905 4036 598 1 - 0.0000 -
2902.82/2910.53 c 2911 4047 601 1 - 0.0000 -
2908.80/2916.51 c 2917 4069 603 1 - 0.0000 -
2914.19/2921.94 c 2922 4089 603 1 - 0.0000 -
2920.28/2928.02 c 2928 4118 602 1 - 0.0000 -
2925.66/2933.44 c 2933 4132 602 1 - 0.0000 -
2931.54/2939.39 c 2939 4143 603 1 - 0.0000 -
2937.03/2944.80 c 2945 4159 603 1 - 0.0000 -
2942.91/2950.72 c 2951 4176 604 1 - 0.0000 -
2948.50/2956.33 c 2956 4191 607 1 - 0.0000 -
2953.98/2961.87 c 2962 4221 607 1 - 0.0000 -
2959.37/2967.29 c 2967 4246 606 1 - 0.0000 -
2965.05/2972.95 c 2973 4283 606 1 - 0.0000 -
2970.74/2978.63 c 2979 4305 605 1 - 0.0000 -
2975.83/2983.73 c 2984 4320 604 1 - 0.0000 -
2980.91/2988.82 c 2989 4338 604 1 - 0.0000 -
2986.30/2994.27 c 2994 4376 602 1 - 0.0000 -
2992.88/3000.86 c 3001 4384 606 1 - 0.0000 -
2997.97/3005.91 c 3006 4400 606 1 - 0.0000 -
3003.26/3011.23 c 3011 4414 606 1 - 0.0000 -
3009.64/3017.62 c 3018 4432 610 1 - 0.0000 -
3017.33/3025.36 c 3025 4435 613 1 - 0.0000 -
3027.80/3035.88 c 3036 4436 614 1 - 0.0000 -
3033.29/3041.36 c 3041 4454 614 1 - 0.0000 -
3040.08/3048.18 c 3048 4467 615 1 - 0.0000 -
3045.96/3054.07 c 3054 4469 617 1 - 0.0000 -
3057.93/3066.02 c 3066 4472 620 1 - 0.0000 -
3063.61/3071.78 c 3072 4506 622 1 - 0.0000 -
3069.40/3077.52 c 3078 4540 622 1 - 0.0000 -
3074.68/3082.83 c 3083 4580 622 1 - 0.0000 -
3080.66/3088.81 c 3089 4609 624 1 - 0.0000 -
3086.55/3094.76 c 3095 4644 621 1 - 0.0000 -
3092.63/3100.85 c 3101 4663 622 1 - 0.0000 -
3097.62/3105.86 c 3106 4684 629 1 - 0.0000 -
3103.00/3111.26 c 3111 4720 629 1 - 0.0000 -
3108.49/3116.79 c 3117 4758 633 1 - 0.0000 -
3114.37/3122.67 c 3123 4789 628 1 - 0.0000 -
3119.77/3128.04 c 3128 4816 629 1 - 0.0000 -
3124.95/3133.29 c 3133 4844 629 1 - 0.0000 -
3130.54/3138.88 c 3139 4874 633 1 - 0.0000 -
3136.02/3144.39 c 3144 4919 631 1 - 0.0000 -
3142.01/3150.32 c 3150 4944 628 1 - 0.0000 -
3147.89/3156.27 c 3156 4968 626 1 - 0.0000 -
3153.68/3162.07 c 3162 4985 629 1 - 0.0000 -
3159.26/3167.65 c 3168 5019 627 1 - 0.0000 -
3165.45/3173.88 c 3174 5044 630 1 - 0.0000 -
3171.03/3179.46 c 3179 5072 628 1 - 0.0000 -
3176.91/3185.33 c 3185 5098 627 1 - 0.0000 -
3182.19/3190.65 c 3191 5117 626 1 - 0.0000 -
3187.77/3196.29 c 3196 5135 624 1 - 0.0000 -
3194.25/3202.73 c 3203 5158 627 1 - 0.0000 -
3200.33/3208.83 c 3209 5179 628 1 - 0.0000 -
3205.91/3214.46 c 3214 5200 627 1 - 0.0000 -
3211.10/3219.68 c 3220 5219 624 1 - 0.0000 -
3216.98/3225.57 c 3226 5237 630 1 - 0.0000 -
3223.26/3231.81 c 3232 5264 631 1 - 0.0000 -
3229.34/3237.94 c 3238 5283 630 1 - 0.0000 -
3234.82/3243.48 c 3243 5296 631 1 - 0.0000 -
3241.69/3250.31 c 3250 5316 631 1 - 0.0000 -
3247.77/3256.41 c 3256 5336 633 1 - 0.0000 -
3253.36/3262.04 c 3262 5351 630 1 - 0.0000 -
3258.94/3267.65 c 3268 5379 635 1 - 0.0000 -
3264.72/3273.48 c 3273 5395 628 1 - 0.0000 -
3270.80/3279.51 c 3280 5413 628 1 - 0.0000 -
3276.88/3285.67 c 3286 5440 625 1 - 0.0000 -
3282.76/3291.50 c 3292 5454 625 1 - 0.0000 -
3288.84/3297.69 c 3298 5469 624 1 - 0.0000 -
3294.92/3303.77 c 3304 5489 626 1 - 0.0000 -
3300.40/3309.27 c 3309 5517 626 1 - 0.0000 -
3306.08/3314.95 c 3315 5544 627 1 - 0.0000 -
3311.76/3320.68 c 3321 5571 626 1 - 0.0000 -
3318.65/3327.59 c 3328 5577 630 1 - 0.0000 -
3324.33/3333.24 c 3333 5599 634 1 - 0.0000 -
3330.11/3339.09 c 3339 5620 633 1 - 0.0000 -
3335.20/3344.10 c 3344 5639 630 1 - 0.0000 -
3340.18/3349.12 c 3349 5655 632 1 - 0.0000 -
3345.26/3354.30 c 3354 5672 633 1 - 0.0000 -
3351.14/3360.15 c 3360 5696 633 1 - 0.0000 -
3357.42/3366.43 c 3366 5713 632 1 - 0.0000 -
3362.90/3371.96 c 3372 5724 629 1 - 0.0000 -
3368.28/3377.37 c 3377 5735 632 1 - 0.0000 -
3374.26/3383.31 c 3383 5748 635 1 - 0.0000 -
3380.05/3389.18 c 3389 5764 639 1 - 0.0000 -
3386.32/3395.45 c 3395 5775 638 1 - 0.0000 -
3391.51/3400.62 c 3401 5787 634 1 - 0.0000 -
3397.09/3406.29 c 3406 5814 633 1 - 0.0000 -
3402.87/3412.02 c 3412 5845 634 1 - 0.0000 -
3408.25/3417.40 c 3417 5859 634 1 - 0.0000 -
3413.84/3423.06 c 3423 5876 635 1 - 0.0000 -
3420.01/3429.27 c 3429 5896 633 1 - 0.0000 -
3425.50/3434.76 c 3435 5914 633 1 - 0.0000 -
3431.98/3441.26 c 3441 5927 630 1 - 0.0000 -
3437.96/3447.23 c 3447 5950 631 1 - 0.0000 -
3443.94/3453.27 c 3453 5972 631 1 - 0.0000 -
3449.92/3459.22 c 3459 5990 629 1 - 0.0000 -
3455.30/3464.61 c 3465 5998 627 1 - 0.0000 -
3460.69/3470.03 c 3470 6008 625 1 - 0.0000 -
3466.77/3476.11 c 3476 6020 625 1 - 0.0000 -
3471.76/3481.12 c 3481 6036 625 1 - 0.0000 -
3477.64/3487.03 c 3487 6044 623 1 - 0.0000 -
3483.72/3493.16 c 3493 6059 626 1 - 0.0000 -
3488.99/3498.46 c 3498 6071 624 1 - 0.0000 -
3494.68/3504.13 c 3504 6102 623 1 - 0.0000 -
3499.76/3509.20 c 3509 6131 620 1 - 0.0000 -
3505.14/3514.62 c 3515 6145 620 1 - 0.0000 -
3511.23/3520.73 c 3521 6164 619 1 - 0.0000 -
3517.01/3526.51 c 3527 6179 618 1 - 0.0000 -
3522.51/3532.00 c 3532 6197 618 1 - 0.0000 -
3527.99/3537.52 c 3538 6210 613 1 - 0.0000 -
3535.96/3545.54 c 3546 6223 614 1 - 0.0000 -
3546.34/3555.94 c 3556 6227 618 1 - 0.0000 -
3552.22/3561.81 c 3562 6244 623 1 - 0.0000 -
3557.71/3567.36 c 3567 6262 625 1 - 0.0000 -
3563.69/3573.32 c 3573 6280 621 1 - 0.0000 -
3569.68/3579.39 c 3579 6302 621 1 - 0.0000 -
3575.66/3585.34 c 3585 6326 620 1 - 0.0000 -
3581.65/3591.37 c 3591 6349 619 1 - 0.0000 -
3587.45/3597.18 c 3597 6372 622 1 - 0.0000 -
3590.34/3600.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.34/3600.04 c Total Time : 3600.0500
3590.34/3600.04 c solving : 3600.0500
3590.34/3600.04 c presolving : 6.2267 (included in solving)
3590.34/3600.04 c B&B Tree :
3590.34/3600.04 c nodes (total) : 1
3590.34/3600.04 c Solution :
3590.34/3600.04 c Solutions found : 0
3590.34/3600.04 c Primal Bound : -
3590.34/3600.04 c Dual Bound : +0.00000000000000e+00
3590.34/3600.04 c Gap : -
3590.34/3600.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: 63931 MiB (61725 MiB free)
memory of node 1: 64510 MiB (61108 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446980-1721345778/watcher-4446980-1721345778 -o /tmp/evaluation-result-4446980-1721345778/solver-4446980-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000738 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446980-1721345778.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1002801, runsolver pid=1002798
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.15 4.12 4.09 5/246 1002826
/proc/meminfo: memFree=125652300/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=62692 memory=51576 CPUtime=0.09 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 11462 0 0 0 8 1 0 0 20 0 1 0 186745252 64196608 12894 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 15673 12894 2638 3032 0 12073 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62692 KiB
Current children cumulated memory: 51576 KiB
[startup+0.204877 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125550888/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=67104 memory=56048 CPUtime=0.2 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 13146 0 0 0 19 1 0 0 20 0 1 0 186745252 68714496 14012 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 16776 14012 2718 3032 0 13176 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67104 KiB
Current children cumulated memory: 56048 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125518828/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=83260 memory=69272 CPUtime=0.3 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 16538 0 0 0 28 2 0 0 20 0 1 0 186745252 85258240 17318 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 20815 17318 2734 3032 0 17215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83260 KiB
Current children cumulated memory: 69272 KiB
[startup+0.700247 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467804/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=89468 memory=75544 CPUtime=0.69 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 18068 0 0 0 67 2 0 0 20 0 1 0 186745252 91615232 18886 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 22367 18886 2734 3032 0 18767 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 75544 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467404/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=89468 memory=76072 CPUtime=1.49 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 18195 0 0 0 147 2 0 0 20 0 1 0 186745252 91615232 19018 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 22367 19018 2734 3032 0 18767 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 76072 KiB
[startup+3.10559 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002844
/proc/meminfo: memFree=125464796/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=89468 memory=76072 CPUtime=3.09 cores=5,7
/proc/1002801/stat : 1002801 (fscip) R 1002798 1002801 1000725 0 -1 4194304 18195 0 0 0 307 2 0 0 20 0 1 0 186745252 91615232 19018 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 22367 19018 2734 3032 0 18767 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89468 KiB
Current children cumulated memory: 76072 KiB
[startup+6.30054 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1002848
/proc/meminfo: memFree=125305744/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=232584 memory=133968 CPUtime=6.27 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 32192 0 0 0 623 4 0 0 20 0 3 0 186745252 238166016 33492 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 58146 33492 2782 3032 0 41602 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 232584 KiB
Current children cumulated memory: 133968 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 1002852
/proc/meminfo: memFree=125062552/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=298296 memory=188852 CPUtime=12.64 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 63171 0 0 0 1258 6 0 0 20 0 3 0 186745252 305455104 47213 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 74574 47213 2926 3032 0 55841 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=298296 memory=188276 CPUtime=6.38 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 34359 0 0 0 636 2 0 0 20 0 3 0 186745879 305455104 47213 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=298296 memory=186572 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 186745882 305455104 47213 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 298296 KiB
Current children cumulated memory: 188852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002855
/proc/meminfo: memFree=125055524/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=298296 memory=190548 CPUtime=25.4 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 70229 0 0 0 2534 6 0 0 20 0 3 0 186745252 305455104 47637 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 74574 47637 2926 3032 0 56054 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=298296 memory=190408 CPUtime=19.14 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 41399 0 0 0 1911 3 0 0 20 0 3 0 186745879 305455104 47637 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=298296 memory=0 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 186745882 305455104 47637 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 298296 KiB
Current children cumulated memory: 190548 KiB
[startup+51.1056 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 1002858
/proc/meminfo: memFree=124696628/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436820 memory=340696 CPUtime=50.93 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 122719 0 0 0 5080 13 0 0 20 0 3 0 186745252 447303680 85174 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109205 85174 2942 3032 0 91931 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436820 memory=11588 CPUtime=44.66 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 93877 0 0 0 4457 9 0 0 20 0 3 0 186745879 447303680 85174 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436820 memory=252680 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 186745882 447303680 85174 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 436820 KiB
Current children cumulated memory: 340696 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 1002867
/proc/meminfo: memFree=124687824/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436820 memory=343704 CPUtime=101.99 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 158173 0 0 0 10183 16 0 0 20 0 3 0 186745252 447303680 85926 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109205 85926 2942 3032 0 91931 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436820 memory=343416 CPUtime=95.73 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 129296 0 0 0 9561 12 0 0 20 0 3 0 186745879 447303680 85926 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436820 memory=44076 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 186745882 447303680 85926 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 436820 KiB
Current children cumulated memory: 343704 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002877
/proc/meminfo: memFree=124683316/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436820 memory=346108 CPUtime=161.83 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 180799 0 0 0 16166 17 0 0 20 0 3 0 186745252 447303680 86527 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109205 86527 2990 3032 0 91931 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436820 memory=344620 CPUtime=155.56 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 151888 0 0 0 15543 13 0 0 20 0 3 0 186745879 447303680 86527 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436820 memory=344748 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 186745882 447303680 86527 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 436820 KiB
Current children cumulated memory: 346108 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1002891
/proc/meminfo: memFree=124673692/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436820 memory=353500 CPUtime=221.67 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 184650 0 0 0 22150 17 0 0 20 0 3 0 186745252 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109205 88375 2990 3032 0 91931 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436820 memory=11588 CPUtime=215.4 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 155718 0 0 0 21527 13 0 0 20 0 3 0 186745879 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436820 memory=11588 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 186745882 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 436820 KiB
Current children cumulated memory: 353500 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 1002903
/proc/meminfo: memFree=124651564/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436820 memory=353500 CPUtime=281.52 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 185304 0 0 0 28135 17 0 0 20 0 3 0 186745252 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109205 88375 2990 3032 0 91931 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436820 memory=353500 CPUtime=275.26 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 156368 0 0 0 27513 13 0 0 20 0 3 0 186745879 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436820 memory=353500 CPUtime=0 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 186745882 447303680 88375 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 436820 KiB
################
# More data... #
################
/proc/1002801/statm: 109241 99295 3310 3032 0 103760 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=397180 CPUtime=3386.81 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 285944 0 0 0 338650 31 0 0 20 0 3 0 186745879 447451136 99295 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=11588 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 231 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99295 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 397180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 1004661
/proc/meminfo: memFree=124329668/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399056 CPUtime=3453.01 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 319980 0 0 0 345262 39 0 0 20 0 3 0 186745252 447451136 99764 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99764 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=397184 CPUtime=3446.61 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 290086 0 0 0 344629 32 0 0 20 0 3 0 186745879 447451136 99764 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=399056 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 232 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99764 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 1004671
/proc/meminfo: memFree=124329404/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3512.82 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 321149 0 0 0 351243 39 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=11588 CPUtime=3506.42 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 291239 0 0 0 350610 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=11588 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 233 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1004681
/proc/meminfo: memFree=124329112/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3572.67 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322314 0 0 0 357228 39 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=11588 CPUtime=3566.27 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292385 0 0 0 356595 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=11588 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3600.07 s]
# the end of solver process 1002801 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.01 s, system=0.403888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329104/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3574.37 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322317 0 0 0 357398 39 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=-6808738698386115946 CPUtime=3567.97 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292388 0 0 0 356765 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=-9187040394802723782 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3574.37 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3580.75 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322320 0 0 0 358036 39 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=399060 CPUtime=3574.35 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292391 0 0 0 357403 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=11588 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 234 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3580.75 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329124/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3587.14 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322797 0 0 0 358674 40 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=11588 CPUtime=3580.73 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292866 0 0 0 358041 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=0 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 235 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329140/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3588.74 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322824 0 0 0 358834 40 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=399060 CPUtime=3582.32 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292893 0 0 0 358200 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=12508 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 235 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329116/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3589.54 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322831 0 0 0 358914 40 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=16112 CPUtime=3583.12 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292900 0 0 0 358280 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=2340 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 235 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3589.54 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329116/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=436964 memory=399060 CPUtime=3589.93 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322831 0 0 0 358953 40 0 0 20 0 3 0 186745252 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 109241 99765 3310 3032 0 103978 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=436964 memory=7300 CPUtime=3583.52 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292900 0 0 0 358320 32 0 0 20 0 3 0 186745879 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=436964 memory=31452 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 235 0 0 0 1 1 0 0 20 0 3 0 186745882 447451136 99765 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3589.93 s
Current children cumulated vsize: 436964 KiB
Current children cumulated memory: 399060 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329148/131524600 swapFree=131071996/131071996
[pid=1002801] ppid=1002798 vsize=431568 memory=393664 CPUtime=3590.34 cores=5,7
/proc/1002801/stat : 1002801 (fscip) S 1002798 1002801 1000725 0 -1 1077936128 322855 0 0 0 358994 40 0 0 20 0 3 0 186745252 441925632 98416 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
/proc/1002801/statm: 107892 98416 3310 3032 0 102629 0
[pid=1002801/tid=1002849] ppid=1002798 vsize=431568 memory=-6808738698386115946 CPUtime=3583.93 cores=5,7
/proc/1002801/task/1002849/stat : 1002849 (fscip) R 1002798 1002801 1000725 0 -1 4194368 292922 0 0 0 358361 32 0 0 20 0 3 0 186745879 441925632 98416 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
[pid=1002801/tid=1002850] ppid=1002798 vsize=431568 memory=-9187040394802723782 CPUtime=0.02 cores=5,7
/proc/1002801/task/1002850/stat : 1002850 (fscip) S 1002798 1002801 1000725 0 -1 1077936192 235 0 0 0 1 1 0 0 20 0 3 0 186745882 441925632 98416 134679101440 4194304 16613245 140727964022048 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42307584 140727964025875 140727964025991 140727964025991 140727964033008 0
Current children cumulated CPU time: 3590.34 s
Current children cumulated vsize: 431568 KiB
Current children cumulated memory: 393664 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3590.41
CPU user time (s): 3590.01
CPU system time (s): 0.403888
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 436964
Max. memory (cumulated for all children) (KiB): 401840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.01
system time used= 0.403888
maximum resident set size= 402040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323529
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= 7041
involuntary context switches= 3084
# summary of solver processes directly reported to runsolver:
# pid: 1002801
# total CPU time (s): 3590.41
# total CPU user time (s): 3590.01
# total CPU system time (s): 0.403888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04305 second user time and 17.0454 second system time
The end
Begin job on nodeC029 at 2024-07-19 01:36:31
IDJOB=4446980
IDBENCH=158344
IDSOLVER=3064
FILE ID=nodeC029/4446980-1721345778
RUNJOBID= nodeC029-1721342191-1000738
SLURM_JOB_ID= 7542739
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.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-4446980-1721345778/watcher-4446980-1721345778 -o /tmp/evaluation-result-4446980-1721345778/solver-4446980-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000738 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446980-1721345778.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1913261309
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3295.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3647.599
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3433.571
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3619.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1813.225
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.060
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3115.830
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125787720 kB
MemAvailable: 129684868 kB
Buffers: 496660 kB
Cached: 4191160 kB
SwapCached: 0 kB
Active: 957104 kB
Inactive: 4068804 kB
Active(anon): 1480 kB
Inactive(anon): 373676 kB
Active(file): 955624 kB
Inactive(file): 3695128 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28600 kB
Writeback: 0 kB
AnonPages: 337472 kB
Mapped: 106720 kB
Shmem: 37720 kB
KReclaimable: 172084 kB
Slab: 293400 kB
SReclaimable: 172084 kB
SUnreclaim: 121316 kB
KernelStack: 3956 kB
PageTables: 10572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 769912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 02:36:32