0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.59/0.64 c Default LC presolving (default).
0.59/0.64 c ** Before presolving: virtualMemUsedAtLc = 491779820, getVmSize() = 315363328, SCIPgetMemUsed() = 256378164, SCIPgetMemTotal() = 278167252, SCIPgetMemExternEstim() = 213612568
0.59/0.64 c ** set memory limit for presolving in LC to 8.79595e+12 for SCIP **
14.94/15.04 c ** Estimated virtualMemUsedAtSolver = 696893051, getVmSize() = 893145088, SCIPgetMemUsed() = 507184297, SCIPgetMemTotal() = 831727009, SCIPgetMemExternEstim() = 213612568
14.94/15.04 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
14.94/15.04 c Original Problem :
14.94/15.04 c Problem name : instance-4446080-1721324844
14.94/15.04 c Variables : 9342 (9342 binary, 0 integer, 0 implicit integer, 0 continuous)
14.94/15.04 c Constraints : 199352
14.94/15.04 c Objective sense : minimize
14.94/15.04 c Presolved Problem :
14.94/15.04 c Variables : 9341 (9341 binary, 0 integer, 0 implicit integer, 0 continuous)
14.94/15.04 c Constraints : 196526
14.94/15.04 c Constraints : Number
14.94/15.04 c knapsack : 20454
14.94/15.04 c setppc : 40318
14.94/15.04 c linear : 2
14.94/15.04 c logicor : 135752
14.94/15.04 c ** Instance transfer method used: 0
15.24/15.36 c ** ParaScipInstance copy does not increase the number of variables. **
15.54/15.60 c LC is working with racing ramp-up and with rebuilding tree after racing.
15.54/15.60 c Nodes Active
15.54/15.60 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
200.70/201.45 c 201 2 1 1 - 0.0000 -
206.48/207.22 c 207 16 15 1 - 0.0000 -
213.26/214.04 c 214 20 19 1 - 0.0000 -
232.79/233.68 c 234 22 21 1 - 0.0000 -
250.53/251.42 c 251 26 25 1 - 0.0000 -
255.50/256.47 c 256 30 29 1 - 0.0000 -
263.19/264.10 c 264 33 32 1 - 0.0000 -
271.46/272.43 c 272 36 35 1 - 0.0000 -
279.52/280.56 c 281 44 43 1 - 0.0000 -
285.40/286.46 c 286 48 47 1 - 0.0000 -
414.61/416.03 c 416 52 51 1 - 0.0000 -
421.59/423.04 c 423 56 55 1 - 0.0000 -
428.06/429.51 c 430 63 62 1 - 0.0000 -
437.82/439.32 c 439 66 65 1 - 0.0000 -
444.39/445.90 c 446 78 77 1 - 0.0000 -
454.37/455.98 c 456 82 81 1 - 0.0000 -
461.24/462.88 c 463 92 91 1 - 0.0000 -
466.42/468.05 c 468 96 95 1 - 0.0000 -
472.30/473.92 c 474 100 99 1 - 0.0000 -
494.03/495.70 c 496 102 101 1 - 0.0000 -
499.01/500.73 c 501 104 103 1 - 0.0000 -
504.89/506.69 c 507 116 115 1 - 0.0000 -
518.74/520.58 c 521 122 121 1 - 0.0000 -
525.43/527.29 c 527 126 125 1 - 0.0000 -
533.80/535.63 c 536 135 134 1 - 0.0000 -
541.37/543.26 c 543 142 141 1 - 0.0000 -
547.34/549.28 c 549 153 152 1 - 0.0000 -
553.23/555.12 c 555 161 160 1 - 0.0000 -
562.89/564.86 c 565 172 171 1 - 0.0000 -
571.26/573.22 c 573 176 175 1 - 0.0000 -
579.04/581.02 c 581 189 188 1 - 0.0000 -
597.87/599.95 c 600 196 195 1 - 0.0000 -
604.24/606.39 c 606 205 204 1 - 0.0000 -
610.42/612.51 c 613 219 218 1 - 0.0000 -
618.00/620.12 c 620 229 228 1 - 0.0000 -
635.63/637.81 c 638 237 236 1 - 0.0000 -
644.91/647.14 c 647 239 238 1 - 0.0000 -
651.18/653.42 c 653 245 244 1 - 0.0000 -
657.26/659.53 c 660 254 253 1 - 0.0000 -
662.45/664.76 c 665 262 261 1 - 0.0000 -
670.32/672.62 c 673 269 268 1 - 0.0000 -
678.40/680.70 c 681 272 271 1 - 0.0000 -
683.69/686.09 c 686 277 276 1 - 0.0000 -
694.35/696.78 c 697 282 281 1 - 0.0000 -
700.42/702.81 c 703 293 292 1 - 0.0000 -
706.11/708.50 c 709 298 297 1 - 0.0000 -
716.77/719.21 c 719 307 306 1 - 0.0000 -
724.15/726.62 c 727 320 315 1 - 0.0000 -
732.13/734.60 c 735 322 317 1 - 0.0000 -
739.51/742.06 c 742 332 327 1 - 0.0000 -
745.58/748.16 c 748 337 332 1 - 0.0000 -
758.53/761.14 c 761 353 348 1 - 0.0000 -
764.11/766.79 c 767 356 351 1 - 0.0000 -
769.88/772.50 c 773 362 357 1 - 0.0000 -
775.37/778.04 c 778 365 362 1 - 0.0000 -
793.10/795.87 c 796 368 363 1 - 0.0000 -
804.56/807.37 c 807 372 367 1 - 0.0000 -
814.82/817.60 c 818 393 388 1 - 0.0000 -
822.20/825.09 c 825 409 404 1 - 0.0000 -
833.75/836.66 c 837 415 408 1 - 0.0000 -
842.52/845.41 c 845 418 411 1 - 0.0000 -
850.69/853.66 c 854 426 419 1 - 0.0000 -
861.85/864.87 c 865 429 422 1 - 0.0000 -
870.22/873.22 c 873 445 436 1 - 0.0000 -
881.17/884.24 c 884 462 453 1 - 0.0000 -
887.75/890.84 c 891 468 459 1 - 0.0000 -
893.43/896.54 c 897 475 466 1 - 0.0000 -
899.01/902.11 c 902 484 475 1 - 0.0000 -
906.77/909.96 c 910 492 479 1 - 0.0000 -
917.03/920.25 c 920 508 495 1 - 0.0000 -
924.11/927.38 c 927 525 512 1 - 0.0000 -
945.53/948.83 c 949 528 515 1 - 0.0000 -
953.30/956.60 c 957 532 519 1 - 0.0000 -
960.88/964.28 c 964 546 531 1 - 0.0000 -
970.94/974.33 c 974 558 543 1 - 0.0000 -
977.11/980.50 c 981 590 575 1 - 0.0000 -
986.48/989.95 c 990 604 587 1 - 0.0000 -
992.15/995.67 c 996 612 595 1 - 0.0000 -
997.33/1000.85 c 1001 620 603 1 - 0.0000 -
1009.99/1013.56 c 1014 629 612 1 - 0.0000 -
1015.96/1019.57 c 1020 640 623 1 - 0.0000 -
1021.55/1025.11 c 1025 655 638 1 - 0.0000 -
1026.92/1030.51 c 1031 679 662 1 - 0.0000 -
1034.69/1038.34 c 1038 682 665 1 - 0.0000 -
1040.37/1044.10 c 1044 688 671 1 - 0.0000 -
1046.05/1049.75 c 1050 699 682 1 - 0.0000 -
1056.91/1060.63 c 1061 702 685 1 - 0.0000 -
1063.98/1067.73 c 1068 708 691 1 - 0.0000 -
1070.16/1073.99 c 1074 714 697 1 - 0.0000 -
1076.54/1080.37 c 1080 728 711 1 - 0.0000 -
1086.80/1090.61 c 1091 732 715 1 - 0.0000 -
1093.97/1097.88 c 1098 742 725 1 - 0.0000 -
1103.15/1107.04 c 1107 745 728 1 - 0.0000 -
1112.61/1116.57 c 1117 748 731 1 - 0.0000 -
1126.35/1130.31 c 1130 762 745 1 - 0.0000 -
1131.84/1135.85 c 1136 766 749 1 - 0.0000 -
1137.01/1141.01 c 1141 778 761 1 - 0.0000 -
1142.49/1146.55 c 1147 780 763 1 - 0.0000 -
1152.25/1156.37 c 1156 783 766 1 - 0.0000 -
1157.52/1161.67 c 1162 798 781 1 - 0.0000 -
1171.88/1176.01 c 1176 806 787 1 - 0.0000 -
1177.95/1182.12 c 1182 824 805 1 - 0.0000 -
1183.02/1187.29 c 1187 831 812 1 - 0.0000 -
1194.68/1198.99 c 1199 832 813 1 - 0.0000 -
1206.04/1210.34 c 1210 835 816 1 - 0.0000 -
1211.22/1215.52 c 1216 839 820 1 - 0.0000 -
1224.46/1228.85 c 1229 842 823 1 - 0.0000 -
1232.93/1237.34 c 1237 845 826 1 - 0.0000 -
1238.61/1243.02 c 1243 862 840 1 - 0.0000 -
1245.48/1249.92 c 1250 872 850 1 - 0.0000 -
1251.35/1255.87 c 1256 881 859 1 - 0.0000 -
1265.20/1269.74 c 1270 882 860 1 - 0.0000 -
1273.66/1278.28 c 1278 885 863 1 - 0.0000 -
1283.63/1288.28 c 1288 892 870 1 - 0.0000 -
1290.70/1295.36 c 1295 896 872 1 - 0.0000 -
1300.47/1305.18 c 1305 900 876 1 - 0.0000 -
1308.43/1313.14 c 1313 916 892 1 - 0.0000 -
1314.60/1319.35 c 1319 932 908 1 - 0.0000 -
1320.38/1325.19 c 1325 935 911 1 - 0.0000 -
1327.94/1332.70 c 1333 938 914 1 - 0.0000 -
1347.97/1352.89 c 1353 945 921 1 - 0.0000 -
1354.44/1359.32 c 1359 959 935 1 - 0.0000 -
1360.01/1364.95 c 1365 971 947 1 - 0.0000 -
1366.59/1371.56 c 1372 983 957 1 - 0.0000 -
1372.17/1377.19 c 1377 993 967 1 - 0.0000 -
1378.54/1383.51 c 1384 996 970 1 - 0.0000 -
1383.72/1388.71 c 1389 1002 976 1 - 0.0000 -
1392.18/1397.24 c 1397 1008 982 1 - 0.0000 -
1398.26/1403.30 c 1403 1012 986 1 - 0.0000 -
1405.34/1410.43 c 1410 1025 999 1 - 0.0000 -
1414.90/1420.01 c 1420 1032 1006 1 - 0.0000 -
1420.88/1426.03 c 1426 1044 1016 1 - 0.0000 -
1533.59/1539.26 c 1539 1051 1 1 - 0.0000 -
1791.70/1798.20 c 1798 1057 7 1 - 0.0000 -
1804.95/1811.59 c 1812 1061 11 1 - 0.0000 -
1810.63/1817.21 c 1817 1065 15 1 - 0.0000 -
1816.60/1823.21 c 1823 1069 19 1 - 0.0000 -
1836.22/1842.94 c 1843 1074 24 1 - 0.0000 -
1845.88/1852.66 c 1853 1077 27 1 - 0.0000 -
1853.16/1859.91 c 1860 1079 29 1 - 0.0000 -
1859.13/1865.92 c 1866 1089 39 1 - 0.0000 -
1865.21/1872.01 c 1872 1095 45 1 - 0.0000 -
1879.15/1886.01 c 1886 1103 53 1 - 0.0000 -
1884.72/1891.67 c 1892 1107 57 1 - 0.0000 -
1891.79/1898.76 c 1899 1109 59 1 - 0.0000 -
1897.96/1904.99 c 1905 1116 66 1 - 0.0000 -
1903.43/1910.42 c 1910 1121 71 1 - 0.0000 -
1913.88/1920.98 c 1921 1126 76 1 - 0.0000 -
1923.95/1931.09 c 1931 1128 78 1 - 0.0000 -
1931.22/1938.34 c 1938 1131 81 1 - 0.0000 -
1945.96/1953.17 c 1953 1134 84 1 - 0.0000 -
1951.53/1958.79 c 1959 1150 100 1 - 0.0000 -
1961.69/1968.94 c 1969 1151 101 1 - 0.0000 -
1967.57/1974.87 c 1975 1161 111 1 - 0.0000 -
1975.53/1982.84 c 1983 1168 118 1 - 0.0000 -
1981.81/1989.12 c 1989 1172 122 1 - 0.0000 -
1986.79/1994.19 c 1994 1176 126 1 - 0.0000 -
1994.14/2001.50 c 2002 1180 130 1 - 0.0000 -
2000.82/2008.25 c 2008 1185 135 1 - 0.0000 -
2009.59/2017.00 c 2017 1191 141 1 - 0.0000 -
2018.64/2026.11 c 2026 1195 145 1 - 0.0000 -
2030.50/2038.02 c 2038 1198 148 1 - 0.0000 -
2037.07/2044.62 c 2045 1202 152 1 - 0.0000 -
2049.81/2057.47 c 2057 1211 161 1 - 0.0000 -
2055.19/2062.81 c 2063 1218 168 1 - 0.0000 -
2060.76/2068.46 c 2068 1223 173 1 - 0.0000 -
2070.82/2078.54 c 2079 1227 177 1 - 0.0000 -
2083.67/2091.47 c 2091 1235 185 1 - 0.0000 -
2096.82/2104.64 c 2105 1237 187 1 - 0.0000 -
2121.13/2129.04 c 2129 1242 192 1 - 0.0000 -
2129.90/2137.82 c 2138 1246 196 1 - 0.0000 -
2139.66/2147.68 c 2148 1249 199 1 - 0.0000 -
2145.84/2153.80 c 2154 1252 202 1 - 0.0000 -
2152.90/2160.97 c 2161 1257 207 1 - 0.0000 -
2161.67/2169.70 c 2170 1275 225 1 - 0.0000 -
2168.83/2176.99 c 2177 1280 230 1 - 0.0000 -
2175.30/2183.49 c 2183 1285 235 1 - 0.0000 -
2180.99/2189.13 c 2189 1288 238 1 - 0.0000 -
2189.04/2197.20 c 2197 1297 247 1 - 0.0000 -
2195.21/2203.44 c 2203 1299 249 1 - 0.0000 -
2200.49/2208.80 c 2209 1300 250 1 - 0.0000 -
2206.16/2214.40 c 2214 1311 261 1 - 0.0000 -
2224.10/2232.47 c 2232 1312 262 1 - 0.0000 -
2237.54/2245.98 c 2246 1314 264 1 - 0.0000 -
2243.11/2251.55 c 2252 1320 270 1 - 0.0000 -
2248.49/2256.95 c 2257 1324 274 1 - 0.0000 -
2255.26/2263.70 c 2264 1328 278 1 - 0.0000 -
2260.33/2268.85 c 2269 1337 287 1 - 0.0000 -
2267.00/2275.53 c 2276 1341 291 1 - 0.0000 -
2275.07/2283.69 c 2284 1345 295 1 - 0.0000 -
2280.45/2289.08 c 2289 1348 298 1 - 0.0000 -
2304.47/2313.17 c 2313 1351 301 1 - 0.0000 -
2310.53/2319.21 c 2319 1354 304 1 - 0.0000 -
2323.39/2332.19 c 2332 1359 309 1 - 0.0000 -
2335.84/2344.66 c 2345 1361 311 1 - 0.0000 -
2341.02/2349.88 c 2350 1370 320 1 - 0.0000 -
2352.47/2361.33 c 2361 1371 321 1 - 0.0000 -
2367.31/2376.22 c 2376 1377 327 1 - 0.0000 -
2373.20/2382.18 c 2382 1379 329 1 - 0.0000 -
2384.25/2393.26 c 2393 1381 331 1 - 0.0000 -
2393.22/2402.21 c 2402 1386 336 1 - 0.0000 -
2401.19/2410.21 c 2410 1389 339 1 - 0.0000 -
2409.66/2418.80 c 2419 1391 341 1 - 0.0000 -
2418.62/2427.80 c 2428 1404 354 1 - 0.0000 -
2423.80/2432.96 c 2433 1411 361 1 - 0.0000 -
2431.76/2440.95 c 2441 1421 371 1 - 0.0000 -
2440.63/2449.89 c 2450 1425 375 1 - 0.0000 -
2451.89/2461.15 c 2461 1428 378 1 - 0.0000 -
2457.16/2466.45 c 2466 1430 380 1 - 0.0000 -
2479.88/2489.22 c 2489 1431 381 1 - 0.0000 -
2497.82/2507.21 c 2507 1433 383 1 - 0.0000 -
2504.29/2513.71 c 2514 1437 387 1 - 0.0000 -
2521.82/2531.36 c 2531 1446 396 1 - 0.0000 -
2537.47/2547.02 c 2547 1448 398 1 - 0.0000 -
2542.95/2552.56 c 2553 1450 400 1 - 0.0000 -
2553.20/2562.81 c 2563 1453 403 1 - 0.0000 -
2569.93/2579.66 c 2580 1463 413 1 - 0.0000 -
2574.91/2584.68 c 2585 1469 419 1 - 0.0000 -
2583.29/2593.04 c 2593 1471 421 1 - 0.0000 -
2595.94/2605.76 c 2606 1473 423 1 - 0.0000 -
2623.65/2633.53 c 2634 1475 425 1 - 0.0000 -
2631.02/2640.97 c 2641 1479 429 1 - 0.0000 -
2641.58/2651.59 c 2652 1481 431 1 - 0.0000 -
2656.64/2666.66 c 2667 1483 433 1 - 0.0000 -
2670.69/2680.74 c 2681 1485 435 1 - 0.0000 -
2680.46/2690.55 c 2691 1487 437 1 - 0.0000 -
2687.53/2697.65 c 2698 1492 442 1 - 0.0000 -
2693.81/2703.92 c 2704 1495 445 1 - 0.0000 -
2699.09/2709.22 c 2709 1497 447 1 - 0.0000 -
2711.74/2721.93 c 2722 1501 451 1 - 0.0000 -
2724.70/2734.92 c 2735 1503 453 1 - 0.0000 -
2729.89/2740.14 c 2740 1507 457 1 - 0.0000 -
2741.35/2751.61 c 2752 1511 461 1 - 0.0000 -
2748.42/2758.71 c 2759 1513 463 1 - 0.0000 -
2754.80/2765.15 c 2765 1516 466 1 - 0.0000 -
2766.07/2776.40 c 2776 1517 467 1 - 0.0000 -
2777.53/2787.94 c 2788 1525 475 1 - 0.0000 -
2788.09/2798.56 c 2799 1528 478 1 - 0.0000 -
2798.86/2809.36 c 2809 1532 482 1 - 0.0000 -
2804.15/2814.68 c 2815 1537 487 1 - 0.0000 -
2812.62/2823.14 c 2823 1539 489 1 - 0.0000 -
2817.70/2828.26 c 2828 1541 491 1 - 0.0000 -
2823.77/2834.32 c 2834 1547 497 1 - 0.0000 -
2837.93/2848.54 c 2849 1551 501 1 - 0.0000 -
2843.21/2853.89 c 2854 1558 508 1 - 0.0000 -
2855.07/2865.71 c 2866 1561 511 1 - 0.0000 -
2862.85/2873.52 c 2874 1570 520 1 - 0.0000 -
2870.71/2881.46 c 2881 1577 527 1 - 0.0000 -
2886.67/2897.43 c 2897 1581 531 1 - 0.0000 -
2893.84/2904.66 c 2905 1582 532 1 - 0.0000 -
2905.31/2916.16 c 2916 1583 533 1 - 0.0000 -
2912.39/2923.26 c 2923 1592 542 1 - 0.0000 -
2919.85/2930.79 c 2931 1601 551 1 - 0.0000 -
2930.82/2941.70 c 2942 1607 557 1 - 0.0000 -
2936.50/2947.42 c 2947 1614 564 1 - 0.0000 -
2943.18/2954.11 c 2954 1617 567 1 - 0.0000 -
2948.27/2959.20 c 2959 1619 569 1 - 0.0000 -
2962.51/2973.55 c 2974 1631 581 1 - 0.0000 -
2967.79/2978.81 c 2979 1636 586 1 - 0.0000 -
2982.54/2993.64 c 2994 1637 587 1 - 0.0000 -
2994.31/3005.46 c 3005 1639 589 1 - 0.0000 -
2999.89/3011.06 c 3011 1643 593 1 - 0.0000 -
3007.16/3018.37 c 3018 1646 596 1 - 0.0000 -
3012.55/3023.77 c 3024 1650 600 1 - 0.0000 -
3020.62/3031.89 c 3032 1654 604 1 - 0.0000 -
3036.17/3047.47 c 3047 1657 607 1 - 0.0000 -
3042.85/3054.15 c 3054 1661 611 1 - 0.0000 -
3060.88/3072.24 c 3072 1663 613 1 - 0.0000 -
3067.77/3079.12 c 3079 1665 615 1 - 0.0000 -
3073.65/3085.10 c 3085 1669 619 1 - 0.0000 -
3093.98/3105.40 c 3105 1671 621 1 - 0.0000 -
3103.65/3115.19 c 3115 1673 623 1 - 0.0000 -
3114.52/3126.06 c 3126 1677 627 1 - 0.0000 -
3120.69/3132.28 c 3132 1680 630 1 - 0.0000 -
3127.77/3139.35 c 3139 1684 634 1 - 0.0000 -
3134.65/3146.23 c 3146 1688 638 1 - 0.0000 -
3141.43/3153.01 c 3153 1692 642 1 - 0.0000 -
3149.80/3161.48 c 3161 1696 646 1 - 0.0000 -
3159.76/3171.41 c 3171 1702 652 1 - 0.0000 -
3165.84/3177.55 c 3178 1706 656 1 - 0.0000 -
3171.22/3182.94 c 3183 1710 660 1 - 0.0000 -
3184.98/3196.75 c 3197 1721 671 1 - 0.0000 -
3190.46/3202.24 c 3202 1725 675 1 - 0.0000 -
3200.63/3212.42 c 3212 1735 685 1 - 0.0000 -
3208.61/3220.47 c 3220 1738 688 1 - 0.0000 -
3223.86/3235.78 c 3236 1741 691 1 - 0.0000 -
3231.83/3243.74 c 3244 1747 697 1 - 0.0000 -
3237.41/3249.34 c 3249 1751 701 1 - 0.0000 -
3244.49/3256.47 c 3256 1754 704 1 - 0.0000 -
3251.76/3263.71 c 3264 1755 705 1 - 0.0000 -
3258.13/3270.16 c 3270 1758 708 1 - 0.0000 -
3265.51/3277.59 c 3278 1762 712 1 - 0.0000 -
3272.57/3284.68 c 3285 1766 716 1 - 0.0000 -
3279.05/3291.19 c 3291 1770 720 1 - 0.0000 -
3289.60/3301.74 c 3302 1773 723 1 - 0.0000 -
3306.24/3318.46 c 3318 1778 728 1 - 0.0000 -
3313.32/3325.54 c 3326 1781 731 1 - 0.0000 -
3319.00/3331.28 c 3331 1789 739 1 - 0.0000 -
3342.32/3354.64 c 3355 1791 741 1 - 0.0000 -
3347.80/3360.17 c 3360 1796 746 1 - 0.0000 -
3353.58/3365.93 c 3366 1797 747 1 - 0.0000 -
3358.95/3371.39 c 3371 1803 753 1 - 0.0000 -
3364.73/3377.12 c 3377 1812 762 1 - 0.0000 -
3371.00/3383.45 c 3383 1817 767 1 - 0.0000 -
3377.07/3389.52 c 3390 1819 769 1 - 0.0000 -
3406.36/3418.95 c 3419 1821 771 1 - 0.0000 -
3419.12/3431.77 c 3432 1823 773 1 - 0.0000 -
3427.29/3439.94 c 3440 1828 778 1 - 0.0000 -
3434.57/3447.29 c 3447 1830 780 1 - 0.0000 -
3440.73/3453.40 c 3453 1834 784 1 - 0.0000 -
3448.81/3461.59 c 3462 1841 791 1 - 0.0000 -
3464.36/3477.14 c 3477 1842 792 1 - 0.0000 -
3470.52/3483.38 c 3483 1852 802 1 - 0.0000 -
3478.79/3491.64 c 3492 1858 808 1 - 0.0000 -
3484.96/3497.82 c 3498 1866 816 1 - 0.0000 -
3493.13/3506.00 c 3506 1873 823 1 - 0.0000 -
3510.67/3523.62 c 3524 1874 824 1 - 0.0000 -
3518.34/3531.30 c 3531 1878 828 1 - 0.0000 -
3526.51/3539.57 c 3540 1883 833 1 - 0.0000 -
3532.89/3545.94 c 3546 1887 837 1 - 0.0000 -
3539.17/3552.29 c 3552 1889 839 1 - 0.0000 -
3545.25/3558.37 c 3558 1892 842 1 - 0.0000 -
3550.33/3563.45 c 3563 1896 846 1 - 0.0000 -
3558.70/3571.86 c 3572 1902 852 1 - 0.0000 -
3573.26/3586.45 c 3586 1905 855 1 - 0.0000 -
3579.23/3592.42 c 3592 1913 863 1 - 0.0000 -
3585.72/3598.93 c 3599 1921 871 1 - 0.0000 -
3587.21/3600.49 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.21/3600.49 c Total Time : 3600.5000
3587.21/3600.49 c solving : 3600.5000
3587.31/3600.50 c presolving : 14.3974 (included in solving)
3587.31/3600.50 c B&B Tree :
3587.31/3600.50 c nodes (total) : 1
3587.31/3600.50 c Solution :
3587.31/3600.50 c Solutions found : 0
3587.31/3600.50 c Primal Bound : -
3587.31/3600.50 c Dual Bound : +0.00000000000000e+00
3587.31/3600.50 c Gap : -
3587.61/3600.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61750 MiB free)
memory of node 1: 64473 MiB (62449 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446080-1721324844/watcher-4446080-1721324844 -o /tmp/evaluation-result-4446080-1721324844/solver-4446080-1721324844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007725 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446080-1721324844.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1012677, runsolver pid=1012674
[startup+0.100205 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=127085784/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=55704 memory=43732 CPUtime=0.09 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 8888 0 0 0 8 1 0 0 20 0 1 0 184652490 57040896 10933 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 13926 10933 2318 3032 0 10326 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55704 KiB
Current children cumulated memory: 43732 KiB
[startup+0.205403 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=126994456/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=86784 memory=74316 CPUtime=0.2 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 16509 0 0 0 18 2 0 0 20 0 1 0 184652490 88866816 18579 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 21696 18579 2318 3032 0 18096 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86784 KiB
Current children cumulated memory: 74316 KiB
[startup+0.305407 s]*
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=126880824/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=117120 memory=104424 CPUtime=0.29 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 24076 0 0 0 26 3 0 0 20 0 1 0 184652490 119930880 26106 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 29280 26106 2318 3032 0 25680 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117120 KiB
Current children cumulated memory: 104424 KiB
[startup+0.700245 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=126606896/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=312400 memory=296384 CPUtime=0.68 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 72442 0 0 0 59 9 0 0 20 0 1 0 184652490 319897600 74096 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 78100 74096 2606 3032 0 74500 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 312400 KiB
Current children cumulated memory: 296384 KiB
[startup+1.50025 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=125921820/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=478088 memory=459372 CPUtime=1.48 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 90593 0 0 0 133 15 0 0 20 0 1 0 184652490 489562112 114843 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 119522 114843 2654 3032 0 115922 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 478088 KiB
Current children cumulated memory: 459372 KiB
[startup+3.10535 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=125116004/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=469704 memory=448996 CPUtime=3.09 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 114688 0 0 0 290 19 0 0 20 0 1 0 184652490 480976896 112249 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 117426 112249 2734 3032 0 113826 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 469704 KiB
Current children cumulated memory: 448996 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1012678
/proc/meminfo: memFree=124313724/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=469704 memory=449472 CPUtime=6.27 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 114821 0 0 0 608 19 0 0 20 0 1 0 184652490 480976896 112368 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 117426 112368 2734 3032 0 113826 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 469704 KiB
Current children cumulated memory: 449472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.14 4.15 5/259 1012682
/proc/meminfo: memFree=123400112/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=469704 memory=449472 CPUtime=12.65 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 114839 0 0 0 1246 19 0 0 20 0 1 0 184652490 480976896 112368 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 117426 112368 2734 3032 0 113826 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 469704 KiB
Current children cumulated memory: 449472 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.13 4.15 5/261 1012685
/proc/meminfo: memFree=121310072/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2052528 memory=1820588 CPUtime=25.39 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 363023 0 0 0 2474 65 0 0 20 0 3 0 184652490 2101788672 455147 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 513132 455147 2926 3032 0 492205 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2052528 memory=1820460 CPUtime=10.08 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 206301 0 0 0 974 34 0 0 20 0 3 0 184653995 2101788672 455147 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2052528 memory=5464 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 184654051 2101788672 455147 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2052528 KiB
Current children cumulated memory: 1820588 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.14 4.15 5/263 1012692
/proc/meminfo: memFree=117593816/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2052528 memory=1849520 CPUtime=50.94 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 432555 0 0 0 5024 70 0 0 20 0 3 0 184652490 2101788672 462380 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 513132 462380 2926 3032 0 505671 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2052528 memory=-7880590079438381182 CPUtime=35.62 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 275818 0 0 0 3523 39 0 0 20 0 3 0 184653995 2101788672 462380 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2052528 memory=-7880590079438381182 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 184654051 2101788672 462380 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2052528 KiB
Current children cumulated memory: 1849520 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/263 1012701
/proc/meminfo: memFree=115226656/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2118064 memory=1873388 CPUtime=101.97 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 550712 0 0 0 10119 78 0 0 20 0 3 0 184652490 2168897536 468347 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 529516 468347 2926 3032 0 515427 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2118064 memory=11396 CPUtime=86.66 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 393960 0 0 0 8618 48 0 0 20 0 3 0 184653995 2168897536 468347 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2118064 memory=1873388 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 184654051 2168897536 468347 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2118064 KiB
Current children cumulated memory: 1873388 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/265 1012715
/proc/meminfo: memFree=115221316/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2183600 memory=1877656 CPUtime=161.76 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 637519 0 0 0 16089 87 0 0 20 0 3 0 184652490 2236006400 469414 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 545900 469414 2926 3032 0 533857 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2183600 memory=1877532 CPUtime=146.44 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 480759 0 0 0 14588 56 0 0 20 0 3 0 184653995 2236006400 469414 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2183600 memory=1877656 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 184654051 2236006400 469414 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2183600 KiB
Current children cumulated memory: 1877656 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/265 1012726
/proc/meminfo: memFree=115011452/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2478272 memory=2086204 CPUtime=221.52 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 811824 0 0 0 22048 104 0 0 20 0 3 0 184652490 2537750528 521551 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 619568 521551 2926 3032 0 607122 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2478272 memory=1883740 CPUtime=206.21 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 655016 0 0 0 20547 74 0 0 20 0 3 0 184653995 2537750528 521551 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2478272 memory=2085924 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 184654051 2537750528 521551 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 2478272 KiB
Current children cumulated memory: 2086204 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/265 1012738
/proc/meminfo: memFree=115010404/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2551996 memory=2086620 CPUtime=281.32 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 878437 0 0 0 28023 109 0 0 20 0 3 0 184652490 2613243904 521655 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 637999 521655 2974 3032 0 625553 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=2551996 memory=2086492 CPUtime=266 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 721543 0 0 0 26522 78 0 0 20 0 3 0 184653995 2613243904 521655 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2551996 memory=2086592 CPUtime=0 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 184654051 2613243904 521655 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 2551996 KiB
Current children cumulated memory: 2086620 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.13 4.14 5/265 1012749
################
# More data... #
################
[pid=1012677] ppid=1012674 vsize=3924336 memory=2402644 CPUtime=3389.82 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4741592 0 0 0 338605 377 0 0 20 0 3 0 184652490 4018520064 600661 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 981084 600661 2990 3032 0 960633 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3924336 memory=2402644 CPUtime=3374.4 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4581825 0 0 0 337100 340 0 0 20 0 3 0 184653995 4018520064 600661 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3924336 memory=2402644 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 332 0 0 0 1 4 0 0 20 0 3 0 184654051 4018520064 600661 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3389.82 s
Current children cumulated vsize: 3924336 KiB
Current children cumulated memory: 2402644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.25 4.16 5/266 1014561
/proc/meminfo: memFree=112047516/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402656 CPUtime=3449.6 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4809466 0 0 0 344578 382 0 0 20 0 3 0 184652490 4037398528 600664 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600664 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=2402656 CPUtime=3434.17 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4649612 0 0 0 343073 344 0 0 20 0 3 0 184653995 4037398528 600664 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=2402656 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 339 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600664 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3449.6 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.16 5/263 1014571
/proc/meminfo: memFree=112046240/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402684 CPUtime=3509.37 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4873671 0 0 0 350551 386 0 0 20 0 3 0 184652490 4037398528 600671 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600671 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=11396 CPUtime=3493.94 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4713763 0 0 0 349046 348 0 0 20 0 3 0 184653995 4037398528 600671 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=5464 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 345 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600671 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3509.37 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/263 1014583
/proc/meminfo: memFree=112041044/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=3569.17 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4946523 0 0 0 356525 392 0 0 20 0 3 0 184652490 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600688 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=11396 CPUtime=3553.74 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4786508 0 0 0 355020 354 0 0 20 0 3 0 184653995 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=11396 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3569.17 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402752 KiB
[startup+3600.84 s]
# the end of solver process 1012677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.59 s, system=4.07528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.20 4.15 5/263 1014583
/proc/meminfo: memFree=112041080/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=3570.87 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4946523 0 0 0 356695 392 0 0 20 0 3 0 184652490 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600688 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=3752 CPUtime=3555.44 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4786508 0 0 0 355190 354 0 0 20 0 3 0 184653995 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=-6933350163988323775 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3570.87 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402752 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.19 4.15 5/263 1014585
/proc/meminfo: memFree=112040956/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=3577.24 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4947564 0 0 0 357332 392 0 0 20 0 3 0 184652490 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600688 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=11396 CPUtime=3561.81 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4787539 0 0 0 355827 354 0 0 20 0 3 0 184653995 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=43840 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3577.24 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402752 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014586
/proc/meminfo: memFree=112041012/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=3583.62 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4956199 0 0 0 357969 393 0 0 20 0 3 0 184652490 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600688 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=3568.18 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4796159 0 0 0 356463 355 0 0 20 0 3 0 184653995 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=2402752 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600688 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3583.62 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402752 KiB
[startup+3598.4 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040992/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402772 CPUtime=3585.22 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4958877 0 0 0 358128 394 0 0 20 0 3 0 184652490 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600693 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=2788 CPUtime=3569.79 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4798837 0 0 0 356623 356 0 0 20 0 3 0 184653995 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=13116 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3585.22 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402772 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040812/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402772 CPUtime=3586.82 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4958903 0 0 0 358288 394 0 0 20 0 3 0 184652490 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600693 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=-7096686500032844137 CPUtime=3571.39 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4798863 0 0 0 356783 356 0 0 20 0 3 0 184653995 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=-6933350163988323775 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3586.82 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402772 KiB
[startup+3600.4 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040812/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=3942772 memory=2402772 CPUtime=3587.21 cores=4,6
/proc/1012677/stat : 1012677 (fscip) S 1012674 1012677 1007714 0 -1 1077936128 4986285 0 0 0 358325 396 0 0 20 0 3 0 184652490 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 985693 600693 2990 3032 0 965242 0
[pid=1012677/tid=1012683] ppid=1012674 vsize=3942772 memory=2402772 CPUtime=3571.78 cores=4,6
/proc/1012677/task/1012683/stat : 1012683 (fscip) R 1012674 1012677 1007714 0 -1 4194368 4826239 0 0 0 356820 358 0 0 20 0 3 0 184653995 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=3942772 memory=16236 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 3 0 184654051 4037398528 600693 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 3942772 KiB
Current children cumulated memory: 2402772 KiB
[startup+3600.8 s]
/proc/loadavg: 4.10 4.18 4.15 5/263 1014587
/proc/meminfo: memFree=112040812/131524600 swapFree=131071996/131071996
[pid=1012677] ppid=1012674 vsize=2114488 memory=1765184 CPUtime=3587.61 cores=4,6
/proc/1012677/stat : 1012677 (fscip) R 1012674 1012677 1007714 0 -1 4194304 5078092 0 0 0 358358 403 0 0 20 0 2 0 184652490 2165235712 441296 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
/proc/1012677/statm: 528622 441296 2990 3032 0 516069 0
[pid=1012677/tid=1012684] ppid=1012674 vsize=2114488 memory=2402752 CPUtime=0.05 cores=4,6
/proc/1012677/task/1012684/stat : 1012684 (fscip) S 1012674 1012677 1007714 0 -1 1077936192 350 0 0 0 1 4 0 0 20 0 2 0 184654051 2165235712 441296 134679101440 4194304 16613245 140734212903408 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 56537088 140734212908051 140734212908167 140734212908167 140734212915184 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 2114488 KiB
Current children cumulated memory: 1765184 KiB
Child status: 0
Real time (s): 3600.84
CPU time (s): 3587.66
CPU user time (s): 3583.59
CPU system time (s): 4.07528
CPU usage (%): 99.6339
Max. virtual memory (cumulated for all children) (KiB): 3942772
Max. memory (cumulated for all children) (KiB): 2417168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.59
system time used= 4.07528
maximum resident set size= 2417340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5079171
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= 5424
involuntary context switches= 1677
# summary of solver processes directly reported to runsolver:
# pid: 1012677
# total CPU time (s): 3587.66
# total CPU user time (s): 3583.59
# total CPU system time (s): 4.07528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00039 second user time and 18.3488 second system time
The end
Begin job on nodeC030 at 2024-07-18 19:47:37
IDJOB=4446080
IDBENCH=155442
IDSOLVER=3064
FILE ID=nodeC030/4446080-1721324844
RUNJOBID= nodeC030-1721317650-1007725
SLURM_JOB_ID= 7542666
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4446080-1721324844/watcher-4446080-1721324844 -o /tmp/evaluation-result-4446080-1721324844/solver-4446080-1721324844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007725 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446080-1721324844.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ffe17eea1acb86364611cfd69bcd9b8
RANDOM SEED=428066553
nodeC030.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 : 3599.739
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.28
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 : 3666.049
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3684.342
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.28
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 : 3602.086
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3684.125
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.28
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.304
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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.312
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.28
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.277
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127189296 kB
MemAvailable: 128456364 kB
Buffers: 481344 kB
Cached: 1614424 kB
SwapCached: 0 kB
Active: 1155724 kB
Inactive: 2552200 kB
Active(anon): 1524 kB
Inactive(anon): 1648348 kB
Active(file): 1154200 kB
Inactive(file): 903852 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 154596 kB
Writeback: 24 kB
AnonPages: 1611672 kB
Mapped: 127204 kB
Shmem: 37720 kB
KReclaimable: 97680 kB
Slab: 209900 kB
SReclaimable: 97680 kB
SUnreclaim: 112220 kB
KernelStack: 3968 kB
PageTables: 12356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1637052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 917504 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889896 MiB
End job on nodeC030 at 2024-07-18 20:47:38