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.09/0.13 c Default LC presolving (default).
0.09/0.13 c ** Before presolving: virtualMemUsedAtLc = 108846964, getVmSize() = 96587776, SCIPgetMemUsed() = 68618838, SCIPgetMemTotal() = 72662950, SCIPgetMemExternEstim() = 36184014
0.09/0.13 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
41.16/41.38 c ** Estimated virtualMemUsedAtSolver = 125405520, getVmSize() = 178851840, SCIPgetMemUsed() = 95796683, SCIPgetMemTotal() = 151924267, SCIPgetMemExternEstim() = 36184014
41.16/41.38 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
41.16/41.38 c Original Problem :
41.16/41.38 c Problem name : instance-4464699-1722387373
41.16/41.38 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
41.16/41.38 c Constraints : 17547
41.16/41.38 c Objective sense : minimize
41.16/41.38 c Presolved Problem :
41.16/41.38 c Variables : 10017 (10017 binary, 0 integer, 0 implicit integer, 0 continuous)
41.16/41.38 c Constraints : 4318
41.16/41.38 c Constraints : Number
41.16/41.38 c knapsack : 751
41.16/41.38 c setppc : 3424
41.16/41.38 c logicor : 143
41.16/41.38 c ** Instance transfer method used: 0
41.26/41.41 c ** ParaScipInstance copy does not increase the number of variables. **
41.26/41.43 c LC is working with racing ramp-up and with rebuilding tree after racing.
41.26/41.43 c Nodes Active
41.26/41.43 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
78.25/78.59 c 79 2 1 1 - 0.0000 -
84.14/84.45 c 84 11 10 1 - 0.0000 -
90.82/91.14 c 91 16 15 1 - 0.0000 -
101.88/102.20 c 102 23 22 1 - 0.0000 -
111.55/111.97 c 112 28 27 1 - 0.0000 -
123.42/123.88 c 124 32 31 1 - 0.0000 -
134.19/134.69 c 135 38 37 1 - 0.0000 -
141.07/141.53 c 142 41 40 1 - 0.0000 -
155.14/155.69 c 156 42 41 1 - 0.0000 -
199.20/199.85 c 200 45 44 1 - 0.0000 -
208.59/209.26 c 209 48 47 1 - 0.0000 -
221.65/222.37 c 222 55 54 1 - 0.0000 -
233.32/234.03 c 234 58 57 1 - 0.0000 -
240.10/240.80 c 241 62 61 1 - 0.0000 -
247.18/247.96 c 248 65 64 1 - 0.0000 -
256.26/257.10 c 257 68 67 1 - 0.0000 -
261.54/262.37 c 262 71 70 1 - 0.0000 -
278.60/279.49 c 280 75 74 1 - 0.0000 -
288.77/289.66 c 290 78 77 1 - 0.0000 -
300.54/301.41 c 301 82 81 1 - 0.0000 -
306.53/307.45 c 307 84 83 1 - 0.0000 -
316.60/317.50 c 318 86 85 1 - 0.0000 -
326.68/327.61 c 328 88 87 1 - 0.0000 -
333.16/334.16 c 334 91 90 1 - 0.0000 -
341.04/342.03 c 342 92 91 1 - 0.0000 -
354.60/355.62 c 356 95 94 1 - 0.0000 -
375.44/376.54 c 377 98 97 1 - 0.0000 -
385.72/386.84 c 387 102 101 1 - 0.0000 -
398.58/399.72 c 400 105 104 1 - 0.0000 -
403.77/404.97 c 405 107 106 1 - 0.0000 -
412.14/413.32 c 413 109 108 1 - 0.0000 -
418.13/419.33 c 419 111 110 1 - 0.0000 -
426.01/427.28 c 427 114 113 1 - 0.0000 -
432.49/433.74 c 434 115 114 1 - 0.0000 -
445.36/446.62 c 447 118 117 1 - 0.0000 -
451.34/452.63 c 453 121 120 1 - 0.0000 -
461.42/462.78 c 463 125 124 1 - 0.0000 -
473.29/474.67 c 475 128 127 1 - 0.0000 -
486.35/487.71 c 488 132 131 1 - 0.0000 -
491.74/493.16 c 493 136 135 1 - 0.0000 -
497.32/498.72 c 499 144 143 1 - 0.0000 -
502.51/503.93 c 504 149 148 1 - 0.0000 -
511.69/513.18 c 513 152 151 1 - 0.0000 -
520.16/521.63 c 522 156 155 1 - 0.0000 -
525.84/527.36 c 527 162 161 1 - 0.0000 -
531.33/532.87 c 533 172 171 1 - 0.0000 -
537.01/538.50 c 539 176 175 1 - 0.0000 -
543.30/544.85 c 545 185 178 1 - 0.0000 -
548.38/549.93 c 550 189 180 1 - 0.0000 -
554.17/555.75 c 556 192 183 1 - 0.0000 -
559.35/560.93 c 561 198 183 1 - 0.0000 -
567.44/569.01 c 569 201 186 1 - 0.0000 -
572.62/574.21 c 574 204 189 1 - 0.0000 -
579.80/581.42 c 581 208 193 1 - 0.0000 -
589.98/591.60 c 592 212 197 1 - 0.0000 -
597.46/599.16 c 599 215 200 1 - 0.0000 -
602.54/604.21 c 604 216 201 1 - 0.0000 -
607.72/609.44 c 609 220 205 1 - 0.0000 -
618.59/620.32 c 620 224 209 1 - 0.0000 -
627.58/629.39 c 629 228 213 1 - 0.0000 -
644.63/646.49 c 646 232 217 1 - 0.0000 -
656.40/658.27 c 658 236 221 1 - 0.0000 -
662.67/664.55 c 665 240 225 1 - 0.0000 -
669.16/671.07 c 671 244 229 1 - 0.0000 -
675.73/677.62 c 678 248 233 1 - 0.0000 -
683.31/685.22 c 685 252 237 1 - 0.0000 -
689.20/691.19 c 691 256 241 1 - 0.0000 -
697.09/699.03 c 699 260 245 1 - 0.0000 -
708.35/710.37 c 710 264 249 1 - 0.0000 -
729.19/731.22 c 731 268 253 1 - 0.0000 -
736.17/738.27 c 738 276 261 1 - 0.0000 -
748.63/750.73 c 751 280 265 1 - 0.0000 -
759.40/761.51 c 762 284 269 1 - 0.0000 -
766.19/768.38 c 768 288 273 1 - 0.0000 -
771.77/773.98 c 774 292 277 1 - 0.0000 -
779.25/781.48 c 781 296 281 1 - 0.0000 -
785.84/788.04 c 788 300 285 1 - 0.0000 -
796.01/798.20 c 798 304 289 1 - 0.0000 -
806.07/808.37 c 808 308 293 1 - 0.0000 -
815.76/818.07 c 818 312 297 1 - 0.0000 -
826.23/828.54 c 829 316 301 1 - 0.0000 -
833.40/835.70 c 836 320 305 1 - 0.0000 -
840.79/843.11 c 843 326 311 1 - 0.0000 -
850.26/852.65 c 853 334 317 1 - 0.0000 -
856.14/858.58 c 859 336 319 1 - 0.0000 -
861.63/864.01 c 864 341 324 1 - 0.0000 -
866.62/869.08 c 869 342 325 1 - 0.0000 -
872.60/875.06 c 875 344 327 1 - 0.0000 -
880.18/882.68 c 883 346 329 1 - 0.0000 -
885.26/887.72 c 888 348 331 1 - 0.0000 -
895.34/897.81 c 898 350 333 1 - 0.0000 -
904.21/906.71 c 907 354 337 1 - 0.0000 -
909.50/912.08 c 912 359 342 1 - 0.0000 -
916.08/918.61 c 919 362 345 1 - 0.0000 -
921.86/924.46 c 924 364 347 1 - 0.0000 -
929.04/931.65 c 932 366 349 1 - 0.0000 -
934.13/936.77 c 937 369 352 1 - 0.0000 -
939.42/942.02 c 942 372 355 1 - 0.0000 -
964.54/967.29 c 967 378 361 1 - 0.0000 -
972.03/974.79 c 975 381 364 1 - 0.0000 -
977.81/980.56 c 981 386 369 1 - 0.0000 -
985.79/988.52 c 989 388 371 1 - 0.0000 -
991.07/993.82 c 994 397 380 1 - 0.0000 -
997.26/1000.03 c 1000 399 382 1 - 0.0000 -
1003.64/1006.40 c 1006 402 385 1 - 0.0000 -
1013.11/1015.90 c 1016 407 388 1 - 0.0000 -
1018.60/1021.44 c 1021 409 390 1 - 0.0000 -
1029.17/1032.01 c 1032 412 393 1 - 0.0000 -
1036.05/1038.99 c 1039 415 396 1 - 0.0000 -
1042.04/1044.91 c 1045 416 397 1 - 0.0000 -
1047.92/1050.87 c 1051 420 401 1 - 0.0000 -
1053.31/1056.27 c 1056 422 403 1 - 0.0000 -
1059.09/1062.07 c 1062 429 410 1 - 0.0000 -
1066.27/1069.24 c 1069 436 417 1 - 0.0000 -
1079.23/1082.20 c 1082 440 421 1 - 0.0000 -
1086.51/1089.54 c 1090 446 427 1 - 0.0000 -
1098.28/1101.39 c 1101 448 429 1 - 0.0000 -
1106.26/1109.33 c 1109 452 433 1 - 0.0000 -
1112.44/1115.56 c 1116 456 437 1 - 0.0000 -
1117.43/1120.57 c 1121 466 447 1 - 0.0000 -
1122.81/1125.92 c 1126 467 448 1 - 0.0000 -
1130.69/1133.82 c 1134 468 449 1 - 0.0000 -
1136.18/1139.34 c 1139 475 456 1 - 0.0000 -
1142.17/1145.39 c 1145 491 468 1 - 0.0000 -
1147.55/1150.77 c 1151 495 472 1 - 0.0000 -
1152.84/1156.06 c 1156 503 480 1 - 0.0000 -
1157.92/1161.16 c 1161 512 489 1 - 0.0000 -
1163.70/1166.94 c 1167 523 498 1 - 0.0000 -
1171.88/1175.18 c 1175 530 505 1 - 0.0000 -
1177.17/1180.40 c 1180 532 507 1 - 0.0000 -
1230.11/1233.59 c 1234 536 511 1 - 0.0000 -
1237.99/1241.41 c 1241 540 515 1 - 0.0000 -
1245.57/1249.06 c 1249 544 519 1 - 0.0000 -
1252.46/1255.96 c 1256 563 538 1 - 0.0000 -
1262.22/1265.73 c 1266 572 545 1 - 0.0000 -
1268.71/1272.21 c 1272 579 552 1 - 0.0000 -
1276.59/1280.19 c 1280 580 553 1 - 0.0000 -
1284.67/1288.23 c 1288 596 567 1 - 0.0000 -
1295.93/1299.54 c 1300 600 571 1 - 0.0000 -
1303.52/1307.12 c 1307 612 583 1 - 0.0000 -
1309.51/1313.14 c 1313 619 588 1 - 0.0000 -
1317.97/1321.68 c 1322 635 604 1 - 0.0000 -
1328.25/1331.94 c 1332 638 607 1 - 0.0000 -
1335.02/1338.79 c 1339 647 616 1 - 0.0000 -
1345.20/1348.94 c 1349 650 619 1 - 0.0000 -
1350.39/1354.14 c 1354 654 623 1 - 0.0000 -
1356.67/1360.48 c 1360 658 627 1 - 0.0000 -
1366.74/1370.54 c 1371 662 631 1 - 0.0000 -
1373.72/1377.50 c 1378 666 635 1 - 0.0000 -
1381.51/1385.37 c 1385 670 639 1 - 0.0000 -
1388.38/1392.20 c 1392 681 650 1 - 0.0000 -
1394.07/1397.91 c 1398 687 656 1 - 0.0000 -
1400.45/1404.37 c 1404 693 660 1 - 0.0000 -
1411.63/1415.56 c 1416 700 667 1 - 0.0000 -
1417.81/1421.73 c 1422 703 670 1 - 0.0000 -
1429.97/1433.92 c 1434 708 675 1 - 0.0000 -
1440.25/1444.26 c 1444 712 679 1 - 0.0000 -
1446.93/1450.97 c 1451 716 683 1 - 0.0000 -
1455.90/1459.90 c 1460 724 691 1 - 0.0000 -
1461.78/1465.86 c 1466 731 698 1 - 0.0000 -
1467.77/1471.83 c 1472 741 708 1 - 0.0000 -
1474.95/1479.04 c 1479 750 717 1 - 0.0000 -
1481.83/1485.90 c 1486 755 722 1 - 0.0000 -
1489.51/1493.69 c 1494 759 726 1 - 0.0000 -
1497.58/1501.70 c 1502 764 729 1 - 0.0000 -
1504.77/1508.94 c 1509 771 736 1 - 0.0000 -
1514.64/1518.90 c 1519 772 737 1 - 0.0000 -
1520.33/1524.58 c 1525 783 748 1 - 0.0000 -
1525.41/1529.62 c 1530 786 751 1 - 0.0000 -
1534.79/1539.08 c 1539 794 759 1 - 0.0000 -
1542.77/1547.05 c 1547 796 761 1 - 0.0000 -
1548.25/1552.57 c 1553 800 765 1 - 0.0000 -
1554.04/1558.39 c 1558 804 769 1 - 0.0000 -
1560.12/1564.46 c 1564 805 770 1 - 0.0000 -
1569.19/1573.51 c 1574 807 772 1 - 0.0000 -
1578.06/1582.47 c 1582 811 776 1 - 0.0000 -
1586.94/1591.39 c 1591 812 777 1 - 0.0000 -
1592.23/1596.66 c 1597 813 778 1 - 0.0000 -
1597.81/1602.20 c 1602 815 780 1 - 0.0000 -
1608.58/1613.09 c 1613 822 785 1 - 0.0000 -
1616.26/1620.74 c 1621 831 794 1 - 0.0000 -
1624.74/1629.21 c 1629 841 804 1 - 0.0000 -
1631.02/1635.57 c 1636 843 806 1 - 0.0000 -
1636.51/1641.09 c 1641 847 810 1 - 0.0000 -
1642.09/1646.61 c 1647 854 817 1 - 0.0000 -
1649.57/1654.12 c 1654 860 823 1 - 0.0000 -
1654.65/1659.28 c 1659 861 824 1 - 0.0000 -
1660.83/1665.49 c 1666 862 825 1 - 0.0000 -
1668.11/1672.78 c 1673 865 828 1 - 0.0000 -
1676.49/1681.18 c 1681 868 831 1 - 0.0000 -
1683.77/1688.41 c 1688 870 833 1 - 0.0000 -
1689.36/1694.02 c 1694 877 840 1 - 0.0000 -
1699.12/1703.89 c 1704 878 841 1 - 0.0000 -
1705.21/1709.99 c 1710 897 858 1 - 0.0000 -
1711.40/1716.15 c 1716 907 868 1 - 0.0000 -
1717.38/1722.18 c 1722 912 873 1 - 0.0000 -
1722.46/1727.27 c 1727 914 875 1 - 0.0000 -
1728.15/1732.96 c 1733 918 879 1 - 0.0000 -
1735.23/1740.07 c 1740 920 881 1 - 0.0000 -
1742.21/1747.07 c 1747 926 887 1 - 0.0000 -
1747.59/1752.49 c 1752 934 895 1 - 0.0000 -
1755.77/1760.60 c 1761 942 903 1 - 0.0000 -
1764.74/1769.62 c 1770 952 911 1 - 0.0000 -
1770.33/1775.25 c 1775 956 915 1 - 0.0000 -
1776.31/1781.28 c 1781 958 917 1 - 0.0000 -
1782.09/1787.09 c 1787 960 919 1 - 0.0000 -
1788.27/1793.26 c 1793 968 926 1 - 0.0000 -
1794.55/1799.55 c 1800 972 930 1 - 0.0000 -
1803.23/1808.23 c 1808 983 941 1 - 0.0000 -
1808.81/1813.81 c 1814 990 948 1 - 0.0000 -
1817.49/1822.56 c 1823 992 950 1 - 0.0000 -
1824.27/1829.31 c 1829 996 954 1 - 0.0000 -
1832.65/1837.75 c 1838 1000 958 1 - 0.0000 -
1837.93/1843.06 c 1843 1005 963 1 - 0.0000 -
1843.31/1848.42 c 1848 1009 967 1 - 0.0000 -
1848.70/1853.82 c 1854 1015 973 1 - 0.0000 -
1856.98/1862.18 c 1862 1022 980 1 - 0.0000 -
1865.75/1870.96 c 1871 1024 982 1 - 0.0000 -
1876.12/1881.34 c 1881 1029 985 1 - 0.0000 -
1890.49/1895.71 c 1896 1034 988 1 - 0.0000 -
1896.37/1901.68 c 1902 1038 992 1 - 0.0000 -
1903.55/1908.84 c 1909 1042 996 1 - 0.0000 -
1908.53/1913.86 c 1914 1046 1000 1 - 0.0000 -
1914.22/1919.50 c 1920 1052 1006 1 - 0.0000 -
1919.70/1925.01 c 1925 1062 1016 1 - 0.0000 -
1924.69/1930.07 c 1930 1070 1024 1 - 0.0000 -
1930.47/1935.86 c 1936 1074 1028 1 - 0.0000 -
1938.35/1943.77 c 1944 1080 1034 1 - 0.0000 -
1944.53/1949.97 c 1950 1082 1036 1 - 0.0000 -
1952.11/1957.50 c 1958 1089 1043 1 - 0.0000 -
1957.99/1963.49 c 1964 1096 1050 1 - 0.0000 -
1968.06/1973.59 c 1974 1098 1052 1 - 0.0000 -
1974.05/1979.52 c 1980 1102 1056 1 - 0.0000 -
1979.13/1984.67 c 1985 1110 1062 1 - 0.0000 -
1985.11/1990.65 c 1991 1113 1065 1 - 0.0000 -
1992.09/1997.62 c 1998 1116 1068 1 - 0.0000 -
1997.78/2003.32 c 2003 1126 1074 1 - 0.0000 -
2002.96/2008.50 c 2009 1131 1077 1 - 0.0000 -
2009.55/2015.18 c 2015 1136 1082 1 - 0.0000 -
2015.54/2021.17 c 2021 1146 1086 1 - 0.0000 -
2021.11/2026.77 c 2027 1153 1093 1 - 0.0000 -
2027.50/2033.10 c 2033 1156 1096 1 - 0.0000 -
2032.98/2038.67 c 2039 1160 1100 1 - 0.0000 -
2038.86/2044.52 c 2045 1172 1112 1 - 0.0000 -
2046.74/2052.49 c 2052 1182 1122 1 - 0.0000 -
2052.73/2058.40 c 2058 1190 1130 1 - 0.0000 -
2059.31/2065.04 c 2065 1192 1132 1 - 0.0000 -
2065.30/2071.10 c 2071 1195 1135 1 - 0.0000 -
2070.97/2076.71 c 2077 1200 1140 1 - 0.0000 -
2075.96/2081.73 c 2082 1205 1145 1 - 0.0000 -
2083.54/2089.36 c 2089 1211 1151 1 - 0.0000 -
2088.92/2094.71 c 2095 1222 1162 1 - 0.0000 -
2094.01/2099.83 c 2100 1231 1165 1 - 0.0000 -
2102.68/2108.53 c 2109 1235 1169 1 - 0.0000 -
2108.28/2114.19 c 2114 1243 1168 1 - 0.0000 -
2115.35/2121.21 c 2121 1249 1172 1 - 0.0000 -
2129.61/2135.54 c 2136 1254 1177 1 - 0.0000 -
2135.09/2141.10 c 2141 1261 1184 1 - 0.0000 -
2143.48/2149.48 c 2149 1265 1186 1 - 0.0000 -
2150.16/2156.18 c 2156 1275 1196 1 - 0.0000 -
2157.04/2163.09 c 2163 1280 1201 1 - 0.0000 -
2164.42/2170.41 c 2170 1287 1208 1 - 0.0000 -
2170.11/2176.18 c 2176 1293 1214 1 - 0.0000 -
2176.99/2183.01 c 2183 1295 1216 1 - 0.0000 -
2182.07/2188.18 c 2188 1296 1217 1 - 0.0000 -
2188.34/2194.43 c 2194 1303 1224 1 - 0.0000 -
2198.72/2204.82 c 2205 1305 1226 1 - 0.0000 -
2212.68/2218.88 c 2219 1316 1231 1 - 0.0000 -
2220.36/2226.57 c 2227 1322 1237 1 - 0.0000 -
2225.95/2232.18 c 2232 1325 1240 1 - 0.0000 -
2233.93/2240.11 c 2240 1327 1242 1 - 0.0000 -
2239.30/2245.56 c 2246 1334 1243 1 - 0.0000 -
2245.59/2251.84 c 2252 1336 1245 1 - 0.0000 -
2256.95/2263.20 c 2263 1338 1247 1 - 0.0000 -
2262.04/2268.33 c 2268 1342 1249 1 - 0.0000 -
2267.33/2273.68 c 2274 1344 1251 1 - 0.0000 -
2273.12/2279.46 c 2279 1350 1257 1 - 0.0000 -
2279.00/2285.30 c 2285 1357 1264 1 - 0.0000 -
2287.27/2293.66 c 2294 1361 0 1 - 0.0000 -
2319.49/2325.92 c 2326 1362 1 1 - 0.0000 -
2325.08/2331.56 c 2332 1367 6 1 - 0.0000 -
2332.27/2338.75 c 2339 1368 7 1 - 0.0000 -
2342.14/2348.62 c 2349 1370 9 1 - 0.0000 -
2347.63/2354.16 c 2354 1372 11 1 - 0.0000 -
2355.12/2361.63 c 2362 1379 18 1 - 0.0000 -
2363.50/2370.04 c 2370 1382 21 1 - 0.0000 -
2371.49/2378.08 c 2378 1385 24 1 - 0.0000 -
2376.77/2383.34 c 2383 1389 28 1 - 0.0000 -
2384.15/2390.70 c 2391 1392 31 1 - 0.0000 -
2391.54/2398.17 c 2398 1398 37 1 - 0.0000 -
2397.22/2403.81 c 2404 1404 43 1 - 0.0000 -
2402.61/2409.20 c 2409 1405 44 1 - 0.0000 -
2411.69/2418.35 c 2418 1415 52 1 - 0.0000 -
2417.08/2423.75 c 2424 1427 64 1 - 0.0000 -
2422.17/2428.87 c 2429 1429 66 1 - 0.0000 -
2428.85/2435.54 c 2436 1438 67 1 - 0.0000 -
2434.84/2441.55 c 2442 1450 73 1 - 0.0000 -
2440.33/2447.00 c 2447 1458 75 1 - 0.0000 -
2446.31/2453.00 c 2453 1477 82 1 - 0.0000 -
2452.70/2459.41 c 2459 1494 85 1 - 0.0000 -
2458.98/2465.76 c 2466 1513 86 1 - 0.0000 -
2467.86/2474.64 c 2475 1522 83 1 - 0.0000 -
2473.26/2480.03 c 2480 1524 85 1 - 0.0000 -
2478.65/2485.48 c 2485 1525 86 1 - 0.0000 -
2485.33/2492.18 c 2492 1528 89 1 - 0.0000 -
2490.82/2497.65 c 2498 1540 87 1 - 0.0000 -
2496.00/2502.83 c 2503 1546 91 1 - 0.0000 -
2502.59/2509.42 c 2509 1548 93 1 - 0.0000 -
2511.07/2517.97 c 2518 1556 97 1 - 0.0000 -
2516.16/2523.00 c 2523 1558 99 1 - 0.0000 -
2524.34/2531.20 c 2531 1568 105 1 - 0.0000 -
2530.33/2537.27 c 2537 1590 115 1 - 0.0000 -
2535.52/2542.48 c 2542 1601 112 1 - 0.0000 -
2541.11/2548.10 c 2548 1607 118 1 - 0.0000 -
2546.99/2553.95 c 2554 1616 121 1 - 0.0000 -
2552.58/2559.51 c 2560 1623 124 1 - 0.0000 -
2557.87/2564.88 c 2565 1638 131 1 - 0.0000 -
2563.35/2570.31 c 2570 1653 134 1 - 0.0000 -
2568.44/2575.49 c 2575 1670 137 1 - 0.0000 -
2575.13/2582.17 c 2582 1681 140 1 - 0.0000 -
2580.31/2587.33 c 2587 1698 147 1 - 0.0000 -
2585.90/2592.93 c 2593 1714 153 1 - 0.0000 -
2591.49/2598.56 c 2599 1726 161 1 - 0.0000 -
2597.08/2604.11 c 2604 1739 164 1 - 0.0000 -
2602.97/2610.00 c 2610 1745 166 1 - 0.0000 -
2613.74/2620.87 c 2621 1749 170 1 - 0.0000 -
2620.03/2627.13 c 2627 1758 173 1 - 0.0000 -
2625.62/2632.74 c 2633 1772 175 1 - 0.0000 -
2630.61/2637.77 c 2638 1774 175 1 - 0.0000 -
2637.19/2644.34 c 2644 1789 176 1 - 0.0000 -
2643.28/2650.45 c 2650 1803 178 1 - 0.0000 -
2648.97/2656.19 c 2656 1816 177 1 - 0.0000 -
2655.16/2662.31 c 2662 1832 175 1 - 0.0000 -
2661.35/2668.56 c 2669 1848 173 1 - 0.0000 -
2666.54/2673.78 c 2674 1862 171 1 - 0.0000 -
2672.03/2679.25 c 2679 1873 174 1 - 0.0000 -
2678.51/2685.71 c 2686 1884 175 1 - 0.0000 -
2684.70/2691.92 c 2692 1901 180 1 - 0.0000 -
2689.89/2697.10 c 2697 1913 178 1 - 0.0000 -
2695.88/2703.13 c 2703 1923 180 1 - 0.0000 -
2701.87/2709.18 c 2709 1938 177 1 - 0.0000 -
2707.15/2714.41 c 2714 1944 177 1 - 0.0000 -
2712.64/2719.95 c 2720 1957 176 1 - 0.0000 -
2719.33/2726.67 c 2727 1964 173 1 - 0.0000 -
2724.92/2732.21 c 2732 1979 176 1 - 0.0000 -
2731.00/2738.39 c 2738 1995 174 1 - 0.0000 -
2737.39/2744.73 c 2745 2010 173 1 - 0.0000 -
2743.88/2751.23 c 2751 2027 172 1 - 0.0000 -
2748.97/2756.36 c 2756 2039 172 1 - 0.0000 -
2754.95/2762.38 c 2762 2052 177 1 - 0.0000 -
2760.04/2767.45 c 2767 2069 178 1 - 0.0000 -
2765.63/2773.05 c 2773 2087 176 1 - 0.0000 -
2771.62/2779.10 c 2779 2108 183 1 - 0.0000 -
2777.40/2784.84 c 2785 2124 183 1 - 0.0000 -
2782.39/2789.87 c 2790 2132 181 1 - 0.0000 -
2787.69/2795.11 c 2795 2137 180 1 - 0.0000 -
2793.77/2801.29 c 2801 2155 182 1 - 0.0000 -
2800.06/2807.50 c 2808 2167 182 1 - 0.0000 -
2805.45/2812.92 c 2813 2186 185 1 - 0.0000 -
2811.23/2818.75 c 2819 2203 180 1 - 0.0000 -
2817.02/2824.59 c 2825 2219 180 1 - 0.0000 -
2822.21/2829.75 c 2830 2229 178 1 - 0.0000 -
2827.70/2835.29 c 2835 2243 176 1 - 0.0000 -
2832.89/2840.47 c 2840 2259 182 1 - 0.0000 -
2838.98/2846.53 c 2847 2279 180 1 - 0.0000 -
2844.76/2852.32 c 2852 2297 182 1 - 0.0000 -
2850.05/2857.61 c 2858 2315 184 1 - 0.0000 -
2855.94/2863.52 c 2864 2334 185 1 - 0.0000 -
2862.13/2869.72 c 2870 2351 182 1 - 0.0000 -
2868.02/2875.61 c 2876 2367 180 1 - 0.0000 -
2874.20/2881.87 c 2882 2385 180 1 - 0.0000 -
2879.99/2887.67 c 2888 2403 178 1 - 0.0000 -
2885.28/2892.98 c 2893 2416 175 1 - 0.0000 -
2890.67/2898.32 c 2898 2431 172 1 - 0.0000 -
2896.85/2904.57 c 2905 2448 169 1 - 0.0000 -
2902.54/2910.25 c 2910 2466 171 1 - 0.0000 -
2908.63/2916.32 c 2916 2484 173 1 - 0.0000 -
2915.71/2923.44 c 2923 2494 171 1 - 0.0000 -
2921.60/2929.38 c 2929 2504 175 1 - 0.0000 -
2927.39/2935.13 c 2935 2525 182 1 - 0.0000 -
2932.98/2940.72 c 2941 2545 186 1 - 0.0000 -
2938.67/2946.46 c 2946 2569 190 1 - 0.0000 -
2946.75/2954.51 c 2955 2582 195 1 - 0.0000 -
2952.44/2960.25 c 2960 2607 194 1 - 0.0000 -
2958.03/2965.85 c 2966 2626 193 1 - 0.0000 -
2963.81/2971.61 c 2972 2646 191 1 - 0.0000 -
2968.80/2976.69 c 2977 2660 193 1 - 0.0000 -
2974.30/2982.19 c 2982 2676 195 1 - 0.0000 -
2979.88/2987.73 c 2988 2695 200 1 - 0.0000 -
2985.77/2993.66 c 2994 2715 192 1 - 0.0000 -
2991.85/2999.76 c 3000 2733 192 1 - 0.0000 -
2997.94/3005.84 c 3006 2754 197 1 - 0.0000 -
3003.53/3011.49 c 3011 2771 194 1 - 0.0000 -
3009.42/3017.31 c 3017 2790 199 1 - 0.0000 -
3015.30/3023.24 c 3023 2814 199 1 - 0.0000 -
3021.59/3029.59 c 3030 2834 199 1 - 0.0000 -
3026.78/3034.72 c 3035 2848 201 1 - 0.0000 -
3032.97/3040.95 c 3041 2866 203 1 - 0.0000 -
3038.66/3046.67 c 3047 2894 203 1 - 0.0000 -
3044.45/3052.42 c 3052 2910 201 1 - 0.0000 -
3050.24/3058.21 c 3058 2930 203 1 - 0.0000 -
3056.03/3064.05 c 3064 2945 200 1 - 0.0000 -
3061.51/3069.51 c 3070 2961 198 1 - 0.0000 -
3066.80/3074.82 c 3075 2978 199 1 - 0.0000 -
3071.79/3079.86 c 3080 2996 197 1 - 0.0000 -
3077.58/3085.62 c 3086 3021 196 1 - 0.0000 -
3083.27/3091.31 c 3091 3048 195 1 - 0.0000 -
3088.36/3096.47 c 3096 3064 197 1 - 0.0000 -
3093.45/3101.54 c 3102 3080 203 1 - 0.0000 -
3099.14/3107.23 c 3107 3101 206 1 - 0.0000 -
3104.82/3112.96 c 3113 3120 205 1 - 0.0000 -
3110.61/3118.71 c 3119 3138 199 1 - 0.0000 -
3115.70/3123.81 c 3124 3151 200 1 - 0.0000 -
3122.09/3130.26 c 3130 3169 198 1 - 0.0000 -
3127.98/3136.19 c 3136 3192 207 1 - 0.0000 -
3133.26/3141.40 c 3141 3211 204 1 - 0.0000 -
3138.75/3146.99 c 3147 3229 206 1 - 0.0000 -
3145.04/3153.27 c 3153 3247 200 1 - 0.0000 -
3150.53/3158.70 c 3159 3267 200 1 - 0.0000 -
3155.82/3164.00 c 3164 3282 197 1 - 0.0000 -
3161.50/3169.76 c 3170 3293 196 1 - 0.0000 -
3166.90/3175.18 c 3175 3307 198 1 - 0.0000 -
3172.18/3180.44 c 3180 3324 203 1 - 0.0000 -
3177.47/3185.71 c 3186 3337 206 1 - 0.0000 -
3182.76/3191.08 c 3191 3349 214 1 - 0.0000 -
3187.75/3196.09 c 3196 3370 219 1 - 0.0000 -
3192.94/3201.22 c 3201 3387 212 1 - 0.0000 -
3198.02/3206.30 c 3206 3400 209 1 - 0.0000 -
3204.01/3212.33 c 3212 3424 209 1 - 0.0000 -
3210.10/3218.40 c 3218 3449 206 1 - 0.0000 -
3215.29/3223.65 c 3224 3462 205 1 - 0.0000 -
3221.08/3229.46 c 3229 3482 205 1 - 0.0000 -
3226.96/3235.31 c 3235 3504 211 1 - 0.0000 -
3233.05/3241.41 c 3241 3517 210 1 - 0.0000 -
3238.84/3247.29 c 3247 3543 210 1 - 0.0000 -
3244.63/3253.04 c 3253 3563 210 1 - 0.0000 -
3250.41/3258.89 c 3259 3582 215 1 - 0.0000 -
3255.91/3264.32 c 3264 3601 222 1 - 0.0000 -
3261.60/3270.01 c 3270 3624 221 1 - 0.0000 -
3266.99/3275.44 c 3275 3652 225 1 - 0.0000 -
3272.87/3281.39 c 3281 3673 224 1 - 0.0000 -
3278.57/3287.03 c 3287 3692 227 1 - 0.0000 -
3284.45/3292.90 c 3293 3711 224 1 - 0.0000 -
3290.14/3298.60 c 3299 3732 231 1 - 0.0000 -
3296.13/3304.63 c 3305 3754 231 1 - 0.0000 -
3301.81/3310.39 c 3310 3780 235 1 - 0.0000 -
3307.20/3315.76 c 3316 3795 230 1 - 0.0000 -
3312.89/3321.46 c 3321 3815 234 1 - 0.0000 -
3318.87/3327.41 c 3327 3836 233 1 - 0.0000 -
3324.66/3333.20 c 3333 3856 231 1 - 0.0000 -
3330.35/3338.91 c 3339 3881 228 1 - 0.0000 -
3335.94/3344.55 c 3345 3902 231 1 - 0.0000 -
3341.92/3350.54 c 3351 3921 230 1 - 0.0000 -
3347.42/3356.04 c 3356 3945 236 1 - 0.0000 -
3353.60/3362.26 c 3362 3961 228 1 - 0.0000 -
3359.29/3367.97 c 3368 3981 228 1 - 0.0000 -
3365.07/3373.70 c 3374 3996 225 1 - 0.0000 -
3370.96/3379.62 c 3380 4016 227 1 - 0.0000 -
3376.65/3385.36 c 3385 4035 228 1 - 0.0000 -
3382.45/3391.13 c 3391 4060 233 1 - 0.0000 -
3388.53/3397.27 c 3397 4076 221 1 - 0.0000 -
3394.12/3402.89 c 3403 4096 219 1 - 0.0000 -
3399.61/3408.32 c 3408 4111 220 1 - 0.0000 -
3405.70/3414.42 c 3414 4132 219 1 - 0.0000 -
3412.19/3420.91 c 3421 4153 216 1 - 0.0000 -
3418.17/3426.99 c 3427 4175 220 1 - 0.0000 -
3423.96/3432.77 c 3433 4195 222 1 - 0.0000 -
3429.75/3438.58 c 3439 4219 220 1 - 0.0000 -
3436.24/3445.04 c 3445 4238 219 1 - 0.0000 -
3442.42/3451.22 c 3451 4254 223 1 - 0.0000 -
3447.81/3456.68 c 3457 4269 228 1 - 0.0000 -
3453.30/3462.16 c 3462 4290 231 1 - 0.0000 -
3459.09/3467.96 c 3468 4316 233 1 - 0.0000 -
3464.97/3473.86 c 3474 4338 233 1 - 0.0000 -
3470.27/3479.15 c 3479 4358 235 1 - 0.0000 -
3475.26/3484.16 c 3484 4376 227 1 - 0.0000 -
3481.04/3489.90 c 3490 4398 229 1 - 0.0000 -
3486.62/3495.59 c 3496 4420 227 1 - 0.0000 -
3492.71/3501.65 c 3502 4441 222 1 - 0.0000 -
3498.50/3507.42 c 3507 4460 219 1 - 0.0000 -
3504.09/3513.00 c 3513 4483 218 1 - 0.0000 -
3509.67/3518.66 c 3519 4503 220 1 - 0.0000 -
3515.17/3524.14 c 3524 4516 217 1 - 0.0000 -
3521.16/3530.17 c 3530 4537 220 1 - 0.0000 -
3527.15/3536.18 c 3536 4564 217 1 - 0.0000 -
3532.24/3541.20 c 3541 4582 219 1 - 0.0000 -
3538.22/3547.27 c 3547 4606 217 1 - 0.0000 -
3543.81/3552.88 c 3553 4623 212 1 - 0.0000 -
3549.50/3558.55 c 3559 4643 218 1 - 0.0000 -
3554.49/3563.57 c 3564 4658 215 1 - 0.0000 -
3560.28/3569.39 c 3569 4677 218 1 - 0.0000 -
3566.16/3575.27 c 3575 4700 217 1 - 0.0000 -
3571.65/3580.75 c 3581 4722 217 1 - 0.0000 -
3577.34/3586.40 c 3586 4744 217 1 - 0.0000 -
3582.83/3591.98 c 3592 4763 220 1 - 0.0000 -
3588.61/3597.74 c 3598 4781 220 1 - 0.0000 -
3588.92/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.92/3598.05 c Total Time : 3598.0500
3588.92/3598.05 c solving : 3598.0500
3588.92/3598.05 c presolving : 41.2492 (included in solving)
3588.92/3598.05 c B&B Tree :
3588.92/3598.05 c nodes (total) : 1
3588.92/3598.05 c Solution :
3588.92/3598.05 c Solutions found : 0
3588.92/3598.05 c Primal Bound : -
3588.92/3598.05 c Dual Bound : +0.00000000000000e+00
3588.92/3598.05 c Gap : -
3589.02/3598.10 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58649 MiB free)
memory of node 1: 64510 MiB (50034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464699-1722387373/watcher-4464699-1722387373 -o /tmp/evaluation-result-4464699-1722387373/solver-4464699-1722387373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464699-1722387373.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=34212, runsolver pid=34209
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.07 4.10 4.09 5/258 34213
/proc/meminfo: memFree=111232320/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=82256 memory=72136 CPUtime=0.09 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 15793 0 0 0 8 1 0 0 20 0 1 0 5337794 84230144 18034 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 20564 18034 2539 3035 0 16960 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82256 KiB
Current children cumulated memory: 72136 KiB
[startup+0.206014 s]*
/proc/loadavg: 4.07 4.10 4.09 5/258 34213
/proc/meminfo: memFree=111210968/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=104568 memory=91100 CPUtime=0.2 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 20521 0 0 0 18 2 0 0 20 0 1 0 5337794 107077632 22775 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 26142 22775 2598 3035 0 22538 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 104568 KiB
Current children cumulated memory: 91100 KiB
[startup+0.305882 s]*
/proc/loadavg: 4.07 4.10 4.09 5/258 34213
/proc/meminfo: memFree=111193424/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=122052 memory=108280 CPUtime=0.3 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 26422 0 0 0 27 3 0 0 20 0 1 0 5337794 124981248 27070 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 30513 27070 2662 3035 0 26909 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 108280 KiB
[startup+0.70026 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 34213
/proc/meminfo: memFree=111193284/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=122052 memory=108280 CPUtime=0.69 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 26422 0 0 0 66 3 0 0 20 0 1 0 5337794 124981248 27070 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 30513 27070 2662 3035 0 26909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 108280 KiB
[startup+1.50025 s]
/proc/loadavg: 4.07 4.10 4.09 5/258 34215
/proc/meminfo: memFree=111191636/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=127436 memory=113400 CPUtime=1.48 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 29886 0 0 0 145 3 0 0 20 0 1 0 5337794 130494464 28350 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 31859 28350 2774 3035 0 28255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127436 KiB
Current children cumulated memory: 113400 KiB
[startup+3.10587 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 34215
/proc/meminfo: memFree=111184168/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=132176 memory=117360 CPUtime=3.08 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 30926 0 0 0 305 3 0 0 20 0 1 0 5337794 135348224 29340 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 33044 29340 2774 3035 0 29440 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132176 KiB
Current children cumulated memory: 117360 KiB
[startup+6.30024 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 34215
/proc/meminfo: memFree=111177224/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=139252 memory=124488 CPUtime=6.27 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 32655 0 0 0 623 4 0 0 20 0 1 0 5337794 142594048 31122 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 34813 31122 2774 3035 0 31209 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 139252 KiB
Current children cumulated memory: 124488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 34216
/proc/meminfo: memFree=111160312/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=154100 memory=139796 CPUtime=12.64 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 39318 0 0 0 1259 5 0 0 20 0 1 0 5337794 157798400 34949 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 38525 34949 2774 3035 0 34921 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 154100 KiB
Current children cumulated memory: 139796 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 34218
/proc/meminfo: memFree=111160204/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=154100 memory=139796 CPUtime=25.41 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 39324 0 0 0 2536 5 0 0 20 0 1 0 5337794 157798400 34949 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 38525 34949 2774 3035 0 34921 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 154100 KiB
Current children cumulated memory: 139796 KiB
[startup+51.106 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 34225
/proc/meminfo: memFree=110995640/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=312764 CPUtime=50.93 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 114050 0 0 0 5079 14 0 0 20 0 3 0 5337794 426901504 78191 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 78191 2982 3035 0 88385 0
[pid=34212/tid=34222] ppid=34209 vsize=416896 memory=-5155625816988085125 CPUtime=9.65 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 69699 0 0 0 957 8 0 0 20 0 3 0 5341933 426901504 78191 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=416896 memory=210368 CPUtime=0 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 5341938 426901504 78191 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 416896 KiB
Current children cumulated memory: 312764 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/260 34235
/proc/meminfo: memFree=110983436/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=323284 CPUtime=101.98 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 209110 0 0 0 10179 19 0 0 20 0 3 0 5337794 426901504 80821 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 80821 3030 3035 0 92267 0
[pid=34212/tid=34222] ppid=34209 vsize=416896 memory=11628 CPUtime=60.7 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 164656 0 0 0 6057 13 0 0 20 0 3 0 5341933 426901504 80821 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=416896 memory=323268 CPUtime=0 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5341938 426901504 80821 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 416896 KiB
Current children cumulated memory: 323284 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/261 34414
/proc/meminfo: memFree=110966776/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=337508 CPUtime=161.82 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 264615 0 0 0 16158 24 0 0 20 0 3 0 5337794 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 84377 3030 3035 0 96125 0
[pid=34212/tid=34222] ppid=34209 vsize=416896 memory=323300 CPUtime=120.53 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 220069 0 0 0 12036 17 0 0 20 0 3 0 5341933 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=416896 memory=337508 CPUtime=0 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5341938 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 416896 KiB
Current children cumulated memory: 337508 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 34425
/proc/meminfo: memFree=110966380/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=337508 CPUtime=221.65 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 279735 0 0 0 22140 25 0 0 20 0 3 0 5337794 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 84377 3030 3035 0 96125 0
[pid=34212/tid=34222] ppid=34209 vsize=416896 memory=11628 CPUtime=180.36 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 235149 0 0 0 18018 18 0 0 20 0 3 0 5341933 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=416896 memory=11628 CPUtime=0 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 5341938 426901504 84377 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 416896 KiB
Current children cumulated memory: 337508 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/261 34439
/proc/meminfo: memFree=110946632/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=356640 CPUtime=281.49 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 322562 0 0 0 28120 29 0 0 20 0 3 0 5337794 426901504 89160 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 89160 3030 3035 0 100052 0
[pid=34212/tid=34222] ppid=34209 vsize=416896 memory=356640 CPUtime=240.2 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 277900 0 0 0 23998 22 0 0 20 0 3 0 5341933 426901504 89160 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=416896 memory=356640 CPUtime=0 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 84 0 0 0 0 0 0 0 20 0 3 0 5341938 426901504 89160 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 416896 KiB
Current children cumulated memory: 356640 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 34462
/proc/meminfo: memFree=110945816/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=416896 memory=356656 CPUtime=341.33 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 340654 0 0 0 34103 30 0 0 20 0 3 0 5337794 426901504 89164 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 104224 89164 3030 3035 0 100052 0
################
# More data... #
################
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3453.5 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418092 0 0 0 345229 121 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=11628 CPUtime=3412.07 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1371377 0 0 0 341099 108 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=541460 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 346 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3522.3 s]
/proc/loadavg: 1.10 1.14 1.81 2/237 35766
/proc/meminfo: memFree=129572912/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3513.37 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418471 0 0 0 351216 121 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=541460 CPUtime=3471.94 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1371731 0 0 0 347086 108 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=541460 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 348 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3582.3 s]
/proc/loadavg: 1.08 1.13 1.76 2/239 36163
/proc/meminfo: memFree=129572308/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3573.25 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418834 0 0 0 357203 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=541460 CPUtime=3531.82 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372069 0 0 0 353073 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=11628 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3598.11 s]
# the end of solver process 34212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.8 s, system=1.23101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.07 1.12 1.76 2/239 36163
/proc/meminfo: memFree=129572336/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3574.95 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418834 0 0 0 357373 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=-7523381394107620736 CPUtime=3533.52 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372069 0 0 0 353243 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=4569916243205320346 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3574.95 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.14 1.76 2/239 36163
/proc/meminfo: memFree=129572380/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3581.33 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418904 0 0 0 358011 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=541460 CPUtime=3539.9 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372139 0 0 0 353881 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=2340 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3581.33 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3593.6 s]
/proc/loadavg: 1.15 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572324/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3584.52 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418975 0 0 0 358330 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=541460 CPUtime=3543.09 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372191 0 0 0 354200 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=541460 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3584.52 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3595.2 s]
/proc/loadavg: 1.13 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572316/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3586.12 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418980 0 0 0 358490 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=19688 CPUtime=3544.69 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372196 0 0 0 354360 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=12856 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3596.8 s]
/proc/loadavg: 1.13 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572340/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3587.71 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418980 0 0 0 358649 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=541460 CPUtime=3546.29 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372196 0 0 0 354520 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=12856 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3587.71 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3597.6 s]
/proc/loadavg: 1.13 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572308/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3588.51 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1418980 0 0 0 358729 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=12856 CPUtime=3547.08 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372196 0 0 0 354599 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=12420 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3588.51 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3598 s]*
/proc/loadavg: 1.13 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572348/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=612976 memory=541460 CPUtime=3588.92 cores=5,7
/proc/34212/stat : 34212 (fscip) S 34209 34212 28879 0 -1 1077936128 1419011 0 0 0 358770 122 0 0 20 0 3 0 5337794 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 153244 135365 3334 3035 0 139647 0
[pid=34212/tid=34222] ppid=34209 vsize=612976 memory=-7523381394107620736 CPUtime=3547.49 cores=5,7
/proc/34212/task/34222/stat : 34222 (fscip) R 34209 34212 28879 0 -1 4194368 1372223 0 0 0 354640 109 0 0 20 0 3 0 5341933 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
[pid=34212/tid=34223] ppid=34209 vsize=612976 memory=7151553045079886446 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 3 0 5341938 627687424 135365 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3588.92 s
Current children cumulated vsize: 612976 KiB
Current children cumulated memory: 541460 KiB
[startup+3598.11 s]
/proc/loadavg: 1.13 1.14 1.76 2/239 36164
/proc/meminfo: memFree=129572348/131524600 swapFree=131071996/131071996
[pid=34212] ppid=34209 vsize=559952 memory=486820 CPUtime=3589.02 cores=5,7
/proc/34212/stat : 34212 (fscip) R 34209 34212 28879 0 -1 4194304 1421245 0 0 0 358780 122 0 0 20 0 2 0 5337794 573390848 121705 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
/proc/34212/statm: 139988 121705 3334 3035 0 126391 0
[pid=34212/tid=34223] ppid=34209 vsize=559952 memory=11628 CPUtime=0.04 cores=5,7
/proc/34212/task/34223/stat : 34223 (fscip) S 34209 34212 28879 0 -1 1077936192 350 0 0 0 1 3 0 0 20 0 2 0 5341938 573390848 121705 134679101440 4194304 16623229 140725372505424 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 57470976 140725372511254 140725372511370 140725372511370 140725372518384 0
Current children cumulated CPU time: 3589.02 s
Current children cumulated vsize: 559952 KiB
Current children cumulated memory: 486820 KiB
Child status: 0
Real time (s): 3598.11
CPU time (s): 3589.03
CPU user time (s): 3587.8
CPU system time (s): 1.23101
CPU usage (%): 99.7477
Max. virtual memory (cumulated for all children) (KiB): 613504
Max. memory (cumulated for all children) (KiB): 541460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.8
system time used= 1.23101
maximum resident set size= 541460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1421263
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= 6900
involuntary context switches= 1555
# summary of solver processes directly reported to runsolver:
# pid: 34212
# total CPU time (s): 3589.03
# total CPU user time (s): 3587.8
# total CPU system time (s): 1.23101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21026 second user time and 16.5396 second system time
The end
Begin job on nodeC027 at 2024-07-31 02:56:13
IDJOB=4464699
IDBENCH=164356
IDSOLVER=3092
FILE ID=nodeC027/4464699-1722387373
RUNJOBID= nodeC027-1722378597-28892
SLURM_JOB_ID= 8249850
Free space on /tmp= 889852 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.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-4464699-1722387373/watcher-4464699-1722387373 -o /tmp/evaluation-result-4464699-1722387373/solver-4464699-1722387373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28892 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464699-1722387373.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=483359291
nodeC027.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 : 3667.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3672.417
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.31
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 : 3600.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3600.470
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.31
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 : 3667.717
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3664.333
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.186
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3673.010
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 111292224 kB
MemAvailable: 111305432 kB
Buffers: 102596 kB
Cached: 743848 kB
SwapCached: 0 kB
Active: 430472 kB
Inactive: 19286812 kB
Active(anon): 1536 kB
Inactive(anon): 18890656 kB
Active(file): 428936 kB
Inactive(file): 396156 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29316 kB
Writeback: 16 kB
AnonPages: 18868088 kB
Mapped: 123148 kB
Shmem: 21336 kB
KReclaimable: 55524 kB
Slab: 136608 kB
SReclaimable: 55524 kB
SUnreclaim: 81084 kB
KernelStack: 4128 kB
PageTables: 45948 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 20219604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10080 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5617664 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC027 at 2024-07-31 03:56:11