0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.88/0.97 c Default LC presolving (default).
0.88/0.97 c ** Before presolving: virtualMemUsedAtLc = 620204125, getVmSize() = 474976256, SCIPgetMemUsed() = 439282928, SCIPgetMemTotal() = 447078712, SCIPgetMemExternEstim() = 173125413
0.88/0.97 c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
252.05/252.89 c ** Estimated virtualMemUsedAtSolver = 1114376514, getVmSize() = 1565732864, SCIPgetMemUsed() = 1137214702, SCIPgetMemTotal() = 1498439358, SCIPgetMemExternEstim() = 173125413
252.05/252.89 c ** set memory limit for solvers to 4.39801e+12 for each SCIP **
252.05/252.89 c Original Problem :
252.05/252.89 c Problem name : instance-4434950-1721169022
252.05/252.89 c Variables : 180608 (180608 binary, 0 integer, 0 implicit integer, 0 continuous)
252.05/252.89 c Constraints : 3078
252.05/252.89 c Objective sense : minimize
252.05/252.89 c Presolved Problem :
252.05/252.89 c Variables : 179969 (179969 binary, 0 integer, 0 implicit integer, 0 continuous)
252.05/252.89 c Constraints : 1667
252.05/252.89 c Constraints : Number
252.05/252.89 c knapsack : 256
252.05/252.89 c setppc : 1411
252.05/252.89 c ** Instance transfer method used: 0
252.36/253.18 c ** ParaScipInstance copy does not increase the number of variables. **
252.85/253.67 c LC is working with racing ramp-up and with rebuilding tree after racing.
252.85/253.67 c Nodes Active
252.85/253.67 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
828.20/830.34 c 830 2 1 1 - 127.0000 -
838.29/840.48 c 840 4 3 1 - 127.0000 -
844.58/846.78 c 847 6 5 1 - 127.0000 -
851.16/853.35 c 853 7 6 1 - 127.0000 -
856.14/858.39 c 858 8 7 1 - 127.0000 -
864.03/866.24 c 866 9 8 1 - 127.0000 -
888.17/890.42 c 890 12 11 1 - 127.0000 -
898.54/900.81 c 901 15 14 1 - 127.0000 -
905.12/907.45 c 907 17 16 1 - 127.0000 -
915.59/918.01 c 918 21 22 1 - 127.0000 -
941.61/944.04 c 944 22 21 1 - 127.0000 -
949.87/952.37 c 952 26 25 1 - 127.0000 -
956.15/958.67 c 959 28 27 1 - 127.0000 -
962.34/964.86 c 965 30 29 1 - 127.0000 -
971.41/973.99 c 974 32 31 1 - 127.0000 -
981.88/984.45 c 984 35 34 1 - 127.0000 -
988.47/991.01 c 991 37 36 1 - 127.0000 -
993.55/996.16 c 996 39 38 1 - 127.0000 -
1007.29/1009.96 c 1010 42 41 1 - 127.0000 -
1021.36/1024.02 c 1024 44 43 1 - 127.0000 -
1027.93/1030.64 c 1031 48 47 1 - 127.0000 -
1036.70/1039.44 c 1039 52 51 1 - 127.0000 -
1043.08/1045.86 c 1046 57 56 1 - 127.0000 -
1052.77/1055.54 c 1056 62 61 1 - 127.0000 -
1058.66/1061.41 c 1061 65 64 1 - 127.0000 -
1064.35/1067.12 c 1067 69 68 1 - 127.0000 -
1069.83/1072.62 c 1073 72 71 1 - 127.0000 -
1085.59/1088.43 c 1088 79 78 1 - 127.0000 -
1097.76/1100.60 c 1101 83 82 1 - 127.0000 -
1103.55/1106.48 c 1106 87 86 1 - 127.0000 -
1111.72/1114.62 c 1115 93 92 1 - 127.0000 -
1118.42/1121.34 c 1121 101 100 1 - 127.0000 -
1123.80/1126.74 c 1127 103 102 1 - 127.0000 -
1129.58/1132.55 c 1133 108 107 1 - 127.0000 -
1135.57/1138.58 c 1139 111 110 1 - 127.0000 -
1140.56/1143.58 c 1144 113 112 1 - 127.0000 -
1147.05/1150.10 c 1150 117 116 1 - 127.0000 -
1173.18/1176.25 c 1176 119 118 1 - 127.0000 -
1190.62/1193.77 c 1194 120 119 1 - 127.0000 -
1197.60/1200.73 c 1201 122 121 1 - 127.0000 -
1202.69/1205.85 c 1206 126 125 1 - 127.0000 -
1214.17/1217.31 c 1217 130 129 1 - 127.0000 -
1221.44/1224.67 c 1225 132 131 1 - 127.0000 -
1227.73/1230.91 c 1231 140 139 1 - 127.0000 -
1233.62/1236.83 c 1237 150 149 1 - 127.0000 -
1239.31/1242.55 c 1243 156 155 1 - 127.0000 -
1244.91/1248.11 c 1248 160 159 1 - 127.0000 -
1288.18/1291.50 c 1292 162 161 1 - 127.0000 -
1293.67/1297.08 c 1297 167 166 1 - 127.0000 -
1304.83/1308.27 c 1308 168 167 1 - 127.0000 -
1311.42/1314.89 c 1315 170 169 1 - 127.0000 -
1317.91/1321.32 c 1321 171 170 1 - 127.0000 -
1325.29/1328.76 c 1329 175 174 1 - 127.0000 -
1333.69/1337.19 c 1337 178 177 1 - 127.0000 -
1339.35/1342.90 c 1343 183 182 1 - 127.0000 -
1350.93/1354.42 c 1354 187 184 1 - 127.0000 -
1357.01/1360.57 c 1361 193 190 1 - 127.0000 -
1362.30/1365.84 c 1366 196 193 1 - 127.0000 -
1368.08/1371.60 c 1372 198 195 1 - 127.0000 -
1373.59/1377.16 c 1377 201 198 1 - 127.0000 -
1443.51/1447.24 c 1447 206 203 1 - 127.0000 -
1463.56/1467.39 c 1467 208 205 1 - 127.0000 -
1469.65/1473.49 c 1474 210 207 1 - 127.0000 -
1476.64/1480.46 c 1480 214 211 1 - 127.0000 -
1482.02/1485.90 c 1486 217 214 1 - 127.0000 -
1488.41/1492.23 c 1492 218 215 1 - 127.0000 -
1494.50/1498.31 c 1498 220 217 1 - 127.0000 -
1502.48/1506.37 c 1506 227 224 1 - 127.0000 -
1508.76/1512.60 c 1513 228 225 1 - 127.0000 -
1514.65/1518.55 c 1519 231 228 1 - 127.0000 -
1522.43/1526.36 c 1526 238 235 1 - 127.0000 -
1528.72/1532.62 c 1533 243 240 1 - 127.0000 -
1579.57/1583.68 c 1584 249 246 1 - 127.0000 -
1597.11/1601.26 c 1601 252 249 1 - 127.0000 -
1604.20/1608.37 c 1608 255 252 1 - 127.0000 -
1612.28/1616.41 c 1616 258 255 1 - 127.0000 -
1622.87/1627.02 c 1627 261 258 1 - 127.0000 -
1629.74/1633.92 c 1634 262 259 1 - 127.0000 -
1636.63/1640.88 c 1641 266 263 1 - 127.0000 -
1642.52/1646.71 c 1647 271 268 1 - 127.0000 -
1648.49/1652.71 c 1653 272 269 1 - 127.0000 -
1654.38/1658.61 c 1659 277 274 1 - 127.0000 -
1660.88/1665.12 c 1665 281 278 1 - 127.0000 -
1667.94/1672.25 c 1672 286 283 1 - 127.0000 -
1691.05/1695.42 c 1695 292 289 1 - 127.0000 -
1713.09/1717.54 c 1718 297 294 1 - 127.0000 -
1723.06/1727.58 c 1728 300 297 1 - 127.0000 -
1730.44/1735.01 c 1735 304 301 1 - 127.0000 -
1737.53/1742.03 c 1742 306 303 1 - 127.0000 -
1746.61/1751.12 c 1751 307 304 1 - 127.0000 -
1751.88/1756.42 c 1756 311 308 1 - 127.0000 -
1756.98/1761.55 c 1762 314 311 1 - 127.0000 -
1762.66/1767.21 c 1767 317 314 1 - 127.0000 -
1771.04/1775.60 c 1776 324 321 1 - 127.0000 -
1779.22/1783.89 c 1784 329 326 1 - 127.0000 -
1784.61/1789.27 c 1789 332 329 1 - 127.0000 -
1835.09/1839.88 c 1840 335 332 1 - 127.0000 -
1841.67/1846.47 c 1846 342 339 1 - 127.0000 -
1847.96/1852.71 c 1853 352 349 1 - 127.0000 -
1854.25/1859.09 c 1859 360 355 1 - 127.0000 -
1859.82/1864.63 c 1865 366 361 1 - 127.0000 -
1867.00/1871.80 c 1872 373 368 1 - 127.0000 -
1873.08/1877.92 c 1878 383 378 1 - 127.0000 -
1878.36/1883.22 c 1883 391 386 1 - 127.0000 -
1884.75/1889.69 c 1890 401 396 1 - 127.0000 -
1891.14/1896.07 c 1896 409 404 1 - 127.0000 -
1913.65/1918.65 c 1919 412 407 1 - 127.0000 -
1921.34/1926.33 c 1926 420 415 1 - 127.0000 -
1927.23/1932.23 c 1932 430 425 1 - 127.0000 -
1933.61/1938.67 c 1939 435 430 1 - 127.0000 -
1940.20/1945.22 c 1945 442 437 1 - 127.0000 -
1945.68/1950.76 c 1951 446 441 1 - 127.0000 -
1950.87/1955.90 c 1956 453 448 1 - 127.0000 -
1956.66/1961.79 c 1962 459 456 1 - 127.0000 -
1971.32/1976.46 c 1976 460 455 1 - 127.0000 -
1976.51/1981.62 c 1982 471 466 1 - 127.0000 -
1982.10/1987.29 c 1987 480 475 1 - 127.0000 -
1987.28/1992.48 c 1992 484 479 1 - 127.0000 -
2018.31/2023.50 c 2024 488 483 1 - 127.0000 -
2023.69/2028.98 c 2029 496 491 1 - 127.0000 -
2030.48/2035.78 c 2036 506 501 1 - 127.0000 -
2036.57/2041.82 c 2042 517 512 1 - 127.0000 -
2041.87/2047.11 c 2047 523 518 1 - 127.0000 -
2047.75/2053.08 c 2053 528 523 1 - 127.0000 -
2054.23/2059.51 c 2060 537 532 1 - 127.0000 -
2059.42/2064.74 c 2065 547 542 1 - 127.0000 -
2065.90/2071.22 c 2071 553 548 1 - 127.0000 -
2070.99/2076.36 c 2076 558 553 1 - 127.0000 -
2106.50/2111.93 c 2112 566 561 1 - 127.0000 -
2111.99/2117.44 c 2117 569 564 1 - 127.0000 -
2117.17/2122.64 c 2123 578 573 1 - 127.0000 -
2124.16/2129.66 c 2130 584 579 1 - 127.0000 -
2129.24/2134.70 c 2135 592 587 1 - 127.0000 -
2135.32/2140.81 c 2141 596 591 1 - 127.0000 -
2140.71/2146.28 c 2146 598 593 1 - 127.0000 -
2146.89/2152.47 c 2152 604 599 1 - 127.0000 -
2152.77/2158.35 c 2158 615 610 1 - 127.0000 -
2158.86/2164.47 c 2164 621 614 1 - 127.0000 -
2166.55/2172.13 c 2172 631 624 1 - 127.0000 -
2172.53/2178.17 c 2178 641 634 1 - 127.0000 -
2198.13/2203.82 c 2204 645 638 1 - 127.0000 -
2205.21/2211.01 c 2211 654 647 1 - 127.0000 -
2212.30/2218.10 c 2218 662 655 1 - 127.0000 -
2217.88/2223.65 c 2224 669 662 1 - 127.0000 -
2223.38/2229.13 c 2229 680 673 1 - 127.0000 -
2228.66/2234.42 c 2234 693 686 1 - 127.0000 -
2234.14/2239.92 c 2240 700 693 1 - 127.0000 -
2239.63/2245.44 c 2245 709 702 1 - 127.0000 -
2247.41/2253.24 c 2253 720 713 1 - 127.0000 -
2257.48/2263.37 c 2263 723 716 1 - 127.0000 -
2262.97/2268.86 c 2269 729 722 1 - 127.0000 -
2276.53/2282.44 c 2282 733 726 1 - 127.0000 -
2283.13/2289.10 c 2289 740 733 1 - 127.0000 -
2292.99/2298.92 c 2299 743 734 1 - 127.0000 -
2298.38/2304.31 c 2304 744 735 1 - 127.0000 -
2303.57/2309.52 c 2310 747 738 1 - 127.0000 -
2310.06/2316.08 c 2316 749 740 1 - 127.0000 -
2315.54/2321.56 c 2322 753 744 1 - 127.0000 -
2324.22/2330.27 c 2330 755 746 1 - 127.0000 -
2329.70/2335.70 c 2336 758 749 1 - 127.0000 -
2336.19/2342.28 c 2342 763 754 1 - 127.0000 -
2343.57/2349.62 c 2350 768 759 1 - 127.0000 -
2348.66/2354.77 c 2355 774 765 1 - 127.0000 -
2355.24/2361.33 c 2361 786 777 1 - 127.0000 -
2360.62/2366.77 c 2367 791 782 1 - 127.0000 -
2365.80/2371.91 c 2372 795 786 1 - 127.0000 -
2370.90/2377.04 c 2377 797 788 1 - 127.0000 -
2460.49/2466.94 c 2467 802 793 1 - 127.0000 -
2468.07/2474.57 c 2475 811 802 1 - 127.0000 -
2474.06/2480.54 c 2481 817 808 1 - 127.0000 -
2479.34/2485.89 c 2486 820 811 1 - 127.0000 -
2485.42/2491.94 c 2492 825 816 1 - 127.0000 -
2491.51/2498.11 c 2498 830 821 1 - 127.0000 -
2499.08/2505.62 c 2506 844 835 1 - 127.0000 -
2506.35/2512.97 c 2513 858 849 1 - 127.0000 -
2513.34/2519.97 c 2520 865 856 1 - 127.0000 -
2519.91/2526.50 c 2527 876 867 1 - 127.0000 -
2551.50/2558.26 c 2558 880 871 1 - 127.0000 -
2559.68/2566.41 c 2566 886 877 1 - 127.0000 -
2564.66/2571.49 c 2572 890 881 1 - 127.0000 -
2572.05/2578.83 c 2579 896 887 1 - 127.0000 -
2577.63/2584.47 c 2584 905 896 1 - 127.0000 -
2583.32/2590.17 c 2590 917 908 1 - 127.0000 -
2589.79/2596.65 c 2597 926 917 1 - 127.0000 -
2595.29/2602.18 c 2602 932 923 1 - 127.0000 -
2600.76/2607.61 c 2608 942 933 1 - 127.0000 -
2607.54/2614.48 c 2614 950 941 1 - 127.0000 -
2618.99/2625.92 c 2626 958 949 1 - 127.0000 -
2625.09/2632.08 c 2632 971 962 1 - 127.0000 -
2631.07/2638.04 c 2638 981 972 1 - 127.0000 -
2638.23/2645.25 c 2645 987 978 1 - 127.0000 -
2643.32/2650.38 c 2650 1003 992 1 - 127.0000 -
2648.80/2655.89 c 2656 1031 1020 1 - 127.0000 -
2655.99/2663.08 c 2663 1038 1027 1 - 127.0000 -
2661.07/2668.17 c 2668 1039 1028 1 - 127.0000 -
2666.95/2674.07 c 2674 1046 1035 1 - 127.0000 -
2672.52/2679.60 c 2680 1058 1047 1 - 127.0000 -
2678.91/2686.01 c 2686 1069 1058 1 - 127.0000 -
2683.89/2691.04 c 2691 1084 1073 1 - 127.0000 -
2689.18/2696.30 c 2696 1102 1091 1 - 127.0000 -
2694.98/2702.14 c 2702 1110 1099 1 - 127.0000 -
2712.32/2719.50 c 2720 1115 1104 1 - 127.0000 -
2717.30/2724.58 c 2725 1116 1105 1 - 127.0000 -
2722.80/2730.01 c 2730 1124 1113 1 - 127.0000 -
2729.18/2736.46 c 2736 1129 1118 1 - 127.0000 -
2734.96/2742.24 c 2742 1138 1127 1 - 127.0000 -
2742.55/2749.83 c 2750 1143 1132 1 - 127.0000 -
2747.93/2755.21 c 2755 1145 1134 1 - 127.0000 -
2754.32/2761.63 c 2762 1149 1138 1 - 127.0000 -
2759.91/2767.30 c 2767 1157 1146 1 - 127.0000 -
2765.81/2773.17 c 2773 1160 1149 1 - 127.0000 -
2771.38/2778.75 c 2779 1164 1151 1 - 127.0000 -
2777.88/2785.24 c 2785 1173 1160 1 - 127.0000 -
2803.40/2810.86 c 2811 1194 1181 1 - 127.0000 -
2809.39/2816.81 c 2817 1202 1189 1 - 127.0000 -
2814.77/2822.22 c 2822 1204 1191 1 - 127.0000 -
2819.96/2827.41 c 2827 1213 1200 1 - 127.0000 -
2825.46/2833.01 c 2833 1226 1211 1 - 127.0000 -
2830.55/2838.10 c 2838 1231 1216 1 - 127.0000 -
2836.32/2843.88 c 2844 1241 1226 1 - 127.0000 -
2842.52/2850.07 c 2850 1249 1234 1 - 127.0000 -
2849.10/2856.68 c 2857 1255 1240 1 - 127.0000 -
2874.33/2881.94 c 2882 1273 1258 1 - 127.0000 -
2882.31/2889.98 c 2890 1276 1261 1 - 127.0000 -
2890.41/2898.05 c 2898 1284 1269 1 - 127.0000 -
2896.88/2904.53 c 2905 1289 1274 1 - 127.0000 -
2902.17/2909.80 c 2910 1296 1281 1 - 127.0000 -
2909.65/2917.30 c 2917 1301 1286 1 - 127.0000 -
2914.64/2922.36 c 2922 1308 1293 1 - 127.0000 -
2920.03/2927.79 c 2928 1313 1298 1 - 127.0000 -
2925.12/2932.90 c 2933 1325 1310 1 - 127.0000 -
2938.98/2946.78 c 2947 1352 1337 1 - 127.0000 -
2944.28/2952.04 c 2952 1355 1340 1 - 127.0000 -
2949.38/2957.18 c 2957 1359 1344 1 - 127.0000 -
2966.03/2973.87 c 2974 1361 1346 1 - 127.0000 -
2973.61/2981.42 c 2981 1364 1349 1 - 127.0000 -
2979.90/2987.77 c 2988 1367 1352 1 - 127.0000 -
2986.49/2994.36 c 2994 1368 1353 1 - 127.0000 -
2991.97/2999.82 c 3000 1370 1355 1 - 127.0000 -
2997.06/3004.98 c 3005 1371 1356 1 - 127.0000 -
3005.65/3013.51 c 3014 1374 1359 1 - 127.0000 -
3011.25/3019.20 c 3019 1378 1363 1 - 127.0000 -
3016.43/3024.37 c 3024 1381 1366 1 - 127.0000 -
3022.01/3029.98 c 3030 1385 1370 1 - 127.0000 -
3030.21/3038.17 c 3038 1391 1376 1 - 127.0000 -
3035.98/3043.98 c 3044 1396 1381 1 - 127.0000 -
3042.78/3050.73 c 3051 1402 1387 1 - 127.0000 -
3049.36/3057.36 c 3057 1409 1394 1 - 127.0000 -
3056.06/3064.04 c 3064 1419 1404 1 - 127.0000 -
3062.43/3070.47 c 3070 1429 1414 1 - 127.0000 -
3105.53/3113.68 c 3114 1430 1415 1 - 127.0000 -
3110.72/3118.89 c 3119 1434 1419 1 - 127.0000 -
3116.11/3124.25 c 3124 1443 1428 1 - 127.0000 -
3122.40/3130.58 c 3131 1452 1437 1 - 127.0000 -
3129.38/3137.52 c 3138 1454 1439 1 - 127.0000 -
3136.76/3144.92 c 3145 1463 1448 1 - 127.0000 -
3142.55/3150.74 c 3151 1470 1455 1 - 127.0000 -
3148.23/3156.49 c 3156 1485 1470 1 - 127.0000 -
3153.52/3161.74 c 3162 1497 1482 1 - 127.0000 -
3167.99/3176.21 c 3176 1508 1493 1 - 127.0000 -
3180.56/3188.86 c 3189 1509 1494 1 - 127.0000 -
3186.55/3194.88 c 3195 1514 1499 1 - 127.0000 -
3192.14/3200.46 c 3200 1518 1503 1 - 127.0000 -
3207.60/3215.96 c 3216 1519 1504 1 - 127.0000 -
3214.39/3222.78 c 3223 1522 1507 1 - 127.0000 -
3219.87/3228.21 c 3228 1525 1510 1 - 127.0000 -
3225.16/3233.60 c 3234 1528 1513 1 - 127.0000 -
3230.94/3239.34 c 3239 1531 1516 1 - 127.0000 -
3239.13/3247.58 c 3248 1533 1518 1 - 127.0000 -
3245.21/3253.68 c 3254 1536 1521 1 - 127.0000 -
3250.51/3258.93 c 3259 1539 1524 1 - 127.0000 -
3255.71/3264.14 c 3264 1543 1528 1 - 127.0000 -
3263.38/3271.83 c 3272 1548 1533 1 - 127.0000 -
3268.86/3277.33 c 3277 1554 1539 1 - 127.0000 -
3275.85/3284.40 c 3284 1559 1542 1 - 127.0000 -
3280.93/3289.46 c 3289 1564 1547 1 - 127.0000 -
3287.42/3296.01 c 3296 1570 1553 1 - 127.0000 -
3293.10/3301.63 c 3302 1573 1556 1 - 127.0000 -
3302.49/3311.09 c 3311 1580 1563 1 - 127.0000 -
3311.86/3320.42 c 3320 1587 1570 1 - 127.0000 -
3318.14/3326.74 c 3327 1593 1576 1 - 127.0000 -
3324.54/3333.13 c 3333 1602 1585 1 - 127.0000 -
3330.43/3339.08 c 3339 1612 1595 1 - 127.0000 -
3336.51/3345.19 c 3345 1625 1608 1 - 127.0000 -
3343.69/3352.36 c 3352 1633 1616 1 - 127.0000 -
3349.39/3358.09 c 3358 1640 1623 1 - 127.0000 -
3354.67/3363.33 c 3363 1646 1629 1 - 127.0000 -
3360.55/3369.22 c 3369 1662 1645 1 - 127.0000 -
3402.44/3411.27 c 3411 1667 1650 1 - 127.0000 -
3409.13/3417.93 c 3418 1673 1656 1 - 127.0000 -
3414.91/3423.79 c 3424 1680 1663 1 - 127.0000 -
3422.09/3431.01 c 3431 1685 1668 1 - 127.0000 -
3428.78/3437.65 c 3438 1690 1673 1 - 127.0000 -
3434.37/3443.28 c 3443 1692 1675 1 - 127.0000 -
3440.75/3449.68 c 3450 1703 1686 1 - 127.0000 -
3446.34/3455.29 c 3455 1717 1700 1 - 127.0000 -
3451.72/3460.65 c 3461 1738 1721 1 - 127.0000 -
3472.47/3481.48 c 3481 1747 1730 1 - 127.0000 -
3480.25/3489.26 c 3489 1752 1735 1 - 127.0000 -
3485.34/3494.30 c 3494 1757 1740 1 - 127.0000 -
3491.53/3500.56 c 3501 1763 1744 1 - 127.0000 -
3497.31/3506.31 c 3506 1765 1746 1 - 127.0000 -
3502.91/3511.92 c 3512 1771 1752 1 - 127.0000 -
3508.90/3517.94 c 3518 1775 1756 1 - 127.0000 -
3514.78/3523.82 c 3524 1779 1760 1 - 127.0000 -
3521.67/3530.77 c 3531 1783 1764 1 - 127.0000 -
3526.75/3535.87 c 3536 1791 1772 1 - 127.0000 -
3535.13/3544.24 c 3544 1807 1788 1 - 127.0000 -
3540.22/3549.39 c 3549 1813 1794 1 - 127.0000 -
3555.39/3564.55 c 3565 1828 1809 1 - 127.0000 -
3560.89/3570.10 c 3570 1832 1813 1 - 127.0000 -
3569.06/3578.28 c 3578 1838 1819 1 - 127.0000 -
3574.14/3583.32 c 3583 1845 1826 1 - 127.0000 -
3579.94/3589.12 c 3589 1858 1839 1 - 127.0000 -
3585.62/3594.86 c 3595 1872 1853 1 - 127.0000 -
3590.71/3599.99 c 3600 1885 1866 0 - 127.0000 -
3591.60/3600.84 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.60/3600.84 c Total Time : 3600.8500
3591.60/3600.84 c solving : 3600.8500
3591.60/3600.84 c presolving : 251.9120 (included in solving)
3591.60/3600.84 c B&B Tree :
3591.60/3600.84 c nodes (total) : 1
3591.60/3600.84 c Solution :
3591.60/3600.84 c Solutions found : 0
3591.60/3600.84 c Primal Bound : -
3591.60/3600.84 c Dual Bound : +1.27000000000000e+02
3591.60/3600.84 c Gap : -
3592.19/3601.49 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (58637 MiB free)
memory of node 1: 64473 MiB (59737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434950-1721169022/watcher-4434950-1721169022 -o /tmp/evaluation-result-4434950-1721169022/solver-4434950-1721169022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874076 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434950-1721169022.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=877108, runsolver pid=877105
[startup+0.100771 s]*
/proc/loadavg: 4.09 4.13 4.09 5/246 877113
/proc/meminfo: memFree=121171776/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=70396 memory=57892 CPUtime=0.1 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 12415 0 0 0 6 4 0 0 20 0 1 0 169061071 72085504 14473 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 17599 14473 2318 3032 0 13999 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 70396 KiB
Current children cumulated memory: 57892 KiB
[startup+0.213687 s]*
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=121063540/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=143360 memory=129648 CPUtime=0.21 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 30348 0 0 0 14 7 0 0 20 0 1 0 169061071 146800640 32412 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 35840 32412 2318 3032 0 32240 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 143360 KiB
Current children cumulated memory: 129648 KiB
[startup+0.313465 s]*
/proc/loadavg: 4.09 4.13 4.09 6/249 877119
/proc/meminfo: memFree=120952668/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=202012 memory=189008 CPUtime=0.31 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 45188 0 0 0 22 9 0 0 20 0 1 0 169061071 206860288 47252 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 50503 47252 2318 3032 0 46903 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 202012 KiB
Current children cumulated memory: 189008 KiB
[startup+0.700344 s]
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=120887540/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=326808 memory=313928 CPUtime=0.68 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 76872 0 0 0 53 15 0 0 20 0 1 0 169061071 334651392 78416 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 81702 78416 2558 3032 0 78102 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 326808 KiB
Current children cumulated memory: 313928 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.13 4.09 5/249 877119
/proc/meminfo: memFree=120451440/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=517756 memory=500780 CPUtime=1.48 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 123571 0 0 0 125 23 0 0 20 0 1 0 169061071 530182144 125195 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 129439 125195 2622 3032 0 125839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 517756 KiB
Current children cumulated memory: 500780 KiB
[startup+3.11302 s]
/proc/loadavg: 4.17 4.14 4.09 5/243 877139
/proc/meminfo: memFree=121438752/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=619420 memory=601252 CPUtime=3.09 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 140222 0 0 0 281 28 0 0 20 0 1 0 169061071 634286080 150313 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 154855 150313 2702 3032 0 151255 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 619420 KiB
Current children cumulated memory: 601252 KiB
[startup+6.30031 s]
/proc/loadavg: 4.17 4.14 4.09 5/243 877181
/proc/meminfo: memFree=122397644/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1051584 memory=1000524 CPUtime=6.26 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 198817 0 0 0 586 40 0 0 20 0 1 0 169061071 1076822016 250131 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 262896 250131 2750 3032 0 259296 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1051584 KiB
Current children cumulated memory: 1000524 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.14 4.09 5/247 877215
/proc/meminfo: memFree=121725212/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1051584 memory=1000524 CPUtime=12.65 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 198840 0 0 0 1224 41 0 0 20 0 1 0 169061071 1076822016 250131 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 262896 250131 2750 3032 0 259296 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1051584 KiB
Current children cumulated memory: 1000524 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.09 5/247 877264
/proc/meminfo: memFree=121044360/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1052608 memory=1001600 CPUtime=25.4 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 199345 0 0 0 2499 41 0 0 20 0 1 0 169061071 1077870592 250400 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 263152 250400 2750 3032 0 259552 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1052608 KiB
Current children cumulated memory: 1001600 KiB
[startup+51.1127 s]
/proc/loadavg: 4.16 4.14 4.09 5/247 877269
/proc/meminfo: memFree=119752784/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1519264 memory=1382200 CPUtime=50.94 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 283055 0 0 0 5040 54 0 0 20 0 1 0 169061071 1555726336 345550 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 379816 345550 2782 3032 0 376216 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1519264 KiB
Current children cumulated memory: 1382200 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/247 877277
/proc/meminfo: memFree=119726788/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1519268 memory=1385784 CPUtime=101.98 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 283289 0 0 0 10143 55 0 0 20 0 1 0 169061071 1555730432 346446 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 379817 346446 2782 3032 0 376217 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1519268 KiB
Current children cumulated memory: 1385784 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/249 877290
/proc/meminfo: memFree=118434132/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1519276 memory=1385784 CPUtime=161.8 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 283304 0 0 0 16124 56 0 0 20 0 1 0 169061071 1555738624 346446 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 379819 346446 2782 3032 0 376219 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1519276 KiB
Current children cumulated memory: 1385784 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 877300
/proc/meminfo: memFree=118274000/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=1519276 memory=1387448 CPUtime=221.63 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 283340 0 0 0 22107 56 0 0 20 0 1 0 169061071 1555738624 346862 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 379819 346862 2782 3032 0 376219 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1519276 KiB
Current children cumulated memory: 1387448 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 877315
/proc/meminfo: memFree=115767236/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=2590004 memory=2387660 CPUtime=281.46 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 601067 0 0 0 28028 118 0 0 20 0 3 0 169061071 2652164096 596915 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 647501 596915 2798 3032 0 640186 0
[pid=877108/tid=877310] ppid=877105 vsize=2590004 memory=1387448 CPUtime=29.02 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 269185 0 0 0 2849 53 0 0 20 0 3 0 169086360 2652164096 596915 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=2590004 memory=2387660 CPUtime=0 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 169086441 2652164096 596915 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2590004 KiB
Current children cumulated memory: 2387660 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/249 877327
/proc/meminfo: memFree=114717888/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=3179828 memory=2899552 CPUtime=341.31 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 981914 0 0 0 33984 147 0 0 20 0 3 0 169061071 3256143872 724888 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 794957 724888 2926 3032 0 778843 0
[pid=877108/tid=877310] ppid=877105 vsize=3179828 memory=2830788 CPUtime=88.88 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 650015 0 0 0 8805 83 0 0 20 0 3 0 169086360 3256143872 724888 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=3179828 memory=2830872 CPUtime=0 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 169086441 3256143872 724888 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 3179828 KiB
Current children cumulated memory: 2899552 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/249 877337
/proc/meminfo: memFree=114407516/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=3326124 memory=3057284 CPUtime=401.17 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 1268457 0 0 0 39949 168 0 0 20 0 3 0 169061071 3405950976 764321 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 831531 764321 2926 3032 0 817359 0
[pid=877108/tid=877310] ppid=877105 vsize=3326124 memory=-6731022612574681959 CPUtime=148.72 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 936551 0 0 0 14769 103 0 0 20 0 3 0 169086360 3405950976 764321 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
################
# More data... #
################
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4229614 0 0 0 338982 374 0 0 20 0 3 0 169061071 4364177408 998332 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998332 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=43124 CPUtime=3140.99 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3896347 0 0 0 313796 303 0 0 20 0 3 0 169086360 4364177408 998332 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=11936 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 279 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998332 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993328 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.31 4.17 5/249 878942
/proc/meminfo: memFree=112846404/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3453.42 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4242458 0 0 0 344967 375 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=11936 CPUtime=3200.84 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3909139 0 0 0 319780 304 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=3993792 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 284 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.27 4.17 5/251 879123
/proc/meminfo: memFree=112816956/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3513.29 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4252393 0 0 0 350952 377 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3260.7 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3919042 0 0 0 325765 305 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=12740 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 289 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3513.29 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.29 4.18 5/251 879133
/proc/meminfo: memFree=112725536/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3573.15 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4270238 0 0 0 356937 378 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=12740 CPUtime=3320.56 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3936856 0 0 0 331750 306 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=43124 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3601.53 s]
# the end of solver process 877108 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.47 s, system=3.8517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.31 4.29 4.18 6/251 879133
/proc/meminfo: memFree=112725536/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3574.86 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4270385 0 0 0 357108 378 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=6720659948130812267 CPUtime=3322.27 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3937003 0 0 0 331921 306 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=-7088515896496776575 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3574.86 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3590.4 s]
/proc/loadavg: 4.28 4.28 4.18 5/251 879135
/proc/meminfo: memFree=112725476/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3581.23 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4271720 0 0 0 357744 379 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=12740 CPUtime=3328.64 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3938338 0 0 0 332557 307 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=6720659948130812267 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3581.23 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.28 4.18 5/254 879195
/proc/meminfo: memFree=112724748/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3587.62 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4271904 0 0 0 358383 379 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3335.03 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3938522 0 0 0 333196 307 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=3993792 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3600 s]*
/proc/loadavg: 4.24 4.27 4.18 5/254 879195
/proc/meminfo: memFree=112724772/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3590.82 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4272479 0 0 0 358703 379 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=12740 CPUtime=3338.23 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3939117 0 0 0 333516 307 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=-7088515896496840063 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3590.82 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3600.8 s]
/proc/loadavg: 4.24 4.27 4.18 5/254 879195
/proc/meminfo: memFree=112724772/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4261892 memory=3993792 CPUtime=3591.6 cores=5,7
/proc/877108/stat : 877108 (fscip) S 877105 877108 874063 0 -1 1077936128 4280145 0 0 0 358781 379 0 0 20 0 3 0 169061071 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1065473 998448 2974 3032 0 1039801 0
[pid=877108/tid=877310] ppid=877105 vsize=4261892 memory=28392 CPUtime=3339.01 cores=5,7
/proc/877108/task/877310/stat : 877310 (fscip) R 877105 877108 874063 0 -1 4194368 3946758 0 0 0 333594 307 0 0 20 0 3 0 169086360 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
[pid=877108/tid=877311] ppid=877105 vsize=4261892 memory=7320 CPUtime=0.05 cores=5,7
/proc/877108/task/877311/stat : 877311 (fscip) S 877105 877108 874063 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 169086441 4364177408 998448 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
Current children cumulated CPU time: 3591.6 s
Current children cumulated vsize: 4261892 KiB
Current children cumulated memory: 3993792 KiB
[startup+3601.2 s]
/proc/loadavg: 4.24 4.27 4.18 5/253 879195
/proc/meminfo: memFree=112886912/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4028880 memory=3829764 CPUtime=3591.99 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 4287123 0 0 0 358819 380 0 0 20 0 1 0 169061071 4125573120 957441 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1007220 957441 2974 3032 0 992116 0
Current children cumulated CPU time: 3591.99 s
Current children cumulated vsize: 4028880 KiB
Current children cumulated memory: 3829764 KiB
[startup+3601.4 s]
/proc/loadavg: 4.24 4.27 4.18 5/253 879195
/proc/meminfo: memFree=112886912/131655788 swapFree=131071996/131071996
[pid=877108] ppid=877105 vsize=4025832 memory=3826940 CPUtime=3592.19 cores=5,7
/proc/877108/stat : 877108 (fscip) R 877105 877108 874063 0 -1 4194304 4287405 0 0 0 358839 380 0 0 20 0 1 0 169061071 4122451968 956735 134679101440 4194304 16613245 140735072265120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37896192 140735072273429 140735072273545 140735072273545 140735072280560 0
/proc/877108/statm: 1006458 956735 2974 3032 0 991354 0
Current children cumulated CPU time: 3592.19 s
Current children cumulated vsize: 4025832 KiB
Current children cumulated memory: 3826940 KiB
[startup+3601.5 s]*
/proc/loadavg: 4.24 4.27 4.18 5/250 879195
/proc/meminfo: memFree=114525724/131655788 swapFree=131071996/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): 3601.53
CPU time (s): 3592.32
CPU user time (s): 3588.47
CPU system time (s): 3.8517
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 4261892
Max. memory (cumulated for all children) (KiB): 3993792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.47
system time used= 3.8517
maximum resident set size= 3993792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4292376
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= 5380
involuntary context switches= 1320
# summary of solver processes directly reported to runsolver:
# pid: 877108
# total CPU time (s): 3592.32
# total CPU user time (s): 3588.47
# total CPU system time (s): 3.8517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9416 second user time and 36.1597 second system time
The end
Begin job on nodeC005 at 2024-07-17 00:30:35
IDJOB=4434950
IDBENCH=158605
IDSOLVER=3064
FILE ID=nodeC005/4434950-1721169022
RUNJOBID= nodeC005-1721165433-874076
SLURM_JOB_ID= 7505788
Free space on /tmp= 723704 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434950-1721169022/watcher-4434950-1721169022 -o /tmp/evaluation-result-4434950-1721169022/solver-4434950-1721169022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721165433-874076 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434950-1721169022.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709
RANDOM SEED=781056659
nodeC005.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 : 3491.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3610.312
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.35
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.177
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.250
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.35
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 : 3662.961
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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 : 3491.768
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.35
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.386
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.53
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.186
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121216228 kB
MemAvailable: 126320096 kB
Buffers: 418980 kB
Cached: 5463424 kB
SwapCached: 0 kB
Active: 848212 kB
Inactive: 8909668 kB
Active(anon): 3448 kB
Inactive(anon): 3909756 kB
Active(file): 844764 kB
Inactive(file): 4999912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 69424 kB
Writeback: 12 kB
AnonPages: 3818132 kB
Mapped: 129544 kB
Shmem: 37704 kB
KReclaimable: 198780 kB
Slab: 312452 kB
SReclaimable: 198780 kB
SUnreclaim: 113672 kB
KernelStack: 3872 kB
PageTables: 16812 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2336720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3002368 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723648 MiB
End job on nodeC005 at 2024-07-17 01:30:36