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.59/0.64 c Default LC presolving (default).
0.59/0.64 c ** Before presolving: virtualMemUsedAtLc = 620204125, getVmSize() = 474861568, SCIPgetMemUsed() = 439283008, SCIPgetMemTotal() = 447078712, SCIPgetMemExternEstim() = 173125413
0.59/0.64 c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
237.35/238.26 c ** Estimated virtualMemUsedAtSolver = 1114376514, getVmSize() = 1565749248, SCIPgetMemUsed() = 1137214782, SCIPgetMemTotal() = 1498439358, SCIPgetMemExternEstim() = 173125413
237.35/238.26 c ** set memory limit for solvers to 4.39801e+12 for each SCIP **
237.35/238.26 c Original Problem :
237.35/238.26 c Problem name : instance-4464282-1722385797
237.35/238.26 c Variables : 180608 (180608 binary, 0 integer, 0 implicit integer, 0 continuous)
237.35/238.26 c Constraints : 3078
237.35/238.26 c Objective sense : minimize
237.35/238.26 c Presolved Problem :
237.35/238.26 c Variables : 179969 (179969 binary, 0 integer, 0 implicit integer, 0 continuous)
237.35/238.26 c Constraints : 1667
237.35/238.26 c Constraints : Number
237.35/238.26 c knapsack : 256
237.35/238.26 c setppc : 1411
237.35/238.26 c ** Instance transfer method used: 0
237.66/238.56 c ** ParaScipInstance copy does not increase the number of variables. **
237.95/238.82 c LC is working with racing ramp-up and with rebuilding tree after racing.
237.95/238.82 c Nodes Active
237.95/238.82 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
810.82/814.46 c 814 2 1 1 - 127.0000 -
820.98/824.69 c 825 4 3 1 - 127.0000 -
827.37/831.04 c 831 6 5 1 - 127.0000 -
833.94/837.64 c 838 7 6 1 - 127.0000 -
839.03/842.71 c 843 8 7 1 - 127.0000 -
846.91/850.60 c 851 9 8 1 - 127.0000 -
871.24/875.00 c 875 12 11 1 - 127.0000 -
881.51/885.36 c 885 15 14 1 - 127.0000 -
888.19/892.03 c 892 17 16 1 - 127.0000 -
898.85/902.76 c 903 21 22 1 - 127.0000 -
925.16/929.15 c 929 22 21 1 - 127.0000 -
933.53/937.55 c 938 26 25 1 - 127.0000 -
939.81/943.88 c 944 28 27 1 - 127.0000 -
946.00/950.10 c 950 30 29 1 - 127.0000 -
955.17/959.24 c 959 32 31 1 - 127.0000 -
965.64/969.77 c 970 35 34 1 - 127.0000 -
972.21/976.34 c 976 37 36 1 - 127.0000 -
977.40/981.54 c 982 39 38 1 - 127.0000 -
991.05/995.23 c 995 42 41 1 - 127.0000 -
1005.12/1009.33 c 1009 44 43 1 - 127.0000 -
1011.70/1015.97 c 1016 48 47 1 - 127.0000 -
1020.57/1024.82 c 1025 52 51 1 - 127.0000 -
1027.05/1031.31 c 1031 57 56 1 - 127.0000 -
1036.73/1041.06 c 1041 62 61 1 - 127.0000 -
1042.60/1046.97 c 1047 65 64 1 - 127.0000 -
1048.39/1052.75 c 1053 69 68 1 - 127.0000 -
1053.87/1058.29 c 1058 72 71 1 - 127.0000 -
1069.63/1074.08 c 1074 79 78 1 - 127.0000 -
1081.78/1086.22 c 1086 83 82 1 - 127.0000 -
1087.68/1092.14 c 1092 87 86 1 - 127.0000 -
1095.84/1100.32 c 1100 93 92 1 - 127.0000 -
1102.63/1107.10 c 1107 101 100 1 - 127.0000 -
1107.91/1112.42 c 1112 103 102 1 - 127.0000 -
1113.69/1118.28 c 1118 108 107 1 - 127.0000 -
1119.78/1124.38 c 1124 111 110 1 - 127.0000 -
1124.86/1129.45 c 1129 113 112 1 - 127.0000 -
1131.44/1136.03 c 1136 117 116 1 - 127.0000 -
1157.66/1162.39 c 1162 119 118 1 - 127.0000 -
1175.51/1180.22 c 1180 120 119 1 - 127.0000 -
1182.48/1187.24 c 1187 122 121 1 - 127.0000 -
1187.57/1192.39 c 1192 126 125 1 - 127.0000 -
1199.24/1204.00 c 1204 130 129 1 - 127.0000 -
1206.61/1211.46 c 1211 132 131 1 - 127.0000 -
1212.89/1217.78 c 1218 140 139 1 - 127.0000 -
1218.87/1223.73 c 1224 150 149 1 - 127.0000 -
1224.66/1229.54 c 1230 156 155 1 - 127.0000 -
1230.24/1235.16 c 1235 160 159 1 - 127.0000 -
1272.10/1277.11 c 1277 162 161 1 - 127.0000 -
1277.68/1282.76 c 1283 167 166 1 - 127.0000 -
1289.05/1294.15 c 1294 168 167 1 - 127.0000 -
1295.72/1300.82 c 1301 170 169 1 - 127.0000 -
1302.21/1307.34 c 1307 171 170 1 - 127.0000 -
1309.69/1314.86 c 1315 175 174 1 - 127.0000 -
1318.26/1323.44 c 1323 178 177 1 - 127.0000 -
1324.04/1329.24 c 1329 183 182 1 - 127.0000 -
1335.71/1340.99 c 1341 187 184 1 - 127.0000 -
1341.99/1347.22 c 1347 193 190 1 - 127.0000 -
1347.27/1352.55 c 1353 196 193 1 - 127.0000 -
1353.06/1358.38 c 1358 198 195 1 - 127.0000 -
1358.74/1364.04 c 1364 201 198 1 - 127.0000 -
1429.41/1434.97 c 1435 206 203 1 - 127.0000 -
1450.05/1455.66 c 1456 208 205 1 - 127.0000 -
1456.23/1461.87 c 1462 210 207 1 - 127.0000 -
1463.31/1468.92 c 1469 214 211 1 - 127.0000 -
1468.69/1474.38 c 1474 217 214 1 - 127.0000 -
1475.08/1480.75 c 1481 218 215 1 - 127.0000 -
1481.26/1486.92 c 1487 220 217 1 - 127.0000 -
1489.44/1495.11 c 1495 227 224 1 - 127.0000 -
1495.72/1501.42 c 1501 228 225 1 - 127.0000 -
1501.70/1507.46 c 1507 231 228 1 - 127.0000 -
1506.68/1512.49 c 1512 236 233 1 - 127.0000 -
1512.86/1518.63 c 1519 242 239 1 - 127.0000 -
1518.94/1524.70 c 1525 247 244 1 - 127.0000 -
1566.68/1572.67 c 1573 249 246 1 - 127.0000 -
1584.62/1590.65 c 1591 252 249 1 - 127.0000 -
1591.80/1597.81 c 1598 255 252 1 - 127.0000 -
1599.88/1605.91 c 1606 258 255 1 - 127.0000 -
1610.55/1616.63 c 1617 261 258 1 - 127.0000 -
1617.43/1623.54 c 1624 262 259 1 - 127.0000 -
1624.40/1630.52 c 1631 266 263 1 - 127.0000 -
1630.19/1636.38 c 1636 271 268 1 - 127.0000 -
1636.27/1642.42 c 1642 272 269 1 - 127.0000 -
1642.15/1648.32 c 1648 277 274 1 - 127.0000 -
1648.63/1654.82 c 1655 281 278 1 - 127.0000 -
1655.71/1661.96 c 1662 286 283 1 - 127.0000 -
1678.32/1684.65 c 1685 292 289 1 - 127.0000 -
1699.95/1706.39 c 1706 297 294 1 - 127.0000 -
1710.02/1716.46 c 1716 300 297 1 - 127.0000 -
1717.51/1723.90 c 1724 304 301 1 - 127.0000 -
1724.59/1731.02 c 1731 306 303 1 - 127.0000 -
1733.75/1740.28 c 1740 307 304 1 - 127.0000 -
1739.14/1745.61 c 1746 311 308 1 - 127.0000 -
1744.32/1750.84 c 1751 314 311 1 - 127.0000 -
1750.00/1756.57 c 1757 317 314 1 - 127.0000 -
1758.49/1765.10 c 1765 324 321 1 - 127.0000 -
1766.95/1773.55 c 1774 329 326 1 - 127.0000 -
1772.33/1778.99 c 1779 332 329 1 - 127.0000 -
1823.66/1830.46 c 1830 335 332 1 - 127.0000 -
1830.35/1837.16 c 1837 342 339 1 - 127.0000 -
1836.72/1843.53 c 1844 352 349 1 - 127.0000 -
1843.10/1849.99 c 1850 360 355 1 - 127.0000 -
1848.79/1855.66 c 1856 366 361 1 - 127.0000 -
1856.17/1863.02 c 1863 373 368 1 - 127.0000 -
1862.25/1869.19 c 1869 383 378 1 - 127.0000 -
1867.62/1874.56 c 1875 391 386 1 - 127.0000 -
1874.11/1881.09 c 1881 401 396 1 - 127.0000 -
1880.58/1887.52 c 1888 409 404 1 - 127.0000 -
1902.91/1909.98 c 1910 412 407 1 - 127.0000 -
1910.78/1917.80 c 1918 420 415 1 - 127.0000 -
1916.76/1923.81 c 1924 430 425 1 - 127.0000 -
1923.25/1930.31 c 1930 435 430 1 - 127.0000 -
1929.73/1936.89 c 1937 442 437 1 - 127.0000 -
1935.31/1942.43 c 1942 446 441 1 - 127.0000 -
1940.39/1947.52 c 1948 452 447 1 - 127.0000 -
1946.27/1953.49 c 1954 459 456 1 - 127.0000 -
1960.93/1968.16 c 1968 460 455 1 - 127.0000 -
1966.10/1973.39 c 1973 471 466 1 - 127.0000 -
1971.89/1979.13 c 1979 480 475 1 - 127.0000 -
1977.07/1984.39 c 1984 484 479 1 - 127.0000 -
2007.26/2014.60 c 2015 488 483 1 - 127.0000 -
2012.76/2020.13 c 2020 496 491 1 - 127.0000 -
2019.53/2026.96 c 2027 506 501 1 - 127.0000 -
2025.61/2033.08 c 2033 517 512 1 - 127.0000 -
2030.99/2038.49 c 2038 523 518 1 - 127.0000 -
2037.07/2044.50 c 2045 528 523 1 - 127.0000 -
2043.45/2050.95 c 2051 537 532 1 - 127.0000 -
2048.73/2056.25 c 2056 547 542 1 - 127.0000 -
2053.72/2061.28 c 2061 552 547 1 - 127.0000 -
2060.39/2067.94 c 2068 558 553 1 - 127.0000 -
2095.49/2103.11 c 2103 566 561 1 - 127.0000 -
2100.96/2108.64 c 2109 569 564 1 - 127.0000 -
2106.14/2113.89 c 2114 578 573 1 - 127.0000 -
2111.22/2118.90 c 2119 582 577 1 - 127.0000 -
2116.80/2124.55 c 2125 588 583 1 - 127.0000 -
2124.49/2132.23 c 2132 596 591 1 - 127.0000 -
2129.97/2137.73 c 2138 598 593 1 - 127.0000 -
2136.16/2143.97 c 2144 604 599 1 - 127.0000 -
2142.04/2149.84 c 2150 615 610 1 - 127.0000 -
2148.11/2155.95 c 2156 621 614 1 - 127.0000 -
2155.69/2163.59 c 2164 631 624 1 - 127.0000 -
2161.76/2169.61 c 2170 641 634 1 - 127.0000 -
2187.38/2195.30 c 2195 645 638 1 - 127.0000 -
2194.46/2202.49 c 2202 654 647 1 - 127.0000 -
2201.54/2209.56 c 2210 662 655 1 - 127.0000 -
2207.12/2215.13 c 2215 669 662 1 - 127.0000 -
2212.60/2220.67 c 2221 680 673 1 - 127.0000 -
2217.89/2225.98 c 2226 693 686 1 - 127.0000 -
2223.28/2231.32 c 2231 700 693 1 - 127.0000 -
2229.46/2237.50 c 2238 710 703 1 - 127.0000 -
2236.04/2244.15 c 2244 720 713 1 - 127.0000 -
2245.41/2253.59 c 2254 723 716 1 - 127.0000 -
2250.90/2259.05 c 2259 729 722 1 - 127.0000 -
2264.05/2272.27 c 2272 733 726 1 - 127.0000 -
2270.63/2278.90 c 2279 740 733 1 - 127.0000 -
2280.20/2288.49 c 2288 743 734 1 - 127.0000 -
2285.59/2293.85 c 2294 744 735 1 - 127.0000 -
2290.78/2299.00 c 2299 747 738 1 - 127.0000 -
2297.06/2305.35 c 2305 749 740 1 - 127.0000 -
2302.44/2310.79 c 2311 753 744 1 - 127.0000 -
2311.12/2319.40 c 2319 755 746 1 - 127.0000 -
2316.40/2324.76 c 2325 758 749 1 - 127.0000 -
2322.89/2331.24 c 2331 763 754 1 - 127.0000 -
2330.07/2338.42 c 2338 768 759 1 - 127.0000 -
2335.15/2343.51 c 2344 774 765 1 - 127.0000 -
2341.53/2349.92 c 2350 786 777 1 - 127.0000 -
2346.82/2355.25 c 2355 791 782 1 - 127.0000 -
2353.50/2361.90 c 2362 796 787 1 - 127.0000 -
2358.49/2366.95 c 2367 798 789 1 - 127.0000 -
2441.33/2450.06 c 2450 802 793 1 - 127.0000 -
2448.80/2457.54 c 2458 811 802 1 - 127.0000 -
2454.68/2463.42 c 2463 817 808 1 - 127.0000 -
2459.87/2468.66 c 2469 820 811 1 - 127.0000 -
2465.84/2474.62 c 2475 825 816 1 - 127.0000 -
2471.82/2480.64 c 2481 830 821 1 - 127.0000 -
2479.20/2488.04 c 2488 844 835 1 - 127.0000 -
2486.28/2495.19 c 2495 858 849 1 - 127.0000 -
2493.15/2502.00 c 2502 865 856 1 - 127.0000 -
2499.43/2508.39 c 2508 876 867 1 - 127.0000 -
2527.93/2536.99 c 2537 880 871 1 - 127.0000 -
2536.01/2545.02 c 2545 886 877 1 - 127.0000 -
2541.00/2550.07 c 2550 890 881 1 - 127.0000 -
2548.28/2557.33 c 2557 896 887 1 - 127.0000 -
2553.86/2562.91 c 2563 905 896 1 - 127.0000 -
2559.34/2568.46 c 2568 917 908 1 - 127.0000 -
2565.72/2574.87 c 2575 926 917 1 - 127.0000 -
2571.21/2580.34 c 2580 932 923 1 - 127.0000 -
2576.49/2585.65 c 2586 942 933 1 - 127.0000 -
2583.17/2592.33 c 2592 950 941 1 - 127.0000 -
2593.74/2602.91 c 2603 958 949 1 - 127.0000 -
2599.63/2608.89 c 2609 971 962 1 - 127.0000 -
2605.51/2614.76 c 2615 981 972 1 - 127.0000 -
2612.49/2621.79 c 2622 987 978 1 - 127.0000 -
2617.97/2627.22 c 2627 1004 993 1 - 127.0000 -
2623.25/2632.60 c 2633 1034 1023 1 - 127.0000 -
2629.63/2638.96 c 2639 1038 1027 1 - 127.0000 -
2634.62/2643.98 c 2644 1039 1028 1 - 127.0000 -
2640.40/2649.72 c 2650 1046 1035 1 - 127.0000 -
2645.69/2655.07 c 2655 1058 1047 1 - 127.0000 -
2651.87/2661.28 c 2661 1069 1058 1 - 127.0000 -
2658.15/2667.52 c 2668 1088 1077 1 - 127.0000 -
2663.74/2673.15 c 2673 1106 1095 1 - 127.0000 -
2670.11/2679.50 c 2680 1114 1103 1 - 127.0000 -
2683.47/2692.90 c 2693 1115 1104 1 - 127.0000 -
2689.56/2699.07 c 2699 1118 1107 1 - 127.0000 -
2696.83/2706.37 c 2706 1125 1114 1 - 127.0000 -
2701.91/2711.47 c 2711 1132 1121 1 - 127.0000 -
2707.10/2716.62 c 2717 1139 1128 1 - 127.0000 -
2712.98/2722.58 c 2723 1143 1132 1 - 127.0000 -
2718.27/2727.84 c 2728 1145 1134 1 - 127.0000 -
2724.35/2733.97 c 2734 1149 1138 1 - 127.0000 -
2729.93/2739.50 c 2740 1157 1146 1 - 127.0000 -
2735.61/2745.26 c 2745 1160 1149 1 - 127.0000 -
2741.10/2750.73 c 2751 1164 1151 1 - 127.0000 -
2747.49/2757.10 c 2757 1173 1160 1 - 127.0000 -
2771.50/2781.21 c 2781 1194 1181 1 - 127.0000 -
2777.29/2787.04 c 2787 1202 1189 1 - 127.0000 -
2782.47/2792.22 c 2792 1204 1191 1 - 127.0000 -
2787.56/2797.31 c 2797 1213 1200 1 - 127.0000 -
2792.94/2802.76 c 2803 1226 1211 1 - 127.0000 -
2799.02/2808.87 c 2809 1232 1217 1 - 127.0000 -
2804.70/2814.54 c 2815 1244 1229 1 - 127.0000 -
2812.08/2821.95 c 2822 1250 1235 1 - 127.0000 -
2818.07/2827.91 c 2828 1266 1251 1 - 127.0000 -
2838.40/2848.35 c 2848 1273 1258 1 - 127.0000 -
2846.18/2856.16 c 2856 1276 1261 1 - 127.0000 -
2854.06/2864.06 c 2864 1284 1269 1 - 127.0000 -
2860.44/2870.41 c 2870 1289 1274 1 - 127.0000 -
2865.62/2875.60 c 2876 1296 1281 1 - 127.0000 -
2872.90/2882.91 c 2883 1301 1286 1 - 127.0000 -
2880.28/2890.36 c 2890 1309 1294 1 - 127.0000 -
2885.87/2895.93 c 2896 1319 1304 1 - 127.0000 -
2890.95/2901.07 c 2901 1337 1322 1 - 127.0000 -
2900.82/2910.98 c 2911 1352 1337 1 - 127.0000 -
2906.10/2916.22 c 2916 1355 1340 1 - 127.0000 -
2911.08/2921.26 c 2921 1359 1344 1 - 127.0000 -
2927.35/2937.52 c 2938 1361 1346 1 - 127.0000 -
2934.73/2944.99 c 2945 1364 1349 1 - 127.0000 -
2941.11/2951.33 c 2951 1367 1352 1 - 127.0000 -
2947.59/2957.88 c 2958 1368 1353 1 - 127.0000 -
2953.07/2963.30 c 2963 1370 1355 1 - 127.0000 -
2958.06/2968.39 c 2968 1371 1356 1 - 127.0000 -
2966.53/2976.85 c 2977 1374 1359 1 - 127.0000 -
2972.22/2982.50 c 2983 1378 1363 1 - 127.0000 -
2977.30/2987.63 c 2988 1381 1366 1 - 127.0000 -
2982.89/2993.22 c 2993 1385 1370 1 - 127.0000 -
2990.97/3001.32 c 3001 1391 1376 1 - 127.0000 -
2996.66/3007.09 c 3007 1396 1381 1 - 127.0000 -
3003.33/3013.79 c 3014 1402 1387 1 - 127.0000 -
3009.91/3020.31 c 3020 1409 1394 1 - 127.0000 -
3016.39/3026.88 c 3027 1419 1404 1 - 127.0000 -
3022.68/3033.19 c 3033 1429 1414 1 - 127.0000 -
3063.96/3074.56 c 3075 1430 1415 1 - 127.0000 -
3069.04/3079.66 c 3080 1434 1419 1 - 127.0000 -
3074.33/3084.94 c 3085 1443 1428 1 - 127.0000 -
3080.61/3091.20 c 3091 1452 1437 1 - 127.0000 -
3087.39/3098.04 c 3098 1454 1439 1 - 127.0000 -
3094.66/3105.32 c 3105 1463 1448 1 - 127.0000 -
3100.25/3110.99 c 3111 1470 1455 1 - 127.0000 -
3105.93/3116.67 c 3117 1485 1470 1 - 127.0000 -
3111.01/3121.72 c 3122 1497 1482 1 - 127.0000 -
3124.38/3135.16 c 3135 1508 1493 1 - 127.0000 -
3136.74/3147.56 c 3148 1509 1494 1 - 127.0000 -
3142.72/3153.55 c 3154 1514 1499 1 - 127.0000 -
3148.31/3159.10 c 3159 1518 1503 1 - 127.0000 -
3163.27/3174.16 c 3174 1519 1504 1 - 127.0000 -
3170.04/3180.95 c 3181 1522 1507 1 - 127.0000 -
3175.43/3186.36 c 3186 1525 1510 1 - 127.0000 -
3180.81/3191.74 c 3192 1528 1513 1 - 127.0000 -
3186.50/3197.43 c 3197 1531 1516 1 - 127.0000 -
3194.57/3205.58 c 3206 1533 1518 1 - 127.0000 -
3200.57/3211.59 c 3212 1536 1521 1 - 127.0000 -
3205.85/3216.83 c 3217 1539 1524 1 - 127.0000 -
3210.94/3221.97 c 3222 1543 1528 1 - 127.0000 -
3218.51/3229.54 c 3230 1548 1533 1 - 127.0000 -
3223.80/3234.87 c 3235 1554 1539 1 - 127.0000 -
3230.78/3241.82 c 3242 1559 1542 1 - 127.0000 -
3235.76/3246.84 c 3247 1564 1547 1 - 127.0000 -
3242.25/3253.30 c 3253 1570 1553 1 - 127.0000 -
3247.63/3258.74 c 3259 1573 1556 1 - 127.0000 -
3256.71/3267.81 c 3268 1580 1563 1 - 127.0000 -
3265.68/3276.85 c 3277 1587 1570 1 - 127.0000 -
3271.86/3283.02 c 3283 1593 1576 1 - 127.0000 -
3278.04/3289.26 c 3289 1602 1585 1 - 127.0000 -
3283.83/3295.06 c 3295 1612 1595 1 - 127.0000 -
3289.70/3300.98 c 3301 1625 1608 1 - 127.0000 -
3296.79/3308.04 c 3308 1633 1616 1 - 127.0000 -
3302.37/3313.69 c 3314 1640 1623 1 - 127.0000 -
3307.46/3318.71 c 3319 1646 1629 1 - 127.0000 -
3313.14/3324.47 c 3324 1662 1645 1 - 127.0000 -
3351.32/3362.70 c 3363 1667 1650 1 - 127.0000 -
3357.90/3369.32 c 3369 1673 1656 1 - 127.0000 -
3363.68/3375.11 c 3375 1680 1663 1 - 127.0000 -
3370.66/3382.18 c 3382 1685 1668 1 - 127.0000 -
3377.25/3388.72 c 3389 1690 1673 1 - 127.0000 -
3382.73/3394.28 c 3394 1692 1675 1 - 127.0000 -
3389.01/3400.54 c 3401 1703 1686 1 - 127.0000 -
3394.40/3405.98 c 3406 1717 1700 1 - 127.0000 -
3399.58/3411.19 c 3411 1738 1721 1 - 127.0000 -
3419.21/3430.81 c 3431 1747 1730 1 - 127.0000 -
3426.68/3438.38 c 3438 1752 1735 1 - 127.0000 -
3433.77/3445.48 c 3445 1760 1741 1 - 127.0000 -
3439.36/3451.01 c 3451 1764 1745 1 - 127.0000 -
3446.23/3457.95 c 3458 1767 1748 1 - 127.0000 -
3454.71/3466.49 c 3466 1775 1756 1 - 127.0000 -
3460.59/3472.35 c 3472 1779 1760 1 - 127.0000 -
3467.37/3479.17 c 3479 1783 1764 1 - 127.0000 -
3473.45/3485.22 c 3485 1792 1773 1 - 127.0000 -
3480.42/3492.27 c 3492 1807 1788 1 - 127.0000 -
3485.51/3497.36 c 3497 1813 1794 1 - 127.0000 -
3499.66/3511.59 c 3512 1828 1809 1 - 127.0000 -
3505.24/3517.14 c 3517 1832 1813 1 - 127.0000 -
3513.31/3525.21 c 3525 1838 1819 1 - 127.0000 -
3519.49/3531.44 c 3531 1847 1828 1 - 127.0000 -
3524.97/3536.92 c 3537 1862 1843 1 - 127.0000 -
3530.94/3542.94 c 3543 1873 1854 1 - 127.0000 -
3536.03/3548.03 c 3548 1887 1868 1 - 127.0000 -
3541.11/3553.17 c 3553 1901 1882 1 - 127.0000 -
3546.49/3558.58 c 3559 1905 1886 1 - 127.0000 -
3564.53/3576.69 c 3577 1908 1889 1 - 127.0000 -
3570.41/3582.59 c 3583 1911 1892 1 - 127.0000 -
3576.99/3589.17 c 3589 1918 1899 1 - 127.0000 -
3583.26/3595.42 c 3595 1925 1906 1 - 127.0000 -
3586.64/3598.85 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.64/3598.85 c Total Time : 3598.8400
3586.64/3598.85 c solving : 3598.8400
3586.64/3598.85 c presolving : 237.6172 (included in solving)
3586.64/3598.85 c B&B Tree :
3586.64/3598.85 c nodes (total) : 1
3586.64/3598.85 c Solution :
3586.64/3598.85 c Solutions found : 0
3586.64/3598.85 c Primal Bound : -
3586.64/3598.85 c Dual Bound : +1.27000000000000e+02
3586.64/3598.85 c Gap : -
3587.05/3599.28 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: 63968 MiB (62482 MiB free)
memory of node 1: 64473 MiB (61719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464282-1722385797/watcher-4464282-1722385797 -o /tmp/evaluation-result-4464282-1722385797/solver-4464282-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27468 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464282-1722385797.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32433, runsolver pid=32430
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 32434
/proc/meminfo: memFree=127066992/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=139332 memory=126596 CPUtime=0.1 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 29509 0 0 0 6 4 0 0 20 0 1 0 5180795 142675968 31649 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 34833 31649 2347 3035 0 31229 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 139332 KiB
Current children cumulated memory: 126596 KiB
[startup+0.20567 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 32434
/proc/meminfo: memFree=126993220/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=204196 memory=191236 CPUtime=0.2 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 45702 0 0 0 13 7 0 0 20 0 1 0 5180795 209096704 47809 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 51049 47809 2347 3035 0 47445 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 204196 KiB
Current children cumulated memory: 191236 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 32438
/proc/meminfo: memFree=127011088/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=211712 memory=198628 CPUtime=0.3 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 47521 0 0 0 22 8 0 0 20 0 1 0 5180795 216793088 49657 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 52928 49657 2347 3035 0 49324 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 211712 KiB
Current children cumulated memory: 198628 KiB
[startup+0.700246 s]
/proc/loadavg: 4.10 4.11 4.09 4/254 32467
/proc/meminfo: memFree=126849332/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=484840 memory=468216 CPUtime=0.68 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 115442 0 0 0 51 17 0 0 20 0 1 0 5180795 496476160 117054 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 121210 117054 2598 3035 0 117606 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 484840 KiB
Current children cumulated memory: 468216 KiB
[startup+1.50024 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32484
/proc/meminfo: memFree=126626884/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=661692 memory=642360 CPUtime=1.48 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 140753 0 0 0 125 23 0 0 20 0 1 0 5180795 677572608 160590 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 165423 160590 2694 3035 0 161819 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 661692 KiB
Current children cumulated memory: 642360 KiB
[startup+3.10544 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 32520
/proc/meminfo: memFree=126773080/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=721516 memory=704528 CPUtime=3.08 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 168684 0 0 0 280 28 0 0 20 0 1 0 5180795 738832384 176132 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 180379 176132 2758 3035 0 176775 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 721516 KiB
Current children cumulated memory: 704528 KiB
[startup+6.30022 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 32532
/proc/meminfo: memFree=126346624/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1051652 memory=1000520 CPUtime=6.27 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 197784 0 0 0 590 37 0 0 20 0 1 0 5180795 1076891648 250130 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 262913 250130 2774 3035 0 259309 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1051652 KiB
Current children cumulated memory: 1000520 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 32534
/proc/meminfo: memFree=126306288/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1051652 memory=1000520 CPUtime=12.64 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 197807 0 0 0 1227 37 0 0 20 0 1 0 5180795 1076891648 250130 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 262913 250130 2774 3035 0 259309 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1051652 KiB
Current children cumulated memory: 1000520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 32536
/proc/meminfo: memFree=126215456/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1052676 memory=1001604 CPUtime=25.38 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 198124 0 0 0 2500 38 0 0 20 0 1 0 5180795 1077940224 250401 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 263169 250401 2774 3035 0 259565 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1052676 KiB
Current children cumulated memory: 1001604 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 32600
/proc/meminfo: memFree=125781116/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1519272 memory=1383840 CPUtime=50.9 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 281650 0 0 0 5038 52 0 0 20 0 1 0 5180795 1555734528 345960 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 379818 345960 2790 3035 0 376214 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1519272 KiB
Current children cumulated memory: 1383840 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/266 32610
/proc/meminfo: memFree=125701132/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1519276 memory=1385928 CPUtime=101.92 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 282152 0 0 0 10139 53 0 0 20 0 1 0 5180795 1555738624 346482 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 379819 346482 2790 3035 0 376215 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1519276 KiB
Current children cumulated memory: 1385928 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 32620
/proc/meminfo: memFree=125611640/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1519280 memory=1385928 CPUtime=161.72 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 282164 0 0 0 16118 54 0 0 20 0 1 0 5180795 1555742720 346482 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 379820 346482 2790 3035 0 376216 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1519280 KiB
Current children cumulated memory: 1385928 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 32630
/proc/meminfo: memFree=125521752/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=1519284 memory=1385928 CPUtime=221.51 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 282200 0 0 0 22096 55 0 0 20 0 1 0 5180795 1555746816 346482 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 379821 346482 2790 3035 0 376217 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1519284 KiB
Current children cumulated memory: 1385928 KiB
[startup+282.301 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 32643
/proc/meminfo: memFree=124022160/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=3105560 memory=2818680 CPUtime=281.05 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 874812 0 0 0 27984 121 0 0 20 0 3 0 5180795 3180093440 704670 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 776390 704670 2950 3035 0 758349 0
[pid=32433/tid=32632] ppid=32430 vsize=3105560 memory=2375412 CPUtime=43.31 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 544179 0 0 0 4273 58 0 0 20 0 3 0 5204622 3180093440 704670 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=3105560 memory=2818680 CPUtime=0 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5204679 3180093440 704670 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 3105560 KiB
Current children cumulated memory: 2818680 KiB
[startup+342.301 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 32654
/proc/meminfo: memFree=123866656/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=3236632 memory=2922420 CPUtime=340.51 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 1056991 0 0 0 33919 132 0 0 20 0 3 0 5180795 3314311168 730605 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 809158 730605 2966 3035 0 785096 0
[pid=32433/tid=32632] ppid=32430 vsize=3236632 memory=310984 CPUtime=102.79 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 726344 0 0 0 10209 70 0 0 20 0 3 0 5204622 3314311168 730605 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=3236632 memory=0 CPUtime=0 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 5204679 3314311168 730605 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 340.51 s
Current children cumulated vsize: 3236632 KiB
Current children cumulated memory: 2922420 KiB
[startup+402.301 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 32664
/proc/meminfo: memFree=123687864/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=3337676 memory=3056756 CPUtime=399.99 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 1302542 0 0 0 39848 151 0 0 20 0 3 0 5180795 3417780224 764189 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 834419 764189 2966 3035 0 820245 0
[pid=32433/tid=32632] ppid=32430 vsize=3337676 memory=12744 CPUtime=162.25 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 971889 0 0 0 16137 88 0 0 20 0 3 0 5204622 3417780224 764189 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
################
# More data... #
################
/proc/loadavg: 4.14 4.18 4.15 5/265 34331
/proc/meminfo: memFree=123040132/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981192 CPUtime=3390.81 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5801586 0 0 0 338651 430 0 0 20 0 3 0 5180795 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995298 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=3981192 CPUtime=3152.97 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5469308 0 0 0 314935 362 0 0 20 0 3 0 5204622 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=11532 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 359 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/265 34343
/proc/meminfo: memFree=123005168/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981192 CPUtime=3450.62 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5805921 0 0 0 344631 431 0 0 20 0 3 0 5180795 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995298 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=-7379829155985188477 CPUtime=3212.79 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5473603 0 0 0 320915 364 0 0 20 0 3 0 5204622 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=3981192 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 365 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3450.62 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.15 5/265 34521
/proc/meminfo: memFree=122983452/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981192 CPUtime=3510.42 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5810289 0 0 0 350610 432 0 0 20 0 3 0 5180795 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995298 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=3981192 CPUtime=3272.58 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5477942 0 0 0 326894 364 0 0 20 0 3 0 5204622 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=3981192 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 371 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995298 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3510.42 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.15 5/265 34532
/proc/meminfo: memFree=122961844/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3570.21 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5814846 0 0 0 356588 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=550316 CPUtime=3332.37 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5482467 0 0 0 332872 365 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=11532 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3570.21 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3599.3 s]
# the end of solver process 32433 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.78 s, system=4.36212 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.15 5/265 34532
/proc/meminfo: memFree=122959424/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3571.91 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5814859 0 0 0 356758 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=-7163374898894692734 CPUtime=3334.07 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5482480 0 0 0 333042 365 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=4210189023945846433 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.15 5/265 34533
/proc/meminfo: memFree=122957148/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3578.28 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5815577 0 0 0 357395 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=12816 CPUtime=3340.44 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5483194 0 0 0 333679 365 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=3981620 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3578.28 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.15 4.15 5/265 34534
/proc/meminfo: memFree=122955036/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3581.47 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5816096 0 0 0 357714 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3343.63 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5483713 0 0 0 333998 365 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=3981620 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3581.47 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122954956/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3584.65 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5816264 0 0 0 358032 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3346.81 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5483881 0 0 0 334316 365 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=12816 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122953772/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3586.25 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5818767 0 0 0 358192 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=12744 CPUtime=3348.41 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5486380 0 0 0 334475 366 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=12816 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3598.8 s]
/proc/loadavg: 4.12 4.15 4.14 5/265 34534
/proc/meminfo: memFree=122953772/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=4212904 memory=3981620 CPUtime=3586.64 cores=0,2
/proc/32433/stat : 32433 (fscip) S 32430 32433 27458 0 -1 1077936128 5820068 0 0 0 358231 433 0 0 20 0 3 0 5180795 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 1053226 995405 3014 3035 0 1033199 0
[pid=32433/tid=32632] ppid=32430 vsize=4212904 memory=-7163374898894692734 CPUtime=3348.81 cores=0,2
/proc/32433/task/32632/stat : 32632 (fscip) R 32430 32433 27458 0 -1 4194368 5487681 0 0 0 334515 366 0 0 20 0 3 0 5204622 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
[pid=32433/tid=32633] ppid=32430 vsize=4212904 memory=4210189023945846433 CPUtime=0.03 cores=0,2
/proc/32433/task/32633/stat : 32633 (fscip) S 32430 32433 27458 0 -1 1077936192 373 0 0 0 1 2 0 0 20 0 3 0 5204679 4314013696 995405 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 4212904 KiB
Current children cumulated memory: 3981620 KiB
[startup+3599.21 s]
/proc/loadavg: 4.11 4.14 4.14 4/260 34534
/proc/meminfo: memFree=123827316/131524600 swapFree=131063756/131071996
[pid=32433] ppid=32430 vsize=3967228 memory=3763080 CPUtime=3587.05 cores=0,2
/proc/32433/stat : 32433 (fscip) R 32430 32433 27458 0 -1 4194304 5825965 0 0 0 358271 434 0 0 20 0 1 0 5180795 4062441472 940770 134679101440 4194304 16623229 140736259259168 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26468352 140736259265558 140736259265674 140736259265674 140736259272688 0
/proc/32433/statm: 991807 940770 3014 3035 0 971780 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 3967228 KiB
Current children cumulated memory: 3763080 KiB
Child status: 0
Real time (s): 3599.3
CPU time (s): 3587.14
CPU user time (s): 3582.78
CPU system time (s): 4.36212
CPU usage (%): 99.6624
Max. virtual memory (cumulated for all children) (KiB): 4212904
Max. memory (cumulated for all children) (KiB): 3981620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.78
system time used= 4.36212
maximum resident set size= 3981620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5830741
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= 5416
involuntary context switches= 26006
# summary of solver processes directly reported to runsolver:
# pid: 32433
# total CPU time (s): 3587.14
# total CPU user time (s): 3582.78
# total CPU system time (s): 4.36212
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75619 second user time and 16.4876 second system time
The end
Begin job on nodeC029 at 2024-07-31 02:29:57
IDJOB=4464282
IDBENCH=158605
IDSOLVER=3092
FILE ID=nodeC029/4464282-1722385797
RUNJOBID= nodeC029-1722378597-27468
SLURM_JOB_ID= 8249852
Free space on /tmp= 889976 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.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-4464282-1722385797/watcher-4464282-1722385797 -o /tmp/evaluation-result-4464282-1722385797/solver-4464282-1722385797 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722378597-27468 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464282-1722385797.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=1025625710
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.418
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3600.737
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 : 7005.75
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 : 3663.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3687.348
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 : 7005.75
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 : 3663.086
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3687.335
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 : 7005.75
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 : 3601.556
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
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 : 3600.318
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 : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127183384 kB
MemAvailable: 127197840 kB
Buffers: 93752 kB
Cached: 758556 kB
SwapCached: 212 kB
Active: 271276 kB
Inactive: 3601084 kB
Active(anon): 1740 kB
Inactive(anon): 3039332 kB
Active(file): 269536 kB
Inactive(file): 561752 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 64356 kB
Writeback: 8 kB
AnonPages: 3020008 kB
Mapped: 124080 kB
Shmem: 21024 kB
KReclaimable: 45984 kB
Slab: 126592 kB
SReclaimable: 45984 kB
SUnreclaim: 80608 kB
KernelStack: 4192 kB
PageTables: 15288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2132456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7616 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1869824 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: 185044 kB
DirectMap2M: 6928384 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC029 at 2024-07-31 03:29:56