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.63 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 **
14.35/14.44 c ** Estimated virtualMemUsedAtSolver = 697030111, getVmSize() = 893370368, SCIPgetMemUsed() = 507320175, SCIPgetMemTotal() = 831932599, SCIPgetMemExternEstim() = 213612568
14.35/14.44 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
14.35/14.44 c Original Problem :
14.35/14.44 c Problem name : instance-4464457-1722382203
14.35/14.44 c Variables : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
14.35/14.44 c Constraints : 199352
14.35/14.44 c Objective sense : minimize
14.35/14.44 c Presolved Problem :
14.35/14.44 c Variables : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
14.35/14.44 c Constraints : 196526
14.35/14.44 c Constraints : Number
14.35/14.44 c knapsack : 20454
14.35/14.44 c setppc : 40318
14.35/14.44 c linear : 2
14.35/14.44 c logicor : 135752
14.35/14.44 c ** Instance transfer method used: 0
14.65/14.75 c ** ParaScipInstance copy does not increase the number of variables. **
14.95/15.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
14.95/15.02 c Nodes Active
14.95/15.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
368.64/369.76 c 370 2 1 1 - 0.0000 -
374.93/376.08 c 376 13 12 1 - 0.0000 -
383.60/384.70 c 385 15 14 1 - 0.0000 -
420.79/422.06 c 422 16 15 1 - 0.0000 -
430.65/431.95 c 432 29 28 1 - 0.0000 -
436.74/438.05 c 438 32 31 1 - 0.0000 -
452.69/454.04 c 454 33 32 1 - 0.0000 -
536.07/537.68 c 538 35 34 1 - 0.0000 -
542.15/543.72 c 544 56 55 1 - 0.0000 -
561.90/563.51 c 564 59 58 1 - 0.0000 -
577.55/579.27 c 579 62 61 1 - 0.0000 -
626.23/628.05 c 628 64 63 1 - 0.0000 -
655.44/657.38 c 657 66 65 1 - 0.0000 -
691.35/693.35 c 693 67 66 1 - 0.0000 -
723.16/725.29 c 725 80 79 1 - 0.0000 -
742.71/744.84 c 745 81 80 1 - 0.0000 -
776.93/779.13 c 779 83 82 1 - 0.0000 -
789.49/791.73 c 792 87 86 1 - 0.0000 -
796.47/798.79 c 799 93 92 1 - 0.0000 -
808.63/810.92 c 811 95 94 1 - 0.0000 -
839.16/841.56 c 842 98 97 1 - 0.0000 -
852.32/854.79 c 855 100 99 1 - 0.0000 -
863.60/866.03 c 866 102 101 1 - 0.0000 -
877.25/879.78 c 880 112 111 1 - 0.0000 -
887.33/889.87 c 890 113 112 1 - 0.0000 -
892.81/895.35 c 895 125 124 1 - 0.0000 -
899.88/902.43 c 902 143 142 1 - 0.0000 -
909.36/911.94 c 912 147 146 1 - 0.0000 -
917.54/920.13 c 920 158 157 1 - 0.0000 -
927.91/930.57 c 931 160 159 1 - 0.0000 -
933.89/936.55 c 937 169 168 1 - 0.0000 -
942.07/944.71 c 945 180 179 1 - 0.0000 -
950.75/953.43 c 953 182 181 1 - 0.0000 -
957.33/960.03 c 960 189 188 1 - 0.0000 -
971.68/974.40 c 974 202 201 1 - 0.0000 -
976.67/979.41 c 979 204 203 1 - 0.0000 -
982.05/984.89 c 985 212 211 1 - 0.0000 -
987.14/989.94 c 990 220 219 1 - 0.0000 -
992.93/995.76 c 996 223 222 1 - 0.0000 -
998.61/1001.41 c 1001 227 226 1 - 0.0000 -
1004.59/1007.49 c 1008 236 235 1 - 0.0000 -
1009.77/1012.68 c 1013 247 246 1 - 0.0000 -
1030.72/1033.66 c 1034 252 251 1 - 0.0000 -
1043.19/1046.14 c 1046 258 257 1 - 0.0000 -
1049.08/1052.08 c 1052 271 270 1 - 0.0000 -
1059.34/1062.32 c 1062 276 275 1 - 0.0000 -
1065.03/1068.10 c 1068 284 283 1 - 0.0000 -
1076.30/1079.38 c 1079 286 285 1 - 0.0000 -
1083.58/1086.62 c 1087 290 289 1 - 0.0000 -
1092.96/1096.05 c 1096 296 295 1 - 0.0000 -
1099.94/1103.02 c 1103 303 302 1 - 0.0000 -
1113.60/1116.78 c 1117 310 309 1 - 0.0000 -
1122.28/1125.44 c 1125 318 317 1 - 0.0000 -
1127.87/1131.00 c 1131 322 321 1 - 0.0000 -
1133.04/1136.22 c 1136 331 330 1 - 0.0000 -
1139.42/1142.66 c 1143 335 334 1 - 0.0000 -
1148.99/1152.28 c 1152 342 341 1 - 0.0000 -
1155.48/1158.70 c 1159 352 351 1 - 0.0000 -
1165.95/1169.26 c 1169 368 367 1 - 0.0000 -
1172.13/1175.44 c 1175 376 375 1 - 0.0000 -
1182.61/1185.91 c 1186 378 377 1 - 0.0000 -
1192.18/1195.54 c 1196 382 381 1 - 0.0000 -
1204.34/1207.76 c 1208 386 385 1 - 0.0000 -
1213.41/1216.88 c 1217 390 389 1 - 0.0000 -
1224.28/1227.71 c 1228 393 392 1 - 0.0000 -
1235.25/1238.78 c 1239 396 395 1 - 0.0000 -
1245.62/1249.18 c 1249 405 404 1 - 0.0000 -
1255.09/1258.62 c 1259 408 407 1 - 0.0000 -
1262.28/1265.80 c 1266 415 414 1 - 0.0000 -
1274.04/1277.63 c 1278 422 421 1 - 0.0000 -
1288.20/1291.82 c 1292 437 436 1 - 0.0000 -
1297.38/1301.00 c 1301 440 439 1 - 0.0000 -
1303.55/1307.27 c 1307 449 448 1 - 0.0000 -
1310.23/1313.92 c 1314 459 458 1 - 0.0000 -
1317.80/1321.54 c 1322 463 462 1 - 0.0000 -
1328.38/1332.14 c 1332 474 473 1 - 0.0000 -
1333.65/1337.45 c 1337 478 477 1 - 0.0000 -
1339.04/1342.87 c 1343 487 486 1 - 0.0000 -
1352.10/1355.93 c 1356 496 495 1 - 0.0000 -
1359.88/1363.76 c 1364 499 498 1 - 0.0000 -
1376.14/1380.04 c 1380 502 501 1 - 0.0000 -
1382.91/1386.82 c 1387 508 507 1 - 0.0000 -
1389.59/1393.55 c 1394 516 515 1 - 0.0000 -
1398.47/1402.47 c 1402 518 517 1 - 0.0000 -
1408.44/1412.46 c 1412 524 523 1 - 0.0000 -
1413.82/1417.83 c 1418 536 535 1 - 0.0000 -
1442.83/1446.93 c 1447 545 544 1 - 0.0000 -
1448.11/1452.26 c 1452 556 555 1 - 0.0000 -
1462.57/1466.72 c 1467 558 557 1 - 0.0000 -
1473.54/1477.77 c 1478 566 565 1 - 0.0000 -
1478.62/1482.89 c 1483 573 572 1 - 0.0000 -
1484.00/1488.20 c 1488 577 576 1 - 0.0000 -
1489.38/1493.60 c 1494 583 582 1 - 0.0000 -
1500.76/1505.09 c 1505 594 593 1 - 0.0000 -
1508.53/1512.84 c 1513 604 603 1 - 0.0000 -
1521.89/1526.28 c 1526 608 607 1 - 0.0000 -
1529.87/1534.28 c 1534 618 617 1 - 0.0000 -
1535.85/1540.30 c 1540 624 623 1 - 0.0000 -
1547.81/1552.24 c 1552 626 625 1 - 0.0000 -
1556.49/1560.91 c 1561 629 628 1 - 0.0000 -
1561.68/1566.13 c 1566 634 633 1 - 0.0000 -
1567.46/1571.94 c 1572 635 634 1 - 0.0000 -
1578.83/1583.32 c 1583 642 641 1 - 0.0000 -
1590.00/1594.50 c 1595 655 654 1 - 0.0000 -
1595.38/1599.95 c 1600 664 663 1 - 0.0000 -
1603.26/1607.88 c 1608 668 667 1 - 0.0000 -
1612.44/1617.07 c 1617 672 671 1 - 0.0000 -
1621.21/1625.86 c 1626 678 677 1 - 0.0000 -
1629.79/1634.42 c 1634 689 688 1 - 0.0000 -
1638.46/1643.13 c 1643 702 701 1 - 0.0000 -
1655.52/1660.25 c 1660 713 712 1 - 0.0000 -
1665.19/1669.98 c 1670 716 715 1 - 0.0000 -
1679.55/1684.30 c 1684 725 724 1 - 0.0000 -
1685.84/1690.64 c 1691 731 730 1 - 0.0000 -
1691.62/1696.42 c 1696 732 731 1 - 0.0000 -
1700.30/1705.12 c 1705 742 741 1 - 0.0000 -
1707.67/1712.50 c 1712 753 752 1 - 0.0000 -
1713.56/1718.46 c 1718 759 758 1 - 0.0000 -
1718.84/1723.72 c 1724 763 762 1 - 0.0000 -
1724.13/1729.06 c 1729 772 771 1 - 0.0000 -
1730.90/1735.82 c 1736 783 782 1 - 0.0000 -
1737.09/1742.06 c 1742 790 789 1 - 0.0000 -
1745.76/1750.73 c 1751 796 795 1 - 0.0000 -
1751.44/1756.43 c 1756 805 804 1 - 0.0000 -
1762.81/1767.87 c 1768 816 815 1 - 0.0000 -
1773.68/1778.75 c 1779 822 821 1 - 0.0000 -
1783.25/1788.33 c 1788 826 825 1 - 0.0000 -
1788.82/1793.93 c 1794 841 840 1 - 0.0000 -
1796.80/1801.93 c 1802 842 841 1 - 0.0000 -
1803.77/1808.99 c 1809 854 853 1 - 0.0000 -
1810.65/1815.89 c 1816 861 860 1 - 0.0000 -
1816.63/1821.83 c 1822 868 867 1 - 0.0000 -
1839.95/1845.25 c 1845 887 886 1 - 0.0000 -
1847.62/1852.94 c 1853 893 892 1 - 0.0000 -
1854.59/1859.93 c 1860 905 904 1 - 0.0000 -
1859.78/1865.12 c 1865 908 907 1 - 0.0000 -
1866.86/1872.26 c 1872 915 914 1 - 0.0000 -
1874.44/1879.80 c 1880 918 917 1 - 0.0000 -
1889.39/1894.85 c 1895 922 921 1 - 0.0000 -
1895.57/1901.05 c 1901 926 925 1 - 0.0000 -
1907.33/1912.81 c 1913 932 931 1 - 0.0000 -
1913.31/1918.81 c 1919 944 943 1 - 0.0000 -
1929.36/1934.99 c 1935 955 954 1 - 0.0000 -
1934.44/1940.00 c 1940 962 961 1 - 0.0000 -
1939.82/1945.47 c 1945 974 973 1 - 0.0000 -
1946.80/1952.44 c 1952 975 974 1 - 0.0000 -
1956.07/1961.71 c 1962 978 977 1 - 0.0000 -
1966.35/1972.08 c 1972 990 989 1 - 0.0000 -
1972.52/1978.24 c 1978 997 996 1 - 0.0000 -
1978.11/1983.87 c 1984 1008 1007 1 - 0.0000 -
1989.07/1994.89 c 1995 1009 1008 1 - 0.0000 -
2001.64/2007.47 c 2007 1012 1011 1 - 0.0000 -
2007.33/2013.15 c 2013 1022 1021 1 - 0.0000 -
2012.40/2018.24 c 2018 1025 1024 1 - 0.0000 -
2024.97/2030.80 c 2031 1028 1027 1 - 0.0000 -
2030.36/2036.29 c 2036 1032 1031 1 - 0.0000 -
2038.64/2044.54 c 2045 1035 1034 1 - 0.0000 -
2044.91/2050.82 c 2051 1041 1040 1 - 0.0000 -
2050.20/2056.17 c 2056 1050 0 1 - 0.0000 -
2188.36/2194.75 c 2195 1051 1 1 - 0.0000 -
2307.27/2314.10 c 2314 1059 9 1 - 0.0000 -
2336.07/2342.90 c 2343 1061 11 1 - 0.0000 -
2343.74/2350.69 c 2351 1063 13 1 - 0.0000 -
2349.82/2356.74 c 2357 1074 24 1 - 0.0000 -
2356.30/2363.28 c 2363 1076 26 1 - 0.0000 -
2363.08/2370.10 c 2370 1078 28 1 - 0.0000 -
2369.16/2376.13 c 2376 1080 30 1 - 0.0000 -
2378.23/2385.26 c 2385 1081 31 1 - 0.0000 -
2384.31/2391.30 c 2391 1084 34 1 - 0.0000 -
2391.18/2398.24 c 2398 1086 36 1 - 0.0000 -
2408.42/2415.51 c 2416 1093 43 1 - 0.0000 -
2413.80/2420.99 c 2421 1095 45 1 - 0.0000 -
2424.77/2431.90 c 2432 1098 48 1 - 0.0000 -
2429.85/2437.07 c 2437 1105 55 1 - 0.0000 -
2440.11/2447.32 c 2447 1113 63 1 - 0.0000 -
2461.04/2468.32 c 2468 1118 68 1 - 0.0000 -
2466.83/2474.18 c 2474 1125 75 1 - 0.0000 -
2472.10/2479.49 c 2479 1131 81 1 - 0.0000 -
2482.16/2489.52 c 2490 1141 91 1 - 0.0000 -
2494.51/2501.90 c 2502 1146 96 1 - 0.0000 -
2507.77/2515.28 c 2515 1153 103 1 - 0.0000 -
2513.25/2520.72 c 2521 1156 106 1 - 0.0000 -
2520.02/2527.56 c 2528 1162 112 1 - 0.0000 -
2534.57/2542.18 c 2542 1168 118 1 - 0.0000 -
2540.55/2548.19 c 2548 1174 124 1 - 0.0000 -
2548.43/2556.10 c 2556 1178 128 1 - 0.0000 -
2565.76/2573.49 c 2573 1181 131 1 - 0.0000 -
2573.45/2581.18 c 2581 1183 133 1 - 0.0000 -
2581.91/2589.69 c 2590 1187 137 1 - 0.0000 -
2597.56/2605.33 c 2605 1191 141 1 - 0.0000 -
2616.99/2624.83 c 2625 1195 145 1 - 0.0000 -
2622.18/2630.08 c 2630 1198 148 1 - 0.0000 -
2628.05/2635.97 c 2636 1203 153 1 - 0.0000 -
2634.13/2642.09 c 2642 1210 160 1 - 0.0000 -
2641.69/2649.68 c 2650 1218 168 1 - 0.0000 -
2652.95/2660.90 c 2661 1224 174 1 - 0.0000 -
2659.22/2667.28 c 2667 1234 184 1 - 0.0000 -
2681.65/2689.77 c 2690 1244 194 1 - 0.0000 -
2688.12/2696.27 c 2696 1250 200 1 - 0.0000 -
2694.40/2702.54 c 2703 1257 207 1 - 0.0000 -
2702.47/2710.65 c 2711 1261 211 1 - 0.0000 -
2709.24/2717.45 c 2717 1269 219 1 - 0.0000 -
2721.11/2729.36 c 2729 1274 224 1 - 0.0000 -
2736.15/2744.40 c 2744 1277 227 1 - 0.0000 -
2741.24/2749.53 c 2750 1287 237 1 - 0.0000 -
2747.31/2755.62 c 2756 1291 241 1 - 0.0000 -
2762.66/2771.06 c 2771 1294 244 1 - 0.0000 -
2772.83/2781.25 c 2781 1297 247 1 - 0.0000 -
2783.09/2791.54 c 2792 1306 256 1 - 0.0000 -
2805.02/2813.57 c 2814 1311 261 1 - 0.0000 -
2821.16/2829.76 c 2830 1315 265 1 - 0.0000 -
2831.03/2839.69 c 2840 1319 269 1 - 0.0000 -
2837.11/2845.76 c 2846 1324 274 1 - 0.0000 -
2843.29/2851.98 c 2852 1332 282 1 - 0.0000 -
2848.37/2857.08 c 2857 1336 286 1 - 0.0000 -
2864.21/2872.94 c 2873 1337 287 1 - 0.0000 -
2872.08/2880.86 c 2881 1342 292 1 - 0.0000 -
2877.66/2886.45 c 2886 1348 298 1 - 0.0000 -
2887.73/2896.51 c 2897 1349 299 1 - 0.0000 -
2901.88/2910.74 c 2911 1351 301 1 - 0.0000 -
2910.15/2919.09 c 2919 1354 304 1 - 0.0000 -
2915.54/2924.42 c 2924 1356 306 1 - 0.0000 -
2922.01/2930.91 c 2931 1358 308 1 - 0.0000 -
2937.17/2946.13 c 2946 1366 316 1 - 0.0000 -
2944.93/2953.98 c 2954 1371 321 1 - 0.0000 -
2951.41/2960.45 c 2960 1381 331 1 - 0.0000 -
2974.63/2983.74 c 2984 1389 339 1 - 0.0000 -
2981.00/2990.11 c 2990 1397 347 1 - 0.0000 -
2997.24/3006.42 c 3006 1401 351 1 - 0.0000 -
3005.11/3014.33 c 3014 1409 359 1 - 0.0000 -
3020.66/3029.90 c 3030 1411 361 1 - 0.0000 -
3026.53/3035.89 c 3036 1415 365 1 - 0.0000 -
3047.77/3057.19 c 3057 1421 371 1 - 0.0000 -
3059.02/3068.45 c 3068 1423 373 1 - 0.0000 -
3066.30/3075.72 c 3076 1431 381 1 - 0.0000 -
3072.08/3081.59 c 3082 1443 393 1 - 0.0000 -
3078.05/3087.52 c 3088 1452 402 1 - 0.0000 -
3084.23/3093.70 c 3094 1458 408 1 - 0.0000 -
3101.97/3111.59 c 3112 1461 411 1 - 0.0000 -
3107.14/3116.76 c 3117 1466 416 1 - 0.0000 -
3113.02/3122.68 c 3123 1467 417 1 - 0.0000 -
3122.20/3131.82 c 3132 1469 419 1 - 0.0000 -
3127.97/3137.61 c 3138 1476 426 1 - 0.0000 -
3134.25/3143.91 c 3144 1484 434 1 - 0.0000 -
3144.51/3154.21 c 3154 1488 438 1 - 0.0000 -
3163.84/3173.64 c 3174 1491 441 1 - 0.0000 -
3179.69/3189.57 c 3190 1494 444 1 - 0.0000 -
3186.76/3196.60 c 3197 1501 451 1 - 0.0000 -
3194.24/3204.11 c 3204 1506 456 1 - 0.0000 -
3207.10/3217.09 c 3217 1508 458 1 - 0.0000 -
3212.77/3222.75 c 3223 1523 473 1 - 0.0000 -
3218.36/3228.34 c 3228 1529 479 1 - 0.0000 -
3231.12/3241.12 c 3241 1535 485 1 - 0.0000 -
3250.74/3260.84 c 3261 1541 491 1 - 0.0000 -
3261.20/3271.38 c 3271 1546 496 1 - 0.0000 -
3272.76/3282.94 c 3283 1555 505 1 - 0.0000 -
3285.41/3295.69 c 3296 1556 506 1 - 0.0000 -
3292.09/3302.36 c 3302 1562 512 1 - 0.0000 -
3297.57/3307.85 c 3308 1568 518 1 - 0.0000 -
3306.05/3316.30 c 3316 1569 519 1 - 0.0000 -
3314.62/3324.91 c 3325 1575 525 1 - 0.0000 -
3333.05/3343.40 c 3343 1579 529 1 - 0.0000 -
3338.64/3349.08 c 3349 1586 536 1 - 0.0000 -
3345.21/3355.69 c 3356 1596 546 1 - 0.0000 -
3350.69/3361.12 c 3361 1599 549 1 - 0.0000 -
3357.06/3367.54 c 3368 1605 555 1 - 0.0000 -
3372.41/3382.97 c 3383 1609 559 1 - 0.0000 -
3377.49/3388.05 c 3388 1614 564 1 - 0.0000 -
3399.91/3410.52 c 3411 1616 566 1 - 0.0000 -
3427.33/3438.10 c 3438 1621 571 1 - 0.0000 -
3432.61/3443.31 c 3443 1628 578 1 - 0.0000 -
3439.77/3450.57 c 3451 1634 584 1 - 0.0000 -
3446.45/3457.29 c 3457 1640 590 1 - 0.0000 -
3471.66/3482.54 c 3483 1641 591 1 - 0.0000 -
3478.04/3488.96 c 3489 1646 596 1 - 0.0000 -
3495.19/3506.13 c 3506 1647 597 1 - 0.0000 -
3513.92/3524.94 c 3525 1651 601 1 - 0.0000 -
3521.99/3533.08 c 3533 1654 604 1 - 0.0000 -
3527.87/3538.95 c 3539 1667 617 1 - 0.0000 -
3534.74/3545.86 c 3546 1670 620 1 - 0.0000 -
3548.69/3559.86 c 3560 1674 624 1 - 0.0000 -
3561.65/3572.88 c 3573 1677 627 1 - 0.0000 -
3566.74/3577.99 c 3578 1680 630 1 - 0.0000 -
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 (61585 MiB free)
memory of node 1: 64510 MiB (60004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464457-1722382203/watcher-4464457-1722382203 -o /tmp/evaluation-result-4464457-1722382203/solver-4464457-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464457-1722382203.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=32716, runsolver pid=32713
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.11 4.18 4.09 5/259 32717
/proc/meminfo: memFree=124415868/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=56620 memory=44900 CPUtime=0.1 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 9118 0 0 0 9 1 0 0 20 0 1 0 4821972 57978880 11225 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 14155 11225 2347 3035 0 10551 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56620 KiB
Current children cumulated memory: 44900 KiB
[startup+0.205686 s]*
/proc/loadavg: 4.11 4.18 4.09 5/259 32717
/proc/meminfo: memFree=124331708/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=88724 memory=76280 CPUtime=0.2 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 16995 0 0 0 18 2 0 0 20 0 1 0 4821972 90853376 19070 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 22181 19070 2347 3035 0 18577 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88724 KiB
Current children cumulated memory: 76280 KiB
[startup+0.305606 s]*
/proc/loadavg: 4.11 4.18 4.09 5/259 32717
/proc/meminfo: memFree=124242872/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=118484 memory=106120 CPUtime=0.3 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 24421 0 0 0 26 4 0 0 20 0 1 0 4821972 121327616 26530 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 29621 26530 2347 3035 0 26017 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118484 KiB
Current children cumulated memory: 106120 KiB
[startup+0.700203 s]
/proc/loadavg: 4.11 4.18 4.09 5/259 32717
/proc/meminfo: memFree=124026592/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=312864 memory=296840 CPUtime=0.68 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 72535 0 0 0 57 11 0 0 20 0 1 0 4821972 320372736 74210 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 78216 74210 2614 3035 0 74612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 312864 KiB
Current children cumulated memory: 296840 KiB
[startup+1.50025 s]
/proc/loadavg: 4.11 4.18 4.09 5/259 32717
/proc/meminfo: memFree=123567356/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=478104 memory=459212 CPUtime=1.48 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 91535 0 0 0 131 17 0 0 20 0 1 0 4821972 489578496 114803 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 119526 114803 2678 3035 0 115922 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 478104 KiB
Current children cumulated memory: 459212 KiB
[startup+3.10584 s]
/proc/loadavg: 4.11 4.18 4.09 5/259 32719
/proc/meminfo: memFree=123211132/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=468772 memory=447916 CPUtime=3.09 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 115460 0 0 0 288 21 0 0 20 0 1 0 4821972 480022528 111979 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 117193 111979 2742 3035 0 113589 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 447916 KiB
[startup+6.30024 s]
/proc/loadavg: 4.10 4.18 4.09 5/259 32719
/proc/meminfo: memFree=123036928/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=468772 memory=448452 CPUtime=6.27 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 115594 0 0 0 605 22 0 0 20 0 1 0 4821972 480022528 112113 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 117193 112113 2758 3035 0 113589 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 448452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.19 4.09 5/259 32775
/proc/meminfo: memFree=121489912/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=468772 memory=448452 CPUtime=12.65 cores=1,3
/proc/32716/stat : 32716 (fscip) R 32713 32716 29413 0 -1 4194304 115614 0 0 0 1243 22 0 0 20 0 1 0 4821972 480022528 112113 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 117193 112113 2758 3035 0 113589 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 468772 KiB
Current children cumulated memory: 448452 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.18 4.09 5/262 32782
/proc/meminfo: memFree=117903300/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=1997224 memory=1797028 CPUtime=25.34 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 314215 0 0 0 2470 64 0 0 20 0 3 0 4821972 2045157376 449257 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 499306 449257 2950 3035 0 486565 0
[pid=32716/tid=32777] ppid=32713 vsize=1997224 memory=1568792 CPUtime=10.63 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 155565 0 0 0 1033 30 0 0 20 0 3 0 4823416 2045157376 449257 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=1997224 memory=1797028 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4823474 2045157376 449257 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 1997224 KiB
Current children cumulated memory: 1797028 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.16 4.09 5/262 32786
/proc/meminfo: memFree=117196732/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=2012444 memory=1821812 CPUtime=50.88 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 373093 0 0 0 5019 69 0 0 20 0 3 0 4821972 2060742656 455453 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 503111 455453 2950 3035 0 497214 0
[pid=32716/tid=32777] ppid=32713 vsize=2012444 memory=1821812 CPUtime=36.18 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 214435 0 0 0 3583 35 0 0 20 0 3 0 4823416 2060742656 455453 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=2012444 memory=1821812 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4823474 2060742656 455453 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 2012444 KiB
Current children cumulated memory: 1821812 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/264 32797
/proc/meminfo: memFree=116776624/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=2049296 memory=1829156 CPUtime=101.95 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 485883 0 0 0 10119 76 0 0 20 0 3 0 4821972 2098479104 457289 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 512324 457289 2950 3035 0 506427 0
[pid=32716/tid=32777] ppid=32713 vsize=2049296 memory=1829156 CPUtime=87.24 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 327217 0 0 0 8683 41 0 0 20 0 3 0 4823416 2098479104 457289 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=2049296 memory=12840 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4823474 2098479104 457289 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2049296 KiB
Current children cumulated memory: 1829156 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 32807
/proc/meminfo: memFree=116553576/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=2114832 memory=1833396 CPUtime=161.79 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 548014 0 0 0 16096 83 0 0 20 0 3 0 4821972 2165587968 458349 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 528708 458349 2950 3035 0 511802 0
[pid=32716/tid=32777] ppid=32713 vsize=2114832 memory=1833308 CPUtime=147.09 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 389340 0 0 0 14660 49 0 0 20 0 3 0 4823416 2165587968 458349 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=2114832 memory=12840 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4823474 2165587968 458349 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2114832 KiB
Current children cumulated memory: 1833396 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/263 32817
/proc/meminfo: memFree=116540636/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=2114832 memory=1836532 CPUtime=221.63 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 605306 0 0 0 22075 88 0 0 20 0 3 0 4821972 2165587968 459133 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 528708 459133 2950 3035 0 516409 0
[pid=32716/tid=32777] ppid=32713 vsize=2114832 memory=1836484 CPUtime=206.93 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 446628 0 0 0 20639 54 0 0 20 0 3 0 4823416 2165587968 459133 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=2114832 memory=1836532 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4823474 2165587968 459133 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2114832 KiB
Current children cumulated memory: 1836532 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 32829
/proc/meminfo: memFree=116264008/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=2180368 memory=1849624 CPUtime=281.47 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 676911 0 0 0 28054 93 0 0 20 0 3 0 4821972 2232696832 462406 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 545092 462406 2950 3035 0 529398 0
[pid=32716/tid=32777] ppid=32713 vsize=2180368 memory=12840 CPUtime=266.76 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 518227 0 0 0 26618 58 0 0 20 0 3 0 4823416 2232696832 462406 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=2180368 memory=1849620 CPUtime=0 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4823474 2232696832 462406 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2180368 KiB
Current children cumulated memory: 1849624 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 32840
################
# More data... #
################
Current children cumulated memory: 2523036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 34032
/proc/meminfo: memFree=112351428/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4021860 memory=2523044 CPUtime=3152.58 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4477233 0 0 0 314905 353 0 0 20 0 3 0 4821972 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1005465 630761 3030 3035 0 975333 0
[pid=32716/tid=32777] ppid=32713 vsize=4021860 memory=2523044 CPUtime=3137.78 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4316077 0 0 0 313464 314 0 0 20 0 3 0 4823416 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4021860 memory=2523044 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 251 0 0 0 1 3 0 0 20 0 3 0 4823474 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3152.58 s
Current children cumulated vsize: 4021860 KiB
Current children cumulated memory: 2523044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 34042
/proc/meminfo: memFree=112346488/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4021860 memory=2523044 CPUtime=3212.37 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4542748 0 0 0 320880 357 0 0 20 0 3 0 4821972 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1005465 630761 3030 3035 0 975333 0
[pid=32716/tid=32777] ppid=32713 vsize=4021860 memory=2523044 CPUtime=3197.57 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4381544 0 0 0 319439 318 0 0 20 0 3 0 4823416 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4021860 memory=2523044 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 257 0 0 0 1 3 0 0 20 0 3 0 4823474 4118384640 630761 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 4021860 KiB
Current children cumulated memory: 2523044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 34053
/proc/meminfo: memFree=112334604/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4021860 memory=2523068 CPUtime=3272.16 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4622942 0 0 0 326854 362 0 0 20 0 3 0 4821972 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1005465 630767 3030 3035 0 975333 0
[pid=32716/tid=32777] ppid=32713 vsize=4021860 memory=2523044 CPUtime=3257.36 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4461686 0 0 0 325413 323 0 0 20 0 3 0 4823416 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4021860 memory=1892 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 263 0 0 0 1 3 0 0 20 0 3 0 4823474 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 4021860 KiB
Current children cumulated memory: 2523068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 34447
/proc/meminfo: memFree=112333456/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4021860 memory=2523068 CPUtime=3331.96 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4702217 0 0 0 332829 367 0 0 20 0 3 0 4821972 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1005465 630767 3030 3035 0 975333 0
[pid=32716/tid=32777] ppid=32713 vsize=4021860 memory=2523068 CPUtime=3317.16 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4540946 0 0 0 331388 328 0 0 20 0 3 0 4823416 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4021860 memory=6408984 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 269 0 0 0 1 3 0 0 20 0 3 0 4823474 4118384640 630767 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 4021860 KiB
Current children cumulated memory: 2523068 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 34458
/proc/meminfo: memFree=112332732/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4021860 memory=2523096 CPUtime=3391.74 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4761329 0 0 0 338803 371 0 0 20 0 3 0 4821972 4118384640 630774 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1005465 630774 3030 3035 0 975333 0
[pid=32716/tid=32777] ppid=32713 vsize=4021860 memory=2523068 CPUtime=3376.94 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4600002 0 0 0 337362 332 0 0 20 0 3 0 4823416 4118384640 630774 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4021860 memory=2523092 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 275 0 0 0 1 3 0 0 20 0 3 0 4823474 4118384640 630774 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3391.74 s
Current children cumulated vsize: 4021860 KiB
Current children cumulated memory: 2523096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 34470
/proc/meminfo: memFree=112331164/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4058740 memory=2523132 CPUtime=3451.53 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4834678 0 0 0 344777 376 0 0 20 0 3 0 4821972 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1014685 630783 3030 3035 0 984553 0
[pid=32716/tid=32777] ppid=32713 vsize=4058740 memory=2523068 CPUtime=3436.72 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4673257 0 0 0 343336 336 0 0 20 0 3 0 4823416 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4058740 memory=2523132 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 281 0 0 0 1 3 0 0 20 0 3 0 4823474 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 4058740 KiB
Current children cumulated memory: 2523132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 34650
/proc/meminfo: memFree=112326388/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4058740 memory=2523132 CPUtime=3511.33 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4896853 0 0 0 350753 380 0 0 20 0 3 0 4821972 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1014685 630783 3030 3035 0 984553 0
[pid=32716/tid=32777] ppid=32713 vsize=4058740 memory=2523132 CPUtime=3496.52 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4735389 0 0 0 349312 340 0 0 20 0 3 0 4823416 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4058740 memory=2523132 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 284 0 0 0 1 3 0 0 20 0 3 0 4823474 4156149760 630783 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 4058740 KiB
Current children cumulated memory: 2523132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 34661
/proc/meminfo: memFree=112325356/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4077180 memory=2523204 CPUtime=3571.13 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4992657 0 0 0 356727 386 0 0 20 0 3 0 4821972 4175032320 630801 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1019295 630801 3030 3035 0 989163 0
[pid=32716/tid=32777] ppid=32713 vsize=4077180 memory=2523180 CPUtime=3556.31 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4831129 0 0 0 355285 346 0 0 20 0 3 0 4823416 4175032320 630801 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4077180 memory=25988 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 289 0 0 0 1 3 0 0 20 0 3 0 4823474 4175032320 630801 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 4077180 KiB
Current children cumulated memory: 2523204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120159612/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4077180 memory=2523244 CPUtime=3600.03 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4998852 0 0 0 359617 386 0 0 20 0 3 0 4821972 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1019295 630811 3030 3035 0 989163 0
[pid=32716/tid=32777] ppid=32713 vsize=4077180 memory=2523204 CPUtime=3585.22 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4837323 0 0 0 358176 346 0 0 20 0 3 0 4823416 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4077180 memory=11480 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4823474 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4077180 KiB
Current children cumulated memory: 2523244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.36 s]
# the end of solver process 32716 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.18 s, system=3.92579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120159612/131524600 swapFree=131071996/131071996
[pid=32716] ppid=32713 vsize=4077180 memory=2523244 CPUtime=3600.03 cores=1,3
/proc/32716/stat : 32716 (fscip) S 32713 32716 29413 0 -1 1077936128 4998852 0 0 0 359617 386 0 0 20 0 3 0 4821972 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
/proc/32716/statm: 1019295 630811 3030 3035 0 989163 0
[pid=32716/tid=32777] ppid=32713 vsize=4077180 memory=2523204 CPUtime=3585.22 cores=1,3
/proc/32716/task/32777/stat : 32777 (fscip) R 32713 32716 29413 0 -1 4194368 4837323 0 0 0 358176 346 0 0 20 0 3 0 4823416 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
[pid=32716/tid=32778] ppid=32713 vsize=4077180 memory=11480 CPUtime=0.04 cores=1,3
/proc/32716/task/32778/stat : 32778 (fscip) S 32713 32716 29413 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4823474 4175032320 630811 134679101440 4194304 16623229 140735679085168 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 56823808 140735679091734 140735679091850 140735679091850 140735679098864 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4077180 KiB
Current children cumulated memory: 2523244 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.36
CPU time (s): 3600.11
CPU user time (s): 3596.18
CPU system time (s): 3.92579
CPU usage (%): 99.6883
Max. virtual memory (cumulated for all children) (KiB): 4077180
Max. memory (cumulated for all children) (KiB): 2523244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.18
system time used= 3.92579
maximum resident set size= 2525224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4998852
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= 5146
involuntary context switches= 1833
# summary of solver processes directly reported to runsolver:
# pid: 32716
# total CPU time (s): 3600.11
# total CPU user time (s): 3596.18
# total CPU system time (s): 3.92579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57344 second user time and 17.6781 second system time
The end
Begin job on nodeC031 at 2024-07-31 01:30:03
IDJOB=4464457
IDBENCH=155450
IDSOLVER=3092
FILE ID=nodeC031/4464457-1722382203
RUNJOBID= nodeC031-1722378597-29425
SLURM_JOB_ID= 8249854
Free space on /tmp= 889940 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-20.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-4464457-1722382203/watcher-4464457-1722382203 -o /tmp/evaluation-result-4464457-1722382203/solver-4464457-1722382203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464457-1722382203.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ce92e16bf0ab8af5c50df3c37225d359
RANDOM SEED=1435106538
nodeC031.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 : 3671.685
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.95
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 : 3649.804
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.12
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.045
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.95
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 : 3673.498
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.12
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 : 3671.669
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.95
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 : 3669.543
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.12
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.243
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.95
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.036
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124511836 kB
MemAvailable: 128634464 kB
Buffers: 93000 kB
Cached: 4858852 kB
SwapCached: 0 kB
Active: 312912 kB
Inactive: 6212416 kB
Active(anon): 1580 kB
Inactive(anon): 1593248 kB
Active(file): 311332 kB
Inactive(file): 4619168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 146524 kB
Writeback: 0 kB
AnonPages: 1573528 kB
Mapped: 120672 kB
Shmem: 21336 kB
KReclaimable: 63552 kB
Slab: 144712 kB
SReclaimable: 63552 kB
SUnreclaim: 81160 kB
KernelStack: 4204 kB
PageTables: 12196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1545864 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 393216 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC031 at 2024-07-31 02:30:14