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.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47218688, getVmSize() = 47218688, SCIPgetMemUsed() = 20474264, SCIPgetMemTotal() = 25028600, SCIPgetMemExternEstim() = 11006671
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
7.08/7.17 c ** Estimated virtualMemUsedAtSolver = 73637713, getVmSize() = 124207104, SCIPgetMemUsed() = 70715475, SCIPgetMemTotal() = 99449899, SCIPgetMemExternEstim() = 11006671
7.08/7.17 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
7.08/7.17 c Original Problem :
7.08/7.17 c Problem name : instance-4447010-1721345778
7.08/7.17 c Variables : 5644 (5644 binary, 0 integer, 0 implicit integer, 0 continuous)
7.08/7.17 c Constraints : 5812
7.08/7.17 c Objective sense : minimize
7.08/7.17 c Presolved Problem :
7.08/7.17 c Variables : 4907 (4907 binary, 0 integer, 0 implicit integer, 0 continuous)
7.08/7.17 c Constraints : 5056
7.08/7.17 c Constraints : Number
7.08/7.17 c setppc : 1082
7.08/7.17 c orbitope : 3
7.08/7.17 c logicor : 3971
7.08/7.17 c ** Instance transfer method used: 0
7.08/7.18 c ** ParaScipInstance copy increased the number of variables. **
7.17/7.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
7.17/7.20 c Nodes Active
7.17/7.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
98.01/98.30 c 98 2 1 1 - 0.0000 -
103.10/103.47 c 103 5 4 1 - 0.0000 -
109.19/109.55 c 110 15 12 1 - 0.0000 -
114.78/115.18 c 115 26 19 1 - 0.0000 -
119.96/120.30 c 120 46 21 1 - 0.0000 -
125.05/125.48 c 125 65 20 1 - 0.0000 -
131.04/131.40 c 131 88 21 1 - 0.0000 -
136.12/136.50 c 136 103 22 1 - 0.0000 -
141.81/142.24 c 142 131 22 1 - 0.0000 -
147.60/148.01 c 148 143 20 1 - 0.0000 -
153.39/153.80 c 154 160 23 1 - 0.0000 -
159.68/160.18 c 160 163 24 1 - 0.0000 -
174.14/174.60 c 175 165 26 1 - 0.0000 -
179.13/179.66 c 180 180 25 1 - 0.0000 -
202.87/203.46 c 203 184 27 1 - 0.0000 -
209.15/209.73 c 210 196 29 1 - 0.0000 -
218.73/219.32 c 219 202 33 1 - 0.0000 -
223.92/224.50 c 224 207 36 1 - 0.0000 -
229.21/229.82 c 230 214 39 1 - 0.0000 -
234.99/235.64 c 236 216 41 1 - 0.0000 -
361.69/362.67 c 363 220 45 1 - 0.0000 -
378.16/379.19 c 379 224 49 1 - 0.0000 -
396.32/397.37 c 397 228 53 1 - 0.0000 -
411.87/412.96 c 413 232 57 1 - 0.0000 -
425.34/426.42 c 426 236 61 1 - 0.0000 -
430.32/431.42 c 431 239 64 1 - 0.0000 -
437.70/438.89 c 439 240 65 1 - 0.0000 -
443.08/444.23 c 444 243 68 1 - 0.0000 -
448.77/449.98 c 450 244 69 1 - 0.0000 -
467.31/468.54 c 469 248 73 1 - 0.0000 -
476.18/477.43 c 477 252 77 1 - 0.0000 -
481.37/482.63 c 483 255 80 1 - 0.0000 -
487.45/488.78 c 489 260 83 1 - 0.0000 -
495.92/497.27 c 497 262 85 1 - 0.0000 -
501.22/502.59 c 503 265 88 1 - 0.0000 -
512.69/514.07 c 514 266 89 1 - 0.0000 -
518.96/520.31 c 520 269 92 1 - 0.0000 -
525.44/526.85 c 527 270 93 1 - 0.0000 -
531.23/532.63 c 533 272 95 1 - 0.0000 -
542.60/544.08 c 544 274 97 1 - 0.0000 -
550.77/552.28 c 552 277 100 1 - 0.0000 -
577.69/579.23 c 579 278 101 1 - 0.0000 -
582.98/584.57 c 585 299 100 1 - 0.0000 -
588.95/590.54 c 591 304 99 1 - 0.0000 -
594.64/596.30 c 596 307 102 1 - 0.0000 -
599.82/601.46 c 601 319 104 1 - 0.0000 -
605.41/607.06 c 607 329 106 1 - 0.0000 -
610.99/612.66 c 613 336 107 1 - 0.0000 -
617.07/618.78 c 619 343 110 1 - 0.0000 -
623.26/624.94 c 625 348 113 1 - 0.0000 -
629.45/631.14 c 631 356 113 1 - 0.0000 -
634.83/636.53 c 637 363 116 1 - 0.0000 -
647.20/648.91 c 649 367 120 1 - 0.0000 -
652.89/654.68 c 655 371 122 1 - 0.0000 -
658.78/660.54 c 661 375 126 1 - 0.0000 -
666.36/668.17 c 668 383 124 1 - 0.0000 -
672.15/673.98 c 674 387 124 1 - 0.0000 -
678.53/680.35 c 680 390 127 1 - 0.0000 -
685.22/687.01 c 687 395 128 1 - 0.0000 -
694.79/696.67 c 697 399 132 1 - 0.0000 -
701.47/703.34 c 703 402 135 1 - 0.0000 -
706.86/708.73 c 709 408 139 1 - 0.0000 -
712.15/714.05 c 714 410 141 1 - 0.0000 -
722.63/724.52 c 725 412 141 1 - 0.0000 -
730.01/731.96 c 732 418 147 1 - 0.0000 -
735.30/737.25 c 737 424 151 1 - 0.0000 -
741.97/743.93 c 744 428 155 1 - 0.0000 -
748.26/750.25 c 750 434 159 1 - 0.0000 -
755.45/757.47 c 757 439 162 1 - 0.0000 -
766.13/768.12 c 768 440 163 1 - 0.0000 -
775.01/777.03 c 777 444 167 1 - 0.0000 -
790.97/793.06 c 793 448 171 1 - 0.0000 -
801.54/803.62 c 804 453 174 1 - 0.0000 -
806.83/808.96 c 809 456 175 1 - 0.0000 -
815.71/817.89 c 818 462 179 1 - 0.0000 -
823.19/825.35 c 825 467 182 1 - 0.0000 -
829.58/831.72 c 832 475 186 1 - 0.0000 -
836.26/838.49 c 838 485 188 1 - 0.0000 -
842.25/844.49 c 844 493 194 1 - 0.0000 -
848.63/850.86 c 851 497 196 1 - 0.0000 -
878.76/881.06 c 881 502 201 1 - 0.0000 -
889.43/891.77 c 892 506 205 1 - 0.0000 -
901.41/903.75 c 904 510 209 1 - 0.0000 -
908.79/911.17 c 911 514 213 1 - 0.0000 -
915.57/917.98 c 918 518 217 1 - 0.0000 -
921.26/923.65 c 924 522 219 1 - 0.0000 -
929.94/932.30 c 932 526 223 1 - 0.0000 -
935.92/938.30 c 938 533 230 1 - 0.0000 -
944.80/947.28 c 947 538 235 1 - 0.0000 -
956.47/958.93 c 959 542 239 1 - 0.0000 -
964.46/966.98 c 967 575 240 1 - 0.0000 -
975.94/978.40 c 978 577 242 1 - 0.0000 -
985.81/988.32 c 988 586 245 1 - 0.0000 -
991.20/993.71 c 994 599 246 1 - 0.0000 -
997.88/1000.47 c 1000 610 249 1 - 0.0000 -
1003.86/1006.45 c 1006 614 251 1 - 0.0000 -
1012.04/1014.69 c 1015 615 252 1 - 0.0000 -
1017.83/1020.49 c 1020 629 253 1 - 0.0000 -
1023.02/1025.66 c 1026 635 255 1 - 0.0000 -
1032.30/1034.94 c 1035 639 259 1 - 0.0000 -
1038.09/1040.79 c 1041 642 262 1 - 0.0000 -
1044.08/1046.71 c 1047 650 264 1 - 0.0000 -
1050.06/1052.79 c 1053 663 263 1 - 0.0000 -
1055.95/1058.64 c 1059 673 263 1 - 0.0000 -
1061.24/1063.92 c 1064 678 264 1 - 0.0000 -
1066.33/1069.00 c 1069 687 269 1 - 0.0000 -
1074.50/1077.22 c 1077 690 272 1 - 0.0000 -
1080.29/1083.07 c 1083 699 271 1 - 0.0000 -
1098.85/1101.67 c 1102 703 275 1 - 0.0000 -
1106.63/1109.45 c 1109 710 278 1 - 0.0000 -
1113.22/1116.01 c 1116 714 280 1 - 0.0000 -
1119.20/1122.08 c 1122 718 280 1 - 0.0000 -
1125.19/1128.01 c 1128 722 282 1 - 0.0000 -
1130.17/1133.10 c 1133 729 281 1 - 0.0000 -
1135.45/1138.35 c 1138 732 282 1 - 0.0000 -
1141.15/1144.05 c 1144 741 283 1 - 0.0000 -
1146.43/1149.32 c 1149 745 280 1 - 0.0000 -
1153.12/1156.01 c 1156 752 285 1 - 0.0000 -
1158.90/1161.80 c 1162 759 290 1 - 0.0000 -
1165.28/1168.28 c 1168 781 290 1 - 0.0000 -
1170.97/1173.95 c 1174 794 289 1 - 0.0000 -
1178.06/1181.06 c 1181 813 292 1 - 0.0000 -
1186.04/1189.06 c 1189 817 296 1 - 0.0000 -
1195.51/1198.53 c 1199 822 301 1 - 0.0000 -
1210.98/1214.07 c 1214 826 305 1 - 0.0000 -
1215.97/1219.09 c 1219 829 308 1 - 0.0000 -
1221.85/1224.95 c 1225 830 309 1 - 0.0000 -
1228.23/1231.37 c 1231 841 310 1 - 0.0000 -
1233.52/1236.62 c 1237 844 311 1 - 0.0000 -
1242.70/1245.80 c 1246 847 314 1 - 0.0000 -
1248.48/1251.64 c 1252 860 313 1 - 0.0000 -
1269.73/1272.97 c 1273 870 317 1 - 0.0000 -
1275.82/1279.07 c 1279 874 319 1 - 0.0000 -
1291.89/1295.16 c 1295 878 323 1 - 0.0000 -
1304.35/1307.61 c 1308 887 328 1 - 0.0000 -
1310.14/1313.48 c 1313 892 331 1 - 0.0000 -
1315.92/1319.26 c 1319 903 334 1 - 0.0000 -
1321.92/1325.25 c 1325 910 333 1 - 0.0000 -
1328.70/1332.05 c 1332 913 336 1 - 0.0000 -
1335.28/1338.65 c 1339 921 338 1 - 0.0000 -
1340.37/1343.75 c 1344 928 341 1 - 0.0000 -
1346.46/1349.83 c 1350 938 343 1 - 0.0000 -
1352.74/1356.15 c 1356 944 349 1 - 0.0000 -
1362.02/1365.43 c 1365 946 351 1 - 0.0000 -
1389.66/1393.13 c 1393 956 355 1 - 0.0000 -
1395.84/1399.30 c 1399 963 356 1 - 0.0000 -
1401.82/1405.31 c 1405 977 358 1 - 0.0000 -
1410.61/1414.11 c 1414 980 361 1 - 0.0000 -
1416.39/1419.90 c 1420 989 362 1 - 0.0000 -
1423.17/1426.78 c 1427 992 363 1 - 0.0000 -
1428.77/1432.33 c 1432 998 363 1 - 0.0000 -
1437.84/1441.43 c 1441 1000 365 1 - 0.0000 -
1443.93/1447.52 c 1448 1018 365 1 - 0.0000 -
1448.92/1452.53 c 1453 1028 369 1 - 0.0000 -
1454.70/1458.34 c 1458 1035 370 1 - 0.0000 -
1459.79/1463.44 c 1463 1038 369 1 - 0.0000 -
1473.36/1477.00 c 1477 1042 371 1 - 0.0000 -
1478.94/1482.64 c 1483 1065 368 1 - 0.0000 -
1484.53/1488.26 c 1488 1072 371 1 - 0.0000 -
1491.81/1495.52 c 1496 1074 373 1 - 0.0000 -
1500.99/1504.71 c 1505 1086 375 1 - 0.0000 -
1512.56/1516.33 c 1516 1090 379 1 - 0.0000 -
1517.95/1521.76 c 1522 1100 381 1 - 0.0000 -
1523.74/1527.55 c 1528 1121 380 1 - 0.0000 -
1532.92/1536.74 c 1537 1133 0 1 - 0.0000 -
1576.82/1580.72 c 1581 1133 0 1 - 0.0000 -
1596.67/1600.69 c 1601 1134 1 1 - 0.0000 -
1602.85/1606.88 c 1607 1139 6 1 - 0.0000 -
1609.54/1613.52 c 1614 1145 12 1 - 0.0000 -
1616.13/1620.17 c 1620 1148 15 1 - 0.0000 -
1621.62/1625.62 c 1626 1149 14 1 - 0.0000 -
1627.01/1631.02 c 1631 1155 16 1 - 0.0000 -
1632.89/1636.92 c 1637 1163 16 1 - 0.0000 -
1639.37/1643.41 c 1643 1190 15 1 - 0.0000 -
1645.36/1649.41 c 1649 1203 16 1 - 0.0000 -
1651.65/1655.79 c 1656 1213 16 1 - 0.0000 -
1657.43/1661.54 c 1662 1219 18 1 - 0.0000 -
1662.72/1666.85 c 1667 1227 18 1 - 0.0000 -
1668.70/1672.85 c 1673 1240 19 1 - 0.0000 -
1673.89/1678.05 c 1678 1249 18 1 - 0.0000 -
1678.98/1683.14 c 1683 1258 17 1 - 0.0000 -
1684.27/1688.44 c 1688 1270 19 1 - 0.0000 -
1691.05/1695.26 c 1695 1287 17 1 - 0.0000 -
1696.44/1700.67 c 1701 1302 18 1 - 0.0000 -
1702.83/1707.02 c 1707 1314 18 1 - 0.0000 -
1708.21/1712.40 c 1712 1326 18 1 - 0.0000 -
1713.80/1718.10 c 1718 1336 20 1 - 0.0000 -
1718.99/1723.28 c 1723 1347 21 1 - 0.0000 -
1725.17/1729.49 c 1729 1355 21 1 - 0.0000 -
1731.76/1736.00 c 1736 1357 23 1 - 0.0000 -
1868.35/1872.99 c 1873 1358 24 1 - 0.0000 -
1874.55/1879.14 c 1879 1372 24 1 - 0.0000 -
1910.36/1915.08 c 1915 1378 28 1 - 0.0000 -
1915.74/1920.42 c 1920 1389 27 1 - 0.0000 -
1921.53/1926.25 c 1926 1403 27 1 - 0.0000 -
1926.72/1931.49 c 1931 1415 27 1 - 0.0000 -
1931.90/1936.60 c 1937 1425 27 1 - 0.0000 -
1937.69/1942.46 c 1942 1441 27 1 - 0.0000 -
1944.28/1949.04 c 1949 1457 27 1 - 0.0000 -
1949.66/1954.40 c 1954 1467 33 1 - 0.0000 -
1954.74/1959.52 c 1960 1479 29 1 - 0.0000 -
1959.92/1964.79 c 1965 1490 30 1 - 0.0000 -
1966.11/1970.95 c 1971 1505 29 1 - 0.0000 -
1971.89/1976.76 c 1977 1514 30 1 - 0.0000 -
1977.07/1981.94 c 1982 1532 30 1 - 0.0000 -
1982.85/1987.79 c 1988 1551 31 1 - 0.0000 -
1988.54/1993.48 c 1993 1568 30 1 - 0.0000 -
1995.72/2000.62 c 2001 1586 34 1 - 0.0000 -
2004.30/2009.26 c 2009 1588 36 1 - 0.0000 -
2009.39/2014.38 c 2014 1603 37 1 - 0.0000 -
2014.97/2019.99 c 2020 1619 35 1 - 0.0000 -
2020.95/2025.93 c 2026 1635 37 1 - 0.0000 -
2026.24/2031.20 c 2031 1651 39 1 - 0.0000 -
2032.02/2037.03 c 2037 1663 37 1 - 0.0000 -
2037.11/2042.16 c 2042 1680 40 1 - 0.0000 -
2042.99/2048.03 c 2048 1698 42 1 - 0.0000 -
2048.86/2053.95 c 2054 1721 39 1 - 0.0000 -
2054.75/2059.81 c 2060 1744 44 1 - 0.0000 -
2060.83/2065.94 c 2066 1767 43 1 - 0.0000 -
2065.92/2071.03 c 2071 1785 41 1 - 0.0000 -
2072.01/2077.19 c 2077 1807 45 1 - 0.0000 -
2077.69/2082.81 c 2083 1829 45 1 - 0.0000 -
2083.47/2088.69 c 2089 1856 42 1 - 0.0000 -
2089.55/2094.78 c 2095 1878 42 1 - 0.0000 -
2095.13/2100.39 c 2100 1896 46 1 - 0.0000 -
2101.31/2106.51 c 2107 1921 43 1 - 0.0000 -
2107.39/2112.62 c 2113 1948 44 1 - 0.0000 -
2113.18/2118.41 c 2118 1965 45 1 - 0.0000 -
2118.96/2124.22 c 2124 1990 46 1 - 0.0000 -
2124.64/2129.99 c 2130 2019 49 1 - 0.0000 -
2130.33/2135.63 c 2136 2038 54 1 - 0.0000 -
2135.82/2141.13 c 2141 2067 51 1 - 0.0000 -
2141.70/2147.02 c 2147 2097 45 1 - 0.0000 -
2147.18/2152.55 c 2153 2114 44 1 - 0.0000 -
2152.16/2157.56 c 2158 2136 44 1 - 0.0000 -
2158.24/2163.61 c 2164 2157 43 1 - 0.0000 -
2164.12/2169.51 c 2170 2186 42 1 - 0.0000 -
2169.61/2175.10 c 2175 2209 44 1 - 0.0000 -
2175.00/2180.41 c 2180 2230 45 1 - 0.0000 -
2181.08/2186.53 c 2187 2265 46 1 - 0.0000 -
2186.87/2192.34 c 2192 2290 47 1 - 0.0000 -
2192.66/2198.18 c 2198 2328 47 1 - 0.0000 -
2198.65/2204.19 c 2204 2356 45 1 - 0.0000 -
2204.43/2209.95 c 2210 2389 46 1 - 0.0000 -
2210.31/2215.84 c 2216 2417 46 1 - 0.0000 -
2216.20/2221.79 c 2222 2437 48 1 - 0.0000 -
2222.28/2227.88 c 2228 2458 51 1 - 0.0000 -
2227.37/2232.94 c 2233 2478 53 1 - 0.0000 -
2233.75/2239.30 c 2239 2504 47 1 - 0.0000 -
2239.94/2245.55 c 2246 2526 45 1 - 0.0000 -
2245.93/2251.54 c 2252 2546 45 1 - 0.0000 -
2251.91/2257.57 c 2258 2572 45 1 - 0.0000 -
2257.60/2263.26 c 2263 2589 44 1 - 0.0000 -
2263.49/2269.14 c 2269 2613 44 1 - 0.0000 -
2269.37/2275.04 c 2275 2628 43 1 - 0.0000 -
2274.95/2280.62 c 2281 2649 48 1 - 0.0000 -
2280.24/2285.92 c 2286 2664 49 1 - 0.0000 -
2286.13/2291.83 c 2292 2685 48 1 - 0.0000 -
2291.72/2297.45 c 2297 2706 43 1 - 0.0000 -
2297.81/2303.58 c 2304 2726 45 1 - 0.0000 -
2303.50/2309.23 c 2309 2751 46 1 - 0.0000 -
2309.48/2315.21 c 2315 2778 45 1 - 0.0000 -
2315.47/2321.28 c 2321 2800 47 1 - 0.0000 -
2321.95/2327.73 c 2328 2826 47 1 - 0.0000 -
2327.24/2333.08 c 2333 2841 46 1 - 0.0000 -
2333.13/2338.96 c 2339 2858 45 1 - 0.0000 -
2339.51/2345.33 c 2345 2874 45 1 - 0.0000 -
2345.00/2350.85 c 2351 2898 45 1 - 0.0000 -
2350.38/2356.27 c 2356 2914 43 1 - 0.0000 -
2356.17/2362.07 c 2362 2926 43 1 - 0.0000 -
2361.56/2367.47 c 2367 2938 43 1 - 0.0000 -
2366.74/2372.67 c 2373 2960 43 1 - 0.0000 -
2372.33/2378.28 c 2378 2979 42 1 - 0.0000 -
2377.42/2383.34 c 2383 2994 43 1 - 0.0000 -
2383.01/2388.98 c 2389 3017 44 1 - 0.0000 -
2389.09/2395.08 c 2395 3041 42 1 - 0.0000 -
2395.08/2401.02 c 2401 3061 42 1 - 0.0000 -
2400.56/2406.50 c 2406 3076 43 1 - 0.0000 -
2405.76/2411.74 c 2412 3085 44 1 - 0.0000 -
2411.34/2417.37 c 2417 3110 47 1 - 0.0000 -
2416.72/2422.70 c 2423 3129 44 1 - 0.0000 -
2421.71/2427.77 c 2428 3142 45 1 - 0.0000 -
2427.30/2433.33 c 2433 3158 47 1 - 0.0000 -
2433.28/2439.36 c 2439 3176 45 1 - 0.0000 -
2438.87/2444.96 c 2445 3189 46 1 - 0.0000 -
2443.96/2450.04 c 2450 3206 49 1 - 0.0000 -
2450.24/2456.34 c 2456 3227 46 1 - 0.0000 -
2455.93/2462.08 c 2462 3248 47 1 - 0.0000 -
2461.12/2467.26 c 2467 3263 46 1 - 0.0000 -
2467.10/2473.26 c 2473 3280 45 1 - 0.0000 -
2472.89/2479.03 c 2479 3292 45 1 - 0.0000 -
2477.88/2484.07 c 2484 3306 45 1 - 0.0000 -
2483.76/2489.98 c 2490 3328 45 1 - 0.0000 -
2488.85/2495.07 c 2495 3338 45 1 - 0.0000 -
2495.03/2501.28 c 2501 3352 45 1 - 0.0000 -
2500.83/2507.03 c 2507 3366 45 1 - 0.0000 -
2506.11/2512.30 c 2512 3384 45 1 - 0.0000 -
2511.80/2518.04 c 2518 3404 45 1 - 0.0000 -
2517.78/2524.01 c 2524 3427 44 1 - 0.0000 -
2523.66/2529.93 c 2530 3446 45 1 - 0.0000 -
2529.25/2535.53 c 2536 3461 44 1 - 0.0000 -
2535.04/2541.38 c 2541 3476 41 1 - 0.0000 -
2540.12/2546.41 c 2546 3489 44 1 - 0.0000 -
2546.02/2552.38 c 2552 3512 43 1 - 0.0000 -
2552.30/2558.63 c 2559 3534 43 1 - 0.0000 -
2558.09/2564.47 c 2564 3554 45 1 - 0.0000 -
2563.38/2569.73 c 2570 3583 44 1 - 0.0000 -
2569.06/2575.42 c 2575 3607 42 1 - 0.0000 -
2574.05/2580.49 c 2580 3624 41 1 - 0.0000 -
2580.14/2586.53 c 2587 3637 40 1 - 0.0000 -
2585.52/2591.97 c 2592 3651 40 1 - 0.0000 -
2590.71/2597.16 c 2597 3662 41 1 - 0.0000 -
2596.89/2603.38 c 2603 3680 39 1 - 0.0000 -
2602.08/2608.53 c 2609 3696 39 1 - 0.0000 -
2607.27/2613.71 c 2614 3711 38 1 - 0.0000 -
2612.26/2618.73 c 2619 3725 38 1 - 0.0000 -
2618.05/2624.57 c 2625 3748 39 1 - 0.0000 -
2623.33/2629.84 c 2630 3760 41 1 - 0.0000 -
2629.02/2635.55 c 2636 3780 39 1 - 0.0000 -
2634.41/2640.99 c 2641 3797 40 1 - 0.0000 -
2640.09/2646.62 c 2647 3816 41 1 - 0.0000 -
2645.28/2651.89 c 2652 3832 41 1 - 0.0000 -
2650.87/2657.40 c 2657 3854 39 1 - 0.0000 -
2655.95/2662.56 c 2663 3868 41 1 - 0.0000 -
2662.24/2668.80 c 2669 3888 41 1 - 0.0000 -
2667.82/2674.49 c 2674 3911 40 1 - 0.0000 -
2673.71/2680.39 c 2680 3923 40 1 - 0.0000 -
2679.00/2685.60 c 2686 3934 41 1 - 0.0000 -
2685.18/2691.83 c 2692 3953 40 1 - 0.0000 -
2691.07/2697.75 c 2698 3964 41 1 - 0.0000 -
2696.25/2702.93 c 2703 3980 41 1 - 0.0000 -
2701.24/2707.94 c 2708 3994 41 1 - 0.0000 -
2707.03/2713.74 c 2714 4008 39 1 - 0.0000 -
2712.82/2719.52 c 2720 4019 40 1 - 0.0000 -
2717.90/2724.68 c 2725 4032 39 1 - 0.0000 -
2723.89/2730.61 c 2731 4048 39 1 - 0.0000 -
2728.98/2735.77 c 2736 4057 40 1 - 0.0000 -
2734.87/2741.66 c 2742 4088 39 1 - 0.0000 -
2740.86/2747.63 c 2748 4099 38 1 - 0.0000 -
2747.04/2753.84 c 2754 4115 42 1 - 0.0000 -
2753.43/2760.28 c 2760 4131 42 1 - 0.0000 -
2759.22/2766.03 c 2766 4147 42 1 - 0.0000 -
2764.70/2771.54 c 2772 4161 40 1 - 0.0000 -
2769.99/2776.87 c 2777 4173 42 1 - 0.0000 -
2776.18/2783.00 c 2783 4191 42 1 - 0.0000 -
2782.26/2789.17 c 2789 4209 40 1 - 0.0000 -
2787.55/2794.44 c 2794 4221 40 1 - 0.0000 -
2792.83/2799.78 c 2800 4235 40 1 - 0.0000 -
2798.62/2805.54 c 2806 4256 39 1 - 0.0000 -
2803.71/2810.64 c 2811 4270 41 1 - 0.0000 -
2809.39/2816.39 c 2816 4295 40 1 - 0.0000 -
2815.19/2822.12 c 2822 4314 39 1 - 0.0000 -
2820.87/2827.86 c 2828 4338 39 1 - 0.0000 -
2826.25/2833.24 c 2833 4356 39 1 - 0.0000 -
2831.24/2838.26 c 2838 4375 40 1 - 0.0000 -
2837.43/2844.44 c 2844 4397 38 1 - 0.0000 -
2843.41/2850.47 c 2850 4416 41 1 - 0.0000 -
2849.30/2856.34 c 2856 4430 39 1 - 0.0000 -
2854.49/2861.55 c 2862 4447 40 1 - 0.0000 -
2859.77/2866.80 c 2867 4462 39 1 - 0.0000 -
2865.86/2872.91 c 2873 4480 43 1 - 0.0000 -
2871.84/2878.90 c 2879 4495 42 1 - 0.0000 -
2876.83/2883.93 c 2884 4511 44 1 - 0.0000 -
2882.22/2889.38 c 2889 4527 42 1 - 0.0000 -
2888.10/2895.27 c 2895 4544 41 1 - 0.0000 -
2894.39/2901.53 c 2902 4563 42 1 - 0.0000 -
2900.67/2907.84 c 2908 4578 41 1 - 0.0000 -
2906.06/2913.25 c 2913 4594 41 1 - 0.0000 -
2911.95/2919.18 c 2919 4618 41 1 - 0.0000 -
2917.23/2924.43 c 2924 4633 40 1 - 0.0000 -
2922.92/2930.10 c 2930 4647 40 1 - 0.0000 -
2928.21/2935.48 c 2935 4661 42 1 - 0.0000 -
2934.69/2941.97 c 2942 4685 42 1 - 0.0000 -
2941.17/2948.44 c 2948 4711 44 1 - 0.0000 -
2946.66/2953.90 c 2954 4722 45 1 - 0.0000 -
2952.26/2959.50 c 2960 4749 44 1 - 0.0000 -
2957.75/2965.01 c 2965 4765 44 1 - 0.0000 -
2963.23/2970.50 c 2970 4784 43 1 - 0.0000 -
2969.02/2976.30 c 2976 4806 43 1 - 0.0000 -
2974.30/2981.62 c 2982 4824 43 1 - 0.0000 -
2980.49/2987.88 c 2988 4845 42 1 - 0.0000 -
2985.87/2993.27 c 2993 4863 42 1 - 0.0000 -
2991.06/2998.40 c 2998 4876 43 1 - 0.0000 -
2996.35/3003.74 c 3004 4888 43 1 - 0.0000 -
3001.94/3009.38 c 3009 4915 42 1 - 0.0000 -
3007.42/3014.80 c 3015 4934 43 1 - 0.0000 -
3013.31/3020.77 c 3021 4958 41 1 - 0.0000 -
3018.60/3026.01 c 3026 4975 42 1 - 0.0000 -
3023.78/3031.29 c 3031 4988 41 1 - 0.0000 -
3029.86/3037.36 c 3037 5004 41 1 - 0.0000 -
3035.15/3042.60 c 3043 5022 39 1 - 0.0000 -
3040.74/3048.28 c 3048 5034 41 1 - 0.0000 -
3046.33/3053.87 c 3054 5051 42 1 - 0.0000 -
3051.42/3058.99 c 3059 5063 42 1 - 0.0000 -
3057.51/3065.04 c 3065 5085 44 1 - 0.0000 -
3062.69/3070.28 c 3070 5101 44 1 - 0.0000 -
3067.88/3075.46 c 3075 5113 44 1 - 0.0000 -
3073.17/3080.73 c 3081 5126 45 1 - 0.0000 -
3078.96/3086.59 c 3087 5151 46 1 - 0.0000 -
3084.84/3092.43 c 3092 5177 44 1 - 0.0000 -
3090.93/3098.54 c 3099 5199 42 1 - 0.0000 -
3096.52/3104.18 c 3104 5213 42 1 - 0.0000 -
3101.90/3109.54 c 3110 5224 41 1 - 0.0000 -
3106.99/3114.67 c 3115 5234 43 1 - 0.0000 -
3112.57/3120.29 c 3120 5247 42 1 - 0.0000 -
3117.66/3125.33 c 3125 5257 40 1 - 0.0000 -
3123.25/3130.99 c 3131 5272 43 1 - 0.0000 -
3129.03/3136.77 c 3137 5298 43 1 - 0.0000 -
3134.22/3141.98 c 3142 5317 44 1 - 0.0000 -
3140.10/3147.83 c 3148 5331 44 1 - 0.0000 -
3145.49/3153.25 c 3153 5344 43 1 - 0.0000 -
3151.28/3159.00 c 3159 5358 45 1 - 0.0000 -
3156.47/3164.23 c 3164 5372 45 1 - 0.0000 -
3162.05/3169.83 c 3170 5388 43 1 - 0.0000 -
3167.64/3175.45 c 3175 5400 41 1 - 0.0000 -
3173.92/3181.70 c 3182 5414 43 1 - 0.0000 -
3179.51/3187.34 c 3187 5426 41 1 - 0.0000 -
3186.09/3193.96 c 3194 5436 41 1 - 0.0000 -
3191.78/3199.69 c 3200 5450 41 1 - 0.0000 -
3197.17/3205.06 c 3205 5466 43 1 - 0.0000 -
3202.36/3210.26 c 3210 5481 42 1 - 0.0000 -
3207.75/3215.68 c 3216 5498 41 1 - 0.0000 -
3212.84/3220.77 c 3221 5512 41 1 - 0.0000 -
3218.72/3226.61 c 3227 5527 42 1 - 0.0000 -
3224.01/3231.99 c 3232 5538 43 1 - 0.0000 -
3229.40/3237.33 c 3237 5554 41 1 - 0.0000 -
3235.48/3243.49 c 3243 5566 41 1 - 0.0000 -
3241.17/3249.17 c 3249 5580 43 1 - 0.0000 -
3246.46/3254.41 c 3254 5591 40 1 - 0.0000 -
3252.44/3260.45 c 3260 5604 41 1 - 0.0000 -
3257.73/3265.73 c 3266 5618 41 1 - 0.0000 -
3263.61/3271.65 c 3272 5630 41 1 - 0.0000 -
3268.90/3276.97 c 3277 5642 43 1 - 0.0000 -
3274.59/3282.63 c 3283 5656 39 1 - 0.0000 -
3280.27/3288.36 c 3288 5669 40 1 - 0.0000 -
3286.36/3294.49 c 3294 5685 42 1 - 0.0000 -
3292.05/3300.16 c 3300 5702 39 1 - 0.0000 -
3298.23/3306.37 c 3306 5710 39 1 - 0.0000 -
3304.61/3312.79 c 3313 5726 41 1 - 0.0000 -
3310.80/3318.90 c 3319 5741 40 1 - 0.0000 -
3316.19/3324.39 c 3324 5750 39 1 - 0.0000 -
3321.47/3329.64 c 3330 5760 39 1 - 0.0000 -
3326.86/3335.06 c 3335 5776 41 1 - 0.0000 -
3332.74/3340.98 c 3341 5792 39 1 - 0.0000 -
3338.43/3346.69 c 3347 5808 39 1 - 0.0000 -
3344.12/3352.38 c 3352 5826 41 1 - 0.0000 -
3350.11/3358.32 c 3358 5839 40 1 - 0.0000 -
3355.20/3363.47 c 3363 5858 41 1 - 0.0000 -
3360.39/3368.60 c 3369 5876 41 1 - 0.0000 -
3365.58/3373.88 c 3374 5888 41 1 - 0.0000 -
3371.87/3380.13 c 3380 5903 40 1 - 0.0000 -
3376.95/3385.23 c 3385 5915 40 1 - 0.0000 -
3383.13/3391.48 c 3391 5935 40 1 - 0.0000 -
3389.02/3397.36 c 3397 5947 40 1 - 0.0000 -
3394.91/3403.28 c 3403 5956 39 1 - 0.0000 -
3400.20/3408.53 c 3409 5969 42 1 - 0.0000 -
3405.18/3413.58 c 3414 5985 40 1 - 0.0000 -
3410.27/3418.69 c 3419 6004 39 1 - 0.0000 -
3416.06/3424.47 c 3424 6027 40 1 - 0.0000 -
3421.54/3429.99 c 3430 6044 39 1 - 0.0000 -
3427.13/3435.57 c 3436 6052 39 1 - 0.0000 -
3432.52/3440.94 c 3441 6064 41 1 - 0.0000 -
3439.10/3447.58 c 3448 6078 39 1 - 0.0000 -
3444.19/3452.65 c 3453 6088 39 1 - 0.0000 -
3450.08/3458.55 c 3459 6100 39 1 - 0.0000 -
3455.16/3463.62 c 3464 6111 38 1 - 0.0000 -
3461.45/3469.97 c 3470 6123 38 1 - 0.0000 -
3466.94/3475.47 c 3475 6139 38 1 - 0.0000 -
3473.42/3481.91 c 3482 6152 37 1 - 0.0000 -
3478.52/3487.02 c 3487 6161 36 1 - 0.0000 -
3483.80/3492.39 c 3492 6175 36 1 - 0.0000 -
3489.49/3498.09 c 3498 6192 39 1 - 0.0000 -
3495.48/3504.09 c 3504 6218 37 1 - 0.0000 -
3500.96/3509.57 c 3510 6240 39 1 - 0.0000 -
3507.55/3516.15 c 3516 6268 37 1 - 0.0000 -
3513.23/3521.88 c 3522 6279 38 1 - 0.0000 -
3519.11/3527.73 c 3528 6303 38 1 - 0.0000 -
3524.80/3533.49 c 3533 6324 37 1 - 0.0000 -
3530.09/3538.70 c 3539 6343 38 1 - 0.0000 -
3535.18/3543.82 c 3544 6355 36 1 - 0.0000 -
3541.26/3549.93 c 3550 6373 36 1 - 0.0000 -
3546.85/3555.53 c 3556 6387 36 1 - 0.0000 -
3552.44/3561.18 c 3561 6403 38 1 - 0.0000 -
3558.22/3566.96 c 3567 6427 36 1 - 0.0000 -
3563.91/3572.67 c 3573 6444 37 1 - 0.0000 -
3569.69/3578.49 c 3578 6469 36 1 - 0.0000 -
3575.68/3584.43 c 3584 6484 37 1 - 0.0000 -
3581.47/3590.24 c 3590 6506 39 1 - 0.0000 -
3587.36/3596.11 c 3596 6523 36 1 - 0.0000 -
3591.25/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.25/3600.05 c Total Time : 3600.0400
3591.25/3600.05 c solving : 3600.0400
3591.25/3600.05 c presolving : 7.1424 (included in solving)
3591.25/3600.05 c B&B Tree :
3591.25/3600.05 c nodes (total) : 1
3591.25/3600.05 c Solution :
3591.25/3600.05 c Solutions found : 0
3591.25/3600.05 c Primal Bound : -
3591.25/3600.05 c Dual Bound : +0.00000000000000e+00
3591.25/3600.05 c Gap : -
3591.25/3600.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61674 MiB free)
memory of node 1: 64510 MiB (61040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447010-1721345778/watcher-4447010-1721345778 -o /tmp/evaluation-result-4447010-1721345778/solver-4447010-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000736 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447010-1721345778.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=1002822, runsolver pid=1002818
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125550944/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=56168 memory=45124 CPUtime=0.1 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 9686 0 0 0 9 1 0 0 20 0 1 0 186745261 57516032 11281 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 14042 11281 2638 3032 0 10442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56168 KiB
Current children cumulated memory: 45124 KiB
[startup+0.20547 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125525884/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=67640 memory=54884 CPUtime=0.19 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 12694 0 0 0 18 1 0 0 20 0 1 0 186745261 69263360 13721 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 16910 13721 2718 3032 0 13310 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67640 KiB
Current children cumulated memory: 54884 KiB
[startup+0.305475 s]*
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125472640/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=78768 memory=65208 CPUtime=0.3 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 15255 0 0 0 28 2 0 0 20 0 1 0 186745261 80658432 16302 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 19692 16302 2734 3032 0 16092 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78768 KiB
Current children cumulated memory: 65208 KiB
[startup+0.700241 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467424/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=79196 memory=65732 CPUtime=0.69 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 15366 0 0 0 67 2 0 0 20 0 1 0 186745261 81096704 16433 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 19799 16433 2734 3032 0 16199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79196 KiB
Current children cumulated memory: 65732 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002842
/proc/meminfo: memFree=125467420/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=79196 memory=66260 CPUtime=1.49 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 15506 0 0 0 147 2 0 0 20 0 1 0 186745261 81096704 16565 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 19799 16565 2734 3032 0 16199 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79196 KiB
Current children cumulated memory: 66260 KiB
[startup+3.10539 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1002844
/proc/meminfo: memFree=125464796/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=79196 memory=66260 CPUtime=3.09 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 15516 0 0 0 307 2 0 0 20 0 1 0 186745261 81096704 16565 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 19799 16565 2734 3032 0 16199 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79196 KiB
Current children cumulated memory: 66260 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.12 4.09 5/259 1002848
/proc/meminfo: memFree=125305736/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=80292 memory=67316 CPUtime=6.27 cores=4,6
/proc/1002822/stat : 1002822 (fscip) R 1002818 1002822 1000725 0 -1 4194304 15767 0 0 0 625 2 0 0 20 0 1 0 186745261 82219008 16829 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 20073 16829 2734 3032 0 16473 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 80292 KiB
Current children cumulated memory: 67316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 1002852
/proc/meminfo: memFree=125062560/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=215620 memory=164000 CPUtime=12.65 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 51992 0 0 0 1259 6 0 0 20 0 3 0 186745261 220794880 41000 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 53905 41000 2926 3032 0 48677 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=215620 memory=0 CPUtime=5.47 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 27132 0 0 0 545 2 0 0 20 0 3 0 186745979 220794880 41000 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=215620 memory=11588 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 186745981 220794880 41000 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 164000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002855
/proc/meminfo: memFree=125055524/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=215620 memory=164716 CPUtime=25.41 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 66435 0 0 0 2535 6 0 0 20 0 3 0 186745261 220794880 41179 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 53905 41179 2942 3032 0 48742 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=215620 memory=164712 CPUtime=18.25 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 41557 0 0 0 1822 3 0 0 20 0 3 0 186745979 220794880 41179 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=215620 memory=164712 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 186745981 220794880 41179 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 164716 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 1002858
/proc/meminfo: memFree=124696628/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=350420 memory=244112 CPUtime=50.96 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 115546 0 0 0 5084 12 0 0 20 0 3 0 186745261 358830080 61028 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 87605 61028 2958 3032 0 69216 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=350420 memory=244108 CPUtime=43.79 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 90654 0 0 0 4370 9 0 0 20 0 3 0 186745979 358830080 61028 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=350420 memory=11588 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 186745981 358830080 61028 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 350420 KiB
Current children cumulated memory: 244112 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 1002867
/proc/meminfo: memFree=124687824/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=349268 memory=245324 CPUtime=102.01 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 161993 0 0 0 10186 15 0 0 20 0 3 0 186745261 357650432 61331 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 87317 61331 2958 3032 0 68928 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=349268 memory=245288 CPUtime=94.84 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 137053 0 0 0 9472 12 0 0 20 0 3 0 186745979 357650432 61331 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=349268 memory=245012 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 186745981 357650432 61331 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 349268 KiB
Current children cumulated memory: 245324 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 1002877
/proc/meminfo: memFree=124683316/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=349268 memory=245620 CPUtime=161.86 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 206266 0 0 0 16168 18 0 0 20 0 3 0 186745261 357650432 61405 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 87317 61405 2990 3032 0 68928 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=349268 memory=245440 CPUtime=154.69 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 181277 0 0 0 15454 15 0 0 20 0 3 0 186745979 357650432 61405 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=349268 memory=11588 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 186745981 357650432 61405 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 349268 KiB
Current children cumulated memory: 245620 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1002891
/proc/meminfo: memFree=124672412/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=349268 memory=246752 CPUtime=221.73 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 246592 0 0 0 22152 21 0 0 20 0 3 0 186745261 357650432 61688 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 87317 61688 2990 3032 0 69709 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=349268 memory=44076 CPUtime=214.54 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 221548 0 0 0 21437 17 0 0 20 0 3 0 186745979 357650432 61688 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=349268 memory=11588 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 186745981 357650432 61688 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 349268 KiB
Current children cumulated memory: 246752 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 1002903
/proc/meminfo: memFree=124651564/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=349268 memory=257188 CPUtime=281.58 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 251753 0 0 0 28137 21 0 0 20 0 3 0 186745261 357650432 64297 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 87317 64297 2990 3032 0 69709 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=349268 memory=247304 CPUtime=274.41 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 226702 0 0 0 27423 18 0 0 20 0 3 0 186745979 357650432 64297 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=349268 memory=245580 CPUtime=0 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 186745981 357650432 64297 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 349268 KiB
################
# More data... #
################
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=324600 CPUtime=3386.71 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 418530 0 0 0 338623 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=11588 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 202 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 1004661
/proc/meminfo: memFree=124329668/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3453.87 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 444874 0 0 0 345332 55 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=324600 CPUtime=3446.56 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 418876 0 0 0 344608 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=11588 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 207 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 1004671
/proc/meminfo: memFree=124329404/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3513.73 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445290 0 0 0 351318 55 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=324600 CPUtime=3506.42 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419277 0 0 0 350594 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=324600 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 208 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 1004681
/proc/meminfo: memFree=124329112/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3573.58 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445694 0 0 0 357303 55 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=16112 CPUtime=3566.27 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419664 0 0 0 356579 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=11588 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3600.07 s]
# the end of solver process 1002822 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.76 s, system=0.563356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329096/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3575.28 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445694 0 0 0 357473 55 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=-6808738698386115946 CPUtime=3567.97 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419664 0 0 0 356749 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=-9187040394802723782 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3575.28 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1004683
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3581.67 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445694 0 0 0 358111 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=32496 CPUtime=3574.35 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419664 0 0 0 357387 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=324600 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329124/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3588.06 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445843 0 0 0 358750 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=164 CPUtime=3580.74 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419811 0 0 0 358026 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=324600 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3588.06 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329140/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3589.65 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445846 0 0 0 358909 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=-6808738698369469802 CPUtime=3582.33 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419814 0 0 0 358185 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=44076 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3589.65 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3590.45 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445846 0 0 0 358989 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=11588 CPUtime=3583.13 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419814 0 0 0 358265 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=44076 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3590.45 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1004684
/proc/meminfo: memFree=124329132/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3590.85 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445849 0 0 0 359029 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=16112 CPUtime=3583.53 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419817 0 0 0 358305 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=2340 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3590.85 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 4/258 1004684
/proc/meminfo: memFree=124715568/131524600 swapFree=131071996/131071996
[pid=1002822] ppid=1002818 vsize=411624 memory=324600 CPUtime=3591.25 cores=4,6
/proc/1002822/stat : 1002822 (fscip) S 1002818 1002822 1000725 0 -1 1077936128 445851 0 0 0 359069 56 0 0 20 0 3 0 186745261 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
/proc/1002822/statm: 102906 81150 3310 3032 0 84847 0
[pid=1002822/tid=1002851] ppid=1002818 vsize=411624 memory=-6808738698386115946 CPUtime=3583.93 cores=4,6
/proc/1002822/task/1002851/stat : 1002851 (fscip) R 1002818 1002822 1000725 0 -1 4194368 419819 0 0 0 358345 48 0 0 20 0 3 0 186745979 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
[pid=1002822/tid=1002852] ppid=1002818 vsize=411624 memory=1470213551893872769 CPUtime=0.02 cores=4,6
/proc/1002822/task/1002852/stat : 1002852 (fscip) S 1002818 1002822 1000725 0 -1 1077936192 209 0 0 0 1 1 0 0 20 0 3 0 186745981 421502976 81150 134679101440 4194304 16613245 140729272422128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 36945920 140729272427539 140729272427655 140729272427655 140729272434672 0
Current children cumulated CPU time: 3591.25 s
Current children cumulated vsize: 411624 KiB
Current children cumulated memory: 324600 KiB
Child status: 0
Real time (s): 3600.07
CPU time (s): 3591.33
CPU user time (s): 3590.76
CPU system time (s): 0.563356
CPU usage (%): 99.7571
Max. virtual memory (cumulated for all children) (KiB): 411624
Max. memory (cumulated for all children) (KiB): 331616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.76
system time used= 0.563356
maximum resident set size= 331616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446189
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= 7446
involuntary context switches= 1293
# summary of solver processes directly reported to runsolver:
# pid: 1002822
# total CPU time (s): 3591.33
# total CPU user time (s): 3590.76
# total CPU system time (s): 0.563356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13493 second user time and 14.2021 second system time
The end
Begin job on nodeC029 at 2024-07-19 01:36:32
IDJOB=4447010
IDBENCH=158345
IDSOLVER=3064
FILE ID=nodeC029/4447010-1721345778
RUNJOBID= nodeC029-1721342191-1000736
SLURM_JOB_ID= 7542739
Free space on /tmp= 890040 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.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-4447010-1721345778/watcher-4447010-1721345778 -o /tmp/evaluation-result-4447010-1721345778/solver-4447010-1721345778 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721342191-1000736 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447010-1721345778.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c
RANDOM SEED=1913261309
nodeC029.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 : 3651.547
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3665.026
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 : 7006.98
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 : 3644.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3663.757
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 : 7006.98
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 : 3623.906
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3665.622
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 : 7006.98
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 : 3641.723
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.09
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 : 3640.399
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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125664032 kB
MemAvailable: 129645764 kB
Buffers: 496664 kB
Cached: 4275740 kB
SwapCached: 0 kB
Active: 957104 kB
Inactive: 4191072 kB
Active(anon): 1480 kB
Inactive(anon): 411360 kB
Active(file): 955624 kB
Inactive(file): 3779712 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113532 kB
Writeback: 0 kB
AnonPages: 374544 kB
Mapped: 116980 kB
Shmem: 37720 kB
KReclaimable: 172084 kB
Slab: 293408 kB
SReclaimable: 172084 kB
SUnreclaim: 121324 kB
KernelStack: 4068 kB
PageTables: 9500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 770760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-19 02:36:32