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.20/0.28 c Default LC presolving (default).
0.20/0.29 c ** Before presolving: virtualMemUsedAtLc = 233070202, getVmSize() = 170696704, SCIPgetMemUsed() = 106504485, SCIPgetMemTotal() = 142605357, SCIPgetMemExternEstim() = 90464845
0.20/0.29 c ** set memory limit for presolving in LC to 8.79602e+12 for SCIP **
2.39/2.42 c ** Estimated virtualMemUsedAtSolver = 386044281, getVmSize() = 525365248, SCIPgetMemUsed() = 267415153, SCIPgetMemTotal() = 488601577, SCIPgetMemExternEstim() = 90464845
2.39/2.42 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
2.39/2.42 c Original Problem :
2.39/2.42 c Problem name : instance-4464331-1722378752
2.39/2.42 c Variables : 1440 (1440 binary, 0 integer, 0 implicit integer, 0 continuous)
2.39/2.42 c Constraints : 86040
2.39/2.42 c Objective sense : minimize
2.39/2.42 c Presolved Problem :
2.39/2.42 c Variables : 1432 (1432 binary, 0 integer, 0 implicit integer, 0 continuous)
2.39/2.42 c Constraints : 85238
2.39/2.42 c Constraints : Number
2.39/2.42 c setppc : 358
2.39/2.42 c orbitope : 3
2.39/2.42 c logicor : 84877
2.39/2.42 c ** Instance transfer method used: 0
2.49/2.53 c ** ParaScipInstance copy increased the number of variables. **
2.58/2.64 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.58/2.64 c Nodes Active
2.58/2.64 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
61.62/61.86 c 62 2 1 1 - 0.0000 -
82.17/82.44 c 82 7 6 1 - 0.0000 -
102.32/102.61 c 103 8 7 1 - 0.0000 -
121.57/121.96 c 122 9 8 1 - 0.0000 -
127.15/127.59 c 128 10 9 1 - 0.0000 -
161.06/161.57 c 162 12 11 1 - 0.0000 -
347.20/348.15 c 348 13 12 1 - 0.0000 -
359.37/360.37 c 360 14 13 1 - 0.0000 -
380.91/381.99 c 382 17 16 1 - 0.0000 -
386.10/387.17 c 387 20 19 1 - 0.0000 -
392.18/393.23 c 393 25 24 1 - 0.0000 -
411.33/412.46 c 412 26 25 1 - 0.0000 -
441.25/442.46 c 442 33 32 1 - 0.0000 -
460.70/461.97 c 462 36 35 1 - 0.0000 -
482.65/483.98 c 484 38 37 1 - 0.0000 -
487.93/489.25 c 489 42 41 1 - 0.0000 -
493.42/494.72 c 495 46 45 1 - 0.0000 -
500.10/501.49 c 502 50 49 1 - 0.0000 -
509.78/511.16 c 511 52 51 1 - 0.0000 -
538.80/540.26 c 540 56 55 1 - 0.0000 -
551.87/553.31 c 553 60 59 1 - 0.0000 -
584.87/586.48 c 586 62 61 1 - 0.0000 -
618.88/620.54 c 621 64 63 1 - 0.0000 -
642.62/644.35 c 644 76 75 1 - 0.0000 -
650.00/651.71 c 652 81 80 1 - 0.0000 -
657.38/659.12 c 659 88 87 1 - 0.0000 -
662.66/664.40 c 664 91 90 1 - 0.0000 -
668.05/669.85 c 670 95 94 1 - 0.0000 -
673.93/675.75 c 676 98 97 1 - 0.0000 -
689.59/691.47 c 691 100 99 1 - 0.0000 -
695.28/697.11 c 697 104 103 1 - 0.0000 -
715.52/717.40 c 717 105 104 1 - 0.0000 -
720.71/722.65 c 723 109 108 1 - 0.0000 -
732.08/734.00 c 734 112 111 1 - 0.0000 -
760.80/762.86 c 763 118 117 1 - 0.0000 -
766.59/768.63 c 769 124 123 1 - 0.0000 -
773.87/775.98 c 776 129 128 1 - 0.0000 -
781.75/783.82 c 784 133 132 1 - 0.0000 -
793.42/795.55 c 796 140 139 1 - 0.0000 -
799.90/802.00 c 802 151 150 1 - 0.0000 -
807.57/809.76 c 810 154 153 1 - 0.0000 -
813.35/815.55 c 816 160 159 1 - 0.0000 -
818.94/821.17 c 821 165 164 1 - 0.0000 -
835.30/837.54 c 838 168 167 1 - 0.0000 -
841.68/843.99 c 844 173 172 1 - 0.0000 -
848.66/850.98 c 851 177 176 1 - 0.0000 -
854.45/856.79 c 857 181 180 1 - 0.0000 -
859.53/861.83 c 862 183 182 1 - 0.0000 -
866.31/868.65 c 869 189 188 1 - 0.0000 -
871.80/874.13 c 874 193 192 1 - 0.0000 -
878.29/880.68 c 881 198 197 1 - 0.0000 -
884.37/886.71 c 887 201 200 1 - 0.0000 -
894.44/896.85 c 897 202 201 1 - 0.0000 -
900.12/902.53 c 903 207 206 1 - 0.0000 -
905.62/908.00 c 908 211 210 1 - 0.0000 -
919.77/922.27 c 922 212 211 1 - 0.0000 -
925.86/928.36 c 928 216 215 1 - 0.0000 -
932.74/935.22 c 935 220 219 1 - 0.0000 -
938.64/941.17 c 941 227 226 1 - 0.0000 -
963.48/966.05 c 966 228 227 1 - 0.0000 -
969.46/972.01 c 972 232 231 1 - 0.0000 -
975.84/978.46 c 978 237 236 1 - 0.0000 -
982.92/985.58 c 986 241 240 1 - 0.0000 -
1008.36/1011.04 c 1011 245 244 1 - 0.0000 -
1013.85/1016.54 c 1017 247 246 1 - 0.0000 -
1019.13/1021.87 c 1022 251 250 1 - 0.0000 -
1024.72/1027.49 c 1027 254 253 1 - 0.0000 -
1036.19/1038.95 c 1039 256 255 1 - 0.0000 -
1041.97/1044.75 c 1045 261 260 1 - 0.0000 -
1055.24/1058.08 c 1058 265 264 1 - 0.0000 -
1062.02/1064.83 c 1065 269 268 1 - 0.0000 -
1067.31/1070.18 c 1070 273 272 1 - 0.0000 -
1073.78/1076.69 c 1077 276 275 1 - 0.0000 -
1079.97/1082.82 c 1083 278 277 1 - 0.0000 -
1089.25/1092.14 c 1092 283 282 1 - 0.0000 -
1094.53/1097.46 c 1097 287 286 1 - 0.0000 -
1103.41/1106.33 c 1106 292 291 1 - 0.0000 -
1108.70/1111.67 c 1112 296 295 1 - 0.0000 -
1114.58/1117.54 c 1118 300 299 1 - 0.0000 -
1128.25/1131.27 c 1131 302 301 1 - 0.0000 -
1134.04/1137.02 c 1137 307 306 1 - 0.0000 -
1139.82/1142.85 c 1143 311 310 1 - 0.0000 -
1149.79/1152.85 c 1153 312 311 1 - 0.0000 -
1154.99/1158.06 c 1158 316 315 1 - 0.0000 -
1160.07/1163.16 c 1163 320 319 1 - 0.0000 -
1172.33/1175.47 c 1175 322 321 1 - 0.0000 -
1177.72/1180.81 c 1181 328 327 1 - 0.0000 -
1183.21/1186.33 c 1186 331 330 1 - 0.0000 -
1199.37/1202.57 c 1203 332 331 1 - 0.0000 -
1204.56/1207.71 c 1208 338 337 1 - 0.0000 -
1211.44/1214.68 c 1215 342 341 1 - 0.0000 -
1217.33/1220.56 c 1221 348 347 1 - 0.0000 -
1226.00/1229.27 c 1229 352 351 1 - 0.0000 -
1232.59/1235.83 c 1236 357 356 1 - 0.0000 -
1237.88/1241.18 c 1241 360 359 1 - 0.0000 -
1244.65/1247.99 c 1248 362 361 1 - 0.0000 -
1251.24/1254.52 c 1255 369 368 1 - 0.0000 -
1265.50/1268.89 c 1269 372 371 1 - 0.0000 -
1271.79/1275.19 c 1275 378 377 1 - 0.0000 -
1281.66/1285.05 c 1285 382 381 1 - 0.0000 -
1287.84/1291.28 c 1291 386 385 1 - 0.0000 -
1294.82/1298.27 c 1298 390 389 1 - 0.0000 -
1308.28/1311.74 c 1312 392 391 1 - 0.0000 -
1313.87/1317.38 c 1317 398 397 1 - 0.0000 -
1321.45/1324.93 c 1325 402 401 1 - 0.0000 -
1328.04/1331.53 c 1332 408 407 1 - 0.0000 -
1336.81/1340.34 c 1340 412 411 1 - 0.0000 -
1343.00/1346.55 c 1347 418 417 1 - 0.0000 -
1349.78/1353.30 c 1353 421 420 1 - 0.0000 -
1362.05/1365.61 c 1366 422 421 1 - 0.0000 -
1368.73/1372.31 c 1372 428 427 1 - 0.0000 -
1377.81/1381.41 c 1381 432 431 1 - 0.0000 -
1382.90/1386.50 c 1387 438 437 1 - 0.0000 -
1392.68/1396.33 c 1396 442 441 1 - 0.0000 -
1397.96/1401.62 c 1402 446 445 1 - 0.0000 -
1407.44/1411.19 c 1411 452 451 1 - 0.0000 -
1412.53/1416.27 c 1416 457 456 1 - 0.0000 -
1430.88/1434.69 c 1435 462 461 1 - 0.0000 -
1436.67/1440.47 c 1440 465 464 1 - 0.0000 -
1443.85/1447.68 c 1448 469 468 1 - 0.0000 -
1477.66/1481.57 c 1482 472 471 1 - 0.0000 -
1484.44/1488.31 c 1488 477 476 1 - 0.0000 -
1492.22/1496.17 c 1496 482 481 1 - 0.0000 -
1498.00/1501.96 c 1502 486 485 1 - 0.0000 -
1503.69/1507.66 c 1508 489 488 1 - 0.0000 -
1521.24/1525.23 c 1525 492 491 1 - 0.0000 -
1527.33/1531.35 c 1531 496 495 1 - 0.0000 -
1533.81/1537.88 c 1538 499 498 1 - 0.0000 -
1542.88/1546.96 c 1547 502 501 1 - 0.0000 -
1548.17/1552.29 c 1552 509 508 1 - 0.0000 -
1553.26/1557.34 c 1557 512 511 1 - 0.0000 -
1558.85/1562.95 c 1563 515 514 1 - 0.0000 -
1564.94/1569.08 c 1569 519 518 1 - 0.0000 -
1580.39/1584.57 c 1585 522 521 1 - 0.0000 -
1586.38/1590.55 c 1591 526 525 1 - 0.0000 -
1591.76/1595.94 c 1596 529 528 1 - 0.0000 -
1601.54/1605.70 c 1606 532 531 1 - 0.0000 -
1606.84/1611.03 c 1611 537 536 1 - 0.0000 -
1617.20/1621.41 c 1621 542 541 1 - 0.0000 -
1623.89/1628.14 c 1628 547 546 1 - 0.0000 -
1641.24/1645.59 c 1646 552 551 1 - 0.0000 -
1646.62/1650.92 c 1651 558 557 1 - 0.0000 -
1653.50/1657.81 c 1658 562 561 1 - 0.0000 -
1659.89/1664.29 c 1664 569 568 1 - 0.0000 -
1665.48/1669.88 c 1670 574 573 1 - 0.0000 -
1670.67/1675.06 c 1675 581 580 1 - 0.0000 -
1680.44/1684.87 c 1685 582 581 1 - 0.0000 -
1686.63/1691.03 c 1691 589 588 1 - 0.0000 -
1695.40/1699.89 c 1700 592 591 1 - 0.0000 -
1701.19/1705.60 c 1706 596 595 1 - 0.0000 -
1706.37/1710.80 c 1711 600 599 1 - 0.0000 -
1714.05/1718.55 c 1719 602 601 1 - 0.0000 -
1720.64/1725.16 c 1725 607 606 1 - 0.0000 -
1726.52/1731.10 c 1731 611 610 1 - 0.0000 -
1733.80/1738.39 c 1738 612 611 1 - 0.0000 -
1742.27/1746.86 c 1747 616 615 1 - 0.0000 -
1748.16/1752.70 c 1753 619 618 1 - 0.0000 -
1757.64/1762.22 c 1762 622 621 1 - 0.0000 -
1762.62/1767.24 c 1767 626 625 1 - 0.0000 -
1768.61/1773.29 c 1773 630 629 1 - 0.0000 -
1779.98/1784.61 c 1785 632 631 1 - 0.0000 -
1785.56/1790.29 c 1790 639 638 1 - 0.0000 -
1791.25/1795.96 c 1796 642 641 1 - 0.0000 -
1798.03/1802.79 c 1803 647 646 1 - 0.0000 -
1804.61/1809.30 c 1809 650 649 1 - 0.0000 -
1819.88/1824.62 c 1825 652 651 1 - 0.0000 -
1825.96/1830.72 c 1831 661 660 1 - 0.0000 -
1830.95/1835.75 c 1836 662 661 1 - 0.0000 -
1836.84/1841.60 c 1842 669 668 1 - 0.0000 -
1845.91/1850.78 c 1851 672 671 1 - 0.0000 -
1851.00/1855.86 c 1856 679 678 1 - 0.0000 -
1856.78/1861.63 c 1862 682 681 1 - 0.0000 -
1862.97/1867.83 c 1868 690 689 1 - 0.0000 -
1871.05/1875.98 c 1876 692 691 1 - 0.0000 -
1877.44/1882.30 c 1882 700 699 1 - 0.0000 -
1882.42/1887.39 c 1887 702 701 1 - 0.0000 -
1889.11/1894.01 c 1894 709 708 1 - 0.0000 -
1896.39/1901.38 c 1901 712 711 1 - 0.0000 -
1902.27/1907.25 c 1907 717 716 1 - 0.0000 -
1911.15/1916.17 c 1916 722 721 1 - 0.0000 -
1917.03/1922.02 c 1922 727 726 1 - 0.0000 -
1922.61/1927.68 c 1928 731 730 1 - 0.0000 -
1935.78/1940.87 c 1941 732 731 1 - 0.0000 -
1940.86/1945.90 c 1946 736 735 1 - 0.0000 -
1946.35/1951.45 c 1951 741 740 1 - 0.0000 -
1951.34/1956.47 c 1956 744 743 1 - 0.0000 -
1960.82/1965.95 c 1966 752 751 1 - 0.0000 -
1966.40/1971.50 c 1972 760 759 1 - 0.0000 -
1972.59/1977.75 c 1978 765 764 1 - 0.0000 -
1977.97/1983.16 c 1983 769 768 1 - 0.0000 -
1987.54/1992.73 c 1993 772 771 1 - 0.0000 -
1993.33/1998.53 c 1999 778 777 1 - 0.0000 -
2001.41/2006.61 c 2007 782 781 1 - 0.0000 -
2007.90/2013.11 c 2013 789 788 1 - 0.0000 -
2033.42/2038.76 c 2039 792 791 1 - 0.0000 -
2039.41/2044.75 c 2045 797 796 1 - 0.0000 -
2055.47/2060.87 c 2061 802 801 1 - 0.0000 -
2061.06/2066.43 c 2066 810 809 1 - 0.0000 -
2066.15/2071.53 c 2072 814 813 1 - 0.0000 -
2071.23/2076.65 c 2077 820 819 1 - 0.0000 -
2076.82/2082.21 c 2082 822 821 1 - 0.0000 -
2083.00/2088.45 c 2088 831 830 1 - 0.0000 -
2102.06/2107.57 c 2108 832 831 1 - 0.0000 -
2107.25/2112.70 c 2113 839 838 1 - 0.0000 -
2114.33/2119.81 c 2120 842 841 1 - 0.0000 -
2120.31/2125.88 c 2126 848 847 1 - 0.0000 -
2136.87/2142.49 c 2142 852 851 1 - 0.0000 -
2142.95/2148.51 c 2149 855 854 1 - 0.0000 -
2148.54/2154.14 c 2154 860 859 1 - 0.0000 -
2155.92/2161.53 c 2162 864 863 1 - 0.0000 -
2166.20/2171.83 c 2172 872 871 1 - 0.0000 -
2171.88/2177.54 c 2178 878 877 1 - 0.0000 -
2177.57/2183.27 c 2183 882 881 1 - 0.0000 -
2183.65/2189.30 c 2189 891 890 1 - 0.0000 -
2191.63/2197.37 c 2197 892 891 1 - 0.0000 -
2197.71/2203.44 c 2203 897 896 1 - 0.0000 -
2209.29/2215.08 c 2215 902 901 1 - 0.0000 -
2215.46/2221.23 c 2221 911 910 1 - 0.0000 -
2220.45/2226.24 c 2226 912 911 1 - 0.0000 -
2226.44/2232.20 c 2232 920 919 1 - 0.0000 -
2236.51/2242.36 c 2242 922 921 1 - 0.0000 -
2241.99/2247.89 c 2248 928 927 1 - 0.0000 -
2249.57/2255.40 c 2255 932 931 1 - 0.0000 -
2255.06/2260.92 c 2261 936 935 1 - 0.0000 -
2266.14/2272.04 c 2272 942 941 1 - 0.0000 -
2272.32/2278.23 c 2278 947 946 1 - 0.0000 -
2278.30/2284.25 c 2284 950 949 1 - 0.0000 -
2283.49/2289.48 c 2289 952 951 1 - 0.0000 -
2288.67/2294.63 c 2295 956 955 1 - 0.0000 -
2298.65/2304.67 c 2305 962 961 1 - 0.0000 -
2305.63/2311.65 c 2312 967 966 1 - 0.0000 -
2313.41/2319.46 c 2319 972 971 1 - 0.0000 -
2318.90/2324.98 c 2325 981 980 1 - 0.0000 -
2327.28/2333.32 c 2333 982 981 1 - 0.0000 -
2332.87/2338.95 c 2339 986 985 1 - 0.0000 -
2338.45/2344.55 c 2345 991 990 1 - 0.0000 -
2347.03/2353.13 c 2353 992 991 1 - 0.0000 -
2361.49/2367.69 c 2368 1002 1001 1 - 0.0000 -
2367.67/2373.81 c 2374 1008 1007 1 - 0.0000 -
2374.76/2380.92 c 2381 1012 1011 1 - 0.0000 -
2380.44/2386.68 c 2387 1021 1020 1 - 0.0000 -
2387.52/2393.78 c 2394 1026 1025 1 - 0.0000 -
2396.51/2402.74 c 2403 1032 1031 1 - 0.0000 -
2402.29/2408.58 c 2409 1039 1038 1 - 0.0000 -
2414.87/2421.18 c 2421 1042 1041 1 - 0.0000 -
2420.54/2426.80 c 2427 1049 1048 1 - 0.0000 -
2454.76/2461.15 c 2461 1050 0 1 - 0.0000 -
2466.52/2472.91 c 2473 1051 1 1 - 0.0000 -
2492.56/2499.07 c 2499 1057 7 1 - 0.0000 -
2514.21/2520.78 c 2521 1058 8 1 - 0.0000 -
2534.47/2541.05 c 2541 1059 9 1 - 0.0000 -
2555.21/2561.89 c 2562 1066 16 1 - 0.0000 -
2567.48/2574.14 c 2574 1071 21 1 - 0.0000 -
2575.75/2582.49 c 2582 1077 27 1 - 0.0000 -
2599.30/2606.10 c 2606 1078 28 1 - 0.0000 -
2620.64/2627.45 c 2627 1082 32 1 - 0.0000 -
2645.87/2652.72 c 2653 1084 34 1 - 0.0000 -
2673.61/2680.51 c 2681 1086 36 1 - 0.0000 -
2692.16/2699.17 c 2699 1091 41 1 - 0.0000 -
2713.80/2720.81 c 2721 1095 45 1 - 0.0000 -
2725.17/2732.26 c 2732 1099 49 1 - 0.0000 -
2736.74/2743.88 c 2744 1102 52 1 - 0.0000 -
2745.91/2753.04 c 2753 1106 56 1 - 0.0000 -
2769.45/2776.67 c 2777 1114 64 1 - 0.0000 -
2795.79/2803.02 c 2803 1118 68 1 - 0.0000 -
3080.67/3088.69 c 3089 1123 73 1 - 0.0000 -
3092.95/3100.97 c 3101 1129 79 1 - 0.0000 -
3099.14/3107.10 c 3107 1139 89 1 - 0.0000 -
3108.60/3116.65 c 3117 1141 91 1 - 0.0000 -
3114.58/3122.64 c 3123 1150 100 1 - 0.0000 -
3120.27/3128.31 c 3128 1159 109 1 - 0.0000 -
3125.45/3133.53 c 3134 1166 116 1 - 0.0000 -
3152.38/3160.58 c 3161 1168 118 1 - 0.0000 -
3158.76/3166.98 c 3167 1174 124 1 - 0.0000 -
3165.85/3174.01 c 3174 1183 133 1 - 0.0000 -
3170.94/3179.16 c 3179 1193 143 1 - 0.0000 -
3185.69/3193.97 c 3194 1196 146 1 - 0.0000 -
3222.60/3230.91 c 3231 1201 151 1 - 0.0000 -
3228.58/3236.99 c 3237 1211 161 1 - 0.0000 -
3235.86/3244.29 c 3244 1227 177 1 - 0.0000 -
3241.84/3250.21 c 3250 1238 188 1 - 0.0000 -
3250.82/3259.29 c 3259 1242 192 1 - 0.0000 -
3258.01/3266.43 c 3266 1274 224 1 - 0.0000 -
3264.59/3273.04 c 3273 1290 240 1 - 0.0000 -
3270.07/3278.58 c 3279 1321 271 1 - 0.0000 -
3276.35/3284.81 c 3285 1336 286 1 - 0.0000 -
3282.13/3290.62 c 3291 1357 307 1 - 0.0000 -
3287.83/3296.39 c 3296 1375 325 1 - 0.0000 -
3294.11/3302.61 c 3303 1388 338 1 - 0.0000 -
3306.18/3314.73 c 3315 1403 353 1 - 0.0000 -
3312.76/3321.33 c 3321 1413 363 1 - 0.0000 -
3318.24/3326.83 c 3327 1424 374 1 - 0.0000 -
3323.83/3332.40 c 3332 1427 377 1 - 0.0000 -
3329.71/3338.32 c 3338 1442 392 1 - 0.0000 -
3335.99/3344.64 c 3345 1463 413 1 - 0.0000 -
3341.38/3350.05 c 3350 1478 428 1 - 0.0000 -
3352.15/3360.81 c 3361 1489 439 1 - 0.0000 -
3357.34/3366.06 c 3366 1500 450 1 - 0.0000 -
3362.43/3371.19 c 3371 1504 454 1 - 0.0000 -
3369.31/3378.02 c 3378 1525 475 1 - 0.0000 -
3375.30/3384.04 c 3384 1535 485 1 - 0.0000 -
3380.57/3389.38 c 3389 1547 497 1 - 0.0000 -
3386.06/3394.80 c 3395 1555 505 1 - 0.0000 -
3393.04/3401.80 c 3402 1566 516 1 - 0.0000 -
3401.32/3410.19 c 3410 1578 528 1 - 0.0000 -
3407.81/3416.63 c 3417 1596 546 1 - 0.0000 -
3412.79/3421.66 c 3422 1611 561 1 - 0.0000 -
3419.97/3428.81 c 3429 1619 569 1 - 0.0000 -
3425.96/3434.86 c 3435 1630 580 1 - 0.0000 -
3431.25/3440.14 c 3440 1635 585 1 - 0.0000 -
3437.72/3446.62 c 3447 1646 596 1 - 0.0000 -
3445.61/3454.54 c 3455 1658 608 1 - 0.0000 -
3453.58/3462.57 c 3463 1671 621 1 - 0.0000 -
3459.27/3468.25 c 3468 1684 634 1 - 0.0000 -
3475.22/3484.23 c 3484 1695 645 1 - 0.0000 -
3481.40/3490.40 c 3490 1706 656 1 - 0.0000 -
3486.39/3495.44 c 3495 1707 657 1 - 0.0000 -
3492.47/3501.51 c 3502 1726 676 1 - 0.0000 -
3497.56/3506.67 c 3507 1735 685 1 - 0.0000 -
3502.95/3512.07 c 3512 1746 696 1 - 0.0000 -
3509.32/3518.49 c 3518 1753 703 1 - 0.0000 -
3516.20/3525.31 c 3525 1763 713 1 - 0.0000 -
3524.28/3533.48 c 3533 1775 725 1 - 0.0000 -
3530.86/3540.00 c 3540 1784 734 1 - 0.0000 -
3536.53/3545.76 c 3546 1794 744 1 - 0.0000 -
3542.71/3551.95 c 3552 1801 751 1 - 0.0000 -
3552.58/3561.82 c 3562 1813 763 1 - 0.0000 -
3558.46/3567.79 c 3568 1824 774 1 - 0.0000 -
3564.25/3573.55 c 3574 1829 779 1 - 0.0000 -
3570.03/3579.37 c 3579 1839 789 1 - 0.0000 -
3575.82/3585.11 c 3585 1856 804 1 - 0.0000 -
3583.79/3593.12 c 3593 1861 809 1 - 0.0000 -
3588.77/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.77/3598.20 c Total Time : 3598.2000
3588.77/3598.20 c solving : 3598.2000
3588.77/3598.20 c presolving : 2.1292 (included in solving)
3588.77/3598.20 c B&B Tree :
3588.77/3598.20 c nodes (total) : 1
3588.77/3598.20 c Solution :
3588.77/3598.20 c Solutions found : 0
3588.77/3598.20 c Primal Bound : -
3588.77/3598.20 c Dual Bound : +0.00000000000000e+00
3588.77/3598.20 c Gap : -
3588.89/3598.29 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 (62860 MiB free)
memory of node 1: 64473 MiB (54729 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464331-1722378752/watcher-4464331-1722378752 -o /tmp/evaluation-result-4464331-1722378752/solver-4464331-1722378752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30624 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464331-1722378752.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
solver pid=31303, runsolver pid=31300
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 3.82 1.76 0.73 6/264 31304
/proc/meminfo: memFree=120379816/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=54036 memory=42244 CPUtime=0.1 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 8458 0 0 0 9 1 0 0 20 0 1 0 4479542 55332864 10561 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 13509 10561 2347 3035 0 9905 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54036 KiB
Current children cumulated memory: 42244 KiB
[startup+0.205782 s]*
/proc/loadavg: 3.82 1.76 0.73 6/264 31304
/proc/meminfo: memFree=120331888/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=106512 memory=94080 CPUtime=0.2 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 21591 0 0 0 17 3 0 0 20 0 1 0 4479542 109068288 23520 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 26628 23520 2539 3035 0 23024 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106512 KiB
Current children cumulated memory: 94080 KiB
[startup+0.305763 s]*
/proc/loadavg: 3.82 1.76 0.73 5/264 31304
/proc/meminfo: memFree=120265852/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=168364 memory=156124 CPUtime=0.3 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 37658 0 0 0 25 5 0 0 20 0 1 0 4479542 172404736 39031 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 42091 39031 2598 3035 0 38487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168364 KiB
Current children cumulated memory: 156124 KiB
[startup+0.700233 s]
/proc/loadavg: 3.82 1.76 0.73 5/264 31304
/proc/meminfo: memFree=120201584/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=212764 memory=200096 CPUtime=0.68 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 57327 0 0 0 60 8 0 0 20 0 1 0 4479542 217870336 50024 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 53191 50024 2694 3035 0 49587 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212764 KiB
Current children cumulated memory: 200096 KiB
[startup+1.50024 s]
/proc/loadavg: 3.82 1.76 0.73 5/264 31304
/proc/meminfo: memFree=120234532/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=398980 memory=361468 CPUtime=1.48 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 72815 0 0 0 135 13 0 0 20 0 1 0 4479542 408555520 90367 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 99745 90367 2742 3035 0 96141 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 398980 KiB
Current children cumulated memory: 361468 KiB
[startup+3.10568 s]
/proc/loadavg: 3.82 1.76 0.73 5/266 31306
/proc/meminfo: memFree=119709956/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=777776 memory=710352 CPUtime=3.08 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 151221 0 0 0 283 25 0 0 20 0 3 0 4479542 796442624 177588 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 194444 177588 2774 3035 0 189543 0
[pid=31303/tid=31305] ppid=31300 vsize=777776 memory=556380 CPUtime=0.56 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 47196 0 0 0 50 6 0 0 20 0 3 0 4479784 796442624 177588 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=777776 memory=0 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4479806 796442624 177588 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 777776 KiB
Current children cumulated memory: 710352 KiB
[startup+6.30027 s]
/proc/loadavg: 3.83 1.79 0.74 5/266 31306
/proc/meminfo: memFree=119591420/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=909924 memory=827664 CPUtime=6.27 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 173932 0 0 0 597 30 0 0 20 0 3 0 4479542 931762176 206916 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 227481 206916 2934 3035 0 220430 0
[pid=31303/tid=31305] ppid=31300 vsize=909924 memory=0 CPUtime=3.74 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 69905 0 0 0 364 10 0 0 20 0 3 0 4479784 931762176 206916 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=909924 memory=410660 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4479806 931762176 206916 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 909924 KiB
Current children cumulated memory: 827664 KiB
[startup+12.7003 s]
/proc/loadavg: 3.85 1.83 0.76 5/266 31307
/proc/meminfo: memFree=119537148/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=992468 memory=884032 CPUtime=12.65 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 218146 0 0 0 1232 33 0 0 20 0 3 0 4479542 1016287232 221008 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 248117 221008 2950 3035 0 244124 0
[pid=31303/tid=31305] ppid=31300 vsize=992468 memory=0 CPUtime=10.13 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 114113 0 0 0 999 14 0 0 20 0 3 0 4479784 1016287232 221008 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=992468 memory=857644 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4479806 1016287232 221008 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 992468 KiB
Current children cumulated memory: 884032 KiB
[startup+25.5003 s]
/proc/loadavg: 3.96 1.95 0.82 5/266 31309
/proc/meminfo: memFree=118420668/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1124784 memory=948292 CPUtime=25.42 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 256150 0 0 0 2504 38 0 0 20 0 3 0 4479542 1151778816 237073 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 281196 237073 2950 3035 0 272718 0
[pid=31303/tid=31305] ppid=31300 vsize=1124784 memory=948292 CPUtime=22.89 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 152113 0 0 0 2271 18 0 0 20 0 3 0 4479784 1151778816 237073 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1124784 memory=948160 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4479806 1151778816 237073 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1124784 KiB
Current children cumulated memory: 948292 KiB
[startup+51.1058 s]
/proc/loadavg: 4.03 2.13 0.91 5/267 31316
/proc/meminfo: memFree=113286052/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1321392 memory=1103996 CPUtime=50.96 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 336065 0 0 0 5050 46 0 0 20 0 3 0 4479542 1353105408 275999 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 330348 275999 2950 3035 0 312365 0
[pid=31303/tid=31305] ppid=31300 vsize=1321392 memory=1103996 CPUtime=48.43 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 232020 0 0 0 4817 26 0 0 20 0 3 0 4479784 1353105408 275999 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1321392 memory=11408 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4479806 1353105408 275999 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1321392 KiB
Current children cumulated memory: 1103996 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 2.45 1.08 5/267 31326
/proc/meminfo: memFree=113312348/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1321392 memory=1104480 CPUtime=102.02 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 438144 0 0 0 10150 52 0 0 20 0 3 0 4479542 1353105408 276120 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 330348 276120 2998 3035 0 312365 0
[pid=31303/tid=31305] ppid=31300 vsize=1321392 memory=1104480 CPUtime=99.49 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 334031 0 0 0 9917 32 0 0 20 0 3 0 4479784 1353105408 276120 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1321392 memory=1104480 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4479806 1353105408 276120 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1321392 KiB
Current children cumulated memory: 1104480 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 2.77 1.28 5/266 31385
/proc/meminfo: memFree=123959784/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1321392 memory=1104732 CPUtime=161.86 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 510146 0 0 0 16129 57 0 0 20 0 3 0 4479542 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 330348 276183 2998 3035 0 312365 0
[pid=31303/tid=31305] ppid=31300 vsize=1321392 memory=1104480 CPUtime=159.33 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 405984 0 0 0 15896 37 0 0 20 0 3 0 4479784 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1321392 memory=1104732 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 4479806 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1321392 KiB
Current children cumulated memory: 1104732 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.02 1.46 5/263 31395
/proc/meminfo: memFree=123863296/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1321392 memory=1104732 CPUtime=221.72 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 522630 0 0 0 22114 58 0 0 20 0 3 0 4479542 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 330348 276183 2998 3035 0 312365 0
[pid=31303/tid=31305] ppid=31300 vsize=1321392 memory=1104732 CPUtime=219.18 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 418457 0 0 0 21880 38 0 0 20 0 3 0 4479784 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1321392 memory=1104732 CPUtime=0 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 3 0 4479806 1353105408 276183 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1321392 KiB
Current children cumulated memory: 1104732 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 3.25 1.64 5/263 31406
/proc/meminfo: memFree=123845216/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1321392 memory=1104732 CPUtime=281.57 cores=4,6
################
# More data... #
################
[pid=31303] ppid=31300 vsize=1497512 memory=1348872 CPUtime=3393.54 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2658019 0 0 0 339164 190 0 0 20 0 3 0 4479542 1533452288 337218 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337218 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=1345440 CPUtime=3390.91 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2552442 0 0 0 338925 166 0 0 20 0 3 0 4479784 1533452288 337218 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=11408 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 424 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337218 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1348872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.14 4.05 5/265 34375
/proc/meminfo: memFree=125589268/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350532 CPUtime=3453.38 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2672511 0 0 0 345146 192 0 0 20 0 3 0 4479542 1533452288 337633 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337633 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=1349460 CPUtime=3450.76 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2566916 0 0 0 344908 168 0 0 20 0 3 0 4479784 1533452288 337633 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=1350532 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 427 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337633 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3453.38 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/264 34387
/proc/meminfo: memFree=125193040/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3513.21 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2674445 0 0 0 351128 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=1350532 CPUtime=3510.57 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2568828 0 0 0 350889 168 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=12860 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 434 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/266 34399
/proc/meminfo: memFree=124675128/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3573.02 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675758 0 0 0 357109 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=5464 CPUtime=3570.39 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570122 0 0 0 356870 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=13012 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 437 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3598.3 s]
# the end of solver process 31303 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.02 s, system=1.9543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.05 5/266 34399
/proc/meminfo: memFree=124677788/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3574.72 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675759 0 0 0 357279 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=32792 CPUtime=3572.09 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570123 0 0 0 357040 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=2524 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 437 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.04 5/266 34400
/proc/meminfo: memFree=124677548/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3581.09 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675874 0 0 0 357916 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=12860 CPUtime=3578.46 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570237 0 0 0 357677 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=-7452168224999827072 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3581.09 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.04 5/266 34400
/proc/meminfo: memFree=124674968/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3584.28 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675964 0 0 0 358235 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3581.65 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570327 0 0 0 357996 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=12860 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.13 4.05 5/266 34400
/proc/meminfo: memFree=124673740/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3587.47 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675965 0 0 0 358554 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=12860 CPUtime=3584.84 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570328 0 0 0 358315 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=13012 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.13 4.05 5/266 34400
/proc/meminfo: memFree=124676648/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3588.27 cores=4,6
/proc/31303/stat : 31303 (fscip) S 31300 31303 30613 0 -1 1077936128 2675966 0 0 0 358634 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=174 CPUtime=3585.64 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570329 0 0 0 358395 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=26 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.13 4.05 5/266 34400
/proc/meminfo: memFree=124673712/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1497512 memory=1350828 CPUtime=3588.67 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 1077936128 2675973 0 0 0 358674 193 0 0 20 0 3 0 4479542 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 374378 337707 3014 3035 0 366630 0
[pid=31303/tid=31305] ppid=31300 vsize=1497512 memory=-5155629089736387461 CPUtime=3586.04 cores=4,6
/proc/31303/task/31305/stat : 31305 (fscip) R 31300 31303 30613 0 -1 4194368 2570338 0 0 0 358435 169 0 0 20 0 3 0 4479784 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
[pid=31303/tid=31306] ppid=31300 vsize=1497512 memory=11540 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 3 0 4479806 1533452288 337707 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 1497512 KiB
Current children cumulated memory: 1350828 KiB
[startup+3598.22 s]
/proc/loadavg: 4.15 4.13 4.05 5/266 34400
/proc/meminfo: memFree=124673712/131524600 swapFree=131071996/131071996
[pid=31303] ppid=31300 vsize=1430780 memory=1314944 CPUtime=3588.89 cores=4,6
/proc/31303/stat : 31303 (fscip) R 31300 31303 30613 0 -1 4194304 2679161 0 0 0 358696 193 0 0 20 0 2 0 4479542 1465118720 328736 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
/proc/31303/statm: 357695 328736 3014 3035 0 349947 0
[pid=31303/tid=31306] ppid=31300 vsize=1430780 memory=4888 CPUtime=0.03 cores=4,6
/proc/31303/task/31306/stat : 31306 (fscip) S 31300 31303 30613 0 -1 1077936192 438 0 0 0 1 2 0 0 20 0 2 0 4479806 1465118720 328736 134679101440 4194304 16623229 140721419902736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140721419904022 140721419904138 140721419904138 140721419911152 0
Current children cumulated CPU time: 3588.89 s
Current children cumulated vsize: 1430780 KiB
Current children cumulated memory: 1314944 KiB
Child status: 0
Real time (s): 3598.3
CPU time (s): 3588.98
CPU user time (s): 3587.02
CPU system time (s): 1.9543
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 1497512
Max. memory (cumulated for all children) (KiB): 1350828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.02
system time used= 1.9543
maximum resident set size= 1350828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2693587
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= 5535
involuntary context switches= 2900
# summary of solver processes directly reported to runsolver:
# pid: 31303
# total CPU time (s): 3588.98
# total CPU user time (s): 3587.02
# total CPU system time (s): 1.9543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2374 second user time and 13.9134 second system time
The end
Begin job on nodeC034 at 2024-07-31 00:32:32
IDJOB=4464331
IDBENCH=147893
IDSOLVER=3092
FILE ID=nodeC034/4464331-1722378752
RUNJOBID= nodeC034-1722378597-30624
SLURM_JOB_ID= 8249857
Free space on /tmp= 889892 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.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-4464331-1722378752/watcher-4464331-1722378752 -o /tmp/evaluation-result-4464331-1722378752/solver-4464331-1722378752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30624 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464331-1722378752.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=745414528
nodeC034.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 : 3670.588
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.51
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 : 3683.210
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.49
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 : 3616.414
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.51
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 : 3599.795
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.49
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 : 3657.551
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.51
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 : 3683.208
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.49
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 : 3666.419
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.51
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.023
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120412828 kB
MemAvailable: 120692676 kB
Buffers: 86640 kB
Cached: 1026512 kB
SwapCached: 0 kB
Active: 360556 kB
Inactive: 10255916 kB
Active(anon): 1564 kB
Inactive(anon): 9523156 kB
Active(file): 358992 kB
Inactive(file): 732760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 31724 kB
Writeback: 0 kB
AnonPages: 9499120 kB
Mapped: 124144 kB
Shmem: 21336 kB
KReclaimable: 55836 kB
Slab: 136388 kB
SReclaimable: 55836 kB
SUnreclaim: 80552 kB
KernelStack: 4288 kB
PageTables: 27988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7560308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1796096 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC034 at 2024-07-31 01:32:31