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 = 491779820, getVmSize() = 315379712, SCIPgetMemUsed() = 256378244, SCIPgetMemTotal() = 278167252, SCIPgetMemExternEstim() = 213612568
0.59/0.64 c ** set memory limit for presolving in LC to 8.79595e+12 for SCIP **
15.63/15.71 c ** Estimated virtualMemUsedAtSolver = 696893051, getVmSize() = 893169664, SCIPgetMemUsed() = 507184377, SCIPgetMemTotal() = 831727009, SCIPgetMemExternEstim() = 213612568
15.63/15.71 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
15.63/15.71 c Original Problem :
15.63/15.71 c Problem name : instance-4464459-1722382203
15.63/15.71 c Variables : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
15.63/15.71 c Constraints : 199352
15.63/15.71 c Objective sense : minimize
15.63/15.71 c Presolved Problem :
15.63/15.71 c Variables : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
15.63/15.71 c Constraints : 196526
15.63/15.71 c Constraints : Number
15.63/15.71 c knapsack : 20454
15.63/15.71 c setppc : 40318
15.63/15.71 c linear : 2
15.63/15.71 c logicor : 135752
15.63/15.71 c ** Instance transfer method used: 0
15.93/16.02 c ** ParaScipInstance copy does not increase the number of variables. **
16.13/16.28 c LC is working with racing ramp-up and with rebuilding tree after racing.
16.13/16.28 c Nodes Active
16.13/16.28 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
204.51/205.15 c 205 2 1 1 - 0.0000 -
209.68/210.34 c 210 16 15 1 - 0.0000 -
215.77/216.46 c 216 20 19 1 - 0.0000 -
233.62/234.33 c 234 22 21 1 - 0.0000 -
249.47/250.29 c 250 26 25 1 - 0.0000 -
258.35/259.19 c 259 32 31 1 - 0.0000 -
266.22/267.09 c 267 34 33 1 - 0.0000 -
271.81/272.63 c 273 39 38 1 - 0.0000 -
280.38/281.21 c 281 46 45 1 - 0.0000 -
404.79/405.97 c 406 52 51 1 - 0.0000 -
411.46/412.65 c 413 56 55 1 - 0.0000 -
417.65/418.82 c 419 63 62 1 - 0.0000 -
426.52/427.70 c 428 66 65 1 - 0.0000 -
432.60/433.87 c 434 78 77 1 - 0.0000 -
441.88/443.12 c 443 82 81 1 - 0.0000 -
448.35/449.63 c 450 92 91 1 - 0.0000 -
457.43/458.78 c 459 97 96 1 - 0.0000 -
478.68/480.05 c 480 102 101 1 - 0.0000 -
484.76/486.14 c 486 106 105 1 - 0.0000 -
489.84/491.21 c 491 119 118 1 - 0.0000 -
501.71/503.10 c 503 122 121 1 - 0.0000 -
507.88/509.30 c 509 126 125 1 - 0.0000 -
515.45/516.98 c 517 135 134 1 - 0.0000 -
522.54/524.03 c 524 142 141 1 - 0.0000 -
527.91/529.41 c 529 153 152 1 - 0.0000 -
533.09/534.60 c 535 161 160 1 - 0.0000 -
541.87/543.42 c 543 172 171 1 - 0.0000 -
549.64/551.21 c 551 176 175 1 - 0.0000 -
556.62/558.22 c 558 189 188 1 - 0.0000 -
574.16/575.85 c 576 196 195 1 - 0.0000 -
580.04/581.72 c 582 205 204 1 - 0.0000 -
585.72/587.48 c 587 219 218 1 - 0.0000 -
592.79/594.55 c 595 229 228 1 - 0.0000 -
609.04/610.86 c 611 237 236 1 - 0.0000 -
617.62/619.44 c 619 239 238 1 - 0.0000 -
623.60/625.41 c 625 245 244 1 - 0.0000 -
629.08/630.94 c 631 254 253 1 - 0.0000 -
635.06/636.91 c 637 266 265 1 - 0.0000 -
641.24/643.17 c 643 269 268 1 - 0.0000 -
648.81/650.79 c 651 272 271 1 - 0.0000 -
653.80/655.80 c 656 277 276 1 - 0.0000 -
663.87/665.84 c 666 282 281 1 - 0.0000 -
672.93/674.98 c 675 296 295 1 - 0.0000 -
684.49/686.59 c 687 307 306 1 - 0.0000 -
691.27/693.36 c 693 320 315 1 - 0.0000 -
698.75/700.83 c 701 322 317 1 - 0.0000 -
705.73/707.86 c 708 332 327 1 - 0.0000 -
711.41/713.57 c 714 337 332 1 - 0.0000 -
723.18/725.37 c 725 353 348 1 - 0.0000 -
728.35/730.59 c 731 356 351 1 - 0.0000 -
733.84/736.03 c 736 362 357 1 - 0.0000 -
755.57/757.88 c 758 368 363 1 - 0.0000 -
766.44/768.72 c 769 372 367 1 - 0.0000 -
775.91/778.20 c 778 393 388 1 - 0.0000 -
782.39/784.75 c 785 409 404 1 - 0.0000 -
793.26/795.62 c 796 415 408 1 - 0.0000 -
801.53/803.93 c 804 418 411 1 - 0.0000 -
809.01/811.40 c 811 426 419 1 - 0.0000 -
819.48/821.92 c 822 429 422 1 - 0.0000 -
827.06/829.59 c 830 445 436 1 - 0.0000 -
837.23/839.71 c 840 462 453 1 - 0.0000 -
843.32/845.87 c 846 468 459 1 - 0.0000 -
848.70/851.24 c 851 475 466 1 - 0.0000 -
853.78/856.32 c 856 484 475 1 - 0.0000 -
860.97/863.57 c 864 492 479 1 - 0.0000 -
870.45/873.04 c 873 508 495 1 - 0.0000 -
877.02/879.64 c 880 525 512 1 - 0.0000 -
896.77/899.42 c 899 528 515 1 - 0.0000 -
903.96/906.61 c 907 532 519 1 - 0.0000 -
910.84/913.59 c 914 546 531 1 - 0.0000 -
920.22/922.96 c 923 558 543 1 - 0.0000 -
925.80/928.58 c 929 590 575 1 - 0.0000 -
934.57/937.33 c 937 604 587 1 - 0.0000 -
939.86/942.65 c 943 612 595 1 - 0.0000 -
947.54/950.31 c 950 623 606 1 - 0.0000 -
956.61/959.44 c 959 629 612 1 - 0.0000 -
962.70/965.54 c 966 641 624 1 - 0.0000 -
968.38/971.26 c 971 659 642 1 - 0.0000 -
973.66/976.54 c 977 681 664 1 - 0.0000 -
979.75/982.62 c 983 682 665 1 - 0.0000 -
984.94/987.86 c 988 688 671 1 - 0.0000 -
990.13/993.09 c 993 699 682 1 - 0.0000 -
1000.00/1003.00 c 1003 702 685 1 - 0.0000 -
1006.68/1009.65 c 1010 708 691 1 - 0.0000 -
1012.56/1015.52 c 1016 714 697 1 - 0.0000 -
1018.35/1021.33 c 1021 728 711 1 - 0.0000 -
1027.82/1030.88 c 1031 732 715 1 - 0.0000 -
1034.51/1037.57 c 1038 742 725 1 - 0.0000 -
1043.19/1046.25 c 1046 745 728 1 - 0.0000 -
1052.26/1055.31 c 1055 748 731 1 - 0.0000 -
1065.13/1068.26 c 1068 762 745 1 - 0.0000 -
1070.22/1073.33 c 1073 766 749 1 - 0.0000 -
1079.70/1082.82 c 1083 780 763 1 - 0.0000 -
1088.68/1091.87 c 1092 783 766 1 - 0.0000 -
1098.05/1101.22 c 1101 802 783 1 - 0.0000 -
1106.73/1109.96 c 1110 806 787 1 - 0.0000 -
1112.02/1115.25 c 1115 824 805 1 - 0.0000 -
1127.48/1130.78 c 1131 832 813 1 - 0.0000 -
1137.95/1141.21 c 1141 835 816 1 - 0.0000 -
1144.34/1147.61 c 1148 841 822 1 - 0.0000 -
1154.91/1158.25 c 1158 842 823 1 - 0.0000 -
1162.30/1165.66 c 1166 845 826 1 - 0.0000 -
1167.58/1170.94 c 1171 864 842 1 - 0.0000 -
1173.57/1176.97 c 1177 872 850 1 - 0.0000 -
1178.95/1182.31 c 1182 881 859 1 - 0.0000 -
1191.83/1195.23 c 1195 882 860 1 - 0.0000 -
1199.41/1202.87 c 1203 885 863 1 - 0.0000 -
1208.19/1211.60 c 1212 892 870 1 - 0.0000 -
1214.58/1218.04 c 1218 896 872 1 - 0.0000 -
1223.57/1227.08 c 1227 900 876 1 - 0.0000 -
1230.24/1233.78 c 1234 916 892 1 - 0.0000 -
1235.83/1239.36 c 1239 932 908 1 - 0.0000 -
1241.12/1244.69 c 1245 935 911 1 - 0.0000 -
1248.00/1251.58 c 1252 938 914 1 - 0.0000 -
1266.16/1269.74 c 1270 945 921 1 - 0.0000 -
1271.75/1275.35 c 1275 959 935 1 - 0.0000 -
1276.84/1280.48 c 1280 972 948 1 - 0.0000 -
1282.32/1285.96 c 1286 983 957 1 - 0.0000 -
1288.00/1291.68 c 1292 995 969 1 - 0.0000 -
1293.99/1297.67 c 1298 999 973 1 - 0.0000 -
1301.78/1305.40 c 1305 1005 979 1 - 0.0000 -
1311.16/1314.85 c 1315 1012 986 1 - 0.0000 -
1317.64/1321.30 c 1321 1025 999 1 - 0.0000 -
1326.13/1329.89 c 1330 1032 1006 1 - 0.0000 -
1331.32/1335.09 c 1335 1044 1016 1 - 0.0000 -
1436.67/1440.66 c 1441 1051 1 1 - 0.0000 -
1677.66/1682.13 c 1682 1057 7 1 - 0.0000 -
1689.64/1694.19 c 1694 1061 11 1 - 0.0000 -
1694.72/1699.27 c 1699 1065 15 1 - 0.0000 -
1700.20/1704.77 c 1705 1069 19 1 - 0.0000 -
1718.76/1723.38 c 1723 1074 24 1 - 0.0000 -
1728.73/1733.36 c 1733 1077 27 1 - 0.0000 -
1735.52/1740.15 c 1740 1079 29 1 - 0.0000 -
1741.19/1745.81 c 1746 1089 39 1 - 0.0000 -
1746.87/1751.53 c 1752 1095 45 1 - 0.0000 -
1760.34/1765.08 c 1765 1103 53 1 - 0.0000 -
1765.62/1770.32 c 1770 1107 57 1 - 0.0000 -
1771.90/1776.65 c 1777 1109 59 1 - 0.0000 -
1777.49/1782.27 c 1782 1116 66 1 - 0.0000 -
1786.65/1791.48 c 1791 1123 73 1 - 0.0000 -
1792.35/1797.16 c 1797 1126 76 1 - 0.0000 -
1801.42/1806.27 c 1806 1128 78 1 - 0.0000 -
1808.20/1813.05 c 1813 1131 81 1 - 0.0000 -
1821.66/1826.59 c 1827 1134 84 1 - 0.0000 -
1836.13/1841.10 c 1841 1151 101 1 - 0.0000 -
1841.61/1846.55 c 1847 1161 111 1 - 0.0000 -
1848.69/1853.64 c 1854 1168 118 1 - 0.0000 -
1854.27/1859.28 c 1859 1172 122 1 - 0.0000 -
1862.44/1867.41 c 1867 1178 128 1 - 0.0000 -
1869.52/1874.54 c 1875 1184 134 1 - 0.0000 -
1879.49/1884.58 c 1885 1191 141 1 - 0.0000 -
1887.77/1892.89 c 1893 1195 145 1 - 0.0000 -
1898.84/1903.98 c 1904 1198 148 1 - 0.0000 -
1904.83/1909.92 c 1910 1202 152 1 - 0.0000 -
1916.00/1921.18 c 1921 1211 161 1 - 0.0000 -
1923.47/1928.69 c 1929 1219 169 1 - 0.0000 -
1935.14/1940.39 c 1940 1227 177 1 - 0.0000 -
1946.42/1951.61 c 1952 1235 185 1 - 0.0000 -
1957.89/1963.16 c 1963 1237 187 1 - 0.0000 -
1979.92/1985.20 c 1985 1242 192 1 - 0.0000 -
1987.90/1993.24 c 1993 1246 196 1 - 0.0000 -
1996.88/2002.22 c 2002 1249 199 1 - 0.0000 -
2002.36/2007.77 c 2008 1252 202 1 - 0.0000 -
2008.54/2013.96 c 2014 1257 207 1 - 0.0000 -
2016.01/2021.43 c 2021 1275 225 1 - 0.0000 -
2022.29/2027.79 c 2028 1280 230 1 - 0.0000 -
2028.07/2033.51 c 2034 1285 235 1 - 0.0000 -
2033.95/2039.45 c 2039 1291 241 1 - 0.0000 -
2039.93/2045.40 c 2045 1297 247 1 - 0.0000 -
2045.11/2050.67 c 2051 1299 249 1 - 0.0000 -
2052.49/2058.02 c 2058 1302 252 1 - 0.0000 -
2070.23/2075.87 c 2076 1312 262 1 - 0.0000 -
2082.60/2088.22 c 2088 1314 264 1 - 0.0000 -
2088.58/2094.29 c 2094 1321 271 1 - 0.0000 -
2094.16/2099.88 c 2100 1325 275 1 - 0.0000 -
2099.24/2104.99 c 2105 1333 283 1 - 0.0000 -
2105.22/2110.97 c 2111 1339 289 1 - 0.0000 -
2112.50/2118.22 c 2118 1343 293 1 - 0.0000 -
2118.78/2124.54 c 2125 1347 297 1 - 0.0000 -
2124.06/2129.83 c 2130 1350 300 1 - 0.0000 -
2143.31/2149.17 c 2149 1351 301 1 - 0.0000 -
2148.79/2154.62 c 2155 1354 304 1 - 0.0000 -
2160.75/2166.66 c 2167 1359 309 1 - 0.0000 -
2172.22/2178.14 c 2178 1361 311 1 - 0.0000 -
2187.07/2193.09 c 2193 1371 321 1 - 0.0000 -
2200.93/2206.96 c 2207 1377 327 1 - 0.0000 -
2206.61/2212.62 c 2213 1379 329 1 - 0.0000 -
2217.08/2223.12 c 2223 1381 331 1 - 0.0000 -
2225.15/2231.29 c 2231 1386 336 1 - 0.0000 -
2232.43/2238.59 c 2239 1389 339 1 - 0.0000 -
2240.21/2246.36 c 2246 1391 341 1 - 0.0000 -
2248.38/2254.56 c 2255 1404 354 1 - 0.0000 -
2254.46/2260.62 c 2261 1413 363 1 - 0.0000 -
2260.53/2266.76 c 2267 1421 371 1 - 0.0000 -
2268.60/2274.89 c 2275 1425 375 1 - 0.0000 -
2278.97/2285.29 c 2285 1428 378 1 - 0.0000 -
2304.99/2311.37 c 2311 1431 381 1 - 0.0000 -
2321.84/2328.24 c 2328 1433 383 1 - 0.0000 -
2327.62/2334.04 c 2334 1437 387 1 - 0.0000 -
2343.88/2350.30 c 2350 1446 396 1 - 0.0000 -
2358.43/2364.96 c 2365 1448 398 1 - 0.0000 -
2363.51/2370.00 c 2370 1450 400 1 - 0.0000 -
2372.98/2379.56 c 2380 1453 403 1 - 0.0000 -
2388.33/2394.92 c 2395 1463 413 1 - 0.0000 -
2400.59/2407.28 c 2407 1471 421 1 - 0.0000 -
2412.05/2418.71 c 2419 1473 423 1 - 0.0000 -
2437.08/2443.85 c 2444 1475 425 1 - 0.0000 -
2443.96/2450.77 c 2451 1479 429 1 - 0.0000 -
2453.62/2460.46 c 2460 1481 431 1 - 0.0000 -
2467.68/2474.54 c 2475 1483 433 1 - 0.0000 -
2480.74/2487.67 c 2488 1485 435 1 - 0.0000 -
2489.81/2496.73 c 2497 1487 437 1 - 0.0000 -
2496.10/2503.08 c 2503 1492 442 1 - 0.0000 -
2501.58/2508.58 c 2509 1495 445 1 - 0.0000 -
2509.45/2516.47 c 2516 1499 449 1 - 0.0000 -
2518.32/2525.34 c 2525 1501 451 1 - 0.0000 -
2530.49/2537.52 c 2538 1503 453 1 - 0.0000 -
2536.37/2543.43 c 2543 1509 459 1 - 0.0000 -
2545.93/2553.05 c 2553 1511 461 1 - 0.0000 -
2552.31/2559.46 c 2559 1513 463 1 - 0.0000 -
2558.19/2565.36 c 2565 1516 466 1 - 0.0000 -
2568.86/2576.08 c 2576 1517 467 1 - 0.0000 -
2579.62/2586.81 c 2587 1525 475 1 - 0.0000 -
2589.59/2596.80 c 2597 1528 478 1 - 0.0000 -
2599.46/2606.79 c 2607 1532 482 1 - 0.0000 -
2612.42/2619.72 c 2620 1539 489 1 - 0.0000 -
2619.89/2627.25 c 2627 1543 493 1 - 0.0000 -
2625.47/2632.87 c 2633 1549 499 1 - 0.0000 -
2635.84/2643.28 c 2643 1551 501 1 - 0.0000 -
2642.82/2650.24 c 2650 1559 509 1 - 0.0000 -
2651.70/2659.19 c 2659 1561 511 1 - 0.0000 -
2658.97/2666.41 c 2666 1570 520 1 - 0.0000 -
2666.34/2673.83 c 2674 1577 527 1 - 0.0000 -
2681.18/2688.72 c 2689 1581 531 1 - 0.0000 -
2688.06/2695.62 c 2696 1582 532 1 - 0.0000 -
2698.73/2706.38 c 2706 1583 533 1 - 0.0000 -
2705.41/2713.01 c 2713 1592 542 1 - 0.0000 -
2712.39/2720.03 c 2720 1601 551 1 - 0.0000 -
2722.25/2729.92 c 2730 1607 557 1 - 0.0000 -
2728.83/2736.51 c 2737 1615 565 1 - 0.0000 -
2738.10/2745.80 c 2746 1619 569 1 - 0.0000 -
2751.27/2759.01 c 2759 1631 581 1 - 0.0000 -
2770.00/2777.87 c 2778 1637 587 1 - 0.0000 -
2780.86/2788.77 c 2789 1639 589 1 - 0.0000 -
2786.04/2793.93 c 2794 1643 593 1 - 0.0000 -
2792.52/2800.42 c 2800 1646 596 1 - 0.0000 -
2798.60/2806.59 c 2807 1651 601 1 - 0.0000 -
2804.59/2812.55 c 2813 1654 604 1 - 0.0000 -
2819.24/2827.21 c 2827 1657 607 1 - 0.0000 -
2825.13/2833.15 c 2833 1661 611 1 - 0.0000 -
2841.87/2849.92 c 2850 1663 613 1 - 0.0000 -
2848.26/2856.36 c 2856 1665 615 1 - 0.0000 -
2853.64/2861.71 c 2862 1669 619 1 - 0.0000 -
2872.39/2880.57 c 2881 1671 621 1 - 0.0000 -
2881.46/2889.62 c 2890 1673 623 1 - 0.0000 -
2891.62/2899.83 c 2900 1677 627 1 - 0.0000 -
2897.21/2905.46 c 2905 1680 630 1 - 0.0000 -
2903.59/2911.89 c 2912 1684 634 1 - 0.0000 -
2909.96/2918.21 c 2918 1688 638 1 - 0.0000 -
2916.14/2924.42 c 2924 1692 642 1 - 0.0000 -
2923.72/2932.04 c 2932 1696 646 1 - 0.0000 -
2932.39/2940.70 c 2941 1702 652 1 - 0.0000 -
2937.77/2946.17 c 2946 1706 656 1 - 0.0000 -
2944.84/2953.24 c 2953 1714 664 1 - 0.0000 -
2955.62/2964.10 c 2964 1721 671 1 - 0.0000 -
2960.70/2969.15 c 2969 1725 675 1 - 0.0000 -
2969.98/2978.44 c 2978 1735 685 1 - 0.0000 -
2977.45/2985.95 c 2986 1738 688 1 - 0.0000 -
2991.61/3000.14 c 3000 1741 691 1 - 0.0000 -
2998.98/3007.57 c 3008 1747 697 1 - 0.0000 -
3006.75/3015.33 c 3015 1752 702 1 - 0.0000 -
3017.42/3026.06 c 3026 1755 705 1 - 0.0000 -
3023.30/3031.94 c 3032 1758 708 1 - 0.0000 -
3029.87/3038.57 c 3039 1762 712 1 - 0.0000 -
3036.25/3044.96 c 3045 1766 716 1 - 0.0000 -
3042.13/3050.86 c 3051 1770 720 1 - 0.0000 -
3052.09/3060.85 c 3061 1773 723 1 - 0.0000 -
3067.45/3076.24 c 3076 1778 728 1 - 0.0000 -
3074.03/3082.82 c 3083 1781 731 1 - 0.0000 -
3079.12/3087.90 c 3088 1789 739 1 - 0.0000 -
3100.75/3109.67 c 3110 1791 741 1 - 0.0000 -
3105.93/3114.80 c 3115 1796 746 1 - 0.0000 -
3111.22/3120.14 c 3120 1797 747 1 - 0.0000 -
3117.69/3126.67 c 3127 1805 755 1 - 0.0000 -
3123.98/3132.94 c 3133 1814 764 1 - 0.0000 -
3131.55/3140.53 c 3141 1818 768 1 - 0.0000 -
3160.16/3169.29 c 3169 1821 771 1 - 0.0000 -
3172.32/3181.45 c 3181 1823 773 1 - 0.0000 -
3179.81/3188.93 c 3189 1828 778 1 - 0.0000 -
3186.48/3195.62 c 3196 1830 780 1 - 0.0000 -
3191.96/3201.17 c 3201 1834 784 1 - 0.0000 -
3199.63/3208.83 c 3209 1841 791 1 - 0.0000 -
3214.19/3223.45 c 3223 1842 792 1 - 0.0000 -
3220.07/3229.33 c 3229 1852 802 1 - 0.0000 -
3227.74/3237.07 c 3237 1858 808 1 - 0.0000 -
3233.61/3242.91 c 3243 1866 816 1 - 0.0000 -
3240.80/3250.17 c 3250 1873 823 1 - 0.0000 -
3257.25/3266.62 c 3267 1874 824 1 - 0.0000 -
3264.32/3273.74 c 3274 1878 828 1 - 0.0000 -
3271.90/3281.36 c 3281 1883 833 1 - 0.0000 -
3277.58/3287.08 c 3287 1887 837 1 - 0.0000 -
3283.36/3292.87 c 3293 1889 839 1 - 0.0000 -
3288.74/3298.22 c 3298 1892 842 1 - 0.0000 -
3294.82/3304.32 c 3304 1898 848 1 - 0.0000 -
3301.00/3310.58 c 3311 1902 852 1 - 0.0000 -
3314.46/3324.04 c 3324 1905 855 1 - 0.0000 -
3319.84/3329.43 c 3329 1913 863 1 - 0.0000 -
3325.62/3335.27 c 3335 1921 871 1 - 0.0000 -
3331.40/3341.04 c 3341 1926 876 1 - 0.0000 -
3337.28/3346.96 c 3347 1931 881 1 - 0.0000 -
3342.76/3352.47 c 3352 1935 885 1 - 0.0000 -
3349.04/3358.78 c 3359 1938 888 1 - 0.0000 -
3358.01/3367.70 c 3368 1942 892 1 - 0.0000 -
3363.60/3373.38 c 3373 1947 897 1 - 0.0000 -
3378.46/3388.20 c 3388 1953 903 1 - 0.0000 -
3395.33/3405.19 c 3405 1955 905 1 - 0.0000 -
3408.99/3418.86 c 3419 1957 907 1 - 0.0000 -
3417.17/3427.10 c 3427 1959 909 1 - 0.0000 -
3430.14/3440.09 c 3440 1964 914 1 - 0.0000 -
3436.33/3446.26 c 3446 1970 920 1 - 0.0000 -
3441.51/3451.47 c 3451 1971 921 1 - 0.0000 -
3450.08/3460.02 c 3460 1978 928 1 - 0.0000 -
3465.84/3475.87 c 3476 1979 929 1 - 0.0000 -
3472.42/3482.45 c 3482 1984 934 1 - 0.0000 -
3477.60/3487.68 c 3488 1991 941 1 - 0.0000 -
3483.18/3493.21 c 3493 1997 947 1 - 0.0000 -
3495.85/3505.98 c 3506 2001 951 1 - 0.0000 -
3509.92/3520.08 c 3520 2003 953 1 - 0.0000 -
3516.60/3526.70 c 3527 2007 957 1 - 0.0000 -
3524.08/3534.21 c 3534 2010 960 1 - 0.0000 -
3529.87/3540.05 c 3540 2017 967 1 - 0.0000 -
3540.04/3550.21 c 3550 2018 968 1 - 0.0000 -
3548.12/3558.32 c 3558 2021 971 1 - 0.0000 -
3557.40/3567.63 c 3568 2028 978 1 - 0.0000 -
3574.66/3584.94 c 3585 2031 981 1 - 0.0000 -
3581.14/3591.40 c 3591 2033 983 1 - 0.0000 -
3591.61/3601.97 c 3602 2044 994 0 - 0.0000 -
3592.01/3602.38 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.01/3602.38 c Total Time : 3602.3800
3592.01/3602.38 c solving : 3602.3800
3592.01/3602.38 c presolving : 15.0677 (included in solving)
3592.01/3602.38 c B&B Tree :
3592.01/3602.38 c nodes (total) : 1
3592.01/3602.38 c Solution :
3592.01/3602.38 c Solutions found : 0
3592.01/3602.38 c Primal Bound : -
3592.01/3602.38 c Dual Bound : +0.00000000000000e+00
3592.01/3602.38 c Gap : -
3592.32/3602.62 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (53156 MiB free)
memory of node 1: 64510 MiB (61582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464459-1722382203/watcher-4464459-1722382203 -o /tmp/evaluation-result-4464459-1722382203/solver-4464459-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30929 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464459-1722382203.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=33239, runsolver pid=33236
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.19 4.18 4.09 5/267 33240
/proc/meminfo: memFree=117458212/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=56620 memory=44904 CPUtime=0.09 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 9119 0 0 0 8 1 0 0 20 0 1 0 4815871 57978880 11226 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 14155 11226 2347 3035 0 10551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56620 KiB
Current children cumulated memory: 44904 KiB
[startup+0.205799 s]*
/proc/loadavg: 4.19 4.18 4.09 5/267 33240
/proc/meminfo: memFree=117439000/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=88724 memory=76284 CPUtime=0.2 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 16995 0 0 0 18 2 0 0 20 0 1 0 4815871 90853376 19071 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 22181 19071 2347 3035 0 18577 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88724 KiB
Current children cumulated memory: 76284 KiB
[startup+0.305825 s]*
/proc/loadavg: 4.19 4.18 4.09 5/267 33240
/proc/meminfo: memFree=117514400/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=118160 memory=105596 CPUtime=0.3 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 24339 0 0 0 27 3 0 0 20 0 1 0 4815871 120995840 26399 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 29540 26399 2347 3035 0 25936 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118160 KiB
Current children cumulated memory: 105596 KiB
[startup+0.700231 s]
/proc/loadavg: 4.19 4.18 4.09 5/267 33240
/proc/meminfo: memFree=117634756/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=312416 memory=296316 CPUtime=0.68 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 72449 0 0 0 59 9 0 0 20 0 1 0 4815871 319913984 74079 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 78104 74079 2614 3035 0 74500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 312416 KiB
Current children cumulated memory: 296316 KiB
[startup+1.50024 s]
/proc/loadavg: 4.18 4.18 4.09 5/265 33254
/proc/meminfo: memFree=119181764/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=478104 memory=458640 CPUtime=1.49 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 90387 0 0 0 134 15 0 0 20 0 1 0 4815871 489578496 114660 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 119526 114660 2678 3035 0 115922 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 478104 KiB
Current children cumulated memory: 458640 KiB
[startup+3.10558 s]
/proc/loadavg: 4.18 4.18 4.09 5/265 33254
/proc/meminfo: memFree=119091216/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=468772 memory=447408 CPUtime=3.09 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 114311 0 0 0 290 19 0 0 20 0 1 0 4815871 480022528 111852 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 117193 111852 2742 3035 0 113589 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 447408 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.17 4.09 5/263 33302
/proc/meminfo: memFree=121210112/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=468772 memory=447940 CPUtime=6.28 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 114447 0 0 0 608 20 0 0 20 0 1 0 4815871 480022528 111985 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 117193 111985 2758 3035 0 113589 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 447940 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.17 4.09 5/269 33394
/proc/meminfo: memFree=121018092/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=468772 memory=447940 CPUtime=12.64 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 114465 0 0 0 1244 20 0 0 20 0 1 0 4815871 480022528 111985 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 117193 111985 2758 3035 0 113589 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 447940 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.09 5/270 33399
/proc/meminfo: memFree=118682548/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=1987128 memory=1788912 CPUtime=25.36 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 309240 0 0 0 2471 65 0 0 20 0 3 0 4815871 2034819072 447228 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 496782 447228 2950 3035 0 484041 0
[pid=33239/tid=33396] ppid=33236 vsize=1987128 memory=1278340 CPUtime=9.39 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 152719 0 0 0 907 32 0 0 20 0 3 0 4817442 2034819072 447228 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=1987128 memory=447940 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4817499 2034819072 447228 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1987128 KiB
Current children cumulated memory: 1788912 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.16 4.09 5/270 33405
/proc/meminfo: memFree=118640436/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2010560 memory=1816468 CPUtime=50.92 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 365817 0 0 0 5023 69 0 0 20 0 3 0 4815871 2058813440 454117 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 502640 454117 2950 3035 0 496742 0
[pid=33239/tid=33396] ppid=33236 vsize=2010560 memory=1816468 CPUtime=34.95 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 209288 0 0 0 3459 36 0 0 20 0 3 0 4817442 2058813440 454117 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=2010560 memory=11584 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4817499 2058813440 454117 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2010560 KiB
Current children cumulated memory: 1816468 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/270 33414
/proc/meminfo: memFree=118597068/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2062632 memory=1831796 CPUtime=101.99 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 480088 0 0 0 10122 77 0 0 20 0 3 0 4815871 2112135168 457949 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 515658 457949 2950 3035 0 509760 0
[pid=33239/tid=33396] ppid=33236 vsize=2062632 memory=1831756 CPUtime=86.02 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 323551 0 0 0 8558 44 0 0 20 0 3 0 4817442 2112135168 457949 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=2062632 memory=1831796 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4817499 2112135168 457949 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2062632 KiB
Current children cumulated memory: 1831796 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/268 33471
/proc/meminfo: memFree=121205860/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2136348 memory=1832020 CPUtime=161.83 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 586028 0 0 0 16100 83 0 0 20 0 3 0 4815871 2187620352 458005 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 534087 458005 2950 3035 0 528189 0
[pid=33239/tid=33396] ppid=33236 vsize=2136348 memory=11584 CPUtime=145.85 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 429483 0 0 0 14535 50 0 0 20 0 3 0 4817442 2187620352 458005 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=2136348 memory=12704 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4817499 2187620352 458005 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2136348 KiB
Current children cumulated memory: 1832020 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 6/265 33482
/proc/meminfo: memFree=120868296/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2453792 memory=2059116 CPUtime=221.65 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 723304 0 0 0 22067 98 0 0 20 0 3 0 4815871 2512683008 514779 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 613448 514779 2950 3035 0 602895 0
[pid=33239/tid=33396] ppid=33236 vsize=2453792 memory=1832600 CPUtime=205.68 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 566700 0 0 0 20503 65 0 0 20 0 3 0 4817442 2512683008 514779 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=2453792 memory=2059108 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4817499 2512683008 514779 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2453792 KiB
Current children cumulated memory: 2059116 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/267 33496
/proc/meminfo: memFree=119027840/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2519328 memory=2064408 CPUtime=281.48 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 794501 0 0 0 28044 104 0 0 20 0 3 0 4815871 2579791872 516102 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 629832 516102 2998 3035 0 610500 0
[pid=33239/tid=33396] ppid=33236 vsize=2519328 memory=2059936 CPUtime=265.5 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 637849 0 0 0 26479 71 0 0 20 0 3 0 4817442 2579791872 516102 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=2519328 memory=2061340 CPUtime=0 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4817499 2579791872 516102 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2519328 KiB
Current children cumulated memory: 2064408 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/263 33506
################
# More data... #
################
/proc/loadavg: 4.19 4.20 4.13 5/266 35093
/proc/meminfo: memFree=99360356/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3392.53 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2555486 0 0 0 339017 236 0 0 20 0 3 0 4815871 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 998638 627440 3014 3035 0 971467 0
[pid=33239/tid=33396] ppid=33236 vsize=3994552 memory=2494400 CPUtime=3376.46 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2397176 0 0 0 337448 198 0 0 20 0 3 0 4817442 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=3994552 memory=12672 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 256 0 0 0 1 3 0 0 20 0 3 0 4817499 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 3994552 KiB
Current children cumulated memory: 2509760 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/267 35105
/proc/meminfo: memFree=99356144/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3452.37 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2568776 0 0 0 345000 237 0 0 20 0 3 0 4815871 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 998638 627440 3014 3035 0 971467 0
[pid=33239/tid=33396] ppid=33236 vsize=3994552 memory=2494400 CPUtime=3436.31 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2410426 0 0 0 343432 199 0 0 20 0 3 0 4817442 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=3994552 memory=12672 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 261 0 0 0 1 3 0 0 20 0 3 0 4817499 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 3994552 KiB
Current children cumulated memory: 2509760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.12 5/267 35286
/proc/meminfo: memFree=99352064/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3512.21 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2587484 0 0 0 350982 239 0 0 20 0 3 0 4815871 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 998638 627440 3014 3035 0 971467 0
[pid=33239/tid=33396] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3496.13 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2429095 0 0 0 349413 200 0 0 20 0 3 0 4817442 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=3994552 memory=2509760 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 263 0 0 0 1 3 0 0 20 0 3 0 4817499 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 3994552 KiB
Current children cumulated memory: 2509760 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.12 6/267 35296
/proc/meminfo: memFree=99349488/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3572.06 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2591915 0 0 0 356966 240 0 0 20 0 3 0 4815871 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 998638 627440 3014 3035 0 971467 0
[pid=33239/tid=33396] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3555.98 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2433491 0 0 0 355397 201 0 0 20 0 3 0 4817442 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=3994552 memory=2509760 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 3994552 KiB
Current children cumulated memory: 2509760 KiB
[startup+3602.63 s]
# the end of solver process 33239 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.92 s, system=2.4349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.17 4.12 5/267 35296
/proc/meminfo: memFree=99349448/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=3994552 memory=2509760 CPUtime=3573.76 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2591915 0 0 0 357136 240 0 0 20 0 3 0 4815871 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 998638 627440 3014 3035 0 971467 0
[pid=33239/tid=33396] ppid=33236 vsize=3994552 memory=-5155630184919559045 CPUtime=3557.68 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2433491 0 0 0 355567 201 0 0 20 0 3 0 4817442 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=3994552 memory=7294779845770255892 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4090421248 627440 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3573.76 s
Current children cumulated vsize: 3994552 KiB
Current children cumulated memory: 2509760 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.16 4.12 5/267 35298
/proc/meminfo: memFree=99348832/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=4012992 memory=2509764 CPUtime=3580.14 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2592635 0 0 0 357774 240 0 0 20 0 3 0 4815871 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 1003248 627441 3014 3035 0 976077 0
[pid=33239/tid=33396] ppid=33236 vsize=4012992 memory=11584 CPUtime=3564.06 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2434211 0 0 0 356205 201 0 0 20 0 3 0 4817442 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=4012992 memory=2509760 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3580.14 s
Current children cumulated vsize: 4012992 KiB
Current children cumulated memory: 2509764 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348896/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=4012992 memory=2509764 CPUtime=3586.52 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2601582 0 0 0 358412 240 0 0 20 0 3 0 4815871 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 1003248 627441 3014 3035 0 976077 0
[pid=33239/tid=33396] ppid=33236 vsize=4012992 memory=2160 CPUtime=3570.44 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2443156 0 0 0 356843 201 0 0 20 0 3 0 4817442 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=4012992 memory=2509764 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3586.52 s
Current children cumulated vsize: 4012992 KiB
Current children cumulated memory: 2509764 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348460/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=4012992 memory=2509764 CPUtime=3589.72 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2601643 0 0 0 358732 240 0 0 20 0 3 0 4815871 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 1003248 627441 3014 3035 0 976077 0
[pid=33239/tid=33396] ppid=33236 vsize=4012992 memory=-5155630184919559045 CPUtime=3573.64 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2443217 0 0 0 357163 201 0 0 20 0 3 0 4817442 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=4012992 memory=6804 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3589.72 s
Current children cumulated vsize: 4012992 KiB
Current children cumulated memory: 2509764 KiB
[startup+3601.6 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348460/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=4012992 memory=2509764 CPUtime=3591.31 cores=5,7
/proc/33239/stat : 33239 (fscip) S 33236 33239 30916 0 -1 1077936128 2601643 0 0 0 358891 240 0 0 20 0 3 0 4815871 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 1003248 627441 3014 3035 0 976077 0
[pid=33239/tid=33396] ppid=33236 vsize=4012992 memory=12936 CPUtime=3575.23 cores=5,7
/proc/33239/task/33396/stat : 33396 (fscip) R 33236 33239 30916 0 -1 4194368 2443217 0 0 0 357322 201 0 0 20 0 3 0 4817442 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
[pid=33239/tid=33398] ppid=33236 vsize=4012992 memory=2509764 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 3 0 4817499 4109303808 627441 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3591.31 s
Current children cumulated vsize: 4012992 KiB
Current children cumulated memory: 2509764 KiB
[startup+3602.4 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348468/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2412676 memory=2008048 CPUtime=3592.11 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 2612491 0 0 0 358970 241 0 0 20 0 2 0 4815871 2470580224 502012 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 603169 502012 3014 3035 0 585054 0
[pid=33239/tid=33398] ppid=33236 vsize=2412676 memory=2509764 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 2 0 4817499 2470580224 502012 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3592.11 s
Current children cumulated vsize: 2412676 KiB
Current children cumulated memory: 2008048 KiB
[startup+3602.6 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35299
/proc/meminfo: memFree=99348468/131524600 swapFree=131071996/131071996
[pid=33239] ppid=33236 vsize=2346212 memory=1941852 CPUtime=3592.32 cores=5,7
/proc/33239/stat : 33239 (fscip) R 33236 33239 30916 0 -1 4194304 2618370 0 0 0 358990 242 0 0 20 0 2 0 4815871 2402521088 485463 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
/proc/33239/statm: 586553 485463 3014 3035 0 568438 0
[pid=33239/tid=33398] ppid=33236 vsize=2346212 memory=2509764 CPUtime=0.04 cores=5,7
/proc/33239/task/33398/stat : 33398 (fscip) S 33236 33239 30916 0 -1 1077936192 267 0 0 0 1 3 0 0 20 0 2 0 4817499 2402521088 485463 134679101440 4194304 16623229 140734182044992 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 47448064 140734182048790 140734182048906 140734182048906 140734182055920 0
Current children cumulated CPU time: 3592.32 s
Current children cumulated vsize: 2346212 KiB
Current children cumulated memory: 1941852 KiB
Child status: 0
Real time (s): 3602.63
CPU time (s): 3592.35
CPU user time (s): 3589.92
CPU system time (s): 2.4349
CPU usage (%): 99.7147
Max. virtual memory (cumulated for all children) (KiB): 4012992
Max. memory (cumulated for all children) (KiB): 2511444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.92
system time used= 2.4349
maximum resident set size= 2511808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2620192
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= 5485
involuntary context switches= 1574
# summary of solver processes directly reported to runsolver:
# pid: 33239
# total CPU time (s): 3592.35
# total CPU user time (s): 3589.92
# total CPU system time (s): 2.4349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77767 second user time and 19.3656 second system time
The end
Begin job on nodeC014 at 2024-07-31 01:30:03
IDJOB=4464459
IDBENCH=155442
IDSOLVER=3092
FILE ID=nodeC014/4464459-1722382203
RUNJOBID= nodeC014-1722378594-30929
SLURM_JOB_ID= 8249827
Free space on /tmp= 889888 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-24.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-4464459-1722382203/watcher-4464459-1722382203 -o /tmp/evaluation-result-4464459-1722382203/solver-4464459-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30929 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464459-1722382203.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ffe17eea1acb86364611cfd69bcd9b8
RANDOM SEED=99795441
nodeC014.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 : 3674.823
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.06
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 : 3655.855
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.229
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.06
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 : 3671.810
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 : 7007.10
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 : 3674.837
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.06
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 : 3661.620
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.355
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.06
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 : 3670.982
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117493160 kB
MemAvailable: 120729304 kB
Buffers: 97612 kB
Cached: 3935732 kB
SwapCached: 0 kB
Active: 374040 kB
Inactive: 13079972 kB
Active(anon): 1532 kB
Inactive(anon): 9440796 kB
Active(file): 372508 kB
Inactive(file): 3639176 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 36340 kB
Writeback: 36 kB
AnonPages: 9405732 kB
Mapped: 124760 kB
Shmem: 21336 kB
KReclaimable: 128212 kB
Slab: 217452 kB
SReclaimable: 128212 kB
SUnreclaim: 89240 kB
KernelStack: 4240 kB
PageTables: 27864 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7284140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5529600 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: 189140 kB
DirectMap2M: 10070016 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889836 MiB
End job on nodeC014 at 2024-07-31 02:30:05