0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.10/0.11 c Default LC presolving (default).
0.10/0.11 c ** Before presolving: virtualMemUsedAtLc = 108828377, getVmSize() = 96628736, SCIPgetMemUsed() = 68613350, SCIPgetMemTotal() = 72646062, SCIPgetMemExternEstim() = 36182315
0.10/0.11 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
9.25/9.37 c ** Estimated virtualMemUsedAtSolver = 120080574, getVmSize() = 174071808, SCIPgetMemUsed() = 88877482, SCIPgetMemTotal() = 143938546, SCIPgetMemExternEstim() = 36182315
9.25/9.37 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
9.25/9.37 c Original Problem :
9.25/9.37 c Problem name : instance-4459396-1721898506
9.25/9.37 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
9.25/9.37 c Constraints : 17546
9.25/9.37 c Objective sense : minimize
9.25/9.37 c Presolved Problem :
9.25/9.37 c Variables : 14587 (14587 binary, 0 integer, 0 implicit integer, 0 continuous)
9.25/9.37 c Constraints : 9517
9.25/9.37 c Constraints : Number
9.25/9.37 c setppc : 9517
9.25/9.37 c ** Instance transfer method used: 0
9.35/9.40 c ** ParaScipInstance copy does not increase the number of variables. **
9.35/9.43 c LC is working with racing ramp-up and with rebuilding tree after racing.
9.35/9.43 c Nodes Active
9.35/9.43 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
136.27/136.85 c 137 2 1 1 - 16.4611 -
145.13/145.75 c 146 3 2 1 - 16.4611 -
155.00/155.67 c 156 4 3 1 - 16.4611 -
165.27/165.96 c 166 5 4 1 - 16.4611 -
186.10/186.85 c 187 6 5 1 - 16.4611 -
194.07/194.83 c 195 7 6 1 - 16.4611 -
202.25/203.04 c 203 8 7 1 - 16.4611 -
208.92/209.70 c 210 9 8 1 - 16.4611 -
224.37/225.20 c 225 10 9 1 - 16.4611 -
232.94/233.81 c 234 11 10 1 - 16.4611 -
246.20/247.18 c 247 12 11 1 - 16.4611 -
259.85/260.80 c 261 15 9 1 - 16.4611 -
269.31/270.38 c 270 21 15 1 - 16.4611 -
275.39/276.49 c 276 22 16 1 - 16.4662 -
298.52/299.67 c 300 25 19 1 - 16.4662 -
323.52/324.71 c 325 30 24 1 - 16.4662 -
451.05/452.76 c 453 31 25 1 - 16.4662 -
456.13/457.84 c 458 32 26 1 - 16.4662 -
463.31/465.09 c 465 40 34 1 - 16.4662 -
485.93/487.71 c 488 41 35 1 - 16.4662 -
490.91/492.73 c 493 42 36 1 - 16.4662 -
497.99/499.85 c 500 45 39 1 - 16.4662 -
503.67/505.53 c 506 48 42 1 - 16.4662 -
516.82/518.71 c 519 49 43 1 - 16.4662 -
523.80/525.78 c 526 51 45 1 - 16.4662 -
530.78/532.73 c 533 53 47 1 - 16.4662 -
538.96/540.91 c 541 54 48 1 - 16.4662 -
545.93/547.92 c 548 58 50 1 - 16.4662 -
552.02/554.03 c 554 62 52 1 - 16.4662 -
558.38/560.44 c 560 72 60 1 - 16.4662 -
565.26/567.38 c 567 73 61 1 - 16.4662 -
571.24/573.30 c 573 76 64 1 - 16.4662 -
587.00/589.14 c 589 79 67 1 - 16.4662 -
592.08/594.29 c 594 82 70 1 - 16.4662 -
598.16/600.34 c 600 90 74 1 - 16.4662 -
610.02/612.26 c 612 92 76 1 - 16.4662 -
615.50/617.76 c 618 98 82 1 - 16.4662 -
621.98/624.23 c 624 102 86 1 - 17.0000 -
634.54/636.82 c 637 104 88 1 - 17.0000 -
640.22/642.55 c 643 115 93 1 - 17.0000 -
646.40/648.77 c 649 127 97 1 - 17.0000 -
653.07/655.44 c 655 143 107 1 - 17.0000 -
659.16/661.51 c 662 147 102 1 - 17.0000 -
666.13/668.54 c 669 155 104 1 - 17.0000 -
672.21/674.67 c 675 161 95 1 - 17.0000 -
680.98/683.48 c 683 164 98 1 - 17.0000 -
692.14/694.63 c 695 166 99 1 - 17.0000 -
698.13/700.61 c 701 175 106 1 - 17.0000 -
703.81/706.36 c 706 184 111 1 - 17.0000 -
709.59/712.10 c 712 193 114 1 - 17.0000 -
715.17/717.78 c 718 203 112 1 - 17.0000 -
721.05/723.63 c 724 212 113 1 - 17.0000 -
727.33/729.93 c 730 220 115 1 - 17.0000 -
732.41/735.09 c 735 228 117 1 - 17.0000 -
738.98/741.67 c 742 239 115 1 - 17.0000 -
745.17/747.84 c 748 249 119 1 - 17.0000 -
751.05/753.71 c 754 256 118 1 - 17.0000 -
757.33/760.01 c 760 263 119 1 - 17.0000 -
763.21/765.93 c 766 275 123 1 - 17.0000 -
769.08/771.80 c 772 283 123 1 - 17.0000 -
774.97/777.73 c 778 289 120 1 - 17.0000 -
781.75/784.59 c 785 298 125 1 - 17.0000 -
787.53/790.30 c 790 305 122 1 - 17.0000 -
793.61/796.45 c 796 310 89 1 - 17.0000 -
798.69/801.53 c 802 312 89 1 - 17.0000 -
804.87/807.79 c 808 324 91 1 - 17.0000 -
811.44/814.31 c 814 338 90 1 - 17.0000 -
818.32/821.20 c 821 349 91 1 - 17.0000 -
823.99/826.91 c 827 361 89 1 - 17.0000 -
829.96/832.92 c 833 368 94 1 - 17.0000 -
835.65/838.64 c 839 377 90 1 - 17.0000 -
840.93/843.93 c 844 388 93 1 - 17.0000 -
846.02/849.09 c 849 398 90 1 - 17.0000 -
853.10/856.14 c 856 405 87 1 - 17.0000 -
858.79/861.88 c 862 409 84 1 - 17.0000 -
864.07/867.13 c 867 412 78 1 - 17.0000 -
869.55/872.61 c 873 414 73 1 - 17.0000 -
874.74/877.89 c 878 420 77 1 - 17.0000 -
882.11/885.29 c 885 432 79 1 - 17.0000 -
891.19/894.33 c 894 437 82 1 - 17.0000 -
896.88/900.00 c 900 447 82 1 - 17.0000 -
903.16/906.33 c 906 457 84 1 - 17.0000 -
908.94/912.18 c 912 465 86 1 - 17.0000 -
915.32/918.53 c 919 479 90 1 - 17.0000 -
920.71/923.93 c 924 488 87 1 - 17.0000 -
925.80/929.08 c 929 497 90 1 - 17.0000 -
931.57/934.84 c 935 509 88 1 - 17.0000 -
937.46/940.79 c 941 521 92 1 - 17.0000 -
944.43/947.78 c 948 522 93 1 - 17.0000 -
950.61/953.96 c 954 532 99 1 - 17.0000 -
955.90/959.23 c 959 542 101 1 - 17.0000 -
962.58/965.95 c 966 551 102 1 - 17.0000 -
968.16/971.51 c 972 558 102 1 - 17.0000 -
973.54/976.97 c 977 565 105 1 - 17.0000 -
978.83/982.22 c 982 575 103 1 - 17.0000 -
983.82/987.26 c 987 582 98 1 - 17.0000 -
989.20/992.63 c 993 586 98 1 - 17.0000 -
995.08/998.55 c 999 596 102 1 - 17.0000 -
1002.57/1006.10 c 1006 610 108 1 - 17.0000 -
1008.65/1012.18 c 1012 621 111 1 - 17.0000 -
1014.63/1018.19 c 1018 632 112 1 - 17.0000 -
1020.11/1023.62 c 1024 642 114 1 - 17.0000 -
1025.10/1028.66 c 1029 650 114 1 - 17.0000 -
1033.07/1036.69 c 1037 658 120 1 - 17.0000 -
1038.25/1041.83 c 1042 670 126 1 - 17.0000 -
1043.24/1046.84 c 1047 681 127 1 - 17.0000 -
1049.03/1052.60 c 1053 688 123 1 - 17.0000 -
1055.31/1058.94 c 1059 694 123 1 - 17.0000 -
1061.39/1065.10 c 1065 705 117 1 - 17.0000 -
1068.76/1072.44 c 1072 711 113 1 - 17.0000 -
1075.25/1078.98 c 1079 716 116 1 - 17.0000 -
1080.63/1084.31 c 1084 724 116 1 - 17.0000 -
1086.42/1090.14 c 1090 732 114 1 - 17.0000 -
1091.70/1095.43 c 1095 737 69 1 - 17.0000 -
1098.68/1102.44 c 1102 740 72 1 - 17.0000 -
1104.96/1108.71 c 1109 746 78 1 - 17.0000 -
1117.92/1121.78 c 1122 748 80 1 - 17.0000 -
1124.31/1128.15 c 1128 754 86 1 - 17.0000 -
1129.78/1133.69 c 1134 759 89 1 - 17.0000 -
1134.87/1138.79 c 1139 763 93 1 - 17.0000 -
1142.25/1146.11 c 1146 770 98 1 - 17.0000 -
1148.73/1152.67 c 1153 773 101 1 - 17.0000 -
1159.69/1163.63 c 1164 779 107 1 - 17.0000 -
1172.26/1176.21 c 1176 781 107 1 - 17.0000 -
1179.04/1183.04 c 1183 785 111 1 - 17.0000 -
1184.32/1188.30 c 1188 788 114 1 - 17.0000 -
1191.71/1195.79 c 1196 794 120 1 - 17.0000 -
1197.49/1201.55 c 1202 797 123 1 - 17.0000 -
1203.57/1207.62 c 1208 802 122 1 - 17.0000 -
1209.85/1213.99 c 1214 805 123 1 - 17.0000 -
1215.64/1219.77 c 1220 809 125 1 - 17.0000 -
1231.78/1235.98 c 1236 812 124 1 - 17.0000 -
1243.76/1247.92 c 1248 816 128 1 - 17.0000 -
1251.03/1255.25 c 1255 821 131 1 - 17.0000 -
1257.21/1261.49 c 1262 824 134 1 - 17.0000 -
1262.30/1266.51 c 1267 826 136 1 - 17.0000 -
1267.49/1271.79 c 1272 831 139 1 - 17.0000 -
1272.88/1277.19 c 1277 836 142 1 - 17.0000 -
1277.95/1282.27 c 1282 845 147 1 - 17.0000 -
1283.74/1288.08 c 1288 848 148 1 - 17.0000 -
1289.22/1293.50 c 1294 852 150 1 - 17.0000 -
1297.20/1301.50 c 1302 858 154 1 - 17.0000 -
1302.88/1307.24 c 1307 864 160 1 - 17.0000 -
1308.57/1312.95 c 1313 867 161 1 - 17.0000 -
1315.95/1320.36 c 1320 869 163 1 - 17.0000 -
1321.53/1325.97 c 1326 871 165 1 - 17.0000 -
1329.20/1333.63 c 1334 879 167 1 - 17.0000 -
1336.38/1340.87 c 1341 885 169 1 - 17.0000 -
1343.26/1347.73 c 1348 889 167 1 - 17.0000 -
1350.25/1354.72 c 1355 893 167 1 - 17.0000 -
1356.43/1360.98 c 1361 897 167 1 - 17.0000 -
1361.81/1366.36 c 1366 902 168 1 - 17.0000 -
1366.99/1371.50 c 1372 908 168 1 - 17.0000 -
1372.48/1377.02 c 1377 916 166 1 - 17.0000 -
1378.96/1383.52 c 1384 921 161 1 - 17.0000 -
1385.13/1389.77 c 1390 928 162 1 - 17.0000 -
1391.71/1396.37 c 1396 936 164 1 - 17.0000 -
1398.20/1402.84 c 1403 942 160 1 - 17.0000 -
1403.98/1408.67 c 1409 946 160 1 - 17.0000 -
1410.16/1414.87 c 1415 953 159 1 - 17.0000 -
1415.46/1420.10 c 1420 959 161 1 - 17.0000 -
1420.44/1425.17 c 1425 962 162 1 - 17.0000 -
1426.12/1430.84 c 1431 967 158 1 - 17.0000 -
1432.30/1437.03 c 1437 971 160 1 - 17.0000 -
1437.58/1442.38 c 1442 973 162 1 - 17.0000 -
1443.37/1448.14 c 1448 977 166 1 - 17.0000 -
1455.53/1460.38 c 1460 978 167 1 - 17.0000 -
1461.71/1466.55 c 1467 983 168 1 - 17.0000 -
1467.69/1472.56 c 1473 988 167 1 - 17.0000 -
1473.48/1478.39 c 1478 992 171 1 - 17.0000 -
1481.05/1485.90 c 1486 995 173 1 - 17.0000 -
1486.15/1491.04 c 1491 1000 172 1 - 17.0000 -
1492.02/1496.93 c 1497 1005 175 1 - 17.0000 -
1497.51/1502.43 c 1502 1011 175 1 - 17.0000 -
1505.19/1510.12 c 1510 1017 175 1 - 17.0000 -
1510.47/1515.47 c 1515 1021 175 1 - 17.0000 -
1518.34/1523.33 c 1523 1025 172 1 - 17.0000 -
1526.03/1531.08 c 1531 1033 176 1 - 17.0000 -
1532.51/1537.56 c 1538 1038 181 1 - 17.0000 -
1537.99/1543.03 c 1543 1043 180 1 - 17.0000 -
1545.97/1551.04 c 1551 1048 181 1 - 17.0000 -
1550.96/1556.07 c 1556 1052 181 1 - 17.0000 -
1557.43/1562.55 c 1563 1054 179 1 - 17.0000 -
1563.32/1568.47 c 1568 1056 181 1 - 17.0000 -
1570.00/1575.12 c 1575 1059 184 1 - 17.0000 -
1575.48/1580.68 c 1581 1065 186 1 - 17.0000 -
1582.06/1587.23 c 1587 1070 185 1 - 17.0000 -
1589.64/1594.85 c 1595 1076 185 1 - 17.0000 -
1595.53/1600.73 c 1601 1082 189 1 - 17.0000 -
1600.61/1605.89 c 1606 1085 188 1 - 17.0000 -
1606.59/1611.88 c 1612 1090 191 1 - 17.0000 -
1612.17/1617.47 c 1617 1094 191 1 - 17.0000 -
1619.65/1624.93 c 1625 1101 190 1 - 17.0000 -
1627.43/1632.72 c 1633 1102 189 1 - 17.0000 -
1634.71/1640.09 c 1640 1107 194 1 - 17.0000 -
1642.28/1647.68 c 1648 1114 195 1 - 17.0000 -
1673.58/1679.01 c 1679 1115 194 1 - 17.0000 -
1680.56/1686.04 c 1686 1120 193 1 - 17.0000 -
1690.82/1696.31 c 1696 1121 191 1 - 17.0000 -
1696.70/1702.25 c 1702 1125 191 1 - 17.0000 -
1702.68/1708.26 c 1708 1128 192 1 - 17.0000 -
1708.06/1713.62 c 1714 1134 193 1 - 17.0000 -
1715.84/1721.45 c 1721 1138 192 1 - 17.0000 -
1721.42/1727.01 c 1727 1142 194 1 - 17.0000 -
1732.48/1738.19 c 1738 1146 196 1 - 17.0000 -
1738.26/1743.92 c 1744 1150 200 1 - 17.0000 -
1743.45/1749.19 c 1749 1153 203 1 - 17.0000 -
1749.53/1755.21 c 1755 1159 205 1 - 17.0000 -
1755.70/1761.42 c 1761 1164 204 1 - 17.0000 -
1761.98/1767.71 c 1768 1169 205 1 - 17.0000 -
1767.96/1773.73 c 1774 1176 206 1 - 17.0000 -
1773.44/1779.22 c 1779 1184 208 1 - 17.0000 -
1790.58/1796.46 c 1796 1192 210 1 - 17.0000 -
1796.17/1802.03 c 1802 1195 209 1 - 17.0000 -
1802.26/1808.12 c 1808 1198 210 1 - 17.0000 -
1809.14/1815.01 c 1815 1202 210 1 - 17.0000 -
1815.21/1821.17 c 1821 1206 212 1 - 17.0000 -
1821.69/1827.61 c 1828 1209 213 1 - 17.0000 -
1830.65/1836.65 c 1837 1212 214 1 - 17.0000 -
1836.04/1842.04 c 1842 1214 216 1 - 17.0000 -
1842.41/1848.47 c 1848 1218 216 1 - 17.0000 -
1848.11/1854.10 c 1854 1222 216 1 - 17.0000 -
1861.65/1867.75 c 1868 1226 216 1 - 17.0000 -
1868.13/1874.28 c 1874 1228 218 1 - 17.0000 -
1876.71/1882.86 c 1883 1233 221 1 - 17.0000 -
1881.69/1887.89 c 1888 1237 223 1 - 17.0000 -
1887.17/1893.35 c 1893 1243 225 1 - 17.0000 -
1893.05/1899.24 c 1899 1245 225 1 - 17.0000 -
1899.33/1905.59 c 1906 1249 227 1 - 17.0000 -
1906.20/1912.42 c 1912 1253 229 1 - 17.0000 -
1925.04/1931.30 c 1931 1257 229 1 - 17.0000 -
1931.62/1937.92 c 1938 1259 231 1 - 17.0000 -
1936.81/1943.13 c 1943 1262 234 1 - 17.0000 -
1942.08/1948.42 c 1948 1267 237 1 - 17.0000 -
1949.66/1956.00 c 1956 1271 235 1 - 17.0000 -
1957.63/1964.08 c 1964 1275 239 1 - 17.0000 -
1963.42/1969.89 c 1970 1278 240 1 - 17.0000 -
1970.39/1976.83 c 1977 1284 242 1 - 17.0000 -
1977.17/1983.65 c 1984 1290 246 1 - 17.0000 -
1983.15/1989.69 c 1990 1294 250 1 - 17.0000 -
1988.83/1995.35 c 1995 1298 254 1 - 17.0000 -
1999.60/2006.18 c 2006 1304 260 1 - 17.0000 -
2007.47/2014.08 c 2014 1308 264 1 - 17.0000 -
2015.64/2022.25 c 2022 1314 266 1 - 17.0000 -
2032.19/2038.84 c 2039 1316 268 1 - 17.0000 -
2038.67/2045.34 c 2045 1322 270 1 - 17.0000 -
2045.94/2052.62 c 2053 1325 271 1 - 17.0000 -
2052.12/2058.84 c 2059 1330 274 1 - 17.0000 -
2066.47/2073.28 c 2073 1332 274 1 - 17.0000 -
2074.05/2080.89 c 2081 1337 277 1 - 17.0000 -
2080.33/2087.16 c 2087 1344 278 1 - 17.0000 -
2089.10/2095.95 c 2096 1348 280 1 - 17.0000 -
2095.37/2102.24 c 2102 1352 284 1 - 17.0000 -
2102.56/2109.48 c 2109 1358 288 1 - 17.0000 -
2107.84/2114.77 c 2115 1360 288 1 - 17.0000 -
2114.52/2121.40 c 2121 1365 291 1 - 17.0000 -
2120.59/2127.55 c 2128 1371 293 1 - 17.0000 -
2128.07/2135.07 c 2135 1372 294 1 - 17.0000 -
2134.94/2141.90 c 2142 1377 295 1 - 17.0000 -
2140.92/2147.99 c 2148 1382 298 1 - 17.0000 -
2147.01/2154.10 c 2154 1387 301 1 - 17.0000 -
2156.18/2163.21 c 2163 1392 300 1 - 17.0000 -
2161.56/2168.64 c 2169 1398 298 1 - 17.0000 -
2178.00/2185.11 c 2185 1405 303 1 - 17.0000 -
2184.28/2191.44 c 2191 1410 306 1 - 17.0000 -
2191.95/2199.11 c 2199 1415 309 1 - 17.0000 -
2197.74/2204.95 c 2205 1421 311 1 - 17.0000 -
2213.68/2220.96 c 2221 1426 316 1 - 17.0000 -
2219.27/2226.58 c 2227 1431 317 1 - 17.0000 -
2226.34/2233.63 c 2234 1435 319 1 - 17.0000 -
2231.42/2238.70 c 2239 1442 317 1 - 17.0000 -
2237.60/2244.92 c 2245 1447 320 1 - 17.0000 -
2242.88/2250.21 c 2250 1453 320 1 - 17.0000 -
2247.96/2255.38 c 2255 1457 322 1 - 17.0000 -
2255.74/2263.13 c 2263 1460 321 1 - 17.0000 -
2260.82/2268.29 c 2268 1464 323 1 - 17.0000 -
2266.01/2273.45 c 2273 1465 324 1 - 17.0000 -
2272.29/2279.76 c 2280 1469 326 1 - 17.0000 -
2278.47/2285.94 c 2286 1475 326 1 - 17.0000 -
2285.84/2293.34 c 2293 1479 328 1 - 17.0000 -
2291.53/2299.05 c 2299 1486 333 1 - 17.0000 -
2297.01/2304.58 c 2305 1496 331 1 - 17.0000 -
2302.79/2310.37 c 2310 1505 332 1 - 17.0000 -
2308.77/2316.31 c 2316 1513 332 1 - 17.0000 -
2314.35/2321.98 c 2322 1521 334 1 - 17.0000 -
2319.54/2327.18 c 2327 1529 334 1 - 17.0000 -
2325.62/2333.28 c 2333 1533 336 1 - 17.0000 -
2337.39/2345.00 c 2345 1539 336 1 - 17.0000 -
2343.67/2351.32 c 2351 1542 337 1 - 17.0000 -
2350.15/2357.86 c 2358 1547 340 1 - 17.0000 -
2355.54/2363.24 c 2363 1550 343 1 - 17.0000 -
2362.72/2370.42 c 2370 1554 341 1 - 17.0000 -
2369.00/2376.78 c 2377 1560 343 1 - 17.0000 -
2375.58/2383.35 c 2383 1563 346 1 - 17.0000 -
2381.37/2389.11 c 2389 1568 347 1 - 17.0000 -
2387.54/2395.38 c 2395 1575 346 1 - 17.0000 -
2393.33/2401.14 c 2401 1583 344 1 - 17.0000 -
2398.61/2406.44 c 2406 1590 347 1 - 17.0000 -
2404.89/2412.70 c 2413 1595 352 1 - 17.0000 -
2413.67/2421.51 c 2422 1599 356 1 - 17.0000 -
2419.16/2427.00 c 2427 1603 358 1 - 17.0000 -
2426.04/2433.93 c 2434 1609 356 1 - 17.0000 -
2431.52/2439.45 c 2439 1614 353 1 - 17.0000 -
2438.60/2446.59 c 2447 1618 349 1 - 17.0000 -
2444.19/2452.17 c 2452 1622 353 1 - 17.0000 -
2449.57/2457.57 c 2458 1632 353 1 - 17.0000 -
2454.66/2462.61 c 2463 1638 357 1 - 17.0000 -
2460.84/2468.84 c 2469 1642 359 1 - 17.0000 -
2467.03/2475.00 c 2475 1648 363 1 - 17.0000 -
2473.11/2481.20 c 2481 1657 360 1 - 17.0000 -
2478.69/2486.72 c 2487 1664 361 1 - 17.0000 -
2484.27/2492.33 c 2492 1670 361 1 - 17.0000 -
2490.75/2498.89 c 2499 1677 362 1 - 17.0000 -
2497.33/2505.42 c 2505 1684 365 1 - 17.0000 -
2504.32/2512.41 c 2512 1691 368 1 - 17.0000 -
2515.99/2524.17 c 2524 1695 372 1 - 17.0000 -
2521.67/2529.81 c 2530 1701 372 1 - 17.0000 -
2526.75/2534.93 c 2535 1707 369 1 - 17.0000 -
2532.44/2540.69 c 2541 1714 370 1 - 17.0000 -
2538.02/2546.20 c 2546 1721 369 1 - 17.0000 -
2545.10/2553.33 c 2553 1728 366 1 - 17.0000 -
2550.89/2559.11 c 2559 1735 369 1 - 17.0000 -
2556.87/2565.13 c 2565 1740 368 1 - 17.0000 -
2562.86/2571.16 c 2571 1748 370 1 - 17.0000 -
2568.04/2576.31 c 2576 1756 370 1 - 17.0000 -
2573.02/2581.34 c 2581 1761 369 1 - 17.0000 -
2578.51/2586.89 c 2587 1767 369 1 - 17.0000 -
2583.70/2592.04 c 2592 1772 367 1 - 17.0000 -
2590.28/2598.60 c 2599 1778 367 1 - 17.0000 -
2596.27/2604.68 c 2605 1782 369 1 - 17.0000 -
2601.66/2610.07 c 2610 1789 370 1 - 17.0000 -
2606.94/2615.38 c 2615 1795 372 1 - 17.0000 -
2612.32/2620.75 c 2621 1800 373 1 - 17.0000 -
2618.31/2626.70 c 2627 1805 372 1 - 17.0000 -
2624.19/2632.63 c 2633 1811 374 1 - 17.0000 -
2629.47/2637.99 c 2638 1818 371 1 - 17.0000 -
2635.46/2643.95 c 2644 1825 370 1 - 17.0000 -
2640.84/2649.39 c 2649 1831 368 1 - 17.0000 -
2647.42/2655.92 c 2656 1840 371 1 - 17.0000 -
2653.51/2662.03 c 2662 1848 373 1 - 17.0000 -
2659.69/2668.29 c 2668 1856 373 1 - 17.0000 -
2665.17/2673.71 c 2674 1864 371 1 - 17.0000 -
2671.46/2680.06 c 2680 1872 371 1 - 17.0000 -
2678.44/2687.04 c 2687 1875 374 1 - 17.0000 -
2684.82/2693.40 c 2693 1883 372 1 - 17.0000 -
2691.20/2699.89 c 2700 1892 369 1 - 17.0000 -
2696.69/2705.31 c 2705 1900 367 1 - 17.0000 -
2704.07/2712.79 c 2713 1907 363 1 - 17.0000 -
2710.15/2718.80 c 2719 1913 360 1 - 17.0000 -
2715.23/2723.99 c 2724 1919 357 1 - 17.0000 -
2721.12/2729.89 c 2730 1925 361 1 - 17.0000 -
2727.70/2736.42 c 2736 1928 362 1 - 17.0000 -
2733.88/2742.61 c 2743 1930 362 1 - 17.0000 -
2740.86/2749.61 c 2750 1935 363 1 - 17.0000 -
2748.74/2757.59 c 2758 1939 367 1 - 17.0000 -
2755.52/2764.39 c 2764 1942 366 1 - 17.0000 -
2761.91/2770.72 c 2771 1947 371 1 - 17.0000 -
2770.58/2779.41 c 2779 1951 373 1 - 17.0000 -
2776.47/2785.34 c 2785 1955 375 1 - 17.0000 -
2782.15/2791.06 c 2791 1959 377 1 - 17.0000 -
2789.83/2798.78 c 2799 1962 376 1 - 17.0000 -
2796.51/2805.45 c 2805 1965 376 1 - 17.0000 -
2802.39/2811.31 c 2811 1968 379 1 - 17.0000 -
2808.08/2817.05 c 2817 1973 380 1 - 17.0000 -
2813.76/2822.76 c 2823 1978 381 1 - 17.0000 -
2819.34/2828.36 c 2828 1983 382 1 - 17.0000 -
2826.33/2835.36 c 2835 1990 381 1 - 17.0000 -
2831.51/2840.57 c 2841 1995 382 1 - 17.0000 -
2837.00/2846.00 c 2846 2000 379 1 - 17.0000 -
2843.08/2852.14 c 2852 2007 380 1 - 17.0000 -
2853.65/2862.71 c 2863 2010 379 1 - 17.0000 -
2859.23/2868.34 c 2868 2017 380 1 - 17.0000 -
2865.43/2874.52 c 2875 2024 379 1 - 17.0000 -
2876.30/2885.48 c 2885 2030 381 1 - 17.0000 -
2882.48/2891.61 c 2892 2036 381 1 - 17.0000 -
2890.26/2899.47 c 2899 2042 383 1 - 17.0000 -
2895.34/2904.59 c 2905 2046 383 1 - 17.0000 -
2901.33/2910.50 c 2911 2051 384 1 - 17.0000 -
2913.69/2922.93 c 2923 2055 384 1 - 17.0000 -
2920.27/2929.57 c 2930 2061 384 1 - 17.0000 -
2925.76/2935.01 c 2935 2067 386 1 - 17.0000 -
2931.34/2940.64 c 2941 2072 387 1 - 17.0000 -
2936.73/2946.05 c 2946 2078 389 1 - 17.0000 -
2942.41/2951.72 c 2952 2085 388 1 - 17.0000 -
2950.69/2960.09 c 2960 2091 390 1 - 17.0000 -
2955.98/2965.35 c 2965 2096 389 1 - 17.0000 -
2961.36/2970.76 c 2971 2101 388 1 - 17.0000 -
2966.65/2976.06 c 2976 2106 389 1 - 17.0000 -
2977.52/2986.98 c 2987 2110 389 1 - 17.0000 -
2983.80/2993.25 c 2993 2117 390 1 - 17.0000 -
2989.28/2998.76 c 2999 2123 388 1 - 17.0000 -
2995.16/3004.61 c 3005 2135 386 1 - 17.0000 -
3000.75/3010.24 c 3010 2140 385 1 - 17.0000 -
3007.03/3016.59 c 3017 2147 386 1 - 17.0000 -
3013.41/3022.93 c 3023 2157 384 1 - 17.0000 -
3018.60/3028.16 c 3028 2161 382 1 - 17.0000 -
3024.59/3034.13 c 3034 2167 384 1 - 17.0000 -
3029.97/3039.50 c 3040 2171 382 1 - 17.0000 -
3036.45/3046.07 c 3046 2175 382 1 - 17.0000 -
3042.53/3052.15 c 3052 2179 382 1 - 17.0000 -
3048.61/3058.29 c 3058 2184 381 1 - 17.0000 -
3055.89/3065.59 c 3066 2190 379 1 - 17.0000 -
3061.08/3070.73 c 3071 2194 379 1 - 17.0000 -
3067.26/3076.92 c 3077 2200 377 1 - 17.0000 -
3075.44/3085.15 c 3085 2204 375 1 - 17.0000 -
3085.21/3094.95 c 3095 2208 373 1 - 17.0000 -
3091.30/3101.10 c 3101 2215 372 1 - 17.0000 -
3097.98/3107.76 c 3108 2222 371 1 - 17.0000 -
3103.46/3113.20 c 3113 2225 370 1 - 17.0000 -
3108.45/3118.28 c 3118 2229 372 1 - 17.0000 -
3115.24/3125.06 c 3125 2234 371 1 - 17.0000 -
3121.52/3131.34 c 3131 2240 373 1 - 17.0000 -
3127.90/3137.75 c 3138 2248 371 1 - 17.0000 -
3133.19/3143.01 c 3143 2251 370 1 - 17.0000 -
3139.28/3149.14 c 3149 2256 369 1 - 17.0000 -
3145.75/3155.62 c 3156 2258 369 1 - 17.0000 -
3151.14/3161.01 c 3161 2262 371 1 - 17.0000 -
3161.22/3171.14 c 3171 2266 375 1 - 17.0000 -
3169.89/3179.89 c 3180 2272 381 1 - 17.0000 -
3176.37/3186.35 c 3186 2276 383 1 - 17.0000 -
3185.74/3195.72 c 3196 2280 387 1 - 17.0000 -
3193.62/3203.69 c 3204 2286 393 1 - 17.0000 -
3199.80/3209.84 c 3210 2290 395 1 - 17.0000 -
3204.89/3214.90 c 3215 2296 395 1 - 17.0000 -
3210.17/3220.28 c 3220 2300 395 1 - 17.0000 -
3215.26/3225.36 c 3225 2307 398 1 - 17.0000 -
3221.14/3231.26 c 3231 2314 397 1 - 17.0000 -
3226.63/3236.77 c 3237 2318 397 1 - 17.0000 -
3233.91/3244.05 c 3244 2324 397 1 - 17.0000 -
3240.39/3250.51 c 3251 2330 397 1 - 17.0000 -
3246.68/3256.80 c 3257 2336 397 1 - 17.0000 -
3252.36/3262.57 c 3263 2344 399 1 - 17.0000 -
3257.95/3268.12 c 3268 2348 397 1 - 17.0000 -
3263.63/3273.81 c 3274 2355 398 1 - 17.0000 -
3269.62/3279.85 c 3280 2359 396 1 - 17.0000 -
3277.50/3287.76 c 3288 2365 394 1 - 17.0000 -
3283.58/3293.82 c 3294 2371 396 1 - 17.0000 -
3290.87/3301.12 c 3301 2379 398 1 - 17.0000 -
3296.75/3307.06 c 3307 2387 398 1 - 17.0000 -
3302.73/3313.00 c 3313 2395 398 1 - 17.0000 -
3308.72/3319.04 c 3319 2402 399 1 - 17.0000 -
3314.90/3325.25 c 3325 2408 397 1 - 17.0000 -
3319.88/3330.28 c 3330 2413 396 1 - 17.0000 -
3325.57/3335.90 c 3336 2418 397 1 - 17.0000 -
3331.45/3341.83 c 3342 2424 397 1 - 17.0000 -
3336.65/3347.01 c 3347 2428 399 1 - 17.0000 -
3342.23/3352.64 c 3353 2433 398 1 - 17.0000 -
3347.81/3358.25 c 3358 2437 398 1 - 17.0000 -
3355.70/3366.18 c 3366 2445 399 1 - 17.0000 -
3362.17/3372.69 c 3373 2452 402 1 - 17.0000 -
3375.55/3386.08 c 3386 2457 401 1 - 17.0000 -
3381.14/3391.64 c 3392 2461 403 1 - 17.0000 -
3386.72/3397.22 c 3397 2466 402 1 - 17.0000 -
3394.50/3405.09 c 3405 2471 401 1 - 17.0000 -
3404.87/3415.40 c 3415 2474 400 1 - 17.0000 -
3412.56/3423.16 c 3423 2479 401 1 - 17.0000 -
3419.94/3430.55 c 3431 2482 402 1 - 17.0000 -
3425.72/3436.36 c 3436 2487 403 1 - 17.0000 -
3430.91/3441.56 c 3442 2493 401 1 - 17.0000 -
3436.19/3446.83 c 3447 2497 401 1 - 17.0000 -
3442.27/3452.95 c 3453 2503 399 1 - 17.0000 -
3447.46/3458.12 c 3458 2508 400 1 - 17.0000 -
3455.03/3465.76 c 3466 2515 396 1 - 17.0000 -
3461.12/3471.87 c 3472 2519 396 1 - 17.0000 -
3466.60/3477.34 c 3477 2524 395 1 - 17.0000 -
3472.09/3482.82 c 3483 2529 394 1 - 17.0000 -
3478.67/3489.48 c 3489 2535 394 1 - 17.0000 -
3485.26/3496.03 c 3496 2539 392 1 - 17.0000 -
3496.73/3507.51 c 3508 2545 394 1 - 17.0000 -
3502.01/3512.85 c 3513 2554 393 1 - 17.0000 -
3509.39/3520.29 c 3520 2561 392 1 - 17.0000 -
3515.78/3526.60 c 3527 2566 389 1 - 17.0000 -
3520.86/3531.76 c 3532 2570 391 1 - 17.0000 -
3526.35/3537.29 c 3537 2577 390 1 - 17.0000 -
3531.94/3542.86 c 3543 2583 388 1 - 17.0000 -
3537.73/3548.69 c 3549 2589 390 1 - 17.0000 -
3544.01/3554.95 c 3555 2597 388 1 - 17.0000 -
3551.10/3562.04 c 3562 2604 389 1 - 17.0000 -
3557.58/3568.57 c 3569 2609 388 1 - 17.0000 -
3562.66/3573.61 c 3574 2614 386 1 - 17.0000 -
3569.05/3580.01 c 3580 2619 387 1 - 17.0000 -
3575.93/3586.97 c 3587 2625 384 1 - 17.0000 -
3581.52/3592.55 c 3593 2632 385 1 - 17.0000 -
3587.90/3598.99 c 3599 2640 383 1 - 17.0000 -
3589.00/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.00/3600.06 c Total Time : 3600.0700
3589.00/3600.06 c solving : 3600.0700
3589.00/3600.06 c presolving : 9.2547 (included in solving)
3589.00/3600.06 c B&B Tree :
3589.00/3600.06 c nodes (total) : 1
3589.00/3600.06 c Solution :
3589.00/3600.06 c Solutions found : 0
3589.00/3600.06 c Primal Bound : -
3589.00/3600.06 c Dual Bound : +1.70000000000000e+01
3589.00/3600.06 c Gap : -
3589.10/3600.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60286 MiB free)
memory of node 1: 64510 MiB (29705 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459396-1721898506/watcher-4459396-1721898506 -o /tmp/evaluation-result-4459396-1721898506/solver-4459396-1721898506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230598 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459396-1721898506.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=230923, runsolver pid=230920
[startup+0.100936 s]*
/proc/loadavg: 4.12 3.30 2.48 5/259 230924
/proc/meminfo: memFree=92079052/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=89820 memory=79064 CPUtime=0.1 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 17520 0 0 0 8 2 0 0 20 0 1 0 26373501 91975680 19766 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 22455 19766 2558 3032 0 18855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 79064 KiB
[startup+0.205657 s]*
/proc/loadavg: 4.12 3.30 2.48 5/259 230924
/proc/meminfo: memFree=92050156/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=121640 memory=107476 CPUtime=0.2 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 24573 0 0 0 17 3 0 0 20 0 1 0 26373501 124559360 26869 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 30410 26869 2638 3032 0 26810 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 121640 KiB
Current children cumulated memory: 107476 KiB
[startup+0.305602 s]*
/proc/loadavg: 4.12 3.30 2.48 5/259 230924
/proc/meminfo: memFree=92036464/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=122032 memory=108268 CPUtime=0.3 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 26420 0 0 0 27 3 0 0 20 0 1 0 26373501 124960768 27067 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 30508 27067 2654 3032 0 26908 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 122032 KiB
Current children cumulated memory: 108268 KiB
[startup+0.700193 s]
/proc/loadavg: 4.12 3.30 2.48 5/259 230924
/proc/meminfo: memFree=92025712/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=124968 memory=110788 CPUtime=0.69 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 29382 0 0 0 66 3 0 0 20 0 1 0 26373501 127967232 27697 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 31242 27697 2750 3032 0 27642 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 124968 KiB
Current children cumulated memory: 110788 KiB
[startup+1.50023 s]
/proc/loadavg: 4.12 3.30 2.48 5/259 230924
/proc/meminfo: memFree=91994064/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=129832 memory=115536 CPUtime=1.48 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 30585 0 0 0 145 3 0 0 20 0 1 0 26373501 132947968 28884 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 32458 28884 2750 3032 0 28858 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 129832 KiB
Current children cumulated memory: 115536 KiB
[startup+3.10548 s]
/proc/loadavg: 4.11 3.31 2.49 5/259 230924
/proc/meminfo: memFree=91878036/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=134448 memory=120816 CPUtime=3.08 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 31918 0 0 0 304 4 0 0 20 0 1 0 26373501 137674752 30204 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 33612 30204 2750 3032 0 30012 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134448 KiB
Current children cumulated memory: 120816 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 3.31 2.49 5/259 230926
/proc/meminfo: memFree=91715224/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=134448 memory=121080 CPUtime=6.27 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 31924 0 0 0 623 4 0 0 20 0 1 0 26373501 137674752 30270 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 33612 30270 2750 3032 0 30012 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 134448 KiB
Current children cumulated memory: 121080 KiB
[startup+12.701 s]
/proc/loadavg: 4.10 3.32 2.50 5/261 230928
/proc/meminfo: memFree=91247780/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=337140 memory=267132 CPUtime=12.63 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 84470 0 0 0 1252 11 0 0 20 0 3 0 26373501 345231360 66783 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 84285 66783 2926 3032 0 77886 0
[pid=230923/tid=230927] ppid=230920 vsize=337140 memory=255756 CPUtime=3.26 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 43557 0 0 0 321 5 0 0 20 0 3 0 26374438 345231360 66783 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=337140 memory=2657 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 26374444 345231360 66783 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 337140 KiB
Current children cumulated memory: 267132 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 3.36 2.52 5/261 230930
/proc/meminfo: memFree=90545708/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=337140 memory=270028 CPUtime=25.36 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 101913 0 0 0 2524 12 0 0 20 0 3 0 26373501 345231360 67507 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 84285 67507 2942 3032 0 78570 0
[pid=230923/tid=230927] ppid=230920 vsize=337140 memory=268228 CPUtime=16 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 60972 0 0 0 1594 6 0 0 20 0 3 0 26374438 345231360 67507 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=337140 memory=13524 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 26374444 345231360 67507 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 337140 KiB
Current children cumulated memory: 270028 KiB
[startup+51.1054 s]
/proc/loadavg: 4.19 3.44 2.57 5/262 230982
/proc/meminfo: memFree=119766548/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=427832 memory=317892 CPUtime=50.88 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 152138 0 0 0 5072 16 0 0 20 0 3 0 26373501 438099968 79473 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 106958 79473 2942 3032 0 90959 0
[pid=230923/tid=230927] ppid=230920 vsize=427832 memory=316400 CPUtime=41.51 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 111183 0 0 0 4141 10 0 0 20 0 3 0 26374438 438099968 79473 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=427832 memory=12156 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 26374444 438099968 79473 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 317892 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 3.59 2.67 5/264 230993
/proc/meminfo: memFree=119473408/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=427832 memory=331284 CPUtime=101.9 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 213824 0 0 0 10170 20 0 0 20 0 3 0 26373501 438099968 82821 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 106958 82821 2942 3032 0 95286 0
[pid=230923/tid=230927] ppid=230920 vsize=427832 memory=12156 CPUtime=92.53 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 172848 0 0 0 9239 14 0 0 20 0 3 0 26374438 438099968 82821 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=427832 memory=13524 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 26374444 438099968 82821 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 427832 KiB
Current children cumulated memory: 331284 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 3.70 2.77 5/266 231007
/proc/meminfo: memFree=119323396/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=493368 memory=370916 CPUtime=161.68 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 257214 0 0 0 16144 24 0 0 20 0 3 0 26373501 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 123342 92729 2990 3032 0 105813 0
[pid=230923/tid=230927] ppid=230920 vsize=493368 memory=370400 CPUtime=152.31 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 216162 0 0 0 15213 18 0 0 20 0 3 0 26374438 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=493368 memory=12156 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 26374444 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 493368 KiB
Current children cumulated memory: 370916 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.75 2.85 4/257 231190
/proc/meminfo: memFree=120015776/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=493368 memory=370916 CPUtime=221.48 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 273704 0 0 0 22123 25 0 0 20 0 3 0 26373501 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 123342 92729 2990 3032 0 105813 0
[pid=230923/tid=230927] ppid=230920 vsize=493368 memory=132 CPUtime=212.11 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 232605 0 0 0 21192 19 0 0 20 0 3 0 26374438 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=493368 memory=1896 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 87 0 0 0 0 0 0 0 20 0 3 0 26374444 505208832 92729 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 493368 KiB
Current children cumulated memory: 370916 KiB
[startup+282.3 s]
/proc/loadavg: 3.59 3.66 2.88 4/257 231202
/proc/meminfo: memFree=119892272/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=493368 memory=371536 CPUtime=281.27 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 295941 0 0 0 28101 26 0 0 20 0 3 0 26373501 505208832 92884 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 123342 92884 2990 3032 0 105813 0
[pid=230923/tid=230927] ppid=230920 vsize=493368 memory=68440 CPUtime=271.9 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 254803 0 0 0 27170 20 0 0 20 0 3 0 26374438 505208832 92884 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=493368 memory=12156 CPUtime=0 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 3 0 26374444 505208832 92884 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 493368 KiB
################
# More data... #
################
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3451.64 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1205329 0 0 0 345073 91 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=535168 CPUtime=3442.16 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1162182 0 0 0 344135 81 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=535232 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 393 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3522.3 s]
/proc/loadavg: 1.07 1.45 1.84 2/237 233038
/proc/meminfo: memFree=123564808/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3511.49 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1205986 0 0 0 351058 91 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=12156 CPUtime=3502.02 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1162790 0 0 0 350120 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=12156 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 404 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.40 1.79 2/237 233048
/proc/meminfo: memFree=123564020/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3571.34 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1206930 0 0 0 357042 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=535232 CPUtime=3561.86 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163704 0 0 0 356104 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=535232 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 413 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3571.34 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3600.12 s]
# the end of solver process 230923 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.2 s, system=0.923693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.12 1.39 1.79 2/237 233049
/proc/meminfo: memFree=123563972/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3573.04 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1206930 0 0 0 357212 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=6720659939691347301 CPUtime=3563.56 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163704 0 0 0 356274 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=7881696724453321575 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 413 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3590.4 s]
/proc/loadavg: 1.11 1.38 1.78 2/237 233051
/proc/meminfo: memFree=123563860/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3579.42 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207051 0 0 0 357850 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=12156 CPUtime=3569.94 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163804 0 0 0 356912 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=535232 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3579.42 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3596.8 s]
/proc/loadavg: 1.10 1.38 1.78 2/237 233052
/proc/meminfo: memFree=123563860/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3585.81 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207058 0 0 0 358489 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=12156 CPUtime=3576.32 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163811 0 0 0 357550 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=535232 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3598.4 s]
/proc/loadavg: 1.10 1.38 1.78 2/237 233052
/proc/meminfo: memFree=123563804/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3587.4 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207059 0 0 0 358648 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=68440 CPUtime=3577.92 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163812 0 0 0 357710 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=13524 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3599.2 s]
/proc/loadavg: 1.10 1.37 1.77 3/237 233052
/proc/meminfo: memFree=123563804/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3588.2 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207059 0 0 0 358728 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=12156 CPUtime=3578.72 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163812 0 0 0 357790 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=68440 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3599.6 s]
/proc/loadavg: 1.10 1.37 1.77 3/237 233052
/proc/meminfo: memFree=123563804/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=624440 memory=535232 CPUtime=3588.6 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207059 0 0 0 358768 92 0 0 20 0 3 0 26373501 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 156110 133808 3310 3032 0 140254 0
[pid=230923/tid=230927] ppid=230920 vsize=624440 memory=68440 CPUtime=3579.12 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1163812 0 0 0 357830 82 0 0 20 0 3 0 26374438 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=624440 memory=6720659939691347301 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 639426560 133808 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3588.6 s
Current children cumulated vsize: 624440 KiB
Current children cumulated memory: 535232 KiB
[startup+3600 s]*
/proc/loadavg: 1.10 1.37 1.77 2/237 233052
/proc/meminfo: memFree=123588676/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=599284 memory=510076 CPUtime=3589 cores=0,2
/proc/230923/stat : 230923 (fscip) S 230920 230923 225328 0 -1 1077936128 1207258 0 0 0 358808 92 0 0 20 0 3 0 26373501 613666816 127519 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 149821 127519 3310 3032 0 133965 0
[pid=230923/tid=230927] ppid=230920 vsize=599284 memory=27796 CPUtime=3579.52 cores=0,2
/proc/230923/task/230927/stat : 230927 (fscip) R 230920 230923 225328 0 -1 4194368 1164007 0 0 0 357870 82 0 0 20 0 3 0 26374438 613666816 127519 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
[pid=230923/tid=230928] ppid=230920 vsize=599284 memory=30924 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 3 0 26374444 613666816 127519 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3589 s
Current children cumulated vsize: 599284 KiB
Current children cumulated memory: 510076 KiB
[startup+3600.11 s]
/proc/loadavg: 1.10 1.37 1.77 2/237 233052
/proc/meminfo: memFree=123588676/131524600 swapFree=131061428/131071996
[pid=230923] ppid=230920 vsize=576076 memory=485848 CPUtime=3589.1 cores=0,2
/proc/230923/stat : 230923 (fscip) R 230920 230923 225328 0 -1 4194304 1208398 0 0 0 358818 92 0 0 20 0 2 0 26373501 589901824 121462 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
/proc/230923/statm: 144019 121462 3310 3032 0 128163 0
[pid=230923/tid=230928] ppid=230920 vsize=576076 memory=535232 CPUtime=0.02 cores=0,2
/proc/230923/task/230928/stat : 230928 (fscip) S 230920 230923 225328 0 -1 1077936192 417 0 0 0 1 1 0 0 20 0 2 0 26374444 589901824 121462 134679101440 4194304 16613245 140724718307744 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 28508160 140724718310421 140724718310537 140724718310537 140724718317552 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 576076 KiB
Current children cumulated memory: 485848 KiB
Child status: 0
Real time (s): 3600.12
CPU time (s): 3589.12
CPU user time (s): 3588.2
CPU system time (s): 0.923693
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 624440
Max. memory (cumulated for all children) (KiB): 535232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.2
system time used= 0.923693
maximum resident set size= 535232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1209332
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= 6621
involuntary context switches= 25186
# summary of solver processes directly reported to runsolver:
# pid: 230923
# total CPU time (s): 3589.12
# total CPU user time (s): 3588.2
# total CPU system time (s): 0.923693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0272 second user time and 13.8713 second system time
The end
Begin job on nodeC022 at 2024-07-25 11:08:26
IDJOB=4459396
IDBENCH=178791
IDSOLVER=3064
FILE ID=nodeC022/4459396-1721898506
RUNJOBID= nodeC022-1721898119-230598
SLURM_JOB_ID= 8089333
Free space on /tmp= 889908 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns903616.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-4459396-1721898506/watcher-4459396-1721898506 -o /tmp/evaluation-result-4459396-1721898506/solver-4459396-1721898506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721898119-230598 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459396-1721898506.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7ea4c2c57ab07c8372f618eaa0eff24
RANDOM SEED=1267392958
nodeC022.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 : 3662.389
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.87
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 : 3684.188
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.75
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 : 3663.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.87
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 : 3600.183
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.75
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 : 3667.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.87
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 : 3684.220
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.75
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 : 3602.910
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.87
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.150
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.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 92152704 kB
MemAvailable: 97840552 kB
Buffers: 319264 kB
Cached: 6117676 kB
SwapCached: 1424 kB
Active: 2698664 kB
Inactive: 35842204 kB
Active(anon): 1952 kB
Inactive(anon): 32155448 kB
Active(file): 2696712 kB
Inactive(file): 3686756 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131061428 kB
Dirty: 29076 kB
Writeback: 12 kB
AnonPages: 32099636 kB
Mapped: 149776 kB
Shmem: 53732 kB
KReclaimable: 292148 kB
Slab: 415528 kB
SReclaimable: 292148 kB
SUnreclaim: 123380 kB
KernelStack: 4188 kB
PageTables: 72492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 32611448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4724736 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: 334548 kB
DirectMap2M: 36139008 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC022 at 2024-07-25 12:08:26