0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 47919104, getVmSize() = 47919104, SCIPgetMemUsed() = 22117116, SCIPgetMemTotal() = 25725612, SCIPgetMemExternEstim() = 11935515
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
8.75/8.85 c ** Estimated virtualMemUsedAtSolver = 79888294, getVmSize() = 132771840, SCIPgetMemUsed() = 76360094, SCIPgetMemTotal() = 107896926, SCIPgetMemExternEstim() = 11935515
8.75/8.85 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
8.75/8.85 c Original Problem :
8.75/8.85 c Problem name : instance-4446920-1721344160
8.75/8.85 c Variables : 6120 (6120 binary, 0 integer, 0 implicit integer, 0 continuous)
8.75/8.85 c Constraints : 6302
8.75/8.85 c Objective sense : minimize
8.75/8.85 c Presolved Problem :
8.75/8.85 c Variables : 5376 (5376 binary, 0 integer, 0 implicit integer, 0 continuous)
8.75/8.85 c Constraints : 5532
8.75/8.85 c Constraints : Number
8.75/8.85 c setppc : 1178
8.75/8.85 c orbitope : 3
8.75/8.85 c logicor : 4351
8.75/8.85 c ** Instance transfer method used: 0
8.75/8.86 c ** ParaScipInstance copy increased the number of variables. **
8.75/8.88 c LC is working with racing ramp-up and with rebuilding tree after racing.
8.75/8.88 c Nodes Active
8.75/8.88 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
118.05/119.16 c 119 2 1 1 - 0.0000 -
124.58/125.75 c 126 8 7 1 - 0.0000 -
130.82/132.04 c 132 14 13 1 - 0.0000 -
136.17/137.49 c 137 18 17 1 - 0.0000 -
144.99/146.34 c 146 29 18 1 - 0.0000 -
150.34/151.72 c 152 31 20 1 - 0.0000 -
155.69/157.17 c 157 38 21 1 - 0.0000 -
161.73/163.26 c 163 57 24 1 - 0.0000 -
168.07/169.62 c 170 77 26 1 - 0.0000 -
173.02/174.68 c 175 87 26 1 - 0.0000 -
179.47/181.14 c 181 102 25 1 - 0.0000 -
185.32/187.06 c 187 116 25 1 - 0.0000 -
191.76/193.55 c 194 127 24 1 - 0.0000 -
198.49/200.32 c 200 150 25 1 - 0.0000 -
204.93/206.82 c 207 170 25 1 - 0.0000 -
214.05/216.06 c 216 173 26 1 - 0.0000 -
219.29/221.37 c 221 175 28 1 - 0.0000 -
233.37/235.59 c 236 176 29 1 - 0.0000 -
239.51/241.76 c 242 185 30 1 - 0.0000 -
245.45/247.80 c 248 197 30 1 - 0.0000 -
252.19/254.53 c 255 204 37 1 - 0.0000 -
258.82/261.21 c 261 216 37 1 - 0.0000 -
264.48/266.90 c 267 222 43 1 - 0.0000 -
285.10/287.74 c 288 225 46 1 - 0.0000 -
293.73/296.40 c 296 230 51 1 - 0.0000 -
301.95/304.76 c 305 235 56 1 - 0.0000 -
309.88/312.73 c 313 242 61 1 - 0.0000 -
316.13/319.08 c 319 247 66 1 - 0.0000 -
323.27/326.21 c 326 252 69 1 - 0.0000 -
329.61/332.60 c 333 260 69 1 - 0.0000 -
336.55/339.64 c 340 262 71 1 - 0.0000 -
342.31/345.48 c 345 264 73 1 - 0.0000 -
363.52/366.80 c 367 267 76 1 - 0.0000 -
377.59/381.02 c 381 273 80 1 - 0.0000 -
383.94/387.46 c 387 275 82 1 - 0.0000 -
393.16/396.73 c 397 278 85 1 - 0.0000 -
398.81/402.49 c 402 281 86 1 - 0.0000 -
418.84/422.65 c 423 284 89 1 - 0.0000 -
426.58/430.41 c 430 286 89 1 - 0.0000 -
431.64/435.58 c 436 288 91 1 - 0.0000 -
441.85/445.81 c 446 290 93 1 - 0.0000 -
450.37/454.44 c 454 292 95 1 - 0.0000 -
461.47/465.69 c 466 295 98 1 - 0.0000 -
467.03/471.24 c 471 299 102 1 - 0.0000 -
471.99/476.24 c 476 300 103 1 - 0.0000 -
478.92/483.26 c 483 301 104 1 - 0.0000 -
495.38/499.84 c 500 305 108 1 - 0.0000 -
501.83/506.32 c 506 308 109 1 - 0.0000 -
506.88/511.45 c 511 311 112 1 - 0.0000 -
512.23/516.86 c 517 320 109 1 - 0.0000 -
518.38/523.06 c 523 325 108 1 - 0.0000 -
524.82/529.50 c 530 327 110 1 - 0.0000 -
535.22/540.02 c 540 328 111 1 - 0.0000 -
541.98/546.86 c 547 336 107 1 - 0.0000 -
547.13/552.02 c 552 342 107 1 - 0.0000 -
553.57/558.59 c 559 347 104 1 - 0.0000 -
559.32/564.37 c 564 355 107 1 - 0.0000 -
566.16/571.29 c 571 359 109 1 - 0.0000 -
576.27/581.42 c 581 369 109 1 - 0.0000 -
581.43/586.66 c 587 370 110 1 - 0.0000 -
850.92/857.72 c 858 372 112 1 - 0.0000 -
856.80/863.60 c 864 378 114 1 - 0.0000 -
862.69/869.51 c 870 385 115 1 - 0.0000 -
868.28/875.14 c 875 392 116 1 - 0.0000 -
873.45/880.35 c 880 401 119 1 - 0.0000 -
880.04/886.98 c 887 405 119 1 - 0.0000 -
886.12/893.09 c 893 410 122 1 - 0.0000 -
892.40/899.36 c 899 416 124 1 - 0.0000 -
901.47/908.40 c 908 422 128 1 - 0.0000 -
907.65/914.65 c 915 427 131 1 - 0.0000 -
913.63/920.65 c 921 432 134 1 - 0.0000 -
921.02/928.07 c 928 437 137 1 - 0.0000 -
927.89/934.98 c 935 440 134 1 - 0.0000 -
932.98/940.06 c 940 444 136 1 - 0.0000 -
941.85/948.93 c 949 446 138 1 - 0.0000 -
947.33/954.45 c 954 454 142 1 - 0.0000 -
954.91/962.06 c 962 457 145 1 - 0.0000 -
962.18/969.36 c 969 466 146 1 - 0.0000 -
968.06/975.28 c 975 472 148 1 - 0.0000 -
974.15/981.32 c 981 479 151 1 - 0.0000 -
985.01/992.28 c 992 482 154 1 - 0.0000 -
990.20/997.44 c 997 485 155 1 - 0.0000 -
995.88/1003.18 c 1003 491 157 1 - 0.0000 -
1001.96/1009.23 c 1009 494 160 1 - 0.0000 -
1008.94/1016.21 c 1016 502 162 1 - 0.0000 -
1015.32/1022.65 c 1023 506 164 1 - 0.0000 -
1021.00/1028.36 c 1028 509 165 1 - 0.0000 -
1029.08/1036.41 c 1036 511 165 1 - 0.0000 -
1034.77/1042.17 c 1042 516 164 1 - 0.0000 -
1039.85/1047.21 c 1047 519 167 1 - 0.0000 -
1046.64/1054.02 c 1054 524 168 1 - 0.0000 -
1051.62/1059.05 c 1059 526 168 1 - 0.0000 -
1056.90/1064.35 c 1064 529 171 1 - 0.0000 -
1062.88/1070.36 c 1070 535 171 1 - 0.0000 -
1068.86/1076.32 c 1076 543 173 1 - 0.0000 -
1077.34/1084.83 c 1085 552 174 1 - 0.0000 -
1083.92/1091.44 c 1091 557 179 1 - 0.0000 -
1096.08/1103.62 c 1104 562 184 1 - 0.0000 -
1102.57/1110.17 c 1110 569 189 1 - 0.0000 -
1108.05/1115.63 c 1116 573 189 1 - 0.0000 -
1114.03/1121.64 c 1122 576 190 1 - 0.0000 -
1119.51/1127.17 c 1127 585 197 1 - 0.0000 -
1127.58/1135.20 c 1135 587 199 1 - 0.0000 -
1134.76/1142.44 c 1142 595 203 1 - 0.0000 -
1142.44/1150.17 c 1150 600 208 1 - 0.0000 -
1147.72/1155.46 c 1155 604 212 1 - 0.0000 -
1153.41/1161.19 c 1161 609 217 1 - 0.0000 -
1162.38/1170.15 c 1170 615 221 1 - 0.0000 -
1168.36/1176.10 c 1176 619 225 1 - 0.0000 -
1175.14/1182.97 c 1183 620 226 1 - 0.0000 -
1181.82/1189.68 c 1190 625 231 1 - 0.0000 -
1188.20/1196.05 c 1196 632 236 1 - 0.0000 -
1194.09/1201.96 c 1202 636 240 1 - 0.0000 -
1201.66/1209.54 c 1210 645 245 1 - 0.0000 -
1207.55/1215.44 c 1215 651 251 1 - 0.0000 -
1218.02/1225.99 c 1226 657 253 1 - 0.0000 -
1229.68/1237.69 c 1238 660 256 1 - 0.0000 -
1235.26/1243.20 c 1243 664 260 1 - 0.0000 -
1240.45/1248.47 c 1248 668 262 1 - 0.0000 -
1254.20/1262.25 c 1262 670 264 1 - 0.0000 -
1259.79/1267.84 c 1268 674 266 1 - 0.0000 -
1265.37/1273.40 c 1273 676 268 1 - 0.0000 -
1271.25/1279.37 c 1279 689 277 1 - 0.0000 -
1283.40/1291.53 c 1292 693 279 1 - 0.0000 -
1289.58/1297.74 c 1298 701 285 1 - 0.0000 -
1306.82/1315.08 c 1315 703 287 1 - 0.0000 -
1312.29/1320.52 c 1321 712 288 1 - 0.0000 -
1318.07/1326.39 c 1326 722 290 1 - 0.0000 -
1324.75/1333.02 c 1333 727 295 1 - 0.0000 -
1332.83/1341.10 c 1341 734 298 1 - 0.0000 -
1351.76/1360.17 c 1360 735 299 1 - 0.0000 -
1359.92/1368.33 c 1368 746 300 1 - 0.0000 -
1376.96/1385.49 c 1385 750 304 1 - 0.0000 -
1382.74/1391.23 c 1391 762 308 1 - 0.0000 -
1388.42/1396.93 c 1397 767 309 1 - 0.0000 -
1394.40/1402.94 c 1403 772 310 1 - 0.0000 -
1399.49/1408.03 c 1408 782 312 1 - 0.0000 -
1405.57/1414.18 c 1414 786 316 1 - 0.0000 -
1412.04/1420.63 c 1421 788 318 1 - 0.0000 -
1418.92/1427.50 c 1428 792 322 1 - 0.0000 -
1424.60/1433.26 c 1433 793 323 1 - 0.0000 -
1432.57/1441.24 c 1441 796 326 1 - 0.0000 -
1440.15/1448.87 c 1449 798 328 1 - 0.0000 -
1445.53/1454.29 c 1454 800 330 1 - 0.0000 -
1451.61/1460.30 c 1460 803 333 1 - 0.0000 -
1464.26/1473.05 c 1473 808 338 1 - 0.0000 -
1473.52/1482.34 c 1482 813 343 1 - 0.0000 -
1480.00/1488.86 c 1489 827 347 1 - 0.0000 -
1486.07/1494.93 c 1495 830 348 1 - 0.0000 -
1491.65/1500.51 c 1501 833 351 1 - 0.0000 -
1499.44/1508.33 c 1508 838 356 1 - 0.0000 -
1508.40/1517.31 c 1517 840 358 1 - 0.0000 -
1525.04/1534.00 c 1534 843 361 1 - 0.0000 -
1534.01/1543.02 c 1543 848 364 1 - 0.0000 -
1539.39/1548.41 c 1548 856 362 1 - 0.0000 -
1549.76/1558.85 c 1559 860 364 1 - 0.0000 -
1557.44/1566.59 c 1567 862 366 1 - 0.0000 -
1564.11/1573.22 c 1573 866 366 1 - 0.0000 -
1572.29/1581.47 c 1581 869 369 1 - 0.0000 -
1580.56/1589.77 c 1590 874 373 1 - 0.0000 -
1587.44/1596.60 c 1597 884 375 1 - 0.0000 -
1598.01/1607.28 c 1607 889 380 1 - 0.0000 -
1603.70/1612.95 c 1613 894 383 1 - 0.0000 -
1609.58/1618.85 c 1619 900 383 1 - 0.0000 -
1615.07/1624.38 c 1624 905 384 1 - 0.0000 -
1621.04/1630.38 c 1630 913 382 1 - 0.0000 -
1627.42/1636.77 c 1637 940 379 1 - 0.0000 -
1639.08/1648.44 c 1648 949 384 1 - 0.0000 -
1645.07/1654.42 c 1654 953 386 1 - 0.0000 -
1674.58/1684.04 c 1684 955 388 1 - 0.0000 -
1681.06/1690.50 c 1691 966 391 1 - 0.0000 -
1690.93/1700.46 c 1700 968 393 1 - 0.0000 -
1696.91/1706.40 c 1706 980 395 1 - 0.0000 -
1702.60/1712.18 c 1712 989 396 1 - 0.0000 -
1708.48/1718.07 c 1718 999 396 1 - 0.0000 -
1714.26/1723.87 c 1724 1007 398 1 - 0.0000 -
1721.83/1731.41 c 1731 1014 397 1 - 0.0000 -
1727.81/1737.46 c 1737 1018 401 1 - 0.0000 -
1733.40/1743.01 c 1743 1019 402 1 - 0.0000 -
1738.99/1748.67 c 1749 1021 404 1 - 0.0000 -
1745.37/1755.05 c 1755 1023 406 1 - 0.0000 -
1752.25/1761.94 c 1762 1037 406 1 - 0.0000 -
1758.53/1768.24 c 1768 1044 409 1 - 0.0000 -
1765.01/1774.78 c 1775 1047 408 1 - 0.0000 -
1772.89/1782.65 c 1783 1049 410 1 - 0.0000 -
1778.57/1788.36 c 1788 1057 412 1 - 0.0000 -
1783.95/1793.71 c 1794 1071 412 1 - 0.0000 -
1802.80/1812.64 c 1813 1079 418 1 - 0.0000 -
1807.98/1817.80 c 1818 1089 420 1 - 0.0000 -
1813.17/1823.08 c 1823 1091 422 1 - 0.0000 -
1818.45/1828.34 c 1828 1096 419 1 - 0.0000 -
1826.02/1835.92 c 1836 1101 424 1 - 0.0000 -
1833.00/1842.92 c 1843 1105 424 1 - 0.0000 -
1839.09/1849.09 c 1849 1111 424 1 - 0.0000 -
1844.77/1854.79 c 1855 1114 425 1 - 0.0000 -
1850.85/1860.85 c 1861 1123 426 1 - 0.0000 -
1856.43/1866.46 c 1866 1129 424 1 - 0.0000 -
1862.02/1872.09 c 1872 1136 425 1 - 0.0000 -
1867.50/1877.53 c 1878 1139 426 1 - 0.0000 -
1872.69/1882.78 c 1883 1147 428 1 - 0.0000 -
1878.47/1888.51 c 1889 1151 430 1 - 0.0000 -
1883.95/1894.05 c 1894 1157 430 1 - 0.0000 -
1889.63/1899.75 c 1900 1164 433 1 - 0.0000 -
1895.91/1906.08 c 1906 1168 433 1 - 0.0000 -
1901.09/1911.29 c 1911 1172 435 1 - 0.0000 -
1906.98/1917.15 c 1917 1177 436 1 - 0.0000 -
1911.97/1922.17 c 1922 1179 438 1 - 0.0000 -
1917.95/1928.19 c 1928 1180 439 1 - 0.0000 -
1923.73/1933.90 c 1934 1186 439 1 - 0.0000 -
1931.41/1941.67 c 1942 1189 442 1 - 0.0000 -
1937.69/1947.99 c 1948 1197 442 1 - 0.0000 -
1943.37/1953.65 c 1954 1201 442 1 - 0.0000 -
1950.45/1960.76 c 1961 1206 445 1 - 0.0000 -
1959.42/1969.78 c 1970 1208 447 1 - 0.0000 -
1966.30/1976.62 c 1977 1217 450 1 - 0.0000 -
1972.19/1982.53 c 1983 1219 450 1 - 0.0000 -
1984.65/1995.10 c 1995 1222 453 1 - 0.0000 -
1990.33/2000.72 c 2001 1229 448 1 - 0.0000 -
1997.00/2007.48 c 2007 1234 447 1 - 0.0000 -
2003.38/2013.89 c 2014 1242 445 1 - 0.0000 -
2009.17/2019.61 c 2020 1254 451 1 - 0.0000 -
2014.95/2025.49 c 2026 1281 452 1 - 0.0000 -
2021.03/2031.52 c 2032 1300 447 1 - 0.0000 -
2026.91/2037.46 c 2037 1312 447 1 - 0.0000 -
2037.68/2048.27 c 2048 1315 450 1 - 0.0000 -
2044.76/2055.34 c 2055 1322 451 1 - 0.0000 -
2050.84/2061.46 c 2061 1325 452 1 - 0.0000 -
2056.22/2066.81 c 2067 1329 452 1 - 0.0000 -
2061.60/2072.21 c 2072 1341 454 1 - 0.0000 -
2067.09/2077.72 c 2078 1350 455 1 - 0.0000 -
2075.47/2086.12 c 2086 1356 453 1 - 0.0000 -
2081.84/2092.53 c 2093 1364 451 1 - 0.0000 -
2087.72/2098.46 c 2098 1367 450 1 - 0.0000 -
2093.32/2104.08 c 2104 1374 453 1 - 0.0000 -
2101.19/2111.97 c 2112 1379 454 1 - 0.0000 -
2106.38/2117.11 c 2117 1383 454 1 - 0.0000 -
2112.66/2123.40 c 2123 1390 455 1 - 0.0000 -
2118.14/2128.90 c 2129 1400 457 1 - 0.0000 -
2123.23/2134.03 c 2134 1410 457 1 - 0.0000 -
2129.01/2139.84 c 2140 1420 457 1 - 0.0000 -
2135.39/2146.22 c 2146 1428 459 1 - 0.0000 -
2141.67/2152.59 c 2153 1437 458 1 - 0.0000 -
2147.15/2158.07 c 2158 1446 459 1 - 0.0000 -
2154.32/2165.20 c 2165 1451 462 1 - 0.0000 -
2162.70/2173.67 c 2174 1455 462 1 - 0.0000 -
2167.78/2178.71 c 2179 1456 463 1 - 0.0000 -
2173.56/2184.50 c 2184 1465 464 1 - 0.0000 -
2179.15/2190.16 c 2190 1472 465 1 - 0.0000 -
2185.43/2196.41 c 2196 1477 466 1 - 0.0000 -
2191.21/2202.21 c 2202 1490 469 1 - 0.0000 -
2196.69/2207.76 c 2208 1505 470 1 - 0.0000 -
2202.18/2213.27 c 2213 1515 468 1 - 0.0000 -
2208.15/2219.26 c 2219 1529 466 1 - 0.0000 -
2213.54/2224.62 c 2225 1536 469 1 - 0.0000 -
2219.42/2230.55 c 2231 1546 469 1 - 0.0000 -
2226.70/2237.83 c 2238 1550 473 1 - 0.0000 -
2233.38/2244.54 c 2245 1553 474 1 - 0.0000 -
2241.96/2253.14 c 2253 1557 476 1 - 0.0000 -
2248.64/2259.86 c 2260 1568 479 1 - 0.0000 -
2254.82/2266.06 c 2266 1584 485 1 - 0.0000 -
2261.00/2272.27 c 2272 1599 486 1 - 0.0000 -
2266.08/2277.31 c 2277 1605 486 1 - 0.0000 -
2272.77/2284.01 c 2284 1620 487 1 - 0.0000 -
2278.85/2290.15 c 2290 1638 483 1 - 0.0000 -
2284.23/2295.50 c 2296 1651 486 1 - 0.0000 -
2337.97/2349.47 c 2349 1656 0 1 - 0.0000 -
2361.88/2373.45 c 2373 1657 1 1 - 0.0000 -
2372.85/2384.43 c 2384 1667 11 1 - 0.0000 -
2378.93/2390.57 c 2391 1676 20 1 - 0.0000 -
2384.00/2395.65 c 2396 1689 21 1 - 0.0000 -
2390.38/2402.03 c 2402 1707 21 1 - 0.0000 -
2404.93/2416.69 c 2417 1710 24 1 - 0.0000 -
2410.41/2422.12 c 2422 1726 26 1 - 0.0000 -
2416.48/2428.23 c 2428 1747 23 1 - 0.0000 -
2427.05/2438.81 c 2439 1770 28 1 - 0.0000 -
2432.72/2444.56 c 2445 1778 26 1 - 0.0000 -
2438.01/2449.80 c 2450 1781 29 1 - 0.0000 -
2443.88/2455.78 c 2456 1793 31 1 - 0.0000 -
2449.56/2461.46 c 2461 1807 31 1 - 0.0000 -
2456.14/2468.01 c 2468 1821 31 1 - 0.0000 -
2461.72/2473.65 c 2474 1833 31 1 - 0.0000 -
2467.39/2479.39 c 2479 1852 30 1 - 0.0000 -
2473.48/2485.48 c 2485 1866 28 1 - 0.0000 -
2483.84/2495.89 c 2496 1870 32 1 - 0.0000 -
2489.92/2501.94 c 2502 1892 34 1 - 0.0000 -
2495.70/2507.77 c 2508 1916 34 1 - 0.0000 -
2501.78/2513.81 c 2514 1942 36 1 - 0.0000 -
2507.35/2519.44 c 2519 1962 34 1 - 0.0000 -
2513.83/2525.93 c 2526 1974 32 1 - 0.0000 -
2519.31/2531.40 c 2531 1987 37 1 - 0.0000 -
2524.79/2536.99 c 2537 2013 35 1 - 0.0000 -
2530.37/2542.59 c 2543 2028 36 1 - 0.0000 -
2535.96/2548.17 c 2548 2053 39 1 - 0.0000 -
2541.43/2553.65 c 2554 2074 34 1 - 0.0000 -
2546.71/2558.97 c 2559 2087 33 1 - 0.0000 -
2551.89/2564.11 c 2564 2107 37 1 - 0.0000 -
2557.97/2570.23 c 2570 2124 36 1 - 0.0000 -
2563.76/2576.05 c 2576 2147 37 1 - 0.0000 -
2571.33/2583.69 c 2584 2160 42 1 - 0.0000 -
2576.72/2589.03 c 2589 2185 41 1 - 0.0000 -
2581.80/2594.11 c 2594 2200 42 1 - 0.0000 -
2587.58/2599.90 c 2600 2224 40 1 - 0.0000 -
2592.77/2605.11 c 2605 2243 43 1 - 0.0000 -
2598.55/2610.90 c 2611 2269 41 1 - 0.0000 -
2604.53/2616.94 c 2617 2292 40 1 - 0.0000 -
2610.41/2622.83 c 2623 2311 39 1 - 0.0000 -
2616.49/2628.96 c 2629 2331 39 1 - 0.0000 -
2622.47/2634.95 c 2635 2352 44 1 - 0.0000 -
2628.15/2640.65 c 2641 2364 42 1 - 0.0000 -
2634.03/2646.51 c 2647 2377 39 1 - 0.0000 -
2639.32/2651.85 c 2652 2390 44 1 - 0.0000 -
2644.40/2656.95 c 2657 2408 42 1 - 0.0000 -
2650.60/2663.18 c 2663 2425 41 1 - 0.0000 -
2656.07/2668.61 c 2669 2439 45 1 - 0.0000 -
2662.26/2674.88 c 2675 2459 45 1 - 0.0000 -
2668.24/2680.87 c 2681 2479 45 1 - 0.0000 -
2673.52/2686.13 c 2686 2496 44 1 - 0.0000 -
2678.51/2691.17 c 2691 2513 43 1 - 0.0000 -
2683.59/2696.21 c 2696 2530 46 1 - 0.0000 -
2688.77/2701.46 c 2701 2545 45 1 - 0.0000 -
2694.05/2706.75 c 2707 2560 42 1 - 0.0000 -
2699.45/2712.11 c 2712 2573 43 1 - 0.0000 -
2704.83/2717.51 c 2718 2588 40 1 - 0.0000 -
2710.11/2722.84 c 2723 2606 40 1 - 0.0000 -
2715.19/2727.92 c 2728 2620 40 1 - 0.0000 -
2720.38/2733.17 c 2733 2634 40 1 - 0.0000 -
2725.66/2738.45 c 2738 2647 39 1 - 0.0000 -
2731.64/2744.42 c 2744 2667 37 1 - 0.0000 -
2736.73/2749.50 c 2750 2680 40 1 - 0.0000 -
2742.51/2755.35 c 2755 2702 42 1 - 0.0000 -
2747.99/2760.84 c 2761 2721 41 1 - 0.0000 -
2753.47/2766.36 c 2766 2742 42 1 - 0.0000 -
2758.55/2771.41 c 2771 2760 40 1 - 0.0000 -
2764.34/2777.20 c 2777 2778 40 1 - 0.0000 -
2769.63/2782.56 c 2783 2795 39 1 - 0.0000 -
2775.31/2788.26 c 2788 2813 39 1 - 0.0000 -
2781.10/2794.06 c 2794 2827 39 1 - 0.0000 -
2787.08/2800.06 c 2800 2842 38 1 - 0.0000 -
2792.06/2805.09 c 2805 2855 41 1 - 0.0000 -
2797.24/2810.20 c 2810 2869 39 1 - 0.0000 -
2803.03/2816.07 c 2816 2890 40 1 - 0.0000 -
2808.21/2821.21 c 2821 2903 37 1 - 0.0000 -
2814.10/2827.17 c 2827 2923 39 1 - 0.0000 -
2819.47/2832.57 c 2833 2943 38 1 - 0.0000 -
2824.66/2837.79 c 2838 2959 40 1 - 0.0000 -
2829.84/2842.99 c 2843 2975 40 1 - 0.0000 -
2835.32/2848.45 c 2848 2989 40 1 - 0.0000 -
2840.81/2853.93 c 2854 3009 42 1 - 0.0000 -
2846.39/2859.59 c 2860 3027 42 1 - 0.0000 -
2852.88/2866.00 c 2866 3047 38 1 - 0.0000 -
2858.45/2871.65 c 2872 3063 40 1 - 0.0000 -
2864.73/2877.92 c 2878 3079 38 1 - 0.0000 -
2870.21/2883.46 c 2883 3099 40 1 - 0.0000 -
2876.40/2889.63 c 2890 3117 40 1 - 0.0000 -
2881.68/2894.93 c 2895 3134 39 1 - 0.0000 -
2886.87/2900.16 c 2900 3153 42 1 - 0.0000 -
2893.24/2906.52 c 2907 3172 39 1 - 0.0000 -
2899.23/2912.56 c 2913 3191 42 1 - 0.0000 -
2905.42/2918.73 c 2919 3218 39 1 - 0.0000 -
2911.10/2924.41 c 2924 3232 37 1 - 0.0000 -
2917.18/2930.54 c 2931 3250 41 1 - 0.0000 -
2922.56/2935.96 c 2936 3272 40 1 - 0.0000 -
2927.65/2941.00 c 2941 3290 38 1 - 0.0000 -
2933.53/2946.97 c 2947 3309 39 1 - 0.0000 -
2938.72/2952.18 c 2952 3325 39 1 - 0.0000 -
2944.10/2957.52 c 2958 3339 37 1 - 0.0000 -
2949.98/2963.43 c 2963 3356 38 1 - 0.0000 -
2955.86/2969.32 c 2969 3375 39 1 - 0.0000 -
2961.24/2974.75 c 2975 3393 38 1 - 0.0000 -
2966.33/2979.86 c 2980 3408 41 1 - 0.0000 -
2971.81/2985.32 c 2985 3430 39 1 - 0.0000 -
2977.39/2990.96 c 2991 3445 42 1 - 0.0000 -
2982.38/2995.99 c 2996 3463 46 1 - 0.0000 -
2987.66/3001.22 c 3001 3479 42 1 - 0.0000 -
2993.56/3007.13 c 3007 3495 42 1 - 0.0000 -
2999.63/3013.30 c 3013 3511 40 1 - 0.0000 -
3005.42/3019.00 c 3019 3524 39 1 - 0.0000 -
3011.50/3025.14 c 3025 3542 39 1 - 0.0000 -
3017.08/3030.72 c 3031 3556 39 1 - 0.0000 -
3022.96/3036.64 c 3037 3572 39 1 - 0.0000 -
3028.94/3042.61 c 3043 3594 39 1 - 0.0000 -
3033.92/3047.69 c 3048 3610 39 1 - 0.0000 -
3039.50/3053.25 c 3053 3624 39 1 - 0.0000 -
3045.18/3058.91 c 3059 3645 38 1 - 0.0000 -
3050.78/3064.59 c 3065 3665 38 1 - 0.0000 -
3056.86/3070.62 c 3071 3685 40 1 - 0.0000 -
3063.04/3076.86 c 3077 3702 39 1 - 0.0000 -
3069.02/3082.88 c 3083 3718 39 1 - 0.0000 -
3074.80/3088.66 c 3089 3735 38 1 - 0.0000 -
3080.09/3093.92 c 3094 3748 39 1 - 0.0000 -
3085.57/3099.42 c 3099 3762 41 1 - 0.0000 -
3090.55/3104.45 c 3104 3777 41 1 - 0.0000 -
3095.64/3109.59 c 3110 3790 42 1 - 0.0000 -
3101.02/3114.91 c 3115 3801 43 1 - 0.0000 -
3106.90/3120.87 c 3121 3819 41 1 - 0.0000 -
3113.19/3127.13 c 3127 3840 40 1 - 0.0000 -
3119.57/3133.54 c 3134 3856 42 1 - 0.0000 -
3125.25/3139.20 c 3139 3875 41 1 - 0.0000 -
3130.33/3144.37 c 3144 3887 39 1 - 0.0000 -
3136.21/3150.29 c 3150 3904 42 1 - 0.0000 -
3142.50/3156.58 c 3157 3922 40 1 - 0.0000 -
3148.78/3162.86 c 3163 3941 43 1 - 0.0000 -
3154.06/3168.15 c 3168 3962 42 1 - 0.0000 -
3159.74/3173.88 c 3174 3978 40 1 - 0.0000 -
3164.82/3178.99 c 3179 3991 41 1 - 0.0000 -
3170.21/3184.39 c 3184 4004 42 1 - 0.0000 -
3175.99/3190.19 c 3190 4021 41 1 - 0.0000 -
3181.78/3195.90 c 3196 4040 40 1 - 0.0000 -
3188.06/3202.23 c 3202 4053 41 1 - 0.0000 -
3193.54/3207.75 c 3208 4064 38 1 - 0.0000 -
3199.43/3213.68 c 3214 4083 39 1 - 0.0000 -
3204.61/3218.85 c 3219 4094 40 1 - 0.0000 -
3210.09/3224.37 c 3224 4107 39 1 - 0.0000 -
3216.27/3230.56 c 3231 4119 37 1 - 0.0000 -
3221.56/3235.81 c 3236 4134 40 1 - 0.0000 -
3228.14/3242.47 c 3242 4153 41 1 - 0.0000 -
3233.22/3247.52 c 3248 4169 39 1 - 0.0000 -
3238.60/3252.91 c 3253 4187 39 1 - 0.0000 -
3244.59/3258.91 c 3259 4206 36 1 - 0.0000 -
3250.07/3264.42 c 3264 4219 37 1 - 0.0000 -
3256.25/3270.63 c 3271 4237 37 1 - 0.0000 -
3262.74/3277.17 c 3277 4257 35 1 - 0.0000 -
3268.42/3282.87 c 3283 4286 38 1 - 0.0000 -
3274.30/3288.71 c 3289 4309 35 1 - 0.0000 -
3279.28/3293.77 c 3294 4323 35 1 - 0.0000 -
3285.26/3299.78 c 3300 4337 39 1 - 0.0000 -
3291.44/3305.90 c 3306 4354 36 1 - 0.0000 -
3297.82/3312.30 c 3312 4371 37 1 - 0.0000 -
3303.70/3318.26 c 3318 4385 37 1 - 0.0000 -
3309.09/3323.62 c 3324 4405 37 1 - 0.0000 -
3314.27/3328.84 c 3329 4419 33 1 - 0.0000 -
3320.06/3334.64 c 3335 4429 33 1 - 0.0000 -
3325.74/3340.35 c 3340 4442 32 1 - 0.0000 -
3331.92/3346.51 c 3347 4458 34 1 - 0.0000 -
3337.90/3352.54 c 3353 4475 33 1 - 0.0000 -
3343.08/3357.75 c 3358 4495 31 1 - 0.0000 -
3348.07/3362.78 c 3363 4509 33 1 - 0.0000 -
3354.25/3368.95 c 3369 4535 33 1 - 0.0000 -
3360.53/3375.29 c 3375 4541 37 1 - 0.0000 -
3365.62/3380.37 c 3380 4557 37 1 - 0.0000 -
3371.70/3386.45 c 3386 4574 38 1 - 0.0000 -
3377.29/3392.05 c 3392 4605 41 1 - 0.0000 -
3382.28/3397.07 c 3397 4633 37 1 - 0.0000 -
3388.06/3402.81 c 3403 4658 36 1 - 0.0000 -
3393.14/3407.91 c 3408 4677 39 1 - 0.0000 -
3403.31/3418.18 c 3418 4683 41 1 - 0.0000 -
3408.89/3423.72 c 3424 4719 39 1 - 0.0000 -
3413.97/3428.86 c 3429 4740 35 1 - 0.0000 -
3420.35/3435.29 c 3435 4761 36 1 - 0.0000 -
3426.04/3440.92 c 3441 4784 35 1 - 0.0000 -
3431.23/3446.10 c 3446 4800 35 1 - 0.0000 -
3436.60/3451.56 c 3452 4816 37 1 - 0.0000 -
3442.39/3457.38 c 3457 4837 36 1 - 0.0000 -
3448.57/3463.53 c 3464 4854 37 1 - 0.0000 -
3454.55/3469.59 c 3470 4883 36 1 - 0.0000 -
3460.33/3475.33 c 3475 4899 36 1 - 0.0000 -
3465.91/3480.97 c 3481 4919 36 1 - 0.0000 -
3471.79/3486.86 c 3487 4936 35 1 - 0.0000 -
3477.88/3492.91 c 3493 4959 34 1 - 0.0000 -
3482.96/3498.10 c 3498 4975 34 1 - 0.0000 -
3489.34/3504.45 c 3504 4994 33 1 - 0.0000 -
3495.72/3510.81 c 3511 5015 34 1 - 0.0000 -
3501.60/3516.75 c 3517 5031 36 1 - 0.0000 -
3507.58/3522.74 c 3523 5049 36 1 - 0.0000 -
3513.56/3528.74 c 3529 5064 35 1 - 0.0000 -
3518.76/3533.98 c 3534 5080 35 1 - 0.0000 -
3525.34/3540.52 c 3541 5096 37 1 - 0.0000 -
3531.52/3546.78 c 3547 5118 35 1 - 0.0000 -
3536.80/3552.01 c 3552 5131 34 1 - 0.0000 -
3542.18/3557.44 c 3557 5152 35 1 - 0.0000 -
3547.17/3562.45 c 3562 5174 35 1 - 0.0000 -
3552.35/3567.66 c 3568 5192 35 1 - 0.0000 -
3558.83/3574.18 c 3574 5207 34 1 - 0.0000 -
3564.31/3579.60 c 3580 5222 35 1 - 0.0000 -
3569.29/3584.66 c 3585 5235 34 1 - 0.0000 -
3574.28/3589.68 c 3590 5251 34 1 - 0.0000 -
3579.56/3594.91 c 3595 5264 33 1 - 0.0000 -
3584.65/3600.00 c 3600 5280 35 0 - 0.0000 -
3584.65/3600.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.65/3600.06 c Total Time : 3600.0500
3584.65/3600.06 c solving : 3600.0500
3584.65/3600.06 c presolving : 8.8149 (included in solving)
3584.65/3600.06 c B&B Tree :
3584.65/3600.06 c nodes (total) : 1
3584.65/3600.06 c Solution :
3584.65/3600.06 c Solutions found : 0
3584.65/3600.06 c Primal Bound : -
3584.65/3600.06 c Dual Bound : +0.00000000000000e+00
3584.65/3600.06 c Gap : -
3584.65/3600.07 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 (62101 MiB free)
memory of node 1: 64510 MiB (62588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446920-1721344160/watcher-4446920-1721344160 -o /tmp/evaluation-result-4446920-1721344160/solver-4446920-1721344160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980428 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446920-1721344160.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=982767, runsolver pid=982764
[startup+0.100206 s]*
/proc/loadavg: 4.20 4.28 4.18 5/256 982768
/proc/meminfo: memFree=127564472/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=58200 memory=47032 CPUtime=0.09 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 10231 0 0 0 8 1 0 0 20 0 1 0 186576245 59596800 11758 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 14550 11758 2638 3032 0 10950 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58200 KiB
Current children cumulated memory: 47032 KiB
[startup+0.205463 s]*
/proc/loadavg: 4.20 4.28 4.18 5/256 982768
/proc/meminfo: memFree=127530640/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=63192 memory=51928 CPUtime=0.2 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 12010 0 0 0 18 2 0 0 20 0 1 0 186576245 64708608 12982 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 15798 12982 2718 3032 0 12198 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63192 KiB
Current children cumulated memory: 51928 KiB
[startup+0.305537 s]*
/proc/loadavg: 4.20 4.28 4.18 5/256 982768
/proc/meminfo: memFree=127496288/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=81232 memory=67752 CPUtime=0.3 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 16006 0 0 0 28 2 0 0 20 0 1 0 186576245 83181568 16938 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 20308 16938 2734 3032 0 16708 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 81232 KiB
Current children cumulated memory: 67752 KiB
[startup+0.700221 s]
/proc/loadavg: 4.20 4.28 4.18 5/256 982768
/proc/meminfo: memFree=127485808/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=83648 memory=70124 CPUtime=0.68 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 16609 0 0 0 66 2 0 0 20 0 1 0 186576245 85655552 17531 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 20912 17531 2734 3032 0 17312 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83648 KiB
Current children cumulated memory: 70124 KiB
[startup+1.50023 s]
/proc/loadavg: 4.18 4.27 4.18 6/256 982769
/proc/meminfo: memFree=127437060/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=83648 memory=70916 CPUtime=1.48 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 16806 0 0 0 146 2 0 0 20 0 1 0 186576245 85655552 17729 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 20912 17729 2734 3032 0 17312 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83648 KiB
Current children cumulated memory: 70916 KiB
[startup+3.10541 s]
/proc/loadavg: 4.18 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128045724/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=83784 memory=71180 CPUtime=3.08 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 16837 0 0 0 306 2 0 0 20 0 1 0 186576245 85794816 17795 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 20946 17795 2734 3032 0 17346 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83784 KiB
Current children cumulated memory: 71180 KiB
[startup+6.30021 s]
/proc/loadavg: 4.17 4.27 4.18 5/254 982815
/proc/meminfo: memFree=128041180/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=84820 memory=72236 CPUtime=6.26 cores=0,2
/proc/982767/stat : 982767 (fscip) R 982764 982767 980418 0 -1 4194304 17095 0 0 0 624 2 0 0 20 0 1 0 186576245 86855680 18059 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 21205 18059 2734 3032 0 17605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84820 KiB
Current children cumulated memory: 72236 KiB
[startup+12.7012 s]
/proc/loadavg: 4.15 4.26 4.18 5/258 982821
/proc/meminfo: memFree=127836036/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=223028 memory=170560 CPUtime=12.62 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 49933 0 0 0 1256 6 0 0 20 0 3 0 186576245 228380672 42640 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 55757 42640 2910 3032 0 51141 0
[pid=982767/tid=982818] ppid=982764 vsize=223028 memory=8238314791842327686 CPUtime=3.78 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 23117 0 0 0 376 2 0 0 20 0 3 0 186577131 228380672 42640 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=223028 memory=1749411 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 186577133 228380672 42640 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 223028 KiB
Current children cumulated memory: 170560 KiB
[startup+25.5012 s]
/proc/loadavg: 4.13 4.26 4.18 5/258 982822
/proc/meminfo: memFree=127826900/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=223164 memory=172668 CPUtime=25.3 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 66485 0 0 0 2523 7 0 0 20 0 3 0 186576245 228519936 43167 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 55791 43167 2910 3032 0 51654 0
[pid=982767/tid=982818] ppid=982764 vsize=223164 memory=172596 CPUtime=16.47 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 39641 0 0 0 1644 3 0 0 20 0 3 0 186577131 228519936 43167 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=223164 memory=172644 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 186577133 228519936 43167 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 223164 KiB
Current children cumulated memory: 172668 KiB
[startup+51.1062 s]
/proc/loadavg: 4.22 4.26 4.18 5/262 982833
/proc/meminfo: memFree=127372288/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=358696 memory=274576 CPUtime=50.67 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 124689 0 0 0 5054 13 0 0 20 0 3 0 186576245 367304704 68644 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 89674 68644 2942 3032 0 77980 0
[pid=982767/tid=982818] ppid=982764 vsize=358696 memory=274528 CPUtime=41.82 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 97828 0 0 0 4174 8 0 0 20 0 3 0 186577131 367304704 68644 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=358696 memory=11400 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 186577133 367304704 68644 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 50.67 s
Current children cumulated vsize: 358696 KiB
Current children cumulated memory: 274576 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 4.24 4.18 5/264 982844
/proc/meminfo: memFree=126983852/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=358696 memory=277108 CPUtime=101.4 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 153902 0 0 0 10125 15 0 0 20 0 3 0 186576245 367304704 69277 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 89674 69277 2942 3032 0 77980 0
[pid=982767/tid=982818] ppid=982764 vsize=358696 memory=44432 CPUtime=92.55 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 127031 0 0 0 9245 10 0 0 20 0 3 0 186577131 367304704 69277 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=358696 memory=277108 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 186577133 367304704 69277 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 101.4 s
Current children cumulated vsize: 358696 KiB
Current children cumulated memory: 277108 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/264 982854
/proc/meminfo: memFree=126957112/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=358696 memory=277988 CPUtime=160.84 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 187189 0 0 0 16067 17 0 0 20 0 3 0 186576245 367304704 69497 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 89674 69497 2990 3032 0 77980 0
[pid=982767/tid=982818] ppid=982764 vsize=358696 memory=277876 CPUtime=151.99 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 160250 0 0 0 15187 12 0 0 20 0 3 0 186577131 367304704 69497 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=358696 memory=11400 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 186577133 367304704 69497 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 160.84 s
Current children cumulated vsize: 358696 KiB
Current children cumulated memory: 277988 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/264 982864
/proc/meminfo: memFree=126928956/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=358828 memory=278028 CPUtime=220.28 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 211352 0 0 0 22010 18 0 0 20 0 3 0 186576245 367439872 69507 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 89707 69507 2990 3032 0 78013 0
[pid=982767/tid=982818] ppid=982764 vsize=358828 memory=278016 CPUtime=211.44 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 184387 0 0 0 21130 14 0 0 20 0 3 0 186577131 367439872 69507 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=358828 memory=11400 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 186577133 367439872 69507 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 220.28 s
Current children cumulated vsize: 358828 KiB
Current children cumulated memory: 278028 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/264 982877
/proc/meminfo: memFree=126851724/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=358828 memory=278036 CPUtime=279.73 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 224612 0 0 0 27954 19 0 0 20 0 3 0 186576245 367439872 69509 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 89707 69509 2990 3032 0 78013 0
[pid=982767/tid=982818] ppid=982764 vsize=358828 memory=278036 CPUtime=270.9 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 197615 0 0 0 27075 15 0 0 20 0 3 0 186577131 367439872 69509 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=358828 memory=11400 CPUtime=0 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 186577133 367439872 69509 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 279.73 s
Current children cumulated vsize: 358828 KiB
################
# More data... #
################
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=362564 CPUtime=3378.6 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 492750 0 0 0 337806 54 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=362564 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 294 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3387.56 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 984638
/proc/meminfo: memFree=126138584/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3447.37 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 521666 0 0 0 344673 64 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=362564 CPUtime=3438.41 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 493568 0 0 0 343787 54 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=362564 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 300 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3447.37 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 984649
/proc/meminfo: memFree=126137788/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3507.18 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 522587 0 0 0 350654 64 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=362564 CPUtime=3498.22 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 494469 0 0 0 349768 54 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=349740 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 306 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3507.18 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 984659
/proc/meminfo: memFree=126136932/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3567 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 523496 0 0 0 356635 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=362564 CPUtime=3558.04 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 495360 0 0 0 355749 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=12740 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3567 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3600.08 s]
# the end of solver process 982767 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.08 s, system=0.662177 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/262 984659
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3568.7 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 523512 0 0 0 356805 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=6720661034891362925 CPUtime=3559.74 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 495376 0 0 0 355919 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=8041354745950281120 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3568.7 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 984659
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3575.08 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 523528 0 0 0 357443 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=362564 CPUtime=3566.12 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 495392 0 0 0 356557 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=362564 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3575.08 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136952/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3581.46 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 523996 0 0 0 358081 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=68 CPUtime=3572.5 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 495860 0 0 0 357195 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=362564 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3581.46 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3598.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136952/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3583.05 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 524121 0 0 0 358240 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=1904 CPUtime=3574.09 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 495981 0 0 0 357354 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=362564 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3583.05 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3599.2 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3583.85 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 524143 0 0 0 358320 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=11400 CPUtime=3574.89 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 496002 0 0 0 357434 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=44432 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3599.6 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126136980/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3584.25 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 524144 0 0 0 358360 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=5600 CPUtime=3575.29 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 496003 0 0 0 357474 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=21236 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3584.25 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
[startup+3600 s]*
/proc/loadavg: 4.06 4.11 4.09 5/262 984660
/proc/meminfo: memFree=126243400/131524600 swapFree=131071996/131071996
[pid=982767] ppid=982764 vsize=420428 memory=362564 CPUtime=3584.65 cores=0,2
/proc/982767/stat : 982767 (fscip) S 982764 982767 980418 0 -1 1077936128 524145 0 0 0 358400 65 0 0 20 0 3 0 186576245 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
/proc/982767/statm: 105107 90641 3310 3032 0 94124 0
[pid=982767/tid=982818] ppid=982764 vsize=420428 memory=6720661034891362925 CPUtime=3575.69 cores=0,2
/proc/982767/task/982818/stat : 982818 (fscip) R 982764 982767 980418 0 -1 4194368 496004 0 0 0 357514 55 0 0 20 0 3 0 186577131 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
[pid=982767/tid=982819] ppid=982764 vsize=420428 memory=23288 CPUtime=0.02 cores=0,2
/proc/982767/task/982819/stat : 982819 (fscip) S 982764 982767 980418 0 -1 1077936192 308 0 0 0 1 1 0 0 20 0 3 0 186577133 430518272 90641 134679101440 4194304 16613245 140733532946928 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53452800 140733532955668 140733532955784 140733532955784 140733532962800 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 362564 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3584.74
CPU user time (s): 3584.08
CPU system time (s): 0.662177
CPU usage (%): 99.5739
Max. virtual memory (cumulated for all children) (KiB): 424888
Max. memory (cumulated for all children) (KiB): 362564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.08
system time used= 0.662177
maximum resident set size= 362564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524758
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= 7125
involuntary context switches= 28749
# summary of solver processes directly reported to runsolver:
# pid: 982767
# total CPU time (s): 3584.74
# total CPU user time (s): 3584.08
# total CPU system time (s): 0.662177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55119 second user time and 13.5337 second system time
The end
Begin job on nodeC015 at 2024-07-19 01:09:32
IDJOB=4446920
IDBENCH=158339
IDSOLVER=3064
FILE ID=nodeC015/4446920-1721344160
RUNJOBID= nodeC015-1721340572-980428
SLURM_JOB_ID= 7542724
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.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-4446920-1721344160/watcher-4446920-1721344160 -o /tmp/evaluation-result-4446920-1721344160/solver-4446920-1721344160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980428 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446920-1721344160.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1321663380
nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.727
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.790
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.25
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 : 3652.275
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.61
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.256
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.25
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 : 3668.906
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
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 : 3629.981
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.25
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 : 3617.335
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.61
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 : 3684.515
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127697584 kB
MemAvailable: 128882080 kB
Buffers: 508968 kB
Cached: 1502252 kB
SwapCached: 0 kB
Active: 1646820 kB
Inactive: 1545320 kB
Active(anon): 1548 kB
Inactive(anon): 1216764 kB
Active(file): 1645272 kB
Inactive(file): 328556 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 86924 kB
Writeback: 36 kB
AnonPages: 1178964 kB
Mapped: 138748 kB
Shmem: 37720 kB
KReclaimable: 100628 kB
Slab: 213068 kB
SReclaimable: 100628 kB
SUnreclaim: 112440 kB
KernelStack: 4140 kB
PageTables: 10900 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1198552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1118208 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC015 at 2024-07-19 02:09:33