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.88/0.97 c Default LC presolving (default).
0.88/0.97 c ** Before presolving: virtualMemUsedAtLc = 450482012, getVmSize() = 288833536, SCIPgetMemUsed() = 243081387, SCIPgetMemTotal() = 253426035, SCIPgetMemExternEstim() = 197055977
0.88/0.97 c ** set memory limit for presolving in LC to 8.79596e+12 for SCIP **
53.57/53.87 c ** Estimated virtualMemUsedAtSolver = 607130055, getVmSize() = 772055040, SCIPgetMemUsed() = 487372010, SCIPgetMemTotal() = 713639106, SCIPgetMemExternEstim() = 197055977
53.57/53.87 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
53.57/53.87 c Original Problem :
53.57/53.87 c Problem name : instance-4465002-1722389970
53.57/53.87 c Variables : 72303 (72303 binary, 0 integer, 0 implicit integer, 0 continuous)
53.57/53.87 c Constraints : 141828
53.57/53.87 c Objective sense : minimize
53.57/53.87 c Presolved Problem :
53.57/53.87 c Variables : 143176 (72303 binary, 0 integer, 70873 implicit integer, 0 continuous)
53.57/53.87 c Constraints : 141828
53.57/53.87 c Constraints : Number
53.57/53.87 c knapsack : 1
53.57/53.87 c setppc : 81
53.57/53.87 c linear : 70873
53.57/53.87 c indicator : 70873
53.57/53.87 c ** Instance transfer method used: 0
54.16/54.47 c ** ParaScipInstance copy does not increase the number of variables. **
54.87/55.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
54.87/55.19 c Nodes Active
54.87/55.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1006.61/1009.86 c 1010 2 1 1 - 0.0000 -
1016.08/1019.33 c 1019 4 3 1 - 0.0000 -
1021.46/1024.78 c 1025 5 4 1 - 0.0000 -
1029.14/1032.42 c 1032 6 5 1 - 0.0000 -
1051.46/1054.83 c 1055 7 6 1 - 0.0000 -
1056.76/1060.17 c 1060 8 7 1 - 0.0000 -
1067.51/1070.91 c 1071 9 8 1 - 0.0000 -
1075.18/1078.62 c 1079 10 9 1 - 0.0000 -
1086.56/1090.09 c 1090 12 11 1 - 0.0000 -
1094.12/1097.61 c 1098 13 12 1 - 0.0000 -
1103.79/1107.39 c 1107 14 13 1 - 0.0000 -
1124.63/1128.22 c 1128 16 13 1 - 0.0000 -
1134.89/1138.54 c 1139 18 15 1 - 0.0000 -
1142.07/1145.79 c 1146 20 17 1 - 0.0000 -
1150.35/1154.05 c 1154 22 19 1 - 0.0000 -
1155.43/1159.19 c 1159 23 20 1 - 0.0000 -
1160.81/1164.55 c 1165 24 21 1 - 0.0000 -
1175.27/1179.07 c 1179 26 23 1 - 0.0000 -
1186.34/1190.12 c 1190 28 25 1 - 0.0000 -
1191.71/1195.57 c 1196 29 26 1 - 0.0000 -
1199.20/1203.07 c 1203 31 28 1 - 0.0000 -
1204.56/1208.45 c 1208 33 30 1 - 0.0000 -
1210.16/1214.11 c 1214 34 31 1 - 0.0000 -
1219.52/1223.46 c 1223 44 41 1 - 0.0000 -
1227.39/1231.30 c 1231 50 47 1 - 0.0000 -
1240.07/1244.07 c 1244 57 54 1 - 0.0000 -
1249.43/1253.40 c 1253 63 60 1 - 0.0000 -
1257.80/1261.87 c 1262 75 72 1 - 0.0000 -
1280.33/1284.45 c 1284 83 80 1 - 0.0000 -
1291.50/1295.65 c 1296 89 86 1 - 0.0000 -
1305.06/1309.20 c 1309 101 98 1 - 0.0000 -
1311.84/1316.02 c 1316 112 109 1 - 0.0000 -
1318.61/1322.82 c 1323 125 122 1 - 0.0000 -
1324.10/1328.39 c 1328 132 129 1 - 0.0000 -
1334.26/1338.52 c 1339 137 134 1 - 0.0000 -
1339.64/1343.91 c 1344 145 142 1 - 0.0000 -
1346.92/1351.26 c 1351 152 147 1 - 0.0000 -
1352.20/1356.54 c 1357 162 157 1 - 0.0000 -
1366.96/1371.38 c 1371 171 166 1 - 0.0000 -
1372.25/1376.63 c 1377 177 172 1 - 0.0000 -
1378.63/1383.03 c 1383 189 182 1 - 0.0000 -
1390.99/1395.46 c 1395 194 187 1 - 0.0000 -
1396.07/1400.52 c 1401 202 195 1 - 0.0000 -
1401.26/1405.74 c 1406 205 198 1 - 0.0000 -
1406.24/1410.75 c 1411 215 202 1 - 0.0000 -
1414.81/1419.30 c 1419 227 214 1 - 0.0000 -
1426.27/1430.84 c 1431 236 223 1 - 0.0000 -
1432.16/1436.78 c 1437 247 234 1 - 0.0000 -
1440.83/1445.46 c 1445 249 236 1 - 0.0000 -
1447.41/1452.01 c 1452 263 248 1 - 0.0000 -
1453.59/1458.27 c 1458 274 259 1 - 0.0000 -
1459.27/1464.01 c 1464 284 267 1 - 0.0000 -
1466.54/1471.29 c 1471 291 274 1 - 0.0000 -
1474.52/1479.23 c 1479 298 281 1 - 0.0000 -
1480.50/1485.26 c 1485 302 285 1 - 0.0000 -
1490.07/1494.84 c 1495 308 291 1 - 0.0000 -
1496.85/1501.64 c 1502 322 301 1 - 0.0000 -
1504.72/1509.50 c 1510 332 311 1 - 0.0000 -
1512.31/1517.15 c 1517 348 323 1 - 0.0000 -
1518.18/1523.03 c 1523 356 331 1 - 0.0000 -
1523.56/1528.44 c 1528 364 339 1 - 0.0000 -
1529.94/1534.81 c 1535 369 344 1 - 0.0000 -
1536.42/1541.31 c 1541 374 349 1 - 0.0000 -
1542.70/1547.62 c 1548 382 357 1 - 0.0000 -
1548.68/1553.69 c 1554 394 369 1 - 0.0000 -
1568.22/1573.25 c 1573 395 370 1 - 0.0000 -
1576.11/1581.17 c 1581 402 377 1 - 0.0000 -
1582.38/1587.45 c 1587 408 383 1 - 0.0000 -
1589.06/1594.12 c 1594 418 393 1 - 0.0000 -
1594.24/1599.32 c 1599 426 401 1 - 0.0000 -
1606.60/1611.70 c 1612 434 409 1 - 0.0000 -
1611.69/1616.85 c 1617 447 418 1 - 0.0000 -
1617.37/1622.50 c 1622 451 422 1 - 0.0000 -
1623.65/1628.88 c 1629 465 434 1 - 0.0000 -
1629.33/1634.58 c 1635 472 441 1 - 0.0000 -
1634.41/1639.69 c 1640 478 445 1 - 0.0000 -
1641.19/1646.42 c 1646 493 454 1 - 0.0000 -
1648.17/1653.40 c 1653 509 462 1 - 0.0000 -
1653.65/1659.01 c 1659 517 470 1 - 0.0000 -
1669.20/1674.50 c 1674 519 472 1 - 0.0000 -
1675.69/1681.01 c 1681 527 480 1 - 0.0000 -
1681.56/1686.98 c 1687 546 495 1 - 0.0000 -
1687.65/1693.10 c 1693 555 504 1 - 0.0000 -
1692.82/1698.23 c 1698 565 510 1 - 0.0000 -
1698.30/1703.77 c 1704 577 518 1 - 0.0000 -
1705.38/1710.80 c 1711 592 529 1 - 0.0000 -
1710.36/1715.85 c 1716 603 536 1 - 0.0000 -
1716.34/1721.88 c 1722 610 540 1 - 0.0000 -
1722.63/1728.11 c 1728 620 550 1 - 0.0000 -
1729.39/1734.90 c 1735 632 559 1 - 0.0000 -
1734.98/1740.56 c 1741 649 566 1 - 0.0000 -
1741.57/1747.16 c 1747 661 576 1 - 0.0000 -
1747.34/1752.90 c 1753 677 584 1 - 0.0000 -
1753.91/1759.56 c 1760 688 589 1 - 0.0000 -
1759.89/1765.53 c 1766 702 597 1 - 0.0000 -
1768.95/1774.61 c 1775 714 607 1 - 0.0000 -
1774.24/1779.98 c 1780 724 615 1 - 0.0000 -
1782.00/1787.76 c 1788 737 622 1 - 0.0000 -
1801.84/1807.67 c 1808 746 631 1 - 0.0000 -
1807.02/1812.86 c 1813 759 640 1 - 0.0000 -
1812.21/1818.08 c 1818 771 648 1 - 0.0000 -
1822.18/1828.07 c 1828 780 651 1 - 0.0000 -
1827.74/1833.66 c 1834 788 659 1 - 0.0000 -
1834.52/1840.44 c 1840 798 667 1 - 0.0000 -
1839.89/1845.88 c 1846 813 674 1 - 0.0000 -
1844.97/1850.95 c 1851 821 682 1 - 0.0000 -
1852.55/1858.51 c 1859 828 687 1 - 0.0000 -
1857.83/1863.84 c 1864 836 695 1 - 0.0000 -
1863.41/1869.47 c 1869 842 701 1 - 0.0000 -
1869.88/1875.99 c 1876 854 713 1 - 0.0000 -
1890.81/1896.90 c 1897 856 715 1 - 0.0000 -
1897.69/1903.85 c 1904 871 722 1 - 0.0000 -
1903.17/1909.34 c 1909 880 731 1 - 0.0000 -
1908.95/1915.19 c 1915 885 736 1 - 0.0000 -
1916.11/1922.30 c 1922 896 745 1 - 0.0000 -
1923.49/1929.78 c 1930 903 750 1 - 0.0000 -
1929.07/1935.31 c 1935 914 759 1 - 0.0000 -
1937.34/1943.62 c 1944 932 769 1 - 0.0000 -
1944.31/1950.61 c 1951 941 778 1 - 0.0000 -
1956.57/1962.96 c 1963 949 784 1 - 0.0000 -
1962.66/1969.04 c 1969 955 790 1 - 0.0000 -
1972.21/1978.64 c 1979 967 796 1 - 0.0000 -
1978.60/1985.10 c 1985 983 810 1 - 0.0000 -
1984.58/1991.01 c 1991 993 820 1 - 0.0000 -
1996.73/2003.27 c 2003 1000 823 1 - 0.0000 -
2005.01/2011.53 c 2012 1013 832 1 - 0.0000 -
2011.89/2018.44 c 2018 1023 838 1 - 0.0000 -
2025.56/2032.15 c 2032 1034 847 1 - 0.0000 -
2030.73/2037.33 c 2037 1042 855 1 - 0.0000 -
2037.21/2043.89 c 2044 1049 862 1 - 0.0000 -
2045.18/2051.81 c 2052 1053 0 1 - 0.0000 -
2381.45/2388.87 c 2389 1054 1 1 - 0.0000 -
2387.43/2394.83 c 2395 1058 5 1 - 0.0000 -
2395.09/2402.58 c 2403 1063 10 1 - 0.0000 -
2403.97/2411.49 c 2411 1072 19 1 - 0.0000 -
2413.74/2421.28 c 2421 1081 28 1 - 0.0000 -
2425.52/2433.07 c 2433 1084 31 1 - 0.0000 -
2435.77/2443.32 c 2443 1090 37 1 - 0.0000 -
2444.56/2452.15 c 2452 1092 39 1 - 0.0000 -
2450.54/2458.17 c 2458 1100 47 1 - 0.0000 -
2459.51/2467.14 c 2467 1105 52 1 - 0.0000 -
2464.59/2472.28 c 2472 1111 58 1 - 0.0000 -
2478.35/2486.04 c 2486 1118 65 1 - 0.0000 -
2485.43/2493.19 c 2493 1122 69 1 - 0.0000 -
2491.90/2499.67 c 2500 1142 83 1 - 0.0000 -
2498.97/2506.73 c 2507 1144 85 1 - 0.0000 -
2509.64/2517.40 c 2517 1151 92 1 - 0.0000 -
2520.02/2527.84 c 2528 1164 101 1 - 0.0000 -
2525.60/2533.49 c 2533 1168 105 1 - 0.0000 -
2531.29/2539.18 c 2539 1176 111 1 - 0.0000 -
2542.44/2550.36 c 2550 1190 121 1 - 0.0000 -
2548.62/2556.55 c 2557 1197 128 1 - 0.0000 -
2554.70/2562.62 c 2563 1216 141 1 - 0.0000 -
2560.48/2568.43 c 2568 1228 151 1 - 0.0000 -
2565.76/2573.76 c 2574 1237 158 1 - 0.0000 -
2571.75/2579.76 c 2580 1255 166 1 - 0.0000 -
2577.04/2585.09 c 2585 1263 172 1 - 0.0000 -
2582.71/2590.75 c 2591 1273 176 1 - 0.0000 -
2594.18/2602.30 c 2602 1285 184 1 - 0.0000 -
2600.25/2608.34 c 2608 1290 189 1 - 0.0000 -
2606.63/2614.74 c 2615 1309 202 1 - 0.0000 -
2611.61/2619.77 c 2620 1316 209 1 - 0.0000 -
2619.29/2627.44 c 2627 1327 220 1 - 0.0000 -
2630.86/2639.03 c 2639 1335 228 1 - 0.0000 -
2636.03/2644.29 c 2644 1345 238 1 - 0.0000 -
2641.62/2649.82 c 2650 1355 246 1 - 0.0000 -
2646.81/2655.07 c 2655 1363 254 1 - 0.0000 -
2652.48/2660.78 c 2661 1378 261 1 - 0.0000 -
2658.87/2667.18 c 2667 1386 269 1 - 0.0000 -
2664.44/2672.77 c 2673 1397 276 1 - 0.0000 -
2679.39/2687.71 c 2688 1426 293 1 - 0.0000 -
2685.17/2693.55 c 2694 1437 300 1 - 0.0000 -
2697.33/2705.71 c 2706 1443 306 1 - 0.0000 -
2703.22/2711.65 c 2712 1455 318 1 - 0.0000 -
2708.30/2716.78 c 2717 1467 326 1 - 0.0000 -
2713.98/2722.40 c 2722 1482 335 1 - 0.0000 -
2719.96/2728.48 c 2728 1491 342 1 - 0.0000 -
2731.72/2740.28 c 2740 1494 343 1 - 0.0000 -
2737.30/2745.86 c 2746 1504 353 1 - 0.0000 -
2752.66/2761.21 c 2761 1510 357 1 - 0.0000 -
2757.75/2766.39 c 2766 1526 367 1 - 0.0000 -
2763.43/2772.09 c 2772 1540 377 1 - 0.0000 -
2768.61/2777.28 c 2777 1551 386 1 - 0.0000 -
2774.29/2782.94 c 2783 1560 393 1 - 0.0000 -
2779.97/2788.68 c 2789 1570 399 1 - 0.0000 -
2786.84/2795.58 c 2796 1575 402 1 - 0.0000 -
2809.48/2818.21 c 2818 1584 407 1 - 0.0000 -
2816.57/2825.38 c 2825 1590 413 1 - 0.0000 -
2825.43/2834.26 c 2834 1600 423 1 - 0.0000 -
2832.33/2841.16 c 2841 1619 431 1 - 0.0000 -
2839.48/2848.35 c 2848 1632 439 1 - 0.0000 -
2845.97/2854.81 c 2855 1643 446 1 - 0.0000 -
2851.65/2860.53 c 2861 1654 457 1 - 0.0000 -
2856.74/2865.65 c 2866 1660 461 1 - 0.0000 -
2862.81/2871.74 c 2872 1676 475 1 - 0.0000 -
2869.29/2878.26 c 2878 1679 478 1 - 0.0000 -
2875.19/2884.13 c 2884 1703 492 1 - 0.0000 -
2886.05/2895.11 c 2895 1716 501 1 - 0.0000 -
2892.51/2901.57 c 2902 1724 509 1 - 0.0000 -
2897.80/2906.88 c 2907 1740 517 1 - 0.0000 -
2905.68/2914.70 c 2915 1753 526 1 - 0.0000 -
2912.85/2921.95 c 2922 1759 530 1 - 0.0000 -
2919.13/2928.26 c 2928 1777 542 1 - 0.0000 -
2924.42/2933.53 c 2934 1786 551 1 - 0.0000 -
2931.59/2940.71 c 2941 1797 554 1 - 0.0000 -
2938.07/2947.22 c 2947 1804 561 1 - 0.0000 -
2943.96/2953.18 c 2953 1824 569 1 - 0.0000 -
2949.23/2958.45 c 2958 1839 579 1 - 0.0000 -
2955.21/2964.43 c 2964 1850 586 1 - 0.0000 -
2960.80/2970.09 c 2970 1859 589 1 - 0.0000 -
2966.78/2976.05 c 2976 1869 592 1 - 0.0000 -
2972.86/2982.14 c 2982 1881 602 1 - 0.0000 -
2978.64/2987.99 c 2988 1899 610 1 - 0.0000 -
2984.52/2993.86 c 2994 1911 615 1 - 0.0000 -
2990.40/2999.73 c 3000 1919 623 1 - 0.0000 -
2995.57/3004.93 c 3005 1933 630 1 - 0.0000 -
3000.56/3009.94 c 3010 1946 639 1 - 0.0000 -
3006.53/3015.96 c 3016 1951 644 1 - 0.0000 -
3012.12/3021.56 c 3022 1976 653 1 - 0.0000 -
3018.20/3027.61 c 3028 1993 658 1 - 0.0000 -
3023.38/3032.89 c 3033 2002 665 1 - 0.0000 -
3030.06/3039.57 c 3040 2013 669 1 - 0.0000 -
3035.74/3045.26 c 3045 2023 674 1 - 0.0000 -
3041.12/3050.68 c 3051 2027 675 1 - 0.0000 -
3046.71/3056.26 c 3056 2041 687 1 - 0.0000 -
3055.38/3064.92 c 3065 2054 694 1 - 0.0000 -
3060.86/3070.49 c 3070 2083 705 1 - 0.0000 -
3066.74/3076.30 c 3076 2109 711 1 - 0.0000 -
3072.72/3082.36 c 3082 2129 723 1 - 0.0000 -
3078.90/3088.57 c 3089 2138 728 1 - 0.0000 -
3084.28/3093.99 c 3094 2166 738 1 - 0.0000 -
3090.26/3099.96 c 3100 2177 747 1 - 0.0000 -
3096.44/3106.17 c 3106 2189 755 1 - 0.0000 -
3101.92/3111.62 c 3112 2197 763 1 - 0.0000 -
3113.78/3123.58 c 3124 2213 773 1 - 0.0000 -
3119.66/3129.44 c 3129 2223 783 1 - 0.0000 -
3127.13/3136.97 c 3137 2240 794 1 - 0.0000 -
3132.92/3142.71 c 3143 2256 805 1 - 0.0000 -
3138.69/3148.54 c 3149 2273 813 1 - 0.0000 -
3144.08/3153.92 c 3154 2280 820 1 - 0.0000 -
3150.66/3160.58 c 3161 2299 829 1 - 0.0000 -
3157.73/3167.64 c 3168 2325 841 1 - 0.0000 -
3162.81/3172.71 c 3173 2340 847 1 - 0.0000 -
3168.89/3178.87 c 3179 2364 856 1 - 0.0000 -
3173.98/3183.94 c 3184 2383 861 1 - 0.0000 -
3179.56/3189.59 c 3190 2398 870 1 - 0.0000 -
3185.15/3195.18 c 3195 2417 873 1 - 0.0000 -
3190.52/3200.53 c 3201 2435 881 1 - 0.0000 -
3195.90/3205.92 c 3206 2449 887 1 - 0.0000 -
3202.09/3212.11 c 3212 2473 894 1 - 0.0000 -
3207.37/3217.43 c 3217 2483 902 1 - 0.0000 -
3212.54/3222.65 c 3223 2495 908 1 - 0.0000 -
3218.83/3228.98 c 3229 2510 916 1 - 0.0000 -
3225.02/3235.18 c 3235 2532 924 1 - 0.0000 -
3230.78/3240.97 c 3241 2537 929 1 - 0.0000 -
3235.88/3246.03 c 3246 2544 936 1 - 0.0000 -
3241.65/3251.85 c 3252 2567 942 1 - 0.0000 -
3248.23/3258.49 c 3258 2582 953 1 - 0.0000 -
3253.72/3263.93 c 3264 2592 959 1 - 0.0000 -
3259.09/3269.34 c 3269 2605 966 1 - 0.0000 -
3265.18/3275.47 c 3275 2623 972 1 - 0.0000 -
3270.96/3281.20 c 3281 2641 980 1 - 0.0000 -
3286.21/3296.55 c 3297 2645 984 1 - 0.0000 -
3291.49/3301.81 c 3302 2663 996 1 - 0.0000 -
3297.68/3308.08 c 3308 2677 1002 1 - 0.0000 -
3309.03/3319.40 c 3319 2696 1010 1 - 0.0000 -
3318.00/3328.46 c 3328 2705 1019 1 - 0.0000 -
3324.58/3335.04 c 3335 2722 1028 1 - 0.0000 -
3329.67/3340.14 c 3340 2730 1036 1 - 0.0000 -
3348.41/3358.90 c 3359 2748 1046 1 - 0.0000 -
3354.18/3364.77 c 3365 2765 1055 1 - 0.0000 -
3359.26/3369.80 c 3370 2771 1059 1 - 0.0000 -
3368.64/3379.22 c 3379 2779 1061 1 - 0.0000 -
3374.02/3384.64 c 3385 2793 1067 1 - 0.0000 -
3387.98/3398.65 c 3399 2805 1077 1 - 0.0000 -
3393.27/3403.97 c 3404 2807 1079 1 - 0.0000 -
3399.25/3409.92 c 3410 2826 1091 1 - 0.0000 -
3404.83/3415.56 c 3416 2831 1096 1 - 0.0000 -
3411.31/3422.05 c 3422 2851 1107 1 - 0.0000 -
3421.17/3431.91 c 3432 2862 1116 1 - 0.0000 -
3428.45/3439.23 c 3439 2874 1124 1 - 0.0000 -
3435.72/3446.52 c 3447 2888 1134 1 - 0.0000 -
3441.70/3452.50 c 3452 2906 1138 1 - 0.0000 -
3448.39/3459.20 c 3459 2907 1139 1 - 0.0000 -
3453.37/3464.29 c 3464 2908 1140 1 - 0.0000 -
3459.05/3469.93 c 3470 2919 1149 1 - 0.0000 -
3465.04/3475.91 c 3476 2927 1149 1 - 0.0000 -
3470.31/3481.23 c 3481 2943 1158 1 - 0.0000 -
3477.89/3488.86 c 3489 2955 1166 1 - 0.0000 -
3485.97/3496.93 c 3497 2961 1170 1 - 0.0000 -
3491.16/3502.17 c 3502 2969 1178 1 - 0.0000 -
3496.83/3507.83 c 3508 2981 1184 1 - 0.0000 -
3502.03/3513.04 c 3513 2997 1192 1 - 0.0000 -
3507.70/3518.79 c 3519 3012 1197 1 - 0.0000 -
3513.57/3524.63 c 3525 3034 1207 1 - 0.0000 -
3523.25/3534.34 c 3534 3042 1207 1 - 0.0000 -
3529.53/3540.69 c 3541 3051 1216 1 - 0.0000 -
3536.02/3547.16 c 3547 3064 1225 1 - 0.0000 -
3542.00/3553.18 c 3553 3078 1231 1 - 0.0000 -
3553.86/3565.05 c 3565 3100 1237 1 - 0.0000 -
3560.94/3572.17 c 3572 3114 1245 1 - 0.0000 -
3575.98/3587.29 c 3587 3127 1252 1 - 0.0000 -
3582.35/3593.63 c 3594 3133 1258 1 - 0.0000 -
3587.43/3598.79 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.43/3598.79 c Total Time : 3598.7800
3587.43/3598.79 c solving : 3598.7800
3587.43/3598.79 c presolving : 52.9048 (included in solving)
3587.43/3598.79 c B&B Tree :
3587.43/3598.79 c nodes (total) : 1
3587.43/3598.79 c Solution :
3587.43/3598.79 c Solutions found : 0
3587.43/3598.79 c Primal Bound : -
3587.43/3598.79 c Dual Bound : +0.00000000000000e+00
3587.43/3598.79 c Gap : -
3587.94/3599.24 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63089 MiB free)
memory of node 1: 64510 MiB (63712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465002-1722389970/watcher-4465002-1722389970 -o /tmp/evaluation-result-4465002-1722389970/solver-4465002-1722389970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722389970-34912 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465002-1722389970.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34940, runsolver pid=34937
[startup+0.100301 s]*
/proc/loadavg: 1.14 1.98 3.05 5/224 34941
/proc/meminfo: memFree=129803556/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=44068 memory=32504 CPUtime=0.09 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 6050 0 0 0 8 1 0 0 20 0 1 0 5367742 45125632 8126 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 11017 8126 2347 3035 0 7413 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44068 KiB
Current children cumulated memory: 32504 KiB
[startup+0.212997 s]*
/proc/loadavg: 1.14 1.98 3.05 5/230 34951
/proc/meminfo: memFree=129762152/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=62668 memory=51228 CPUtime=0.21 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 10695 0 0 0 18 3 0 0 20 0 1 0 5367742 64172032 12807 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 15667 12807 2347 3035 0 12063 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62668 KiB
Current children cumulated memory: 51228 KiB
[startup+0.312965 s]*
/proc/loadavg: 1.14 1.98 3.05 6/228 34951
/proc/meminfo: memFree=129716348/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=81600 memory=70092 CPUtime=0.31 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 15456 0 0 0 26 5 0 0 20 0 1 0 5367742 83558400 17523 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 20400 17523 2347 3035 0 16796 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81600 KiB
Current children cumulated memory: 70092 KiB
[startup+0.70039 s]
/proc/loadavg: 1.14 1.98 3.05 5/226 34952
/proc/meminfo: memFree=129620460/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=198368 memory=187140 CPUtime=0.68 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 45402 0 0 0 56 12 0 0 20 0 1 0 5367742 203128832 46785 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 49592 46785 2555 3035 0 45988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 198368 KiB
Current children cumulated memory: 187140 KiB
[startup+1.50036 s]
/proc/loadavg: 1.14 1.98 3.05 5/238 34973
/proc/meminfo: memFree=129171300/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=468680 memory=454068 CPUtime=1.48 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 112116 0 0 0 121 27 0 0 20 0 1 0 5367742 479928320 113517 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 117170 113517 2598 3035 0 113566 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 468680 KiB
Current children cumulated memory: 454068 KiB
[startup+3.11252 s]
/proc/loadavg: 1.14 1.98 3.05 5/238 34975
/proc/meminfo: memFree=126649228/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=601220 memory=581316 CPUtime=3.09 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 143990 0 0 0 274 35 0 0 20 0 1 0 5367742 615649280 145329 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 150305 145329 2662 3035 0 146701 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 601220 KiB
Current children cumulated memory: 581316 KiB
[startup+6.30033 s]
/proc/loadavg: 1.45 2.03 3.06 5/238 34975
/proc/meminfo: memFree=122979168/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=601812 memory=581580 CPUtime=6.27 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 144121 0 0 0 590 37 0 0 20 0 1 0 5367742 616255488 145395 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 150453 145395 2662 3035 0 146849 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 601812 KiB
Current children cumulated memory: 581580 KiB
[startup+12.7003 s]
/proc/loadavg: 1.65 2.06 3.06 5/238 34976
/proc/meminfo: memFree=116026528/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=603548 memory=583604 CPUtime=12.64 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 144575 0 0 0 1224 40 0 0 20 0 1 0 5367742 618033152 145901 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 150887 145901 2662 3035 0 147283 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 603548 KiB
Current children cumulated memory: 583604 KiB
[startup+25.5004 s]
/proc/loadavg: 2.25 2.18 3.09 5/238 34978
/proc/meminfo: memFree=104543740/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=603548 memory=584008 CPUtime=25.39 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 144607 0 0 0 2498 41 0 0 20 0 1 0 5367742 618033152 146002 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 150887 146002 2662 3035 0 147283 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 603548 KiB
Current children cumulated memory: 584008 KiB
[startup+51.1129 s]
/proc/loadavg: 2.93 2.34 3.12 5/241 34986
/proc/meminfo: memFree=99491612/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=603548 memory=584260 CPUtime=50.89 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 144679 0 0 0 5047 42 0 0 20 0 1 0 5367742 618033152 146065 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 150887 146065 2662 3035 0 147283 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 603548 KiB
Current children cumulated memory: 584260 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.64 3.18 5/246 35054
/proc/meminfo: memFree=98396216/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=1933260 memory=1786296 CPUtime=101.9 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 765825 0 0 0 10075 115 0 0 20 0 3 0 5367742 1979658240 446574 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 483315 446574 2774 3035 0 474433 0
[pid=34940/tid=34989] ppid=34937 vsize=1933260 memory=1785716 CPUtime=47.65 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 528869 0 0 0 4707 58 0 0 20 0 3 0 5373129 1979658240 446574 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=1933260 memory=11648 CPUtime=0 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5373262 1979658240 446574 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1933260 KiB
Current children cumulated memory: 1786296 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.91 3.24 5/245 35111
/proc/meminfo: memFree=97039336/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=1998796 memory=1820960 CPUtime=161.63 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 903992 0 0 0 16035 128 0 0 20 0 3 0 5367742 2046767104 455240 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 499699 455240 2774 3035 0 483320 0
[pid=34940/tid=34989] ppid=34937 vsize=1998796 memory=1787324 CPUtime=107.38 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 667020 0 0 0 10667 71 0 0 20 0 3 0 5373129 2046767104 455240 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=1998796 memory=17156 CPUtime=0 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5373262 2046767104 455240 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 1998796 KiB
Current children cumulated memory: 1820960 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 3.17 3.31 5/245 35122
/proc/meminfo: memFree=88042788/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=1998796 memory=1822560 CPUtime=221.33 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 940887 0 0 0 22000 133 0 0 20 0 3 0 5367742 2046767104 455640 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 499699 455640 2774 3035 0 483720 0
[pid=34940/tid=34989] ppid=34937 vsize=1998796 memory=1820960 CPUtime=167.07 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 703908 0 0 0 16632 75 0 0 20 0 3 0 5373129 2046767104 455640 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=1998796 memory=1822560 CPUtime=0 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 5373262 2046767104 455640 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1998796 KiB
Current children cumulated memory: 1822560 KiB
[startup+282.3 s]
/proc/loadavg: 4.24 3.37 3.37 5/247 35280
/proc/meminfo: memFree=108696852/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=1998796 memory=1827964 CPUtime=281.15 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 982105 0 0 0 27978 137 0 0 20 0 3 0 5367742 2046767104 456991 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 499699 456991 2774 3035 0 484120 0
[pid=34940/tid=34989] ppid=34937 vsize=1998796 memory=11648 CPUtime=226.91 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 745120 0 0 0 22611 80 0 0 20 0 3 0 5373129 2046767104 456991 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=1998796 memory=1827484 CPUtime=0 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 5373262 2046767104 456991 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 1998796 KiB
Current children cumulated memory: 1827964 KiB
[startup+342.3 s]
/proc/loadavg: 3.80 3.42 3.39 4/242 35370
/proc/meminfo: memFree=124904096/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=1998796 memory=1833256 CPUtime=340.96 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 1012606 0 0 0 33954 142 0 0 20 0 3 0 5367742 2046767104 458314 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 499699 458314 2774 3035 0 484920 0
[pid=34940/tid=34989] ppid=34937 vsize=1998796 memory=1829728 CPUtime=286.71 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 775615 0 0 0 28586 85 0 0 20 0 3 0 5373129 2046767104 458314 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=1998796 memory=12940 CPUtime=0 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5373262 2046767104 458314 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 340.96 s
################
# More data... #
################
[pid=34940/tid=34990] ppid=34937 vsize=3874780 memory=3637860 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 264 0 0 0 2 4 0 0 20 0 3 0 5373262 3967774720 909468 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 3874780 KiB
Current children cumulated memory: 3637872 KiB
[startup+3462.3 s]
/proc/loadavg: 2.27 2.15 2.17 3/226 37145
/proc/meminfo: memFree=123167116/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=3966956 memory=3675508 CPUtime=3451.48 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4721002 0 0 0 344612 536 0 0 20 0 3 0 5367742 4062162944 918877 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 991739 918877 3318 3035 0 982448 0
[pid=34940/tid=34989] ppid=34937 vsize=3966956 memory=11648 CPUtime=3397.08 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4482632 0 0 0 339237 471 0 0 20 0 3 0 5373129 4062162944 918877 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=3966956 memory=3657956 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 266 0 0 0 2 4 0 0 20 0 3 0 5373262 4062162944 918877 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 3966956 KiB
Current children cumulated memory: 3675508 KiB
[startup+3522.3 s]
/proc/loadavg: 2.56 2.27 2.21 3/226 37156
/proc/meminfo: memFree=123160504/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=3975828 memory=3683596 CPUtime=3511.28 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4771633 0 0 0 350546 582 0 0 20 0 3 0 5367742 4071247872 920899 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 993957 920899 3318 3035 0 984898 0
[pid=34940/tid=34989] ppid=34937 vsize=3975828 memory=3680528 CPUtime=3456.89 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4533229 0 0 0 345171 518 0 0 20 0 3 0 5373129 4071247872 920899 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=3975828 memory=11768 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 268 0 0 0 2 4 0 0 20 0 3 0 5373262 4071247872 920899 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 3975828 KiB
Current children cumulated memory: 3683596 KiB
[startup+3582.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/226 37167
/proc/meminfo: memFree=123087420/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754360 CPUtime=3571.09 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4862736 0 0 0 356471 638 0 0 20 0 3 0 5367742 4206534656 938590 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938590 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=279248708256576 CPUtime=3516.69 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4624296 0 0 0 351096 573 0 0 20 0 3 0 5373129 4206534656 938590 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=3746680 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 271 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938590 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754360 KiB
[startup+3599.32 s]
# the end of solver process 34940 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.41 s, system=6.64318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.31 2.25 2.21 3/226 37167
/proc/meminfo: memFree=123087112/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754588 CPUtime=3572.8 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4866240 0 0 0 356640 640 0 0 20 0 3 0 5367742 4206534656 938647 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938647 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=21228 CPUtime=3518.4 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4627800 0 0 0 351265 575 0 0 20 0 3 0 5373129 4206534656 938647 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=8064 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 271 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938647 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3572.8 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754588 KiB
[startup+3590.4 s]
/proc/loadavg: 2.26 2.24 2.20 3/226 37167
/proc/meminfo: memFree=123086888/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754812 CPUtime=3579.16 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4869705 0 0 0 357269 647 0 0 20 0 3 0 5367742 4206534656 938703 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938703 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=3754600 CPUtime=3524.76 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4631285 0 0 0 351894 582 0 0 20 0 3 0 5373129 4206534656 938703 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=5468 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 271 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938703 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3579.16 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754812 KiB
[startup+3593.6 s]
/proc/loadavg: 2.26 2.24 2.20 3/226 37169
/proc/meminfo: memFree=123086804/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754852 CPUtime=3582.35 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4872084 0 0 0 357584 651 0 0 20 0 3 0 5367742 4206534656 938713 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938713 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=3754836 CPUtime=3527.95 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4633644 0 0 0 352209 586 0 0 20 0 3 0 5373129 4206534656 938713 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=2477896 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 271 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938713 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754852 KiB
[startup+3596.8 s]
/proc/loadavg: 2.24 2.24 2.20 3/226 37169
/proc/meminfo: memFree=123086768/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754868 CPUtime=3585.55 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4872470 0 0 0 357901 654 0 0 20 0 3 0 5367742 4206534656 938717 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938717 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=-7018978235842125693 CPUtime=3531.15 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4634028 0 0 0 352526 589 0 0 20 0 3 0 5373129 4206534656 938717 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=3746740 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 273 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938717 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754868 KiB
[startup+3598.4 s]
/proc/loadavg: 2.24 2.24 2.20 3/226 37169
/proc/meminfo: memFree=123084700/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=4107944 memory=3754892 CPUtime=3587.14 cores=1,3
/proc/34940/stat : 34940 (fscip) S 34937 34940 34900 0 -1 1077936128 4894701 0 0 0 358058 656 0 0 20 0 3 0 5367742 4206534656 938723 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 1026986 938723 3318 3035 0 1017920 0
[pid=34940/tid=34989] ppid=34937 vsize=4107944 memory=12940 CPUtime=3532.74 cores=1,3
/proc/34940/task/34989/stat : 34989 (fscip) R 34937 34940 34900 0 -1 4194368 4656256 0 0 0 352683 591 0 0 20 0 3 0 5373129 4206534656 938723 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
[pid=34940/tid=34990] ppid=34937 vsize=4107944 memory=11768 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 273 0 0 0 2 4 0 0 20 0 3 0 5373262 4206534656 938723 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 4107944 KiB
Current children cumulated memory: 3754892 KiB
[startup+3598.81 s]
/proc/loadavg: 2.24 2.24 2.20 3/226 37169
/proc/meminfo: memFree=123084700/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=3781584 memory=3637860 CPUtime=3587.55 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 4900189 0 0 0 358098 657 0 0 20 0 2 0 5367742 3872342016 909465 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 945396 909465 3318 3035 0 936338 0
[pid=34940/tid=34990] ppid=34937 vsize=3781584 memory=1768 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 273 0 0 0 2 4 0 0 20 0 2 0 5373262 3872342016 909465 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 3781584 KiB
Current children cumulated memory: 3637860 KiB
[startup+3599.2 s]
/proc/loadavg: 2.24 2.24 2.20 3/225 37169
/proc/meminfo: memFree=123203892/131655788 swapFree=131071472/131071996
[pid=34940] ppid=34937 vsize=3771280 memory=3628008 CPUtime=3587.94 cores=1,3
/proc/34940/stat : 34940 (fscip) R 34937 34940 34900 0 -1 4194304 4906443 0 0 0 358137 657 0 0 20 0 2 0 5367742 3861790720 907002 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
/proc/34940/statm: 942820 907002 3318 3035 0 933762 0
[pid=34940/tid=34990] ppid=34937 vsize=3771280 memory=12940 CPUtime=0.06 cores=1,3
/proc/34940/task/34990/stat : 34990 (fscip) S 34937 34940 34900 0 -1 1077936192 273 0 0 0 2 4 0 0 20 0 2 0 5373262 3861790720 907002 134679101440 4194304 16623229 140724726043552 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24858624 140724726051864 140724726051980 140724726051980 140724726058992 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 3771280 KiB
Current children cumulated memory: 3628008 KiB
[startup+3599.3 s]*
/proc/loadavg: 2.22 2.23 2.20 3/225 37169
/proc/meminfo: memFree=125500592/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3599.32
CPU time (s): 3588.06
CPU user time (s): 3581.41
CPU system time (s): 6.64318
CPU usage (%): 99.6872
Max. virtual memory (cumulated for all children) (KiB): 4173480
Max. memory (cumulated for all children) (KiB): 3754892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.41
system time used= 6.64318
maximum resident set size= 3756940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4911497
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= 5622
involuntary context switches= 1617
# summary of solver processes directly reported to runsolver:
# pid: 34940
# total CPU time (s): 3588.06
# total CPU user time (s): 3581.41
# total CPU system time (s): 6.64318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5208 second user time and 32.2242 second system time
The end
Begin job on nodeC008 at 2024-07-31 03:39:30
IDJOB=4465002
IDBENCH=143873
IDSOLVER=3093
FILE ID=nodeC008/4465002-1722389970
RUNJOBID= nodeC008-1722389970-34912
SLURM_JOB_ID= 8249870
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-22reduc_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465002-1722389970/watcher-4465002-1722389970 -o /tmp/evaluation-result-4465002-1722389970/solver-4465002-1722389970 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722389970-34912 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465002-1722389970.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 145fe6fe39a80fcaff25336bfbc8c080
RANDOM SEED=1348659388
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1378.173
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.426
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.416
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.399
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129882140 kB
MemAvailable: 130107684 kB
Buffers: 100108 kB
Cached: 965528 kB
SwapCached: 72 kB
Active: 263684 kB
Inactive: 1088344 kB
Active(anon): 1392 kB
Inactive(anon): 306428 kB
Active(file): 262292 kB
Inactive(file): 781916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 76568 kB
Writeback: 0 kB
AnonPages: 286744 kB
Mapped: 88048 kB
Shmem: 21104 kB
KReclaimable: 42732 kB
Slab: 118440 kB
SReclaimable: 42732 kB
SUnreclaim: 75708 kB
KernelStack: 3472 kB
PageTables: 9440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 676384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC008 at 2024-07-31 04:39:30