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.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 47263744, getVmSize() = 47263744, SCIPgetMemUsed() = 21359537, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13393220
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.31/0.34 c ** Estimated virtualMemUsedAtSolver = 39649482, getVmSize() = 70422528, SCIPgetMemUsed() = 25230036, SCIPgetMemTotal() = 46081004, SCIPgetMemExternEstim() = 13393220
0.31/0.34 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.31/0.34 c Original Problem :
0.31/0.34 c Problem name : instance-4464652-1722386205
0.31/0.34 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.34 c Constraints : 9504
0.31/0.34 c Objective sense : minimize
0.31/0.34 c Presolved Problem :
0.31/0.34 c Variables : 3387 (3387 binary, 0 integer, 0 implicit integer, 0 continuous)
0.31/0.34 c Constraints : 7789
0.31/0.34 c Constraints : Number
0.31/0.34 c and : 32
0.31/0.34 c linear : 1341
0.31/0.34 c logicor : 6416
0.31/0.34 c ** Instance transfer method used: 0
0.31/0.36 c ** ParaScipInstance copy does not increase the number of variables. **
0.31/0.39 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.31/0.39 c Nodes Active
0.31/0.39 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
38.54/38.76 c 39 2 1 1 - 0.0000 -
46.32/46.51 c 47 15 14 1 - 0.0000 -
52.31/52.54 c 53 17 16 1 - 0.0000 -
230.59/231.34 c 231 22 21 1 - 0.0000 -
238.66/239.48 c 239 26 25 1 - 0.0000 -
244.54/245.32 c 245 30 29 1 - 0.0000 -
251.02/251.87 c 252 32 31 1 - 0.0000 -
256.81/257.68 c 258 34 33 1 - 0.0000 -
265.19/266.05 c 266 38 37 1 - 0.0000 -
271.96/272.82 c 273 42 41 1 - 0.0000 -
279.03/279.96 c 280 46 45 1 - 0.0000 -
284.82/285.74 c 286 48 47 1 - 0.0000 -
291.21/292.15 c 292 66 65 1 - 0.0000 -
299.27/300.29 c 300 74 73 1 - 0.0000 -
308.24/309.26 c 309 78 77 1 - 0.0000 -
314.14/315.17 c 315 93 92 1 - 0.0000 -
320.20/321.21 c 321 98 97 1 - 0.0000 -
326.79/327.87 c 328 108 107 1 - 0.0000 -
333.17/334.27 c 334 134 133 1 - 0.0000 -
338.26/339.30 c 339 146 145 1 - 0.0000 -
348.22/349.32 c 349 150 149 1 - 0.0000 -
355.40/356.54 c 357 158 157 1 - 0.0000 -
360.68/361.84 c 362 195 194 1 - 0.0000 -
367.66/368.89 c 369 208 207 1 - 0.0000 -
373.54/374.73 c 375 226 225 1 - 0.0000 -
379.42/380.63 c 381 240 239 1 - 0.0000 -
387.60/388.82 c 389 253 252 1 - 0.0000 -
392.98/394.28 c 394 272 271 1 - 0.0000 -
399.56/400.89 c 401 298 297 1 - 0.0000 -
404.76/406.05 c 406 305 304 1 - 0.0000 -
409.93/411.25 c 411 332 331 1 - 0.0000 -
417.31/418.65 c 419 335 334 1 - 0.0000 -
423.80/425.17 c 425 352 351 1 - 0.0000 -
432.26/433.61 c 434 358 357 1 - 0.0000 -
437.76/439.19 c 439 383 382 1 - 0.0000 -
445.82/447.23 c 447 392 391 1 - 0.0000 -
451.90/453.37 c 453 409 408 1 - 0.0000 -
458.48/459.93 c 460 432 431 1 - 0.0000 -
466.46/467.98 c 468 458 457 1 - 0.0000 -
471.54/473.03 c 473 482 481 1 - 0.0000 -
478.12/479.63 c 480 508 507 1 - 0.0000 -
486.19/487.76 c 488 522 521 1 - 0.0000 -
492.87/494.45 c 494 538 537 1 - 0.0000 -
500.85/502.47 c 502 542 541 1 - 0.0000 -
506.23/507.82 c 508 568 567 1 - 0.0000 -
511.91/513.56 c 514 587 586 1 - 0.0000 -
517.09/518.70 c 519 592 591 1 - 0.0000 -
524.77/526.42 c 526 615 614 1 - 0.0000 -
530.75/532.41 c 532 651 650 1 - 0.0000 -
536.44/538.16 c 538 664 663 1 - 0.0000 -
545.11/546.82 c 547 695 694 1 - 0.0000 -
550.20/551.97 c 552 698 697 1 - 0.0000 -
563.05/564.87 c 565 708 707 1 - 0.0000 -
570.82/572.68 c 573 722 721 1 - 0.0000 -
578.81/580.61 c 581 742 741 1 - 0.0000 -
585.19/587.07 c 587 752 751 1 - 0.0000 -
591.18/593.04 c 593 777 776 1 - 0.0000 -
598.26/600.14 c 600 792 791 1 - 0.0000 -
603.73/605.62 c 606 825 824 1 - 0.0000 -
610.01/611.97 c 612 828 827 1 - 0.0000 -
618.59/620.52 c 621 858 857 1 - 0.0000 -
625.47/627.46 c 627 875 874 1 - 0.0000 -
631.66/633.66 c 634 915 914 1 - 0.0000 -
638.53/640.57 c 641 938 937 1 - 0.0000 -
643.92/646.01 c 646 970 969 1 - 0.0000 -
649.02/651.05 c 651 982 981 1 - 0.0000 -
658.38/660.49 c 660 988 987 1 - 0.0000 -
664.27/666.37 c 666 1016 1015 1 - 0.0000 -
669.35/671.46 c 671 1025 1024 1 - 0.0000 -
678.13/680.20 c 680 1045 1044 1 - 0.0000 -
723.91/726.19 c 726 1051 1 1 - 0.0000 -
729.90/732.14 c 732 1065 15 1 - 0.0000 -
736.66/738.99 c 739 1078 28 1 - 0.0000 -
741.94/744.26 c 744 1081 31 1 - 0.0000 -
748.32/750.69 c 751 1087 37 1 - 0.0000 -
755.00/757.38 c 757 1102 52 1 - 0.0000 -
761.48/763.85 c 764 1117 67 1 - 0.0000 -
768.56/771.01 c 771 1155 105 1 - 0.0000 -
773.84/776.22 c 776 1171 119 1 - 0.0000 -
780.32/782.75 c 783 1183 129 1 - 0.0000 -
789.40/791.84 c 792 1201 143 1 - 0.0000 -
795.78/798.29 c 798 1219 161 1 - 0.0000 -
802.68/805.15 c 805 1242 180 1 - 0.0000 -
808.15/810.64 c 811 1270 204 1 - 0.0000 -
814.34/816.83 c 817 1288 222 1 - 0.0000 -
819.42/821.97 c 822 1316 246 1 - 0.0000 -
826.51/829.05 c 829 1332 262 1 - 0.0000 -
832.50/835.09 c 835 1344 274 1 - 0.0000 -
840.27/842.89 c 843 1362 290 1 - 0.0000 -
847.15/849.75 c 850 1372 300 1 - 0.0000 -
853.33/855.95 c 856 1408 334 1 - 0.0000 -
858.62/861.22 c 861 1422 348 1 - 0.0000 -
1060.75/1063.80 c 1064 1438 364 1 - 0.0000 -
1068.53/1071.64 c 1072 1478 404 1 - 0.0000 -
1075.32/1078.46 c 1078 1518 444 1 - 0.0000 -
1084.49/1087.68 c 1088 1548 474 1 - 0.0000 -
1089.68/1092.87 c 1093 1600 526 1 - 0.0000 -
1095.67/1098.83 c 1099 1622 546 1 - 0.0000 -
1101.86/1105.04 c 1105 1663 585 1 - 0.0000 -
1108.13/1111.30 c 1111 1684 606 1 - 0.0000 -
1113.62/1116.84 c 1117 1691 613 1 - 0.0000 -
1122.11/1125.38 c 1125 1721 643 1 - 0.0000 -
1131.59/1134.89 c 1135 1775 697 1 - 0.0000 -
1137.17/1140.41 c 1140 1786 708 1 - 0.0000 -
1142.46/1145.80 c 1146 1825 747 1 - 0.0000 -
1149.76/1153.04 c 1153 1835 757 1 - 0.0000 -
1155.53/1158.89 c 1159 1859 781 1 - 0.0000 -
1161.22/1164.59 c 1165 1868 788 1 - 0.0000 -
1166.60/1169.90 c 1170 1906 824 1 - 0.0000 -
1171.70/1175.07 c 1175 1970 886 1 - 0.0000 -
1176.79/1180.17 c 1180 2002 918 1 - 0.0000 -
1189.15/1192.55 c 1193 2009 925 1 - 0.0000 -
1194.83/1198.23 c 1198 2062 978 1 - 0.0000 -
1200.32/1203.79 c 1204 2092 1008 1 - 0.0000 -
1208.10/1211.58 c 1212 2099 1015 1 - 0.0000 -
1213.19/1216.68 c 1217 2140 1054 1 - 0.0000 -
1221.27/1224.75 c 1225 2149 1063 1 - 0.0000 -
1226.45/1229.92 c 1230 2194 1108 1 - 0.0000 -
1231.55/1235.08 c 1235 2221 1135 1 - 0.0000 -
1239.72/1243.23 c 1243 2239 1153 1 - 0.0000 -
1245.11/1248.68 c 1249 2265 1179 1 - 0.0000 -
1250.70/1254.22 c 1254 2302 1216 1 - 0.0000 -
1255.99/1259.56 c 1260 2330 1244 1 - 0.0000 -
1261.77/1265.35 c 1265 2379 1293 1 - 0.0000 -
1269.65/1273.25 c 1273 2401 1315 1 - 0.0000 -
1274.73/1278.34 c 1278 2414 1328 1 - 0.0000 -
1283.11/1286.76 c 1287 2461 1375 1 - 0.0000 -
1291.00/1294.64 c 1295 2479 1393 1 - 0.0000 -
1298.98/1302.65 c 1303 2503 1417 1 - 0.0000 -
1303.96/1307.65 c 1308 2535 1449 1 - 0.0000 -
1311.45/1315.14 c 1315 2563 1477 1 - 0.0000 -
1316.82/1320.59 c 1321 2575 1489 1 - 0.0000 -
1322.11/1325.85 c 1326 2611 1525 1 - 0.0000 -
1327.19/1330.96 c 1331 2647 1561 1 - 0.0000 -
1332.77/1336.55 c 1337 2672 1586 1 - 0.0000 -
1337.76/1341.57 c 1342 2726 1640 1 - 0.0000 -
1343.64/1347.48 c 1347 2758 1672 1 - 0.0000 -
1349.24/1353.06 c 1353 2775 1689 1 - 0.0000 -
1354.51/1358.36 c 1358 2785 1699 1 - 0.0000 -
1362.09/1365.94 c 1366 2821 1735 1 - 0.0000 -
1367.87/1371.75 c 1372 2857 1771 1 - 0.0000 -
1376.26/1380.13 c 1380 2869 1783 1 - 0.0000 -
1383.32/1387.28 c 1387 2905 1819 1 - 0.0000 -
1389.21/1393.16 c 1393 2929 1843 1 - 0.0000 -
1395.48/1399.44 c 1399 2947 1861 1 - 0.0000 -
1401.26/1405.27 c 1405 2995 1909 1 - 0.0000 -
1407.64/1411.65 c 1412 3037 1951 1 - 0.0000 -
1413.04/1417.11 c 1417 3093 2007 1 - 0.0000 -
1419.02/1423.02 c 1423 3107 2021 1 - 0.0000 -
1424.01/1428.08 c 1428 3133 2047 1 - 0.0000 -
1429.99/1434.03 c 1434 3171 2085 1 - 0.0000 -
1435.56/1439.65 c 1440 3199 2113 1 - 0.0000 -
1441.95/1446.10 c 1446 3229 2143 1 - 0.0000 -
1447.13/1451.28 c 1451 3235 2149 1 - 0.0000 -
1452.21/1456.39 c 1456 3253 2167 1 - 0.0000 -
1464.77/1468.94 c 1469 3289 2203 1 - 0.0000 -
1471.45/1475.64 c 1476 3307 2221 1 - 0.0000 -
1478.73/1482.94 c 1483 3367 2279 1 - 0.0000 -
1486.11/1490.30 c 1490 3379 2291 1 - 0.0000 -
1491.19/1495.47 c 1495 3424 2336 1 - 0.0000 -
1498.57/1502.85 c 1503 3463 2375 1 - 0.0000 -
1504.06/1508.32 c 1508 3493 2405 1 - 0.0000 -
1509.34/1513.63 c 1514 3499 2411 1 - 0.0000 -
1515.92/1520.27 c 1520 3536 2448 1 - 0.0000 -
1522.01/1526.35 c 1526 3546 2458 1 - 0.0000 -
1527.81/1532.16 c 1532 3557 2469 1 - 0.0000 -
1533.79/1538.19 c 1538 3587 2499 1 - 0.0000 -
1540.15/1544.52 c 1545 3627 2539 1 - 0.0000 -
1546.64/1551.04 c 1551 3660 2572 1 - 0.0000 -
1552.21/1556.60 c 1557 3695 2607 1 - 0.0000 -
1558.20/1562.61 c 1563 3726 2638 1 - 0.0000 -
1563.69/1568.19 c 1568 3761 2673 1 - 0.0000 -
1569.36/1573.89 c 1574 3798 2710 1 - 0.0000 -
1577.65/1582.18 c 1582 3825 2737 1 - 0.0000 -
1584.21/1588.74 c 1589 3839 2751 1 - 0.0000 -
1593.50/1598.10 c 1598 3896 2808 1 - 0.0000 -
1598.67/1603.20 c 1603 3916 2828 1 - 0.0000 -
1606.24/1610.84 c 1611 3946 2858 1 - 0.0000 -
1612.23/1616.83 c 1617 3968 2880 1 - 0.0000 -
1617.42/1622.08 c 1622 4006 2918 1 - 0.0000 -
1625.79/1630.43 c 1630 4053 2965 1 - 0.0000 -
1631.49/1636.13 c 1636 4098 3008 1 - 0.0000 -
1638.05/1642.77 c 1643 4132 3042 1 - 0.0000 -
1643.64/1648.33 c 1648 4147 3057 1 - 0.0000 -
1649.43/1654.14 c 1654 4183 3093 1 - 0.0000 -
1655.50/1660.26 c 1660 4198 3108 1 - 0.0000 -
1663.48/1668.26 c 1668 4228 3138 1 - 0.0000 -
1668.96/1673.74 c 1674 4243 3153 1 - 0.0000 -
1674.14/1678.97 c 1679 4256 3166 1 - 0.0000 -
1680.02/1684.89 c 1685 4272 3182 1 - 0.0000 -
1685.41/1690.23 c 1690 4313 3223 1 - 0.0000 -
1690.49/1695.37 c 1695 4332 3242 1 - 0.0000 -
1695.68/1700.55 c 1701 4358 3268 1 - 0.0000 -
1703.05/1707.96 c 1708 4399 3309 1 - 0.0000 -
1710.14/1715.09 c 1715 4435 3345 1 - 0.0000 -
1718.70/1723.63 c 1724 4492 3402 1 - 0.0000 -
1724.28/1729.28 c 1729 4499 3409 1 - 0.0000 -
1729.67/1734.62 c 1735 4535 3445 1 - 0.0000 -
1736.45/1741.49 c 1742 4563 3473 1 - 0.0000 -
1741.64/1746.69 c 1747 4576 3486 1 - 0.0000 -
1749.61/1754.69 c 1755 4578 3488 1 - 0.0000 -
1755.29/1760.31 c 1760 4600 3510 1 - 0.0000 -
1762.27/1767.32 c 1767 4628 3538 1 - 0.0000 -
1768.35/1773.49 c 1774 4675 3585 1 - 0.0000 -
1777.94/1783.03 c 1783 4692 3602 1 - 0.0000 -
1784.11/1789.29 c 1789 4728 3638 1 - 0.0000 -
1790.30/1795.47 c 1795 4756 3666 1 - 0.0000 -
1796.58/1801.79 c 1802 4785 3695 1 - 0.0000 -
1805.16/1810.32 c 1810 4806 3716 1 - 0.0000 -
1811.75/1816.99 c 1817 4821 3731 1 - 0.0000 -
1817.23/1822.40 c 1822 4866 3776 1 - 0.0000 -
1824.41/1829.69 c 1830 4892 3802 1 - 0.0000 -
1830.99/1836.29 c 1836 4928 3836 1 - 0.0000 -
1837.57/1842.85 c 1843 4959 3867 1 - 0.0000 -
1843.36/1848.66 c 1849 4982 3890 1 - 0.0000 -
1854.02/1859.36 c 1859 4992 3900 1 - 0.0000 -
1859.71/1865.02 c 1865 5016 3924 1 - 0.0000 -
1867.58/1872.93 c 1873 5028 3936 1 - 0.0000 -
1872.95/1878.33 c 1878 5076 3984 1 - 0.0000 -
1879.03/1884.41 c 1884 5092 4000 1 - 0.0000 -
1885.22/1890.68 c 1891 5135 4043 1 - 0.0000 -
1893.50/1899.01 c 1899 5171 4079 1 - 0.0000 -
1898.60/1904.02 c 1904 5185 4093 1 - 0.0000 -
1904.07/1909.56 c 1910 5234 4142 1 - 0.0000 -
1910.66/1916.14 c 1916 5256 4164 1 - 0.0000 -
1916.94/1922.43 c 1922 5272 4180 1 - 0.0000 -
1921.92/1927.45 c 1927 5311 4219 1 - 0.0000 -
1930.40/1935.98 c 1936 5342 4250 1 - 0.0000 -
1937.50/1943.07 c 1943 5371 4279 1 - 0.0000 -
1943.27/1948.89 c 1949 5410 4318 1 - 0.0000 -
1950.85/1956.47 c 1956 5413 4321 1 - 0.0000 -
1956.04/1961.69 c 1962 5442 4350 1 - 0.0000 -
1962.02/1967.69 c 1968 5465 4373 1 - 0.0000 -
1971.01/1976.65 c 1977 5499 4407 1 - 0.0000 -
1980.19/1985.85 c 1986 5549 4457 1 - 0.0000 -
1985.67/1991.32 c 1991 5601 4507 1 - 0.0000 -
1990.66/1996.37 c 1996 5618 4524 1 - 0.0000 -
1996.74/2002.42 c 2002 5650 4556 1 - 0.0000 -
2002.44/2008.15 c 2008 5672 4578 1 - 0.0000 -
2008.32/2014.08 c 2014 5707 4613 1 - 0.0000 -
2014.50/2020.21 c 2020 5737 4643 1 - 0.0000 -
2021.68/2027.48 c 2027 5778 4684 1 - 0.0000 -
2026.87/2032.61 c 2033 5792 4698 1 - 0.0000 -
2032.76/2038.52 c 2039 5822 4728 1 - 0.0000 -
2040.44/2046.28 c 2046 5885 4789 1 - 0.0000 -
2045.92/2051.77 c 2052 5921 4825 1 - 0.0000 -
2051.32/2057.16 c 2057 5942 4846 1 - 0.0000 -
2057.21/2063.05 c 2063 5972 4876 1 - 0.0000 -
2068.36/2074.29 c 2074 6006 4910 1 - 0.0000 -
2074.05/2079.98 c 2080 6013 4917 1 - 0.0000 -
2080.92/2086.87 c 2087 6028 4932 1 - 0.0000 -
2086.71/2092.67 c 2093 6063 4965 1 - 0.0000 -
2094.28/2100.22 c 2100 6071 4973 1 - 0.0000 -
2099.96/2105.98 c 2106 6125 5027 1 - 0.0000 -
2106.06/2112.05 c 2112 6149 5051 1 - 0.0000 -
2112.04/2118.04 c 2118 6172 5074 1 - 0.0000 -
2117.71/2123.78 c 2124 6188 5090 1 - 0.0000 -
2124.00/2130.10 c 2130 6207 5109 1 - 0.0000 -
2129.77/2135.80 c 2136 6250 5152 1 - 0.0000 -
2136.16/2142.22 c 2142 6300 5202 1 - 0.0000 -
2142.05/2148.11 c 2148 6319 5221 1 - 0.0000 -
2147.42/2153.51 c 2154 6347 5249 1 - 0.0000 -
2155.90/2162.07 c 2162 6385 5287 1 - 0.0000 -
2165.76/2171.98 c 2172 6406 5308 1 - 0.0000 -
2173.55/2179.70 c 2180 6442 5344 1 - 0.0000 -
2178.94/2185.15 c 2185 6470 5372 1 - 0.0000 -
2188.70/2194.96 c 2195 6492 5394 1 - 0.0000 -
2194.18/2200.41 c 2200 6506 5408 1 - 0.0000 -
2199.36/2205.65 c 2206 6550 5452 1 - 0.0000 -
2206.34/2212.67 c 2213 6563 5465 1 - 0.0000 -
2213.83/2220.11 c 2220 6599 5501 1 - 0.0000 -
2218.90/2225.24 c 2225 6650 5552 1 - 0.0000 -
2224.79/2231.14 c 2231 6706 5608 1 - 0.0000 -
2229.87/2236.27 c 2236 6731 5633 1 - 0.0000 -
2235.45/2241.88 c 2242 6786 5688 1 - 0.0000 -
2240.74/2247.19 c 2247 6827 5729 1 - 0.0000 -
2247.21/2253.60 c 2254 6842 5744 1 - 0.0000 -
2254.49/2260.99 c 2261 6885 5787 1 - 0.0000 -
2259.87/2266.30 c 2266 6914 5816 1 - 0.0000 -
2265.75/2272.21 c 2272 6939 5841 1 - 0.0000 -
2270.84/2277.35 c 2277 6991 5893 1 - 0.0000 -
2279.02/2285.55 c 2286 7006 5908 1 - 0.0000 -
2284.70/2291.23 c 2291 7021 5923 1 - 0.0000 -
2291.07/2297.61 c 2298 7049 5951 1 - 0.0000 -
2297.76/2304.39 c 2304 7078 5980 1 - 0.0000 -
2303.74/2310.39 c 2310 7106 6008 1 - 0.0000 -
2309.82/2316.47 c 2316 7113 6015 1 - 0.0000 -
2318.41/2325.05 c 2325 7156 6058 1 - 0.0000 -
2323.58/2330.26 c 2330 7172 6074 1 - 0.0000 -
2330.06/2336.71 c 2337 7202 6104 1 - 0.0000 -
2336.14/2342.89 c 2343 7243 6145 1 - 0.0000 -
2341.92/2348.61 c 2349 7264 6166 1 - 0.0000 -
2351.99/2358.76 c 2359 7278 6180 1 - 0.0000 -
2357.97/2364.77 c 2365 7311 6213 1 - 0.0000 -
2363.86/2370.69 c 2371 7328 6230 1 - 0.0000 -
2370.04/2376.82 c 2377 7342 6244 1 - 0.0000 -
2375.72/2382.50 c 2383 7377 6279 1 - 0.0000 -
2385.49/2392.35 c 2392 7385 6287 1 - 0.0000 -
2391.87/2398.73 c 2399 7406 6308 1 - 0.0000 -
2397.65/2404.50 c 2405 7430 6332 1 - 0.0000 -
2404.53/2411.44 c 2411 7456 6358 1 - 0.0000 -
2412.80/2419.79 c 2420 7485 6387 1 - 0.0000 -
2418.88/2425.85 c 2426 7513 6415 1 - 0.0000 -
2425.57/2432.59 c 2433 7542 6444 1 - 0.0000 -
2431.35/2438.30 c 2438 7563 6465 1 - 0.0000 -
2436.63/2443.65 c 2444 7578 6480 1 - 0.0000 -
2442.03/2449.09 c 2449 7592 6494 1 - 0.0000 -
2447.30/2454.34 c 2454 7621 6523 1 - 0.0000 -
2674.13/2681.73 c 2682 7663 6565 1 - 0.0000 -
2679.22/2686.85 c 2687 7678 6580 1 - 0.0000 -
2685.70/2693.38 c 2693 7721 6623 1 - 0.0000 -
2692.18/2699.84 c 2700 7756 6658 1 - 0.0000 -
2702.86/2710.58 c 2711 7785 6687 1 - 0.0000 -
2708.05/2715.72 c 2716 7800 6702 1 - 0.0000 -
2715.62/2723.34 c 2723 7821 6723 1 - 0.0000 -
2720.71/2728.49 c 2728 7871 6773 1 - 0.0000 -
2727.89/2735.60 c 2736 7892 6794 1 - 0.0000 -
2736.39/2744.16 c 2744 7956 6856 1 - 0.0000 -
2742.46/2750.26 c 2750 7978 6878 1 - 0.0000 -
2749.05/2756.87 c 2757 8018 6918 1 - 0.0000 -
2754.84/2762.64 c 2763 8063 6963 1 - 0.0000 -
2760.12/2768.01 c 2768 8092 6992 1 - 0.0000 -
2765.50/2773.35 c 2773 8134 7034 1 - 0.0000 -
2771.58/2779.42 c 2779 8178 7078 1 - 0.0000 -
2776.87/2784.71 c 2785 8223 7123 1 - 0.0000 -
2782.05/2789.97 c 2790 8249 7149 1 - 0.0000 -
2788.05/2795.99 c 2796 8278 7178 1 - 0.0000 -
2793.73/2801.67 c 2802 8294 7194 1 - 0.0000 -
2799.52/2807.42 c 2807 8307 7207 1 - 0.0000 -
2805.31/2813.26 c 2813 8320 7220 1 - 0.0000 -
2810.79/2818.71 c 2819 8364 7264 1 - 0.0000 -
2816.68/2824.67 c 2825 8395 7295 1 - 0.0000 -
2822.36/2830.32 c 2830 8406 7306 1 - 0.0000 -
2827.45/2835.40 c 2835 8434 7334 1 - 0.0000 -
2834.93/2842.95 c 2843 8485 7385 1 - 0.0000 -
2840.21/2848.20 c 2848 8525 7425 1 - 0.0000 -
2845.29/2853.38 c 2853 8542 7442 1 - 0.0000 -
2851.88/2859.97 c 2860 8585 7485 1 - 0.0000 -
2858.36/2866.40 c 2866 8614 7514 1 - 0.0000 -
2864.84/2872.90 c 2873 8642 7542 1 - 0.0000 -
2870.53/2878.64 c 2879 8670 7570 1 - 0.0000 -
2877.21/2885.33 c 2885 8678 7578 1 - 0.0000 -
2884.71/2892.80 c 2893 8685 7585 1 - 0.0000 -
2890.19/2898.33 c 2898 8747 7647 1 - 0.0000 -
2895.48/2903.60 c 2904 8771 7671 1 - 0.0000 -
2904.16/2912.37 c 2912 8821 7721 1 - 0.0000 -
2910.34/2918.54 c 2919 8862 7762 1 - 0.0000 -
2919.42/2927.62 c 2928 8871 7771 1 - 0.0000 -
2925.40/2933.63 c 2934 8922 7822 1 - 0.0000 -
2930.49/2938.77 c 2939 8941 7841 1 - 0.0000 -
2936.57/2944.88 c 2945 8981 7881 1 - 0.0000 -
2942.46/2950.73 c 2951 9018 7918 1 - 0.0000 -
2948.05/2956.31 c 2956 9060 7960 1 - 0.0000 -
2954.33/2962.64 c 2963 9092 7992 1 - 0.0000 -
2961.52/2969.85 c 2970 9121 8021 1 - 0.0000 -
2967.20/2975.53 c 2976 9154 8054 1 - 0.0000 -
2974.80/2983.14 c 2983 9171 8071 1 - 0.0000 -
2983.26/2991.64 c 2992 9178 8078 1 - 0.0000 -
2988.66/2997.07 c 2997 9213 8113 1 - 0.0000 -
2993.84/3002.29 c 3002 9229 8129 1 - 0.0000 -
2999.63/3008.02 c 3008 9268 8168 1 - 0.0000 -
3005.21/3013.67 c 3014 9277 8177 1 - 0.0000 -
3010.61/3019.01 c 3019 9313 8213 1 - 0.0000 -
3016.48/3024.99 c 3025 9335 8235 1 - 0.0000 -
3024.16/3032.64 c 3033 9356 8256 1 - 0.0000 -
3031.35/3039.83 c 3040 9399 8299 1 - 0.0000 -
3037.93/3046.46 c 3046 9435 8335 1 - 0.0000 -
3042.92/3051.46 c 3051 9478 8378 1 - 0.0000 -
3048.41/3056.95 c 3057 9493 8393 1 - 0.0000 -
3054.39/3062.94 c 3063 9543 8443 1 - 0.0000 -
3060.28/3068.80 c 3069 9576 8476 1 - 0.0000 -
3065.96/3074.50 c 3075 9622 8522 1 - 0.0000 -
3071.65/3080.21 c 3080 9642 8542 1 - 0.0000 -
3080.33/3088.90 c 3089 9663 8563 1 - 0.0000 -
3085.71/3094.39 c 3094 9679 8579 1 - 0.0000 -
3091.41/3100.11 c 3100 9732 8630 1 - 0.0000 -
3100.39/3109.09 c 3109 9756 8654 1 - 0.0000 -
3105.86/3114.50 c 3115 9786 8684 1 - 0.0000 -
3111.76/3120.42 c 3120 9799 8697 1 - 0.0000 -
3117.64/3126.33 c 3126 9813 8711 1 - 0.0000 -
3123.53/3132.26 c 3132 9843 8741 1 - 0.0000 -
3130.01/3138.71 c 3139 9900 8798 1 - 0.0000 -
3138.09/3146.89 c 3147 9963 8861 1 - 0.0000 -
3143.39/3152.18 c 3152 10027 8925 1 - 0.0000 -
3148.56/3157.35 c 3157 10041 8939 1 - 0.0000 -
3157.04/3165.89 c 3166 10049 8947 1 - 0.0000 -
3162.25/3171.09 c 3171 10056 8954 1 - 0.0000 -
3167.52/3176.38 c 3176 10088 8986 1 - 0.0000 -
3175.21/3184.07 c 3184 10128 9026 1 - 0.0000 -
3180.78/3189.66 c 3190 10181 9079 1 - 0.0000 -
3187.07/3195.92 c 3196 10224 9122 1 - 0.0000 -
3193.16/3202.04 c 3202 10285 9183 1 - 0.0000 -
3198.95/3207.89 c 3208 10324 9222 1 - 0.0000 -
3204.63/3213.52 c 3214 10371 9269 1 - 0.0000 -
3210.02/3218.90 c 3219 10562 9452 1 - 0.0000 -
3216.79/3225.71 c 3226 10651 9535 1 - 0.0000 -
3222.48/3231.41 c 3231 10709 9593 1 - 0.0000 -
3228.27/3237.21 c 3237 10839 9703 1 - 0.0000 -
3234.85/3243.80 c 3244 10849 9711 1 - 0.0000 -
3242.83/3251.83 c 3252 10899 9743 1 - 0.0000 -
3249.32/3258.31 c 3258 11112 9824 1 - 0.0000 -
3254.80/3263.89 c 3264 11865 9991 1 - 0.0000 -
3260.68/3269.73 c 3270 12712 9901 1 - 0.0000 -
3265.67/3274.75 c 3275 12872 9953 1 - 0.0000 -
3271.26/3280.33 c 3280 13106 10057 1 - 0.0000 -
3276.34/3285.44 c 3285 13667 10239 1 - 0.0000 -
3281.54/3290.64 c 3291 14241 10288 1 - 0.0000 -
3286.62/3295.74 c 3296 14930 10276 1 - 0.0000 -
3291.70/3300.82 c 3301 15405 10275 1 - 0.0000 -
3296.79/3305.95 c 3306 15961 10267 1 - 0.0000 -
3302.08/3311.29 c 3311 16607 10271 1 - 0.0000 -
3307.17/3316.35 c 3316 17128 10278 1 - 0.0000 -
3312.25/3321.43 c 3321 17722 10297 1 - 0.0000 -
3317.25/3326.49 c 3326 18351 10291 1 - 0.0000 -
3322.33/3331.58 c 3332 18894 10301 1 - 0.0000 -
3327.41/3336.65 c 3337 19551 10330 1 - 0.0000 -
3332.49/3341.70 c 3342 20187 10323 1 - 0.0000 -
3337.49/3346.76 c 3347 20787 10333 1 - 0.0000 -
3342.57/3351.85 c 3352 21376 10338 1 - 0.0000 -
3347.66/3356.90 c 3357 22013 10338 1 - 0.0000 -
3352.64/3361.95 c 3362 22600 10339 1 - 0.0000 -
3357.73/3367.02 c 3367 23160 10342 1 - 0.0000 -
3362.71/3372.08 c 3372 23756 10356 1 - 0.0000 -
3367.81/3377.13 c 3377 24326 10361 1 - 0.0000 -
3372.79/3382.18 c 3382 24942 10370 1 - 0.0000 -
3377.86/3387.27 c 3387 25534 10386 1 - 0.0000 -
3382.94/3392.35 c 3392 26057 10384 1 - 0.0000 -
3388.03/3397.41 c 3397 26601 10404 1 - 0.0000 -
3393.02/3402.46 c 3402 27178 10404 1 - 0.0000 -
3398.10/3407.52 c 3408 27733 10381 1 - 0.0000 -
3403.09/3412.57 c 3413 28313 10383 1 - 0.0000 -
3408.17/3417.62 c 3418 28930 10428 1 - 0.0000 -
3413.26/3422.70 c 3423 29489 10424 1 - 0.0000 -
3418.24/3427.76 c 3428 30061 10419 1 - 0.0000 -
3423.32/3432.84 c 3433 30625 10443 1 - 0.0000 -
3428.32/3437.89 c 3438 31177 10441 1 - 0.0000 -
3433.40/3442.94 c 3443 31732 10437 1 - 0.0000 -
3438.49/3448.02 c 3448 32274 10435 1 - 0.0000 -
3443.47/3453.07 c 3453 32860 10421 1 - 0.0000 -
3448.56/3458.14 c 3458 33352 10415 1 - 0.0000 -
3453.64/3463.21 c 3463 33911 10410 1 - 0.0000 -
3458.62/3468.29 c 3468 34455 10416 1 - 0.0000 -
3463.71/3473.34 c 3473 34937 10410 1 - 0.0000 -
3468.80/3478.42 c 3478 35461 10406 1 - 0.0000 -
3473.79/3483.48 c 3483 36014 10422 1 - 0.0000 -
3478.87/3488.54 c 3489 36559 10410 1 - 0.0000 -
3483.96/3493.61 c 3494 37153 10409 1 - 0.0000 -
3488.94/3498.68 c 3499 37711 10411 1 - 0.0000 -
3494.03/3503.74 c 3504 38300 10410 1 - 0.0000 -
3499.12/3508.83 c 3509 38822 10402 1 - 0.0000 -
3504.11/3513.89 c 3514 39333 10401 1 - 0.0000 -
3509.19/3518.94 c 3519 39938 10393 1 - 0.0000 -
3514.17/3523.99 c 3524 40489 10385 1 - 0.0000 -
3519.27/3529.04 c 3529 41095 10381 1 - 0.0000 -
3524.35/3534.12 c 3534 41693 10368 1 - 0.0000 -
3529.34/3539.19 c 3539 42220 10374 1 - 0.0000 -
3534.42/3544.24 c 3544 42805 10405 1 - 0.0000 -
3539.51/3549.31 c 3549 43367 10422 1 - 0.0000 -
3544.49/3554.36 c 3554 43996 10440 1 - 0.0000 -
3549.58/3559.45 c 3559 44511 10432 1 - 0.0000 -
3554.57/3564.49 c 3564 45091 10415 1 - 0.0000 -
3559.65/3569.56 c 3570 45675 10412 1 - 0.0000 -
3564.74/3574.62 c 3575 46268 10432 1 - 0.0000 -
3569.83/3579.70 c 3580 46846 10407 1 - 0.0000 -
3574.81/3584.76 c 3585 47405 10403 1 - 0.0000 -
3579.90/3589.81 c 3590 47975 10394 1 - 0.0000 -
3584.88/3594.86 c 3595 48479 10389 1 - 0.0000 -
3588.09/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.09/3598.05 c Total Time : 3598.0600
3588.09/3598.05 c solving : 3598.0600
3588.09/3598.05 c presolving : 0.2960 (included in solving)
3588.09/3598.05 c B&B Tree :
3588.09/3598.05 c nodes (total) : 1
3588.09/3598.05 c Solution :
3588.09/3598.05 c Solutions found : 0
3588.09/3598.05 c Primal Bound : -
3588.09/3598.05 c Dual Bound : +0.00000000000000e+00
3588.09/3598.05 c Gap : -
3588.09/3598.08 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: 64059 MiB (62582 MiB free)
memory of node 1: 64510 MiB (58590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464652-1722386205/watcher-4464652-1722386205 -o /tmp/evaluation-result-4464652-1722386205/solver-4464652-1722386205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464652-1722386205.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32845, runsolver pid=32842
[startup+0.100108 s]*
/proc/loadavg: 4.14 4.18 4.18 5/244 32846
/proc/meminfo: memFree=124045212/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=54592 memory=43812 CPUtime=0.1 cores=5,7
/proc/32845/stat : 32845 (fscip) R 32842 32845 28297 0 -1 4194304 9825 0 0 0 9 1 0 0 20 0 1 0 4991250 55902208 10953 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 13648 10953 2726 3035 0 10044 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54592 KiB
Current children cumulated memory: 43812 KiB
[startup+0.213231 s]*
/proc/loadavg: 4.14 4.18 4.18 5/244 32846
/proc/meminfo: memFree=124042608/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=58904 memory=48356 CPUtime=0.21 cores=5,7
/proc/32845/stat : 32845 (fscip) R 32842 32845 28297 0 -1 4194304 10955 0 0 0 20 1 0 0 20 0 1 0 4991250 60317696 12089 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 14726 12089 2742 3035 0 11122 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58904 KiB
Current children cumulated memory: 48356 KiB
[startup+0.312917 s]*
/proc/loadavg: 4.14 4.18 4.18 5/244 32846
/proc/meminfo: memFree=124041552/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=65872 memory=50448 CPUtime=0.31 cores=5,7
/proc/32845/stat : 32845 (fscip) R 32842 32845 28297 0 -1 4194304 11482 0 0 0 30 1 0 0 20 0 1 0 4991250 67452928 12612 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 16468 12612 2742 3035 0 12864 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 65872 KiB
Current children cumulated memory: 50448 KiB
[startup+0.700622 s]
/proc/loadavg: 4.14 4.18 4.18 5/246 32848
/proc/meminfo: memFree=124008652/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=154124 memory=89504 CPUtime=0.66 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 23341 0 0 0 62 4 0 0 20 0 3 0 4991250 157822976 22376 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 38531 22376 2790 3035 0 27125 0
[pid=32845/tid=32847] ppid=32842 vsize=154124 memory=38744 CPUtime=0.3 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 8154 0 0 0 29 1 0 0 20 0 3 0 4991284 157822976 22376 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=154124 memory=3904679190610329034 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4991289 157822976 22376 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 89504 KiB
[startup+1.50042 s]
/proc/loadavg: 4.14 4.18 4.18 5/246 32848
/proc/meminfo: memFree=123977740/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=154124 memory=116116 CPUtime=1.45 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 34421 0 0 0 139 6 0 0 20 0 3 0 4991250 157822976 29029 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 38531 29029 2966 3035 0 33660 0
[pid=32845/tid=32847] ppid=32842 vsize=154124 memory=3904679190610329034 CPUtime=1.1 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 19229 0 0 0 106 4 0 0 20 0 3 0 4991284 157822976 29029 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=154124 memory=0 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4991289 157822976 29029 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 116116 KiB
[startup+3.11285 s]
/proc/loadavg: 4.13 4.18 4.18 5/246 32848
/proc/meminfo: memFree=123943444/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=147140 CPUtime=3.06 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 46016 0 0 0 296 10 0 0 20 0 3 0 4991250 224931840 36785 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 36785 2966 3035 0 42918 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=11648 CPUtime=2.7 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 30822 0 0 0 263 7 0 0 20 0 3 0 4991284 224931840 36785 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=0 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 36785 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 147140 KiB
[startup+6.30042 s]
/proc/loadavg: 4.13 4.18 4.18 5/246 32848
/proc/meminfo: memFree=123943212/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=147184 CPUtime=6.24 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 59780 0 0 0 613 11 0 0 20 0 3 0 4991250 224931840 36796 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 36796 2966 3035 0 42918 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=0 CPUtime=5.88 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 44584 0 0 0 580 8 0 0 20 0 3 0 4991284 224931840 36796 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=147184 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 36796 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 147184 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.17 4.18 5/246 32850
/proc/meminfo: memFree=123941908/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=147436 CPUtime=12.62 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 76824 0 0 0 1250 12 0 0 20 0 3 0 4991250 224931840 36859 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 36859 2966 3035 0 42918 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=147436 CPUtime=12.26 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 61617 0 0 0 1216 10 0 0 20 0 3 0 4991284 224931840 36859 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=147436 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 36859 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 147436 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.18 4.18 5/246 32851
/proc/meminfo: memFree=123937688/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=148288 CPUtime=25.38 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 102715 0 0 0 2524 14 0 0 20 0 3 0 4991250 224931840 37072 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 37072 2966 3035 0 42918 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=147644 CPUtime=25.03 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 87500 0 0 0 2491 12 0 0 20 0 3 0 4991284 224931840 37072 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=0 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 37072 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 148288 KiB
[startup+51.1129 s]
/proc/loadavg: 4.11 4.17 4.17 5/246 32856
/proc/meminfo: memFree=123900772/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=179896 CPUtime=50.92 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 140532 0 0 0 5073 19 0 0 20 0 3 0 4991250 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 44974 3014 3035 0 49803 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=12800 CPUtime=50.56 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 125228 0 0 0 5040 16 0 0 20 0 3 0 4991284 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=5468 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 179896 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/246 32864
/proc/meminfo: memFree=123890400/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=179896 CPUtime=101.96 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 154731 0 0 0 10176 20 0 0 20 0 3 0 4991250 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 44974 3014 3035 0 49803 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=179896 CPUtime=101.6 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 139406 0 0 0 10142 18 0 0 20 0 3 0 4991284 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=11648 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 179896 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/244 32875
/proc/meminfo: memFree=128367916/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=179896 CPUtime=161.79 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 159533 0 0 0 16158 21 0 0 20 0 3 0 4991250 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 44974 3014 3035 0 49803 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=179896 CPUtime=161.42 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 144201 0 0 0 16124 18 0 0 20 0 3 0 4991284 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=38744 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 219660 KiB
Current children cumulated memory: 179896 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/249 32937
/proc/meminfo: memFree=128943232/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=219660 memory=179896 CPUtime=221.61 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 164125 0 0 0 22140 21 0 0 20 0 3 0 4991250 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 54915 44974 3014 3035 0 49803 0
[pid=32845/tid=32847] ppid=32842 vsize=219660 memory=11648 CPUtime=221.25 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 148786 0 0 0 22106 19 0 0 20 0 3 0 4991284 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=219660 memory=11648 CPUtime=0 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 4991289 224931840 44974 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
################
# More data... #
################
/proc/32845/statm: 88240 81522 3302 3035 0 84316 0
[pid=32845/tid=32847] ppid=32842 vsize=352960 memory=11648 CPUtime=3392.38 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 389458 0 0 0 339166 72 0 0 20 0 3 0 4991284 361431040 81522 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=352960 memory=326036 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 286 0 0 0 1 3 0 0 20 0 3 0 4991289 361431040 81522 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 352960 KiB
Current children cumulated memory: 326088 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.96 3.66 3/233 34760
/proc/meminfo: memFree=129316756/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=347924 CPUtime=3452.74 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 421586 0 0 0 345185 89 0 0 20 0 3 0 4991250 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 86981 3302 3035 0 89733 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=11648 CPUtime=3452.19 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 404993 0 0 0 345142 77 0 0 20 0 3 0 4991284 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=11648 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 347924 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.81 3.56 3/229 34770
/proc/meminfo: memFree=129313552/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=347924 CPUtime=3512.58 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 429347 0 0 0 351164 94 0 0 20 0 3 0 4991250 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 86981 3302 3035 0 89733 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=5468 CPUtime=3512.03 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 412734 0 0 0 351121 82 0 0 20 0 3 0 4991284 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=347924 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 86981 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 347924 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.68 3.46 3/228 34803
/proc/meminfo: memFree=129307260/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3572.42 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 444040 0 0 0 357142 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=352328 CPUtime=3571.86 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 427407 0 0 0 357099 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=12800 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3598.1 s]
# the end of solver process 32845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.17 s, system=1.02242 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.09 2.67 3.46 3/228 34803
/proc/meminfo: memFree=129306936/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3574.13 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 444069 0 0 0 357313 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=40352 CPUtime=3573.57 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 427436 0 0 0 357270 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=-4050210904893800080 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3574.13 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3590.4 s]
/proc/loadavg: 2.09 2.65 3.45 3/228 34804
/proc/meminfo: memFree=129306920/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3580.5 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 444222 0 0 0 357950 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=352328 CPUtime=3579.94 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 427589 0 0 0 357907 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=11648 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3593.6 s]
/proc/loadavg: 2.09 2.65 3.45 3/228 34804
/proc/meminfo: memFree=129306956/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3583.69 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 447809 0 0 0 358269 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=352328 CPUtime=3583.13 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 431168 0 0 0 358226 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=352328 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3595.2 s]
/proc/loadavg: 2.08 2.64 3.44 3/228 34804
/proc/meminfo: memFree=129306984/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3585.28 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 448411 0 0 0 358428 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=12800 CPUtime=3584.72 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 431762 0 0 0 358385 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=11768 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3596.8 s]
/proc/loadavg: 2.08 2.64 3.44 3/228 34804
/proc/meminfo: memFree=129306960/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3586.88 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 448789 0 0 0 358588 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=352328 CPUtime=3586.32 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 432140 0 0 0 358545 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=0 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3597.6 s]
/proc/loadavg: 2.08 2.64 3.44 3/228 34806
/proc/meminfo: memFree=129306964/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3587.68 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 448928 0 0 0 358668 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=5468 CPUtime=3587.11 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 432279 0 0 0 358624 87 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=1912 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
[startup+3598 s]*
/proc/loadavg: 2.08 2.64 3.44 3/228 34806
/proc/meminfo: memFree=129306936/131655788 swapFree=131071472/131071996
[pid=32845] ppid=32842 vsize=418496 memory=352328 CPUtime=3588.09 cores=5,7
/proc/32845/stat : 32845 (fscip) S 32842 32845 28297 0 -1 1077936128 449222 0 0 0 358709 100 0 0 20 0 3 0 4991250 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
/proc/32845/statm: 104624 88082 3302 3035 0 90797 0
[pid=32845/tid=32847] ppid=32842 vsize=418496 memory=-7019541185795547007 CPUtime=3587.53 cores=5,7
/proc/32845/task/32847/stat : 32847 (fscip) R 32842 32845 28297 0 -1 4194368 432578 0 0 0 358665 88 0 0 20 0 3 0 4991284 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
[pid=32845/tid=32848] ppid=32842 vsize=418496 memory=-4050210904893800080 CPUtime=0.04 cores=5,7
/proc/32845/task/32848/stat : 32848 (fscip) S 32842 32845 28297 0 -1 1077936192 292 0 0 0 1 3 0 0 20 0 3 0 4991289 428539904 88082 134679101440 4194304 16623229 140724921184112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46305280 140724921193498 140724921193614 140724921193614 140724921200624 0
Current children cumulated CPU time: 3588.09 s
Current children cumulated vsize: 418496 KiB
Current children cumulated memory: 352328 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3588.19
CPU user time (s): 3587.17
CPU system time (s): 1.02242
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 418496
Max. memory (cumulated for all children) (KiB): 352328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.17
system time used= 1.02242
maximum resident set size= 352328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450712
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= 6878
involuntary context switches= 4153
# summary of solver processes directly reported to runsolver:
# pid: 32845
# total CPU time (s): 3588.19
# total CPU user time (s): 3587.17
# total CPU system time (s): 1.02242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2984 second user time and 34.2282 second system time
The end
Begin job on nodeC008 at 2024-07-31 02:36:45
IDJOB=4464652
IDBENCH=162177
IDSOLVER=3092
FILE ID=nodeC008/4464652-1722386205
RUNJOBID= nodeC008-1722378594-28310
SLURM_JOB_ID= 8249838
Free space on /tmp= 723668 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-9.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-4464652-1722386205/watcher-4464652-1722386205 -o /tmp/evaluation-result-4464652-1722386205/solver-4464652-1722386205 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722378594-28310 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464652-1722386205.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376
RANDOM SEED=1765878430
nodeC008.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 : 0xb00001f
cpu MHz : 3645.246
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 3578.017
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.539
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.449
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 3506.998
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 3533.617
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
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 : 0xb00001f
cpu MHz : 1197.527
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.63
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 : 0xb00001f
cpu MHz : 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124080716 kB
MemAvailable: 124345588 kB
Buffers: 91952 kB
Cached: 1011880 kB
SwapCached: 72 kB
Active: 284788 kB
Inactive: 6856508 kB
Active(anon): 1488 kB
Inactive(anon): 6057076 kB
Active(file): 283300 kB
Inactive(file): 799432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 28616 kB
Writeback: 32 kB
AnonPages: 6037184 kB
Mapped: 125688 kB
Shmem: 21104 kB
KReclaimable: 44340 kB
Slab: 119772 kB
SReclaimable: 44340 kB
SUnreclaim: 75432 kB
KernelStack: 3872 kB
PageTables: 21268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3915576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1181696 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: 146248 kB
DirectMap2M: 10244096 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC008 at 2024-07-31 03:36:44