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.09/0.17 c Default LC presolving (default).
0.09/0.17 c ** Before presolving: virtualMemUsedAtLc = 165323396, getVmSize() = 125091840, SCIPgetMemUsed() = 95055077, SCIPgetMemTotal() = 99384245, SCIPgetMemExternEstim() = 65939151
0.09/0.17 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
95.73/96.18 c ** Estimated virtualMemUsedAtSolver = 180701753, getVmSize() = 240730112, SCIPgetMemUsed() = 128751791, SCIPgetMemTotal() = 205113479, SCIPgetMemExternEstim() = 65939151
95.73/96.18 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
95.73/96.18 c Original Problem :
95.73/96.18 c Problem name : instance-4464422-1722378597
95.73/96.18 c Variables : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
95.73/96.18 c Constraints : 52475
95.73/96.18 c Objective sense : minimize
95.73/96.18 c Presolved Problem :
95.73/96.18 c Variables : 12821 (12821 binary, 0 integer, 0 implicit integer, 0 continuous)
95.73/96.18 c Constraints : 13919
95.73/96.18 c Constraints : Number
95.73/96.18 c knapsack : 920
95.73/96.18 c setppc : 903
95.73/96.18 c and : 12094
95.73/96.18 c logicor : 2
95.73/96.18 c ** Instance transfer method used: 0
95.83/96.21 c ** ParaScipInstance copy increased the number of variables. **
95.83/96.25 c LC is working with racing ramp-up and with rebuilding tree after racing.
95.83/96.25 c Nodes Active
95.83/96.25 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
174.63/175.84 c 176 2 1 1 - 0.0000 -
179.57/180.86 c 181 4 3 1 - 0.0000 -
186.21/187.53 c 188 7 6 1 - 0.0000 -
192.34/193.75 c 194 11 10 1 - 0.0000 -
199.56/201.09 c 201 19 18 1 - 0.0000 -
208.57/210.11 c 210 26 25 1 - 0.0000 -
214.50/216.14 c 216 55 37 1 - 0.0000 -
220.14/221.85 c 222 73 36 1 - 0.0000 -
225.29/227.03 c 227 75 38 1 - 0.0000 -
231.72/233.55 c 234 112 63 1 - 0.0000 -
237.16/239.04 c 239 133 70 1 - 0.0000 -
242.41/244.36 c 244 168 55 1 - 0.0000 -
248.05/250.07 c 250 220 52 1 - 0.0000 -
253.19/255.26 c 255 287 50 1 - 0.0000 -
258.43/260.57 c 261 349 53 1 - 0.0000 -
263.87/266.01 c 266 400 52 1 - 0.0000 -
269.51/271.75 c 272 458 51 1 - 0.0000 -
274.95/277.21 c 277 507 51 1 - 0.0000 -
280.24/282.56 c 283 565 50 1 - 0.0000 -
285.62/287.97 c 288 624 52 1 - 0.0000 -
291.29/293.60 c 294 677 46 1 - 0.0000 -
296.97/299.36 c 299 726 51 1 - 0.0000 -
302.36/304.73 c 305 785 44 1 - 0.0000 -
307.54/309.99 c 310 848 42 1 - 0.0000 -
313.12/315.57 c 316 903 46 1 - 0.0000 -
319.10/321.54 c 322 961 39 1 - 0.0000 -
325.09/327.57 c 328 985 43 1 - 0.0000 -
330.37/332.87 c 333 1007 43 1 - 0.0000 -
336.96/339.48 c 339 1036 47 1 - 0.0000 -
419.11/421.84 c 422 1078 1 1 - 0.0000 -
424.19/426.96 c 427 1080 3 1 - 0.0000 -
429.47/432.21 c 432 1083 6 1 - 0.0000 -
435.75/438.52 c 439 1087 10 1 - 0.0000 -
441.64/444.43 c 444 1098 13 1 - 0.0000 -
447.52/450.32 c 450 1110 15 1 - 0.0000 -
453.20/456.08 c 456 1117 17 1 - 0.0000 -
459.47/462.30 c 462 1128 16 1 - 0.0000 -
473.83/476.75 c 477 1129 16 1 - 0.0000 -
480.91/483.81 c 484 1149 29 1 - 0.0000 -
488.59/491.59 c 492 1150 30 1 - 0.0000 -
493.77/496.73 c 497 1185 25 1 - 0.0000 -
499.06/502.06 c 502 1198 26 1 - 0.0000 -
504.74/507.72 c 508 1200 26 1 - 0.0000 -
509.82/512.82 c 513 1226 23 1 - 0.0000 -
516.90/519.95 c 520 1228 25 1 - 0.0000 -
522.38/525.46 c 525 1271 29 1 - 0.0000 -
536.44/539.58 c 540 1278 34 1 - 0.0000 -
542.62/545.75 c 546 1300 25 1 - 0.0000 -
548.10/551.26 c 551 1304 28 1 - 0.0000 -
553.29/556.50 c 556 1323 33 1 - 0.0000 -
559.18/562.31 c 562 1373 27 1 - 0.0000 -
567.75/570.99 c 571 1385 26 1 - 0.0000 -
573.73/576.92 c 577 1394 31 1 - 0.0000 -
578.82/582.09 c 582 1407 29 1 - 0.0000 -
585.20/588.46 c 588 1408 30 1 - 0.0000 -
591.08/594.37 c 594 1435 36 1 - 0.0000 -
596.87/600.11 c 600 1450 38 1 - 0.0000 -
602.74/606.02 c 606 1487 38 1 - 0.0000 -
608.42/611.79 c 612 1512 38 1 - 0.0000 -
613.71/617.07 c 617 1539 36 1 - 0.0000 -
619.39/622.71 c 623 1576 38 1 - 0.0000 -
624.67/628.01 c 628 1613 28 1 - 0.0000 -
631.36/634.73 c 635 1632 30 1 - 0.0000 -
636.64/640.03 c 640 1653 27 1 - 0.0000 -
642.62/646.06 c 646 1679 35 1 - 0.0000 -
647.89/651.36 c 651 1680 35 1 - 0.0000 -
653.69/657.18 c 657 1714 33 1 - 0.0000 -
658.97/662.46 c 662 1722 39 1 - 0.0000 -
664.35/667.88 c 668 1736 46 1 - 0.0000 -
669.43/672.99 c 673 1766 36 1 - 0.0000 -
675.21/678.75 c 679 1800 30 1 - 0.0000 -
680.20/683.77 c 684 1835 39 1 - 0.0000 -
686.38/689.94 c 690 1875 31 1 - 0.0000 -
692.06/695.69 c 696 1912 28 1 - 0.0000 -
698.24/701.82 c 702 1930 29 1 - 0.0000 -
704.02/707.68 c 708 1973 30 1 - 0.0000 -
709.31/712.90 c 713 1987 25 1 - 0.0000 -
714.79/718.44 c 718 2018 32 1 - 0.0000 -
720.77/724.40 c 724 2033 38 1 - 0.0000 -
727.05/730.71 c 731 2078 32 1 - 0.0000 -
733.23/736.94 c 737 2118 30 1 - 0.0000 -
740.42/744.13 c 744 2145 24 1 - 0.0000 -
746.79/750.52 c 751 2148 27 1 - 0.0000 -
753.77/757.54 c 758 2195 26 1 - 0.0000 -
759.65/763.44 c 763 2207 28 1 - 0.0000 -
837.94/841.93 c 842 2209 30 1 - 0.0000 -
843.72/847.73 c 848 2213 34 1 - 0.0000 -
848.81/852.83 c 853 2229 37 1 - 0.0000 -
853.90/857.97 c 858 2242 35 1 - 0.0000 -
859.58/863.61 c 864 2244 37 1 - 0.0000 -
869.35/873.49 c 874 2253 44 1 - 0.0000 -
874.83/878.94 c 879 2308 49 1 - 0.0000 -
881.71/885.84 c 886 2341 49 1 - 0.0000 -
887.10/891.29 c 891 2391 42 1 - 0.0000 -
894.07/898.21 c 898 2411 46 1 - 0.0000 -
899.86/904.01 c 904 2458 48 1 - 0.0000 -
905.43/909.68 c 910 2489 48 1 - 0.0000 -
911.60/915.81 c 916 2529 45 1 - 0.0000 -
917.58/921.80 c 922 2576 48 1 - 0.0000 -
922.86/927.15 c 927 2615 46 1 - 0.0000 -
928.53/932.88 c 933 2660 52 1 - 0.0000 -
934.51/938.83 c 939 2697 59 1 - 0.0000 -
941.58/945.95 c 946 2741 54 1 - 0.0000 -
947.56/951.96 c 952 2791 50 1 - 0.0000 -
952.83/957.27 c 957 2847 54 1 - 0.0000 -
958.41/962.87 c 963 2897 45 1 - 0.0000 -
963.99/968.41 c 968 2948 47 1 - 0.0000 -
969.76/974.20 c 974 2997 37 1 - 0.0000 -
975.44/979.98 c 980 3034 37 1 - 0.0000 -
981.31/985.85 c 986 3064 40 1 - 0.0000 -
986.89/991.47 c 991 3080 43 1 - 0.0000 -
991.98/996.54 c 997 3099 45 1 - 0.0000 -
997.75/1002.39 c 1002 3153 41 1 - 0.0000 -
1004.02/1008.61 c 1009 3193 35 1 - 0.0000 -
1009.70/1014.38 c 1014 3199 35 1 - 0.0000 -
1015.98/1020.68 c 1021 3200 36 1 - 0.0000 -
1026.14/1030.80 c 1031 3206 42 1 - 0.0000 -
1033.42/1038.15 c 1038 3231 44 1 - 0.0000 -
1039.49/1044.22 c 1044 3262 45 1 - 0.0000 -
1044.96/1049.77 c 1050 3287 45 1 - 0.0000 -
1050.25/1055.07 c 1055 3330 48 1 - 0.0000 -
1056.12/1060.95 c 1061 3345 41 1 - 0.0000 -
1061.70/1066.54 c 1067 3368 42 1 - 0.0000 -
1066.68/1071.56 c 1072 3390 45 1 - 0.0000 -
1072.35/1077.22 c 1077 3440 42 1 - 0.0000 -
1078.82/1083.76 c 1084 3488 46 1 - 0.0000 -
1084.50/1089.44 c 1089 3522 41 1 - 0.0000 -
1090.18/1095.15 c 1095 3561 46 1 - 0.0000 -
1095.85/1100.81 c 1101 3602 43 1 - 0.0000 -
1101.23/1106.25 c 1106 3644 40 1 - 0.0000 -
1106.21/1111.29 c 1111 3660 38 1 - 0.0000 -
1111.29/1116.36 c 1116 3678 37 1 - 0.0000 -
1116.36/1121.48 c 1121 3695 38 1 - 0.0000 -
1121.64/1126.79 c 1127 3729 38 1 - 0.0000 -
1130.10/1135.21 c 1135 3760 37 1 - 0.0000 -
1272.21/1277.84 c 1278 3763 40 1 - 0.0000 -
1277.78/1283.43 c 1283 3802 44 1 - 0.0000 -
1284.65/1290.32 c 1290 3824 39 1 - 0.0000 -
1290.53/1296.28 c 1296 3830 43 1 - 0.0000 -
1295.60/1301.35 c 1301 3853 41 1 - 0.0000 -
1301.38/1307.12 c 1307 3861 43 1 - 0.0000 -
1307.16/1312.92 c 1313 3883 47 1 - 0.0000 -
1313.63/1319.45 c 1319 3918 44 1 - 0.0000 -
1318.71/1324.55 c 1325 3931 45 1 - 0.0000 -
1323.79/1329.64 c 1330 3958 50 1 - 0.0000 -
1329.17/1335.04 c 1335 3975 49 1 - 0.0000 -
1335.14/1341.07 c 1341 4009 44 1 - 0.0000 -
1341.02/1346.96 c 1347 4040 52 1 - 0.0000 -
1346.20/1352.18 c 1352 4071 47 1 - 0.0000 -
1351.37/1357.37 c 1357 4087 53 1 - 0.0000 -
1357.04/1363.02 c 1363 4117 52 1 - 0.0000 -
1362.82/1368.86 c 1369 4150 48 1 - 0.0000 -
1368.71/1374.77 c 1375 4179 47 1 - 0.0000 -
1373.69/1379.78 c 1380 4208 47 1 - 0.0000 -
1379.17/1385.26 c 1385 4254 45 1 - 0.0000 -
1385.35/1391.44 c 1391 4297 45 1 - 0.0000 -
1392.53/1398.69 c 1399 4311 49 1 - 0.0000 -
1398.10/1404.22 c 1404 4345 49 1 - 0.0000 -
1403.89/1410.04 c 1410 4383 48 1 - 0.0000 -
1409.98/1416.17 c 1416 4423 46 1 - 0.0000 -
1415.55/1421.73 c 1422 4460 50 1 - 0.0000 -
1420.94/1427.17 c 1427 4494 48 1 - 0.0000 -
1426.71/1432.92 c 1433 4527 46 1 - 0.0000 -
1433.09/1439.36 c 1439 4566 42 1 - 0.0000 -
1438.67/1444.93 c 1445 4578 50 1 - 0.0000 -
1443.86/1450.11 c 1450 4595 45 1 - 0.0000 -
1449.04/1455.32 c 1455 4611 47 1 - 0.0000 -
1454.22/1460.53 c 1461 4621 46 1 - 0.0000 -
1459.71/1466.08 c 1466 4644 44 1 - 0.0000 -
1465.29/1471.66 c 1472 4653 43 1 - 0.0000 -
1470.37/1476.74 c 1477 4685 42 1 - 0.0000 -
1476.15/1482.53 c 1483 4713 45 1 - 0.0000 -
1481.13/1487.56 c 1488 4730 48 1 - 0.0000 -
1486.51/1492.92 c 1493 4772 46 1 - 0.0000 -
1491.99/1498.42 c 1498 4810 53 1 - 0.0000 -
1497.68/1504.15 c 1504 4857 41 1 - 0.0000 -
1503.66/1510.14 c 1510 4869 42 1 - 0.0000 -
1509.64/1516.15 c 1516 4872 43 1 - 0.0000 -
1516.81/1523.30 c 1523 4891 47 1 - 0.0000 -
1522.49/1529.01 c 1529 4920 56 1 - 0.0000 -
1527.98/1534.53 c 1535 4964 54 1 - 0.0000 -
1534.06/1540.63 c 1541 5009 55 1 - 0.0000 -
1539.34/1545.98 c 1546 5056 50 1 - 0.0000 -
1544.82/1551.44 c 1551 5098 43 1 - 0.0000 -
1549.90/1556.55 c 1557 5117 42 1 - 0.0000 -
1555.98/1562.62 c 1563 5138 45 1 - 0.0000 -
1574.52/1581.29 c 1581 5141 45 1 - 0.0000 -
1579.70/1586.40 c 1586 5152 47 1 - 0.0000 -
1585.40/1592.16 c 1592 5184 44 1 - 0.0000 -
1590.47/1597.20 c 1597 5196 43 1 - 0.0000 -
1597.05/1603.88 c 1604 5208 52 1 - 0.0000 -
1603.24/1610.06 c 1610 5228 57 1 - 0.0000 -
1608.61/1615.43 c 1615 5249 54 1 - 0.0000 -
1614.49/1621.35 c 1621 5289 53 1 - 0.0000 -
1619.57/1626.45 c 1626 5312 50 1 - 0.0000 -
1625.26/1632.14 c 1632 5321 51 1 - 0.0000 -
1630.85/1637.74 c 1638 5359 46 1 - 0.0000 -
1636.23/1643.19 c 1643 5372 45 1 - 0.0000 -
1641.51/1648.40 c 1648 5398 45 1 - 0.0000 -
1646.59/1653.51 c 1654 5416 43 1 - 0.0000 -
1652.37/1659.31 c 1659 5439 43 1 - 0.0000 -
1661.74/1668.78 c 1669 5441 43 1 - 0.0000 -
1667.82/1674.88 c 1675 5466 48 1 - 0.0000 -
1673.20/1680.23 c 1680 5504 41 1 - 0.0000 -
1678.29/1685.37 c 1685 5520 44 1 - 0.0000 -
1684.07/1691.13 c 1691 5530 47 1 - 0.0000 -
1689.25/1696.32 c 1696 5552 44 1 - 0.0000 -
1694.33/1701.45 c 1701 5571 48 1 - 0.0000 -
1700.30/1707.42 c 1707 5598 58 1 - 0.0000 -
1706.69/1713.80 c 1714 5618 51 1 - 0.0000 -
1712.37/1719.55 c 1720 5638 50 1 - 0.0000 -
1717.75/1724.98 c 1725 5671 48 1 - 0.0000 -
1724.83/1732.05 c 1732 5681 50 1 - 0.0000 -
1730.71/1737.91 c 1738 5704 45 1 - 0.0000 -
1736.59/1743.86 c 1744 5735 51 1 - 0.0000 -
1742.07/1749.34 c 1749 5774 42 1 - 0.0000 -
1747.65/1754.99 c 1755 5788 43 1 - 0.0000 -
1753.74/1761.05 c 1761 5801 40 1 - 0.0000 -
1759.12/1766.49 c 1766 5827 38 1 - 0.0000 -
1765.49/1772.82 c 1773 5853 36 1 - 0.0000 -
1771.68/1779.07 c 1779 5869 35 1 - 0.0000 -
1776.66/1784.10 c 1784 5873 39 1 - 0.0000 -
1783.83/1791.22 c 1791 5898 38 1 - 0.0000 -
1789.71/1797.17 c 1797 5918 46 1 - 0.0000 -
1795.40/1802.88 c 1803 5937 42 1 - 0.0000 -
1801.28/1808.75 c 1809 5967 41 1 - 0.0000 -
1807.36/1814.88 c 1815 5988 43 1 - 0.0000 -
1813.14/1820.60 c 1821 5992 45 1 - 0.0000 -
1819.12/1826.63 c 1827 6010 42 1 - 0.0000 -
1827.29/1834.86 c 1835 6012 44 1 - 0.0000 -
1832.38/1839.90 c 1840 6021 49 1 - 0.0000 -
1837.57/1845.13 c 1845 6057 47 1 - 0.0000 -
1843.44/1851.02 c 1851 6084 52 1 - 0.0000 -
1848.43/1856.08 c 1856 6116 50 1 - 0.0000 -
1854.31/1861.90 c 1862 6142 46 1 - 0.0000 -
1859.79/1867.45 c 1867 6162 50 1 - 0.0000 -
1865.67/1873.37 c 1873 6193 45 1 - 0.0000 -
1871.25/1878.90 c 1879 6217 45 1 - 0.0000 -
1876.93/1884.62 c 1885 6247 42 1 - 0.0000 -
1882.80/1890.51 c 1891 6281 42 1 - 0.0000 -
1887.99/1895.76 c 1896 6298 45 1 - 0.0000 -
1894.56/1902.37 c 1902 6317 42 1 - 0.0000 -
1900.14/1907.99 c 1908 6344 41 1 - 0.0000 -
1905.61/1913.47 c 1913 6361 42 1 - 0.0000 -
1911.58/1919.44 c 1919 6380 42 1 - 0.0000 -
1917.56/1925.47 c 1925 6396 40 1 - 0.0000 -
1923.54/1931.46 c 1931 6426 41 1 - 0.0000 -
1929.31/1937.29 c 1937 6453 41 1 - 0.0000 -
1935.49/1943.48 c 1943 6484 39 1 - 0.0000 -
1940.66/1948.66 c 1949 6504 45 1 - 0.0000 -
1946.24/1954.28 c 1954 6531 38 1 - 0.0000 -
1952.22/1960.21 c 1960 6555 37 1 - 0.0000 -
1957.59/1965.61 c 1966 6568 41 1 - 0.0000 -
1963.88/1971.93 c 1972 6594 36 1 - 0.0000 -
1969.25/1977.37 c 1977 6618 36 1 - 0.0000 -
1975.52/1983.62 c 1984 6635 34 1 - 0.0000 -
1982.30/1990.40 c 1990 6647 35 1 - 0.0000 -
1988.27/1996.50 c 1996 6668 33 1 - 0.0000 -
1998.53/2006.70 c 2007 6673 32 1 - 0.0000 -
2004.02/2012.28 c 2012 6709 43 1 - 0.0000 -
2013.48/2021.75 c 2022 6728 40 1 - 0.0000 -
2018.76/2027.10 c 2027 6761 42 1 - 0.0000 -
2024.43/2032.72 c 2033 6817 38 1 - 0.0000 -
2029.90/2038.29 c 2038 6856 30 1 - 0.0000 -
2034.98/2043.30 c 2043 6862 31 1 - 0.0000 -
2040.66/2049.01 c 2049 6887 37 1 - 0.0000 -
2049.43/2057.80 c 2058 6890 40 1 - 0.0000 -
2055.80/2064.22 c 2064 6910 42 1 - 0.0000 -
2061.38/2069.87 c 2070 6942 45 1 - 0.0000 -
2066.46/2074.92 c 2075 6986 41 1 - 0.0000 -
2072.44/2080.98 c 2081 7026 34 1 - 0.0000 -
2078.21/2086.73 c 2087 7065 43 1 - 0.0000 -
2084.59/2093.11 c 2093 7104 32 1 - 0.0000 -
2089.77/2098.39 c 2098 7129 37 1 - 0.0000 -
2095.55/2104.12 c 2104 7151 39 1 - 0.0000 -
2100.72/2109.39 c 2109 7210 38 1 - 0.0000 -
2106.50/2115.11 c 2115 7250 36 1 - 0.0000 -
2112.07/2120.76 c 2121 7285 37 1 - 0.0000 -
2120.34/2129.06 c 2129 7291 40 1 - 0.0000 -
2126.32/2135.01 c 2135 7330 40 1 - 0.0000 -
2131.79/2140.51 c 2141 7373 35 1 - 0.0000 -
2137.38/2146.17 c 2146 7412 33 1 - 0.0000 -
2143.05/2151.86 c 2152 7450 38 1 - 0.0000 -
2148.43/2157.24 c 2157 7489 29 1 - 0.0000 -
2154.90/2163.70 c 2164 7528 29 1 - 0.0000 -
2245.48/2254.63 c 2255 7531 32 1 - 0.0000 -
2250.65/2259.83 c 2260 7567 37 1 - 0.0000 -
2256.34/2265.51 c 2266 7601 43 1 - 0.0000 -
2261.92/2271.17 c 2271 7643 34 1 - 0.0000 -
2267.58/2276.81 c 2277 7681 44 1 - 0.0000 -
2273.27/2282.56 c 2283 7716 43 1 - 0.0000 -
2278.85/2288.17 c 2288 7759 42 1 - 0.0000 -
2284.02/2293.33 c 2293 7790 45 1 - 0.0000 -
2289.80/2299.11 c 2299 7830 40 1 - 0.0000 -
2295.37/2304.79 c 2305 7850 47 1 - 0.0000 -
2301.55/2310.97 c 2311 7891 47 1 - 0.0000 -
2306.92/2316.37 c 2316 7948 41 1 - 0.0000 -
2312.60/2322.03 c 2322 7987 30 1 - 0.0000 -
2318.58/2328.09 c 2328 8021 36 1 - 0.0000 -
2323.95/2333.42 c 2333 8076 51 1 - 0.0000 -
2330.82/2340.38 c 2340 8111 42 1 - 0.0000 -
2336.10/2345.67 c 2346 8163 34 1 - 0.0000 -
2341.99/2351.55 c 2352 8202 44 1 - 0.0000 -
2347.48/2357.04 c 2357 8250 44 1 - 0.0000 -
2352.76/2362.39 c 2362 8299 39 1 - 0.0000 -
2358.74/2368.32 c 2368 8326 44 1 - 0.0000 -
2363.92/2373.52 c 2374 8354 48 1 - 0.0000 -
2369.80/2379.46 c 2379 8396 50 1 - 0.0000 -
2375.28/2384.98 c 2385 8440 34 1 - 0.0000 -
2380.57/2390.29 c 2390 8488 32 1 - 0.0000 -
2385.85/2395.54 c 2396 8517 33 1 - 0.0000 -
2390.83/2400.56 c 2401 8546 42 1 - 0.0000 -
2399.02/2408.79 c 2409 8561 46 1 - 0.0000 -
2404.31/2414.04 c 2414 8585 49 1 - 0.0000 -
2409.68/2419.48 c 2419 8635 43 1 - 0.0000 -
2415.27/2425.06 c 2425 8677 41 1 - 0.0000 -
2420.85/2430.60 c 2431 8712 48 1 - 0.0000 -
2426.73/2436.57 c 2437 8758 52 1 - 0.0000 -
2432.51/2442.37 c 2442 8800 42 1 - 0.0000 -
2437.89/2447.73 c 2448 8852 46 1 - 0.0000 -
2443.58/2453.48 c 2453 8896 43 1 - 0.0000 -
2449.26/2459.20 c 2459 8960 45 1 - 0.0000 -
2454.94/2464.87 c 2465 9016 45 1 - 0.0000 -
2460.52/2470.46 c 2470 9071 41 1 - 0.0000 -
2466.31/2476.28 c 2476 9113 38 1 - 0.0000 -
2471.49/2481.48 c 2481 9173 35 1 - 0.0000 -
2477.07/2487.00 c 2487 9218 40 1 - 0.0000 -
2482.25/2492.24 c 2492 9223 44 1 - 0.0000 -
2488.23/2498.24 c 2498 9241 51 1 - 0.0000 -
2493.42/2503.49 c 2504 9260 58 1 - 0.0000 -
2498.80/2508.86 c 2509 9302 57 1 - 0.0000 -
2505.18/2515.23 c 2515 9343 59 1 - 0.0000 -
2510.36/2520.44 c 2520 9388 46 1 - 0.0000 -
2516.44/2526.54 c 2527 9420 41 1 - 0.0000 -
2522.04/2532.12 c 2532 9459 49 1 - 0.0000 -
2527.51/2537.68 c 2538 9510 44 1 - 0.0000 -
2533.29/2543.47 c 2543 9534 42 1 - 0.0000 -
2538.48/2548.64 c 2549 9558 39 1 - 0.0000 -
2544.06/2554.21 c 2554 9596 41 1 - 0.0000 -
2549.25/2559.41 c 2559 9617 34 1 - 0.0000 -
2554.33/2564.54 c 2565 9644 32 1 - 0.0000 -
2559.72/2569.94 c 2570 9665 35 1 - 0.0000 -
2565.50/2575.79 c 2576 9693 37 1 - 0.0000 -
2571.28/2581.51 c 2582 9727 34 1 - 0.0000 -
2576.76/2587.00 c 2587 9752 33 1 - 0.0000 -
2582.74/2593.00 c 2593 9779 35 1 - 0.0000 -
2588.82/2599.10 c 2599 9807 31 1 - 0.0000 -
2594.30/2604.62 c 2605 9819 34 1 - 0.0000 -
2601.18/2611.52 c 2612 9821 36 1 - 0.0000 -
2611.85/2622.22 c 2622 9831 37 1 - 0.0000 -
2617.83/2628.27 c 2628 9847 36 1 - 0.0000 -
2623.41/2633.87 c 2634 9867 40 1 - 0.0000 -
2634.28/2644.74 c 2645 9881 46 1 - 0.0000 -
2642.56/2653.02 c 2653 9931 60 1 - 0.0000 -
2648.24/2658.70 c 2659 9961 48 1 - 0.0000 -
2654.22/2664.75 c 2665 9996 52 1 - 0.0000 -
2660.20/2670.70 c 2671 10032 46 1 - 0.0000 -
2665.48/2676.02 c 2676 10081 44 1 - 0.0000 -
2671.37/2681.91 c 2682 10123 45 1 - 0.0000 -
2676.35/2686.94 c 2687 10140 46 1 - 0.0000 -
2682.03/2692.63 c 2693 10161 48 1 - 0.0000 -
2687.92/2698.53 c 2699 10212 40 1 - 0.0000 -
2694.00/2704.68 c 2705 10241 39 1 - 0.0000 -
2699.58/2710.21 c 2710 10277 41 1 - 0.0000 -
2705.66/2716.39 c 2716 10305 39 1 - 0.0000 -
2711.54/2722.20 c 2722 10330 39 1 - 0.0000 -
2717.22/2727.90 c 2728 10352 41 1 - 0.0000 -
2722.31/2733.09 c 2733 10399 40 1 - 0.0000 -
2728.48/2739.28 c 2739 10418 36 1 - 0.0000 -
2733.98/2744.79 c 2745 10447 34 1 - 0.0000 -
2739.66/2750.41 c 2750 10481 40 1 - 0.0000 -
2745.54/2756.36 c 2756 10516 40 1 - 0.0000 -
2750.82/2761.65 c 2762 10567 37 1 - 0.0000 -
2756.50/2767.35 c 2767 10590 34 1 - 0.0000 -
2762.48/2773.35 c 2773 10616 32 1 - 0.0000 -
2768.57/2779.49 c 2780 10638 35 1 - 0.0000 -
2774.55/2785.46 c 2785 10671 41 1 - 0.0000 -
2779.63/2790.51 c 2791 10699 41 1 - 0.0000 -
2784.92/2795.82 c 2796 10743 37 1 - 0.0000 -
2789.90/2800.87 c 2801 10788 34 1 - 0.0000 -
2795.49/2806.47 c 2806 10816 36 1 - 0.0000 -
2801.07/2812.00 c 2812 10851 33 1 - 0.0000 -
2806.85/2817.82 c 2818 10876 39 1 - 0.0000 -
2839.36/2850.49 c 2850 10901 38 1 - 0.0000 -
2845.06/2856.13 c 2856 10938 41 1 - 0.0000 -
2850.13/2861.27 c 2861 10992 47 1 - 0.0000 -
2855.31/2866.49 c 2866 11034 50 1 - 0.0000 -
2860.79/2871.92 c 2872 11093 50 1 - 0.0000 -
2866.39/2877.55 c 2878 11139 36 1 - 0.0000 -
2871.57/2882.78 c 2883 11191 35 1 - 0.0000 -
2876.75/2887.95 c 2888 11215 34 1 - 0.0000 -
2882.33/2893.59 c 2894 11226 45 1 - 0.0000 -
2887.82/2899.08 c 2899 11270 45 1 - 0.0000 -
2893.50/2904.72 c 2905 11329 47 1 - 0.0000 -
2899.39/2910.62 c 2911 11370 38 1 - 0.0000 -
2904.67/2915.92 c 2916 11413 36 1 - 0.0000 -
2910.15/2921.44 c 2921 11445 39 1 - 0.0000 -
2916.03/2927.31 c 2927 11492 35 1 - 0.0000 -
2921.72/2933.05 c 2933 11538 39 1 - 0.0000 -
2927.00/2938.39 c 2938 11568 32 1 - 0.0000 -
2932.18/2943.59 c 2944 11591 39 1 - 0.0000 -
2937.77/2949.13 c 2949 11601 37 1 - 0.0000 -
2943.55/2954.96 c 2955 11661 45 1 - 0.0000 -
2949.53/2960.93 c 2961 11716 34 1 - 0.0000 -
2955.41/2966.89 c 2967 11746 38 1 - 0.0000 -
2961.09/2972.54 c 2973 11783 35 1 - 0.0000 -
2966.97/2978.46 c 2978 11824 33 1 - 0.0000 -
2972.95/2984.49 c 2984 11856 40 1 - 0.0000 -
2979.13/2990.63 c 2991 11899 36 1 - 0.0000 -
2984.21/2995.78 c 2996 11931 32 1 - 0.0000 -
2989.90/3001.40 c 3001 11950 35 1 - 0.0000 -
3001.07/3012.68 c 3013 11961 40 1 - 0.0000 -
3007.94/3019.57 c 3020 11971 44 1 - 0.0000 -
3015.02/3026.67 c 3027 12009 42 1 - 0.0000 -
3022.70/3034.37 c 3034 12011 44 1 - 0.0000 -
3028.29/3039.94 c 3040 12045 41 1 - 0.0000 -
3034.07/3045.80 c 3046 12068 39 1 - 0.0000 -
3041.55/3053.22 c 3053 12071 42 1 - 0.0000 -
3047.83/3059.57 c 3060 12081 49 1 - 0.0000 -
3053.31/3065.04 c 3065 12117 43 1 - 0.0000 -
3059.09/3070.88 c 3071 12143 44 1 - 0.0000 -
3064.68/3076.49 c 3076 12176 53 1 - 0.0000 -
3070.06/3081.83 c 3082 12233 45 1 - 0.0000 -
3075.84/3087.69 c 3088 12273 46 1 - 0.0000 -
3081.23/3093.01 c 3093 12329 39 1 - 0.0000 -
3087.11/3098.93 c 3099 12359 41 1 - 0.0000 -
3102.66/3114.50 c 3114 12392 43 1 - 0.0000 -
3108.05/3119.92 c 3120 12417 40 1 - 0.0000 -
3114.03/3125.93 c 3126 12449 40 1 - 0.0000 -
3119.52/3131.41 c 3131 12485 41 1 - 0.0000 -
3124.59/3136.59 c 3137 12499 36 1 - 0.0000 -
3129.78/3141.72 c 3142 12525 33 1 - 0.0000 -
3135.17/3147.19 c 3147 12567 35 1 - 0.0000 -
3140.84/3152.88 c 3153 12591 39 1 - 0.0000 -
3146.23/3158.28 c 3158 12632 39 1 - 0.0000 -
3151.91/3163.96 c 3164 12679 37 1 - 0.0000 -
3157.50/3169.58 c 3170 12726 32 1 - 0.0000 -
3162.68/3174.74 c 3175 12749 35 1 - 0.0000 -
3167.86/3179.95 c 3180 12785 33 1 - 0.0000 -
3176.14/3188.26 c 3188 12800 36 1 - 0.0000 -
3181.52/3193.62 c 3194 12826 44 1 - 0.0000 -
3186.71/3198.86 c 3199 12854 37 1 - 0.0000 -
3191.90/3204.10 c 3204 12897 37 1 - 0.0000 -
3197.27/3209.47 c 3209 12954 33 1 - 0.0000 -
3202.55/3214.71 c 3215 12997 30 1 - 0.0000 -
3208.03/3220.21 c 3220 13030 32 1 - 0.0000 -
3214.01/3226.23 c 3226 13053 40 1 - 0.0000 -
3219.20/3231.43 c 3231 13106 36 1 - 0.0000 -
3224.28/3236.56 c 3237 13138 40 1 - 0.0000 -
3229.66/3241.93 c 3242 13197 34 1 - 0.0000 -
3235.45/3247.73 c 3248 13220 28 1 - 0.0000 -
3240.54/3252.85 c 3253 13228 30 1 - 0.0000 -
3245.92/3258.27 c 3258 13231 33 1 - 0.0000 -
3252.00/3264.37 c 3264 13248 34 1 - 0.0000 -
3257.48/3269.83 c 3270 13292 36 1 - 0.0000 -
3262.96/3275.31 c 3275 13325 35 1 - 0.0000 -
3268.85/3281.21 c 3281 13357 37 1 - 0.0000 -
3274.52/3286.98 c 3287 13397 37 1 - 0.0000 -
3280.50/3292.97 c 3293 13440 34 1 - 0.0000 -
3299.45/3311.99 c 3312 13458 38 1 - 0.0000 -
3305.34/3317.81 c 3318 13480 32 1 - 0.0000 -
3310.72/3323.29 c 3323 13498 36 1 - 0.0000 -
3316.30/3328.88 c 3329 13533 35 1 - 0.0000 -
3321.79/3334.36 c 3334 13556 36 1 - 0.0000 -
3327.58/3340.12 c 3340 13586 32 1 - 0.0000 -
3333.65/3346.29 c 3346 13600 39 1 - 0.0000 -
3339.44/3352.09 c 3352 13604 39 1 - 0.0000 -
3345.11/3357.75 c 3358 13638 38 1 - 0.0000 -
3350.60/3363.22 c 3363 13657 36 1 - 0.0000 -
3356.68/3369.39 c 3369 13680 38 1 - 0.0000 -
3362.47/3375.17 c 3375 13700 38 1 - 0.0000 -
3367.45/3380.20 c 3380 13710 36 1 - 0.0000 -
3373.63/3386.32 c 3386 13728 41 1 - 0.0000 -
3378.81/3391.59 c 3392 13761 46 1 - 0.0000 -
3383.89/3396.64 c 3397 13780 39 1 - 0.0000 -
3389.98/3402.70 c 3403 13803 39 1 - 0.0000 -
3396.56/3409.38 c 3409 13824 30 1 - 0.0000 -
3402.54/3415.38 c 3415 13848 37 1 - 0.0000 -
3408.33/3421.11 c 3421 13862 36 1 - 0.0000 -
3413.60/3426.50 c 3426 13916 38 1 - 0.0000 -
3419.29/3432.16 c 3432 13965 33 1 - 0.0000 -
3425.47/3438.34 c 3438 14011 30 1 - 0.0000 -
3430.85/3443.74 c 3444 14035 32 1 - 0.0000 -
3436.33/3449.28 c 3449 14083 36 1 - 0.0000 -
3442.12/3455.03 c 3455 14129 43 1 - 0.0000 -
3447.60/3460.55 c 3461 14171 39 1 - 0.0000 -
3452.98/3465.90 c 3466 14201 40 1 - 0.0000 -
3458.36/3471.31 c 3471 14246 28 1 - 0.0000 -
3464.15/3477.17 c 3477 14281 31 1 - 0.0000 -
3469.62/3482.60 c 3483 14323 31 1 - 0.0000 -
3475.11/3488.12 c 3488 14373 32 1 - 0.0000 -
3481.49/3494.51 c 3495 14413 28 1 - 0.0000 -
3486.87/3499.91 c 3500 14444 26 1 - 0.0000 -
3493.65/3506.70 c 3507 14471 25 1 - 0.0000 -
3499.73/3512.85 c 3513 14478 29 1 - 0.0000 -
3505.61/3518.70 c 3519 14513 39 1 - 0.0000 -
3511.09/3524.22 c 3524 14550 39 1 - 0.0000 -
3516.18/3529.39 c 3529 14571 37 1 - 0.0000 -
3521.67/3534.86 c 3535 14613 30 1 - 0.0000 -
3527.65/3540.82 c 3541 14638 38 1 - 0.0000 -
3533.22/3546.41 c 3546 14680 37 1 - 0.0000 -
3538.81/3552.09 c 3552 14714 30 1 - 0.0000 -
3544.59/3557.80 c 3558 14746 31 1 - 0.0000 -
3549.98/3563.26 c 3563 14782 34 1 - 0.0000 -
3555.36/3568.67 c 3569 14823 31 1 - 0.0000 -
3561.34/3574.65 c 3575 14858 28 1 - 0.0000 -
3567.52/3580.88 c 3581 14867 31 1 - 0.0000 -
3573.50/3586.81 c 3587 14894 32 1 - 0.0000 -
3579.09/3592.41 c 3592 14908 30 1 - 0.0000 -
3584.47/3597.89 c 3598 14920 28 1 - 0.0000 -
3584.77/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.77/3598.20 c Total Time : 3598.1900
3584.77/3598.20 c solving : 3598.1900
3584.77/3598.20 c presolving : 96.0080 (included in solving)
3584.77/3598.20 c B&B Tree :
3584.77/3598.20 c nodes (total) : 1
3584.77/3598.20 c Solution :
3584.77/3598.20 c Solutions found : 0
3584.77/3598.20 c Primal Bound : -
3584.77/3598.20 c Dual Bound : +0.00000000000000e+00
3584.77/3598.20 c Gap : -
3584.88/3598.29 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63481 MiB free)
memory of node 1: 64473 MiB (63096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464422-1722378597/watcher-4464422-1722378597 -o /tmp/evaluation-result-4464422-1722378597/solver-4464422-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35201 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464422-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35254, runsolver pid=35243
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.11 0.09 0.09 7/258 35266
/proc/meminfo: memFree=129453164/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=79248 memory=68988 CPUtime=0.09 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 15020 0 0 0 8 1 0 0 20 0 1 0 4461624 81149952 17181 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 19812 17247 2539 3035 0 16208 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79248 KiB
Current children cumulated memory: 68988 KiB
[startup+0.20674 s]*
/proc/loadavg: 0.11 0.09 0.09 7/258 35266
/proc/meminfo: memFree=129304600/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=130832 memory=117784 CPUtime=0.2 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 27181 0 0 0 17 3 0 0 20 0 1 0 4461624 133971968 29446 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 32708 29446 2598 3035 0 29104 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 130832 KiB
Current children cumulated memory: 117784 KiB
[startup+0.306341 s]*
/proc/loadavg: 0.11 0.09 0.09 7/258 35268
/proc/meminfo: memFree=129179992/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=169192 memory=152940 CPUtime=0.3 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 35370 0 0 0 26 4 0 0 20 0 1 0 4461624 173252608 38235 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 42298 38235 2662 3035 0 38694 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 169192 KiB
Current children cumulated memory: 152940 KiB
[startup+0.700219 s]
/proc/loadavg: 0.11 0.09 0.09 7/258 35268
/proc/meminfo: memFree=128943452/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=170804 memory=156840 CPUtime=0.69 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 38273 0 0 0 64 5 0 0 20 0 1 0 4461624 174903296 39210 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 42701 39210 2678 3035 0 39097 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 170804 KiB
Current children cumulated memory: 156840 KiB
[startup+1.50023 s]
/proc/loadavg: 0.11 0.09 0.09 7/258 35268
/proc/meminfo: memFree=128645264/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=170804 memory=156840 CPUtime=1.49 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 38273 0 0 0 144 5 0 0 20 0 1 0 4461624 174903296 39210 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 42701 39210 2678 3035 0 39097 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 170804 KiB
Current children cumulated memory: 156840 KiB
[startup+3.1062 s]
/proc/loadavg: 0.42 0.15 0.11 5/253 35278
/proc/meminfo: memFree=128510024/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=176800 memory=163348 CPUtime=3.08 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 46470 0 0 0 302 6 0 0 20 0 1 0 4461624 181043200 40837 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 44200 40837 2774 3035 0 40596 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 176800 KiB
Current children cumulated memory: 163348 KiB
[startup+6.30022 s]
/proc/loadavg: 0.42 0.15 0.11 6/258 35412
/proc/meminfo: memFree=127942800/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=200460 memory=186612 CPUtime=6.26 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 52334 0 0 0 620 6 0 0 20 0 1 0 4461624 205271040 46653 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 50115 46653 2774 3035 0 46511 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 200460 KiB
Current children cumulated memory: 186612 KiB
[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 6/259 35470
/proc/meminfo: memFree=127883496/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=201852 memory=188188 CPUtime=12.64 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 52734 0 0 0 1257 7 0 0 20 0 1 0 4461624 206696448 47047 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 50463 47047 2774 3035 0 46859 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 201852 KiB
Current children cumulated memory: 188188 KiB
[startup+25.5002 s]
/proc/loadavg: 1.44 0.40 0.19 6/261 35474
/proc/meminfo: memFree=127658464/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=202000 memory=188188 CPUtime=25.4 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 52754 0 0 0 2532 8 0 0 20 0 1 0 4461624 206848000 47047 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 50500 47047 2774 3035 0 46896 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 202000 KiB
Current children cumulated memory: 188188 KiB
[startup+51.106 s]
/proc/loadavg: 2.38 0.71 0.30 6/263 35480
/proc/meminfo: memFree=125781492/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=204260 memory=190564 CPUtime=50.9 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 53322 0 0 0 5081 9 0 0 20 0 1 0 4461624 209162240 47641 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 51065 47641 2774 3035 0 47461 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 204260 KiB
Current children cumulated memory: 190564 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.25 0.51 6/267 35495
/proc/meminfo: memFree=124962972/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=409200 memory=312652 CPUtime=101.87 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 105205 0 0 0 10171 16 0 0 20 0 3 0 4461624 419020800 78163 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 102300 78163 2806 3035 0 88054 0
[pid=35254/tid=35492] ppid=35243 vsize=409200 memory=192812 CPUtime=6.01 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 42207 0 0 0 598 3 0 0 20 0 3 0 4471243 419020800 78163 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=409200 memory=11596 CPUtime=0 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4471250 419020800 78163 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 409200 KiB
Current children cumulated memory: 312652 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.78 0.74 6/267 35505
/proc/meminfo: memFree=124208672/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=649660 memory=534612 CPUtime=161.27 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 313675 0 0 0 16095 32 0 0 20 0 3 0 4461624 665251840 133653 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 162415 133653 2966 3035 0 147145 0
[pid=35254/tid=35492] ppid=35243 vsize=649660 memory=192676 CPUtime=65.4 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 250635 0 0 0 6521 19 0 0 20 0 3 0 4471243 665251840 133653 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=649660 memory=10830 CPUtime=0 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 4471250 665251840 133653 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 161.27 s
Current children cumulated vsize: 649660 KiB
Current children cumulated memory: 534612 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.22 0.96 6/265 35515
/proc/meminfo: memFree=124012644/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=716508 memory=615300 CPUtime=220.63 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 431376 0 0 0 22022 41 0 0 20 0 3 0 4461624 733704192 153825 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 179127 153825 3014 3035 0 166475 0
[pid=35254/tid=35492] ppid=35243 vsize=716508 memory=192676 CPUtime=124.76 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 368270 0 0 0 12448 28 0 0 20 0 3 0 4471243 733704192 153825 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=716508 memory=-7523099919130911612 CPUtime=0 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 4471250 733704192 153825 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 220.63 s
Current children cumulated vsize: 716508 KiB
Current children cumulated memory: 615300 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.56 1.16 6/265 35526
/proc/meminfo: memFree=123967060/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=782256 memory=660232 CPUtime=280.04 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 501251 0 0 0 27957 47 0 0 20 0 3 0 4461624 801030144 165058 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 195564 165058 3014 3035 0 179737 0
[pid=35254/tid=35492] ppid=35243 vsize=782256 memory=192676 CPUtime=184.17 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 438116 0 0 0 18383 34 0 0 20 0 3 0 4471243 801030144 165058 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=782256 memory=660232 CPUtime=0 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 71 0 0 0 0 0 0 0 20 0 3 0 4471250 801030144 165058 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 280.04 s
Current children cumulated vsize: 782256 KiB
Current children cumulated memory: 660232 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 2.84 1.34 7/259 35536
/proc/meminfo: memFree=123951548/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=782872 memory=675188 CPUtime=339.85 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 562660 0 0 0 33935 50 0 0 20 0 3 0 4461624 801660928 168797 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 195718 168797 3014 3035 0 186224 0
[pid=35254/tid=35492] ppid=35243 vsize=782872 memory=660232 CPUtime=243.97 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 499506 0 0 0 24360 37 0 0 20 0 3 0 4471243 801660928 168797 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=782872 memory=674272 CPUtime=0 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 4471250 801660928 168797 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
################
# More data... #
################
Current children cumulated CPU time: 3389.58 s
Current children cumulated vsize: 1235412 KiB
Current children cumulated memory: 1031716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.03 7/261 37058
/proc/meminfo: memFree=122425728/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1235412 memory=1034848 CPUtime=3449.39 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1129733 0 0 0 344793 146 0 0 20 0 3 0 4461624 1265061888 258712 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 308853 258712 3030 3035 0 294106 0
[pid=35254/tid=35492] ppid=35243 vsize=1235412 memory=-4050210904893932438 CPUtime=3353.35 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1065347 0 0 0 335207 128 0 0 20 0 3 0 4471243 1265061888 258712 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1235412 memory=1034840 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 231 0 0 0 2 2 0 0 20 0 3 0 4471250 1265061888 258712 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3449.39 s
Current children cumulated vsize: 1235412 KiB
Current children cumulated memory: 1034848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.03 6/263 37238
/proc/meminfo: memFree=122415256/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1235412 memory=1042772 CPUtime=3509.2 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1137848 0 0 0 350772 148 0 0 20 0 3 0 4461624 1265061888 260693 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 308853 260693 3030 3035 0 298862 0
[pid=35254/tid=35492] ppid=35243 vsize=1235412 memory=1034584 CPUtime=3413.16 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1073459 0 0 0 341186 130 0 0 20 0 3 0 4471243 1265061888 260693 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1235412 memory=1034840 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 233 0 0 0 2 2 0 0 20 0 3 0 4471250 1265061888 260693 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3509.2 s
Current children cumulated vsize: 1235412 KiB
Current children cumulated memory: 1042772 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.04 6/263 37248
/proc/meminfo: memFree=122398072/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1267804 memory=1057076 CPUtime=3569.01 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1196628 0 0 0 356739 162 0 0 20 0 3 0 4461624 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 316951 264269 3030 3035 0 312313 0
[pid=35254/tid=35492] ppid=35243 vsize=1267804 memory=13016 CPUtime=3472.97 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1132210 0 0 0 347153 144 0 0 20 0 3 0 4471243 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1267804 memory=25984 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3569.01 s
Current children cumulated vsize: 1267804 KiB
Current children cumulated memory: 1057076 KiB
[startup+3598.32 s]
# the end of solver process 35254 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.33 s, system=1.66124 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.04 6/263 37248
/proc/meminfo: memFree=122398140/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1267804 memory=1057076 CPUtime=3570.72 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1197599 0 0 0 356909 163 0 0 20 0 3 0 4461624 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 316951 264269 3030 3035 0 312313 0
[pid=35254/tid=35492] ppid=35243 vsize=1267804 memory=-7378984731055054464 CPUtime=3474.67 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1133181 0 0 0 347322 145 0 0 20 0 3 0 4471243 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1267804 memory=4354026035579874971 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1298231296 264269 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 1267804 KiB
Current children cumulated memory: 1057076 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.04 6/263 37248
/proc/meminfo: memFree=122396352/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1333340 memory=1059468 CPUtime=3577.09 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1198932 0 0 0 357546 163 0 0 20 0 3 0 4461624 1365340160 264867 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 333335 264867 3030 3035 0 313039 0
[pid=35254/tid=35492] ppid=35243 vsize=1333340 memory=11596 CPUtime=3481.04 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1134513 0 0 0 347959 145 0 0 20 0 3 0 4471243 1365340160 264867 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1333340 memory=11596 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1365340160 264867 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3577.09 s
Current children cumulated vsize: 1333340 KiB
Current children cumulated memory: 1059468 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.11 4.04 6/263 37250
/proc/meminfo: memFree=122395616/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1333340 memory=1059608 CPUtime=3580.28 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1198989 0 0 0 357865 163 0 0 20 0 3 0 4461624 1365340160 264902 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 333335 264902 3030 3035 0 313042 0
[pid=35254/tid=35492] ppid=35243 vsize=1333340 memory=11596 CPUtime=3484.23 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1134570 0 0 0 348278 145 0 0 20 0 3 0 4471243 1365340160 264902 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1333340 memory=2788 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1365340160 264902 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3580.28 s
Current children cumulated vsize: 1333340 KiB
Current children cumulated memory: 1059608 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.04 7/263 37250
/proc/meminfo: memFree=122395504/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1333340 memory=1059652 CPUtime=3583.47 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1199057 0 0 0 358184 163 0 0 20 0 3 0 4461624 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 333335 264913 3030 3035 0 313042 0
[pid=35254/tid=35492] ppid=35243 vsize=1333340 memory=33 CPUtime=3487.42 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1134638 0 0 0 348597 145 0 0 20 0 3 0 4471243 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1333340 memory=129 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 1333340 KiB
Current children cumulated memory: 1059652 KiB
[startup+3597.6 s]
/proc/loadavg: 4.09 4.10 4.04 6/263 37250
/proc/meminfo: memFree=122395536/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1333340 memory=1059652 CPUtime=3584.27 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1199115 0 0 0 358264 163 0 0 20 0 3 0 4461624 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 333335 264913 3030 3035 0 313104 0
[pid=35254/tid=35492] ppid=35243 vsize=1333340 memory=13016 CPUtime=3488.22 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1134696 0 0 0 348677 145 0 0 20 0 3 0 4471243 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1333340 memory=12272 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1365340160 264913 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 1333340 KiB
Current children cumulated memory: 1059652 KiB
[startup+3598 s]*
/proc/loadavg: 4.09 4.10 4.04 6/263 37250
/proc/meminfo: memFree=122395360/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1333340 memory=1059836 CPUtime=3584.67 cores=1,3
/proc/35254/stat : 35254 (fscip) S 35243 35254 35189 0 -1 1077936128 1199123 0 0 0 358304 163 0 0 20 0 3 0 4461624 1365340160 264959 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 333335 264959 3030 3035 0 313104 0
[pid=35254/tid=35492] ppid=35243 vsize=1333340 memory=-7378984731055054464 CPUtime=3488.63 cores=1,3
/proc/35254/task/35492/stat : 35492 (fscip) R 35243 35254 35189 0 -1 4194368 1134700 0 0 0 348718 145 0 0 20 0 3 0 4471243 1365340160 264959 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
[pid=35254/tid=35493] ppid=35243 vsize=1333340 memory=1059608 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 3 0 4471250 1365340160 264959 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 1333340 KiB
Current children cumulated memory: 1059836 KiB
[startup+3598.21 s]
/proc/loadavg: 4.09 4.10 4.04 6/263 37250
/proc/meminfo: memFree=122395360/131524600 swapFree=131071996/131071996
[pid=35254] ppid=35243 vsize=1195604 memory=987100 CPUtime=3584.88 cores=1,3
/proc/35254/stat : 35254 (fscip) R 35243 35254 35189 0 -1 4194304 1205589 0 0 0 358325 163 0 0 20 0 2 0 4461624 1224298496 246775 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
/proc/35254/statm: 298901 246775 3030 3035 0 278670 0
[pid=35254/tid=35493] ppid=35243 vsize=1195604 memory=-7523099919130911612 CPUtime=0.04 cores=1,3
/proc/35254/task/35493/stat : 35493 (fscip) S 35243 35254 35189 0 -1 1077936192 235 0 0 0 2 2 0 0 20 0 2 0 4471250 1224298496 246775 134679101440 4194304 16623229 140723337119248 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 42356736 140723337126938 140723337127054 140723337127054 140723337134064 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 1195604 KiB
Current children cumulated memory: 987100 KiB
[startup+3598.3 s]*
/proc/loadavg: 4.09 4.10 4.04 5/262 37250
/proc/meminfo: memFree=122756324/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.32
CPU time (s): 3584.99
CPU user time (s): 3583.33
CPU system time (s): 1.66124
CPU usage (%): 99.6296
Max. virtual memory (cumulated for all children) (KiB): 1333340
Max. memory (cumulated for all children) (KiB): 1059836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 1.66124
maximum resident set size= 1059836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1208872
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= 7953
involuntary context switches= 5747
# summary of solver processes directly reported to runsolver:
# pid: 35254
# total CPU time (s): 3584.99
# total CPU user time (s): 3583.33
# total CPU system time (s): 1.66124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.037 second user time and 14.189 second system time
The end
Begin job on nodeC030 at 2024-07-31 00:29:57
IDJOB=4464422
IDBENCH=147717
IDSOLVER=3092
FILE ID=nodeC030/4464422-1722378597
RUNJOBID= nodeC030-1722378597-35201
SLURM_JOB_ID= 8249853
Free space on /tmp= 890076 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.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-4464422-1722378597/watcher-4464422-1722378597 -o /tmp/evaluation-result-4464422-1722378597/solver-4464422-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35201 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464422-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= da1da2eec32162aae55ea03b18b534d2
RANDOM SEED=576650998
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3587.455
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.60
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 : 3128.212
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.48
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 : 3489.179
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.60
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 : 3656.265
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.48
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 : 3580.721
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.60
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 : 3599.600
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.48
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 : 3623.204
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.60
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 : 3589.128
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129616544 kB
MemAvailable: 129934772 kB
Buffers: 83280 kB
Cached: 1070896 kB
SwapCached: 0 kB
Active: 252808 kB
Inactive: 1176212 kB
Active(anon): 1452 kB
Inactive(anon): 295124 kB
Active(file): 251356 kB
Inactive(file): 881088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 125140 kB
Writeback: 0 kB
AnonPages: 275320 kB
Mapped: 88288 kB
Shmem: 21328 kB
KReclaimable: 51216 kB
Slab: 132624 kB
SReclaimable: 51216 kB
SUnreclaim: 81408 kB
KernelStack: 3792 kB
PageTables: 9136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 567860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 165888 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC030 at 2024-07-31 01:29:56