0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 47243264, getVmSize() = 47243264, SCIPgetMemUsed() = 21331633, SCIPgetMemTotal() = 24920777, SCIPgetMemExternEstim() = 13363524
0.00/0.10 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.60/0.65 c ** Estimated virtualMemUsedAtSolver = 39950610, getVmSize() = 70901760, SCIPgetMemUsed() = 25330216, SCIPgetMemTotal() = 46562392, SCIPgetMemExternEstim() = 13363524
0.60/0.65 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.60/0.65 c Original Problem :
0.60/0.65 c Problem name : instance-4464661-1722386202
0.60/0.65 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.65 c Constraints : 9472
0.60/0.65 c Objective sense : minimize
0.60/0.65 c Presolved Problem :
0.60/0.65 c Variables : 3497 (3497 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.65 c Constraints : 7945
0.60/0.65 c Constraints : Number
0.60/0.65 c and : 32
0.60/0.65 c linear : 1502
0.60/0.65 c logicor : 6411
0.60/0.65 c ** Instance transfer method used: 0
0.60/0.68 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.71 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.71 c Nodes Active
0.69/0.71 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
41.65/41.84 c 42 2 1 1 - 0.0000 -
51.93/52.11 c 52 28 27 1 - 0.0000 -
60.69/60.92 c 61 35 34 1 - 0.0000 -
219.61/220.36 c 220 45 44 1 - 0.0000 -
227.39/228.14 c 228 52 51 1 - 0.0000 -
232.46/233.24 c 233 55 54 1 - 0.0000 -
239.35/240.14 c 240 58 57 1 - 0.0000 -
246.52/247.38 c 247 62 61 1 - 0.0000 -
254.79/255.65 c 256 68 67 1 - 0.0000 -
262.66/263.53 c 264 75 74 1 - 0.0000 -
270.54/271.48 c 271 82 81 1 - 0.0000 -
278.61/279.57 c 280 88 87 1 - 0.0000 -
284.79/285.78 c 286 95 94 1 - 0.0000 -
293.26/294.22 c 294 102 101 1 - 0.0000 -
300.52/301.51 c 302 113 112 1 - 0.0000 -
307.51/308.52 c 309 122 121 1 - 0.0000 -
314.19/315.21 c 315 126 125 1 - 0.0000 -
323.55/324.66 c 325 158 157 1 - 0.0000 -
329.53/330.64 c 331 171 170 1 - 0.0000 -
334.71/335.83 c 336 250 249 1 - 0.0000 -
342.99/344.19 c 344 254 253 1 - 0.0000 -
351.16/352.34 c 352 262 261 1 - 0.0000 -
359.23/360.45 c 360 274 273 1 - 0.0000 -
367.10/368.32 c 368 286 285 1 - 0.0000 -
372.18/373.40 c 373 313 306 1 - 0.0000 -
379.86/381.16 c 381 326 319 1 - 0.0000 -
384.94/386.29 c 386 344 337 1 - 0.0000 -
390.31/391.63 c 392 350 343 1 - 0.0000 -
396.49/397.84 c 398 358 351 1 - 0.0000 -
403.17/404.53 c 405 370 363 1 - 0.0000 -
410.34/411.72 c 412 398 391 1 - 0.0000 -
416.52/417.98 c 418 408 399 1 - 0.0000 -
421.71/423.15 c 423 446 433 1 - 0.0000 -
427.39/428.88 c 429 461 448 1 - 0.0000 -
434.47/435.98 c 436 472 459 1 - 0.0000 -
439.95/441.43 c 441 476 463 1 - 0.0000 -
444.93/446.46 c 446 488 475 1 - 0.0000 -
450.01/451.51 c 452 496 483 1 - 0.0000 -
462.48/464.06 c 464 522 507 1 - 0.0000 -
472.24/473.86 c 474 550 531 1 - 0.0000 -
478.11/479.71 c 480 564 545 1 - 0.0000 -
484.09/485.72 c 486 578 559 1 - 0.0000 -
491.27/492.91 c 493 596 575 1 - 0.0000 -
496.55/498.23 c 498 640 617 1 - 0.0000 -
505.52/507.21 c 507 662 635 1 - 0.0000 -
511.19/512.97 c 513 701 668 1 - 0.0000 -
517.67/519.47 c 519 722 689 1 - 0.0000 -
526.65/528.47 c 528 730 697 1 - 0.0000 -
532.82/534.61 c 535 780 745 1 - 0.0000 -
537.90/539.78 c 540 806 771 1 - 0.0000 -
543.78/545.64 c 546 812 777 1 - 0.0000 -
551.66/553.52 c 554 816 781 1 - 0.0000 -
557.63/559.51 c 560 820 785 1 - 0.0000 -
564.01/565.94 c 566 828 791 1 - 0.0000 -
570.29/572.24 c 572 857 816 1 - 0.0000 -
576.27/578.23 c 578 862 821 1 - 0.0000 -
582.16/584.17 c 584 896 851 1 - 0.0000 -
587.83/589.81 c 590 935 880 1 - 0.0000 -
597.69/599.70 c 600 946 889 1 - 0.0000 -
603.27/605.35 c 605 981 922 1 - 0.0000 -
612.73/614.83 c 615 1044 979 1 - 0.0000 -
618.22/620.36 c 620 1082 1017 1 - 0.0000 -
625.41/627.50 c 628 1088 1023 1 - 0.0000 -
634.08/636.26 c 636 1146 1077 1 - 0.0000 -
641.66/643.80 c 644 1154 1085 1 - 0.0000 -
647.14/649.30 c 649 1184 1111 1 - 0.0000 -
652.43/654.65 c 655 1260 1175 1 - 0.0000 -
660.61/662.85 c 663 1302 1215 1 - 0.0000 -
665.91/668.11 c 668 1327 1238 1 - 0.0000 -
671.58/673.88 c 674 1356 1263 1 - 0.0000 -
676.96/679.28 c 679 1372 1279 1 - 0.0000 -
684.24/686.59 c 687 1432 1335 1 - 0.0000 -
690.02/692.32 c 692 1436 1339 1 - 0.0000 -
695.61/697.90 c 698 1552 1455 1 - 0.0000 -
703.39/705.78 c 706 1576 1479 1 - 0.0000 -
714.77/717.19 c 717 1676 1579 1 - 0.0000 -
720.75/723.20 c 723 1738 1641 1 - 0.0000 -
725.83/728.23 c 728 1744 1647 1 - 0.0000 -
731.21/733.68 c 734 1761 1664 1 - 0.0000 -
736.61/739.03 c 739 1779 1682 1 - 0.0000 -
1057.97/1061.49 c 1062 1800 1703 1 - 0.0000 -
1063.76/1067.23 c 1067 1820 1723 1 - 0.0000 -
1070.14/1073.61 c 1074 1836 1739 1 - 0.0000 -
1076.12/1079.64 c 1080 1851 1754 1 - 0.0000 -
1081.79/1085.36 c 1085 1912 1815 1 - 0.0000 -
1087.49/1091.06 c 1091 1963 1866 1 - 0.0000 -
1093.15/1096.78 c 1097 1995 1898 1 - 0.0000 -
1098.83/1102.42 c 1102 2029 1932 1 - 0.0000 -
1108.70/1112.38 c 1112 2072 1975 1 - 0.0000 -
1121.66/1125.30 c 1125 2112 2015 1 - 0.0000 -
1130.53/1134.21 c 1134 2124 2027 1 - 0.0000 -
1136.91/1140.62 c 1141 2160 2063 1 - 0.0000 -
1147.17/1150.99 c 1151 2168 2071 1 - 0.0000 -
1154.84/1158.63 c 1159 2216 2119 1 - 0.0000 -
1160.42/1164.20 c 1164 2244 2147 1 - 0.0000 -
1166.60/1170.47 c 1170 2302 2205 1 - 0.0000 -
1173.48/1177.31 c 1177 2369 2272 1 - 0.0000 -
1179.18/1183.08 c 1183 2430 2333 1 - 0.0000 -
1184.65/1188.58 c 1189 2442 2345 1 - 0.0000 -
1190.54/1194.44 c 1194 2469 2372 1 - 0.0000 -
1196.92/1200.85 c 1201 2489 2392 1 - 0.0000 -
1203.89/1207.86 c 1208 2514 2417 1 - 0.0000 -
1208.98/1212.94 c 1213 2519 2422 1 - 0.0000 -
1217.55/1221.53 c 1222 2544 2447 1 - 0.0000 -
1222.63/1226.68 c 1227 2581 2484 1 - 0.0000 -
1228.91/1232.98 c 1233 2599 2502 1 - 0.0000 -
1237.87/1241.90 c 1242 2624 2527 1 - 0.0000 -
1243.36/1247.48 c 1247 2639 2542 1 - 0.0000 -
1250.05/1254.18 c 1254 2644 2547 1 - 0.0000 -
1258.02/1262.16 c 1262 2710 2611 1 - 0.0000 -
1263.48/1267.64 c 1268 2746 2647 1 - 0.0000 -
1268.67/1272.83 c 1273 2761 2662 1 - 0.0000 -
1277.04/1281.28 c 1281 2780 2681 1 - 0.0000 -
1282.72/1286.93 c 1287 2795 2696 1 - 0.0000 -
1288.60/1292.86 c 1293 2810 2711 1 - 0.0000 -
1295.28/1299.57 c 1300 2820 2721 1 - 0.0000 -
1301.66/1305.98 c 1306 2855 2756 1 - 0.0000 -
1307.85/1312.19 c 1312 2882 2783 1 - 0.0000 -
1314.11/1318.48 c 1318 2915 2816 1 - 0.0000 -
1319.39/1323.72 c 1324 2958 2859 1 - 0.0000 -
1327.36/1331.76 c 1332 2990 2891 1 - 0.0000 -
1332.94/1337.39 c 1337 3027 2928 1 - 0.0000 -
1338.82/1343.24 c 1343 3089 2990 1 - 0.0000 -
1346.61/1351.10 c 1351 3150 3051 1 - 0.0000 -
1352.47/1356.92 c 1357 3210 3111 1 - 0.0000 -
1358.67/1363.19 c 1363 3215 3116 1 - 0.0000 -
1364.54/1369.07 c 1369 3232 3133 1 - 0.0000 -
1370.52/1375.08 c 1375 3255 3156 1 - 0.0000 -
1376.69/1381.27 c 1381 3260 3161 1 - 0.0000 -
1384.36/1388.92 c 1389 3270 3171 1 - 0.0000 -
1393.13/1397.78 c 1398 3325 3226 1 - 0.0000 -
1399.32/1403.94 c 1404 3422 3323 1 - 0.0000 -
1404.99/1409.63 c 1410 3482 3383 1 - 0.0000 -
1413.37/1418.10 c 1418 3500 3401 1 - 0.0000 -
1418.46/1423.16 c 1423 3516 3417 1 - 0.0000 -
1427.71/1432.46 c 1432 3550 3451 1 - 0.0000 -
1437.58/1442.39 c 1442 3580 3481 1 - 0.0000 -
1442.76/1447.59 c 1448 3600 3501 1 - 0.0000 -
1453.02/1457.84 c 1458 3610 3511 1 - 0.0000 -
1459.21/1464.03 c 1464 3635 3536 1 - 0.0000 -
1465.78/1470.60 c 1471 3661 3562 1 - 0.0000 -
1472.65/1477.57 c 1478 3665 3566 1 - 0.0000 -
1479.14/1484.05 c 1484 3700 3601 1 - 0.0000 -
1486.70/1491.64 c 1492 3740 3641 1 - 0.0000 -
1493.38/1498.39 c 1498 3756 3657 1 - 0.0000 -
1500.96/1505.93 c 1506 3775 3676 1 - 0.0000 -
1506.24/1511.22 c 1511 3793 3694 1 - 0.0000 -
1512.13/1517.18 c 1517 3866 3767 1 - 0.0000 -
1519.19/1524.26 c 1524 3880 3781 1 - 0.0000 -
1525.98/1531.02 c 1531 3915 3816 1 - 0.0000 -
1531.74/1536.87 c 1537 3939 3840 1 - 0.0000 -
1541.61/1546.71 c 1547 3980 3881 1 - 0.0000 -
1547.19/1552.30 c 1552 4005 3906 1 - 0.0000 -
1555.26/1560.41 c 1560 4030 3931 1 - 0.0000 -
1560.64/1565.80 c 1566 4068 3969 1 - 0.0000 -
1569.21/1574.41 c 1574 4070 3971 1 - 0.0000 -
1574.99/1580.26 c 1580 4085 3986 1 - 0.0000 -
1580.67/1585.93 c 1586 4098 3999 1 - 0.0000 -
1588.24/1593.53 c 1594 4120 4021 1 - 0.0000 -
1595.62/1600.96 c 1601 4140 4041 1 - 0.0000 -
1600.81/1606.13 c 1606 4165 4066 1 - 0.0000 -
1608.57/1613.95 c 1614 4190 4091 1 - 0.0000 -
1614.45/1619.86 c 1620 4228 4129 1 - 0.0000 -
1620.13/1625.51 c 1626 4289 4190 1 - 0.0000 -
1627.80/1633.23 c 1633 4305 4206 1 - 0.0000 -
1633.08/1638.53 c 1639 4336 4237 1 - 0.0000 -
1638.37/1643.80 c 1644 4345 4246 1 - 0.0000 -
1647.14/1652.64 c 1653 4362 4261 1 - 0.0000 -
1654.52/1660.07 c 1660 4417 4316 1 - 0.0000 -
1660.29/1665.81 c 1666 4447 4346 1 - 0.0000 -
1665.48/1671.03 c 1671 4459 4358 1 - 0.0000 -
1670.66/1676.25 c 1676 4467 4366 1 - 0.0000 -
1678.03/1683.63 c 1684 4497 4396 1 - 0.0000 -
1683.43/1689.07 c 1689 4521 4420 1 - 0.0000 -
1693.08/1698.78 c 1699 4532 4431 1 - 0.0000 -
1701.05/1706.72 c 1707 4547 4446 1 - 0.0000 -
1706.24/1711.92 c 1712 4552 4451 1 - 0.0000 -
1711.62/1717.34 c 1717 4568 4467 1 - 0.0000 -
1717.50/1723.24 c 1723 4608 4505 1 - 0.0000 -
1725.87/1731.69 c 1732 4638 4535 1 - 0.0000 -
1732.94/1738.70 c 1739 4663 4560 1 - 0.0000 -
1738.72/1744.54 c 1745 4704 4601 1 - 0.0000 -
1746.49/1752.37 c 1752 4718 4615 1 - 0.0000 -
1751.77/1757.60 c 1758 4749 4646 1 - 0.0000 -
1759.16/1765.09 c 1765 4768 4665 1 - 0.0000 -
1768.32/1774.25 c 1774 4778 4675 1 - 0.0000 -
1775.99/1782.01 c 1782 4803 4700 1 - 0.0000 -
1781.08/1787.04 c 1787 4808 4705 1 - 0.0000 -
1787.17/1793.12 c 1793 4818 4715 1 - 0.0000 -
1792.34/1798.30 c 1798 4844 4741 1 - 0.0000 -
1799.72/1805.74 c 1806 4868 4765 1 - 0.0000 -
1806.30/1812.33 c 1812 4914 4811 1 - 0.0000 -
1813.48/1819.51 c 1820 4943 4840 1 - 0.0000 -
1819.77/1825.81 c 1826 4973 4870 1 - 0.0000 -
1825.15/1831.26 c 1831 5023 4920 1 - 0.0000 -
1833.05/1839.13 c 1839 5043 4940 1 - 0.0000 -
1839.82/1845.98 c 1846 5063 4960 1 - 0.0000 -
1846.02/1852.14 c 1852 5068 4965 1 - 0.0000 -
1852.01/1858.16 c 1858 5125 5022 1 - 0.0000 -
1857.58/1863.79 c 1864 5131 5028 1 - 0.0000 -
1864.26/1870.47 c 1870 5138 5035 1 - 0.0000 -
1872.14/1878.31 c 1878 5193 5090 1 - 0.0000 -
1878.03/1884.21 c 1884 5213 5110 1 - 0.0000 -
1883.83/1890.07 c 1890 5223 5120 1 - 0.0000 -
1889.81/1896.02 c 1896 5287 5184 1 - 0.0000 -
1896.28/1902.51 c 1903 5313 5210 1 - 0.0000 -
1904.56/1910.87 c 1911 5339 5234 1 - 0.0000 -
1912.14/1918.47 c 1918 5349 5244 1 - 0.0000 -
1918.92/1925.27 c 1925 5369 5264 1 - 0.0000 -
1924.51/1930.85 c 1931 5405 5300 1 - 0.0000 -
1931.59/1937.93 c 1938 5430 5323 1 - 0.0000 -
1943.56/1949.96 c 1950 5460 5353 1 - 0.0000 -
1949.14/1955.59 c 1956 5504 5397 1 - 0.0000 -
1957.63/1964.02 c 1964 5530 5423 1 - 0.0000 -
1965.90/1972.38 c 1972 5560 5453 1 - 0.0000 -
1972.59/1979.07 c 1979 5575 5468 1 - 0.0000 -
1978.27/1984.78 c 1985 5585 5478 1 - 0.0000 -
1983.85/1990.34 c 1990 5596 5489 1 - 0.0000 -
1989.73/1996.25 c 1996 5630 5523 1 - 0.0000 -
1994.81/2001.32 c 2001 5641 5534 1 - 0.0000 -
1999.89/2006.45 c 2006 5664 5557 1 - 0.0000 -
2005.97/2012.56 c 2013 5693 5586 1 - 0.0000 -
2016.23/2022.83 c 2023 5705 5598 1 - 0.0000 -
2022.11/2028.78 c 2029 5745 5638 1 - 0.0000 -
2027.41/2034.09 c 2034 5755 5648 1 - 0.0000 -
2035.27/2041.94 c 2042 5760 5653 1 - 0.0000 -
2041.46/2048.15 c 2048 5816 5707 1 - 0.0000 -
2046.83/2053.53 c 2054 5827 5718 1 - 0.0000 -
2052.81/2059.50 c 2060 5874 5765 1 - 0.0000 -
2061.67/2068.41 c 2068 5882 5773 1 - 0.0000 -
2067.95/2074.76 c 2075 5923 5814 1 - 0.0000 -
2072.93/2079.76 c 2080 5939 5830 1 - 0.0000 -
2079.71/2086.51 c 2087 5942 5833 1 - 0.0000 -
2084.80/2091.60 c 2092 5960 5851 1 - 0.0000 -
2089.78/2096.64 c 2097 5977 5868 1 - 0.0000 -
2095.47/2102.39 c 2102 6017 5908 1 - 0.0000 -
2103.95/2110.87 c 2111 6027 5918 1 - 0.0000 -
2112.92/2119.87 c 2120 6057 5948 1 - 0.0000 -
2118.81/2125.74 c 2126 6067 5958 1 - 0.0000 -
2124.90/2131.84 c 2132 6099 5990 1 - 0.0000 -
2130.49/2137.43 c 2137 6117 6008 1 - 0.0000 -
2136.19/2143.19 c 2143 6151 6042 1 - 0.0000 -
2144.85/2151.80 c 2152 6182 6073 1 - 0.0000 -
2150.54/2157.55 c 2158 6196 6087 1 - 0.0000 -
2156.62/2163.68 c 2164 6229 6120 1 - 0.0000 -
2161.81/2168.89 c 2169 6247 6138 1 - 0.0000 -
2168.69/2175.76 c 2176 6277 6168 1 - 0.0000 -
2173.88/2180.96 c 2181 6287 6178 1 - 0.0000 -
2181.26/2188.34 c 2188 6307 6198 1 - 0.0000 -
2187.54/2194.61 c 2195 6344 6235 1 - 0.0000 -
2193.63/2200.75 c 2201 6352 6243 1 - 0.0000 -
2199.11/2206.24 c 2206 6365 6256 1 - 0.0000 -
2207.79/2214.99 c 2215 6387 6278 1 - 0.0000 -
2213.18/2220.39 c 2220 6410 6301 1 - 0.0000 -
2220.06/2227.25 c 2227 6432 6323 1 - 0.0000 -
2225.64/2232.88 c 2233 6469 6360 1 - 0.0000 -
2231.13/2238.30 c 2238 6481 6372 1 - 0.0000 -
2236.22/2243.48 c 2243 6487 6378 1 - 0.0000 -
2242.50/2249.74 c 2250 6497 6388 1 - 0.0000 -
2248.68/2255.99 c 2256 6522 6413 1 - 0.0000 -
2254.27/2261.54 c 2262 6544 6435 1 - 0.0000 -
2261.95/2269.29 c 2269 6562 6453 1 - 0.0000 -
2267.75/2275.03 c 2275 6577 6468 1 - 0.0000 -
2273.83/2281.19 c 2281 6610 6501 1 - 0.0000 -
2285.87/2293.20 c 2293 6627 6518 1 - 0.0000 -
2291.05/2298.48 c 2298 6632 6523 1 - 0.0000 -
2297.03/2304.45 c 2304 6676 6567 1 - 0.0000 -
2304.01/2311.42 c 2311 6697 6588 1 - 0.0000 -
2309.49/2316.93 c 2317 6715 6606 1 - 0.0000 -
2315.08/2322.54 c 2323 6735 6626 1 - 0.0000 -
2320.67/2328.11 c 2328 6763 6654 1 - 0.0000 -
2326.43/2333.98 c 2334 6815 6706 1 - 0.0000 -
2332.81/2340.30 c 2340 6833 6724 1 - 0.0000 -
2338.79/2346.31 c 2346 6853 6744 1 - 0.0000 -
2346.76/2354.31 c 2354 6862 6753 1 - 0.0000 -
2352.24/2359.87 c 2360 6872 6763 1 - 0.0000 -
2358.12/2365.73 c 2366 6926 6817 1 - 0.0000 -
2367.78/2375.40 c 2375 6972 6863 1 - 0.0000 -
2372.77/2380.43 c 2380 6983 6874 1 - 0.0000 -
2380.04/2387.71 c 2388 7002 6893 1 - 0.0000 -
2385.02/2392.78 c 2393 7026 6917 1 - 0.0000 -
2393.89/2401.68 c 2402 7062 6953 1 - 0.0000 -
2400.17/2407.95 c 2408 7082 6973 1 - 0.0000 -
2405.95/2413.76 c 2414 7120 7011 1 - 0.0000 -
2411.34/2419.13 c 2419 7124 7015 1 - 0.0000 -
2416.81/2424.65 c 2425 7156 7047 1 - 0.0000 -
2422.79/2430.64 c 2431 7174 7065 1 - 0.0000 -
2429.36/2437.26 c 2437 7187 7078 1 - 0.0000 -
2436.84/2444.76 c 2445 7197 7088 1 - 0.0000 -
2443.32/2451.24 c 2451 7207 7098 1 - 0.0000 -
2448.60/2456.50 c 2456 7249 7140 1 - 0.0000 -
2454.28/2462.29 c 2462 7257 7148 1 - 0.0000 -
2461.17/2469.12 c 2469 7262 7153 1 - 0.0000 -
2468.94/2476.90 c 2477 7282 7173 1 - 0.0000 -
2474.92/2483.01 c 2483 7317 7208 1 - 0.0000 -
2480.20/2488.20 c 2488 7337 7228 1 - 0.0000 -
2488.27/2496.32 c 2496 7352 7243 1 - 0.0000 -
2493.65/2501.73 c 2502 7377 7268 1 - 0.0000 -
2499.13/2507.29 c 2507 7436 7327 1 - 0.0000 -
2506.11/2514.24 c 2514 7447 7338 1 - 0.0000 -
2512.99/2521.12 c 2521 7462 7353 1 - 0.0000 -
2519.76/2527.94 c 2528 7497 7388 1 - 0.0000 -
2528.13/2536.37 c 2536 7527 7418 1 - 0.0000 -
2533.71/2541.92 c 2542 7532 7423 1 - 0.0000 -
2538.99/2547.28 c 2547 7547 7438 1 - 0.0000 -
2546.96/2555.22 c 2555 7562 7453 1 - 0.0000 -
2554.43/2562.76 c 2563 7577 7468 1 - 0.0000 -
2559.73/2568.05 c 2568 7592 7483 1 - 0.0000 -
2571.07/2579.42 c 2579 7637 7528 1 - 0.0000 -
2576.35/2584.70 c 2585 7677 7568 1 - 0.0000 -
2582.03/2590.43 c 2590 7692 7583 1 - 0.0000 -
2588.31/2596.72 c 2597 7729 7620 1 - 0.0000 -
2593.70/2602.11 c 2602 7753 7644 1 - 0.0000 -
2598.88/2607.38 c 2607 7767 7658 1 - 0.0000 -
2604.26/2612.72 c 2613 7783 7674 1 - 0.0000 -
2609.74/2618.29 c 2618 7796 7687 1 - 0.0000 -
2616.12/2624.60 c 2625 7807 7698 1 - 0.0000 -
2621.80/2630.33 c 2630 7856 7747 1 - 0.0000 -
2626.88/2635.46 c 2635 7864 7755 1 - 0.0000 -
2632.26/2640.86 c 2641 7897 7788 1 - 0.0000 -
2639.24/2647.88 c 2648 7922 7813 1 - 0.0000 -
2645.61/2654.21 c 2654 7955 7846 1 - 0.0000 -
2650.90/2659.54 c 2660 7972 7863 1 - 0.0000 -
2656.68/2665.31 c 2665 8016 7907 1 - 0.0000 -
2661.66/2670.39 c 2670 8025 7916 1 - 0.0000 -
2674.61/2683.38 c 2683 8072 7963 1 - 0.0000 -
2680.59/2689.31 c 2689 8103 7994 1 - 0.0000 -
2689.46/2698.20 c 2698 8142 8033 1 - 0.0000 -
2694.64/2703.42 c 2703 8149 8040 1 - 0.0000 -
2701.42/2710.29 c 2710 8192 8083 1 - 0.0000 -
2707.10/2715.91 c 2716 8200 8091 1 - 0.0000 -
2712.08/2721.01 c 2721 8217 8108 1 - 0.0000 -
2717.17/2726.02 c 2726 8245 8136 1 - 0.0000 -
2722.16/2731.08 c 2731 8257 8148 1 - 0.0000 -
2727.93/2736.83 c 2737 8286 8177 1 - 0.0000 -
2733.82/2742.76 c 2743 8308 8199 1 - 0.0000 -
2741.70/2750.63 c 2751 8342 8233 1 - 0.0000 -
2749.20/2758.14 c 2758 8372 8263 1 - 0.0000 -
2755.57/2764.55 c 2765 8397 8288 1 - 0.0000 -
2763.94/2772.92 c 2773 8422 8313 1 - 0.0000 -
2769.73/2778.77 c 2779 8465 8356 1 - 0.0000 -
2774.82/2783.82 c 2784 8472 8363 1 - 0.0000 -
2780.70/2789.71 c 2790 8518 8409 1 - 0.0000 -
2788.58/2797.62 c 2798 8552 8443 1 - 0.0000 -
2793.98/2803.06 c 2803 8567 8458 1 - 0.0000 -
2799.96/2809.10 c 2809 8572 8463 1 - 0.0000 -
2805.24/2814.30 c 2814 8577 8468 1 - 0.0000 -
2810.62/2819.77 c 2820 8599 8490 1 - 0.0000 -
2816.31/2825.44 c 2825 8605 8496 1 - 0.0000 -
2821.90/2831.03 c 2831 8639 8530 1 - 0.0000 -
2828.18/2837.36 c 2837 8647 8538 1 - 0.0000 -
2834.66/2843.81 c 2844 8668 8559 1 - 0.0000 -
2841.14/2850.30 c 2850 8719 8610 1 - 0.0000 -
2846.33/2855.59 c 2856 8734 8625 1 - 0.0000 -
2851.41/2860.65 c 2861 8748 8637 1 - 0.0000 -
2856.40/2865.66 c 2866 8763 8652 1 - 0.0000 -
2862.29/2871.52 c 2872 8783 8672 1 - 0.0000 -
2870.96/2880.23 c 2880 8803 8692 1 - 0.0000 -
2876.55/2885.89 c 2886 8829 8718 1 - 0.0000 -
2886.32/2895.63 c 2896 8863 8752 1 - 0.0000 -
2893.41/2902.74 c 2903 8888 8777 1 - 0.0000 -
2901.29/2910.60 c 2911 8893 8782 1 - 0.0000 -
2910.36/2919.79 c 2920 8923 8812 1 - 0.0000 -
2915.85/2925.25 c 2925 8957 8846 1 - 0.0000 -
2922.93/2932.37 c 2932 8983 8872 1 - 0.0000 -
2928.52/2937.98 c 2938 9021 8910 1 - 0.0000 -
2935.20/2944.62 c 2945 9033 8922 1 - 0.0000 -
2940.38/2949.84 c 2950 9041 8930 1 - 0.0000 -
2946.37/2955.88 c 2956 9067 8956 1 - 0.0000 -
2952.66/2962.13 c 2962 9115 9004 1 - 0.0000 -
2958.65/2968.15 c 2968 9130 9019 1 - 0.0000 -
2964.32/2973.88 c 2974 9143 9032 1 - 0.0000 -
2970.40/2979.99 c 2980 9187 9076 1 - 0.0000 -
2975.78/2985.31 c 2985 9213 9102 1 - 0.0000 -
2982.06/2991.68 c 2992 9248 9137 1 - 0.0000 -
2989.23/2998.84 c 2999 9253 9142 1 - 0.0000 -
2999.41/3009.10 c 3009 9273 9162 1 - 0.0000 -
3005.68/3015.36 c 3015 9288 9177 1 - 0.0000 -
3014.64/3024.37 c 3024 9298 9187 1 - 0.0000 -
3022.33/3032.10 c 3032 9333 9222 1 - 0.0000 -
3030.30/3040.04 c 3040 9343 9232 1 - 0.0000 -
3037.06/3046.80 c 3047 9358 9247 1 - 0.0000 -
3042.44/3052.20 c 3052 9368 9257 1 - 0.0000 -
3049.02/3058.83 c 3059 9396 9285 1 - 0.0000 -
3054.70/3064.50 c 3064 9451 9340 1 - 0.0000 -
3062.68/3072.58 c 3073 9478 9367 1 - 0.0000 -
3068.77/3078.69 c 3079 9504 9393 1 - 0.0000 -
3074.55/3084.49 c 3084 9529 9418 1 - 0.0000 -
3080.84/3090.73 c 3091 9557 9446 1 - 0.0000 -
3085.93/3095.83 c 3096 9578 9467 1 - 0.0000 -
3091.91/3101.82 c 3102 9588 9477 1 - 0.0000 -
3101.59/3111.54 c 3112 9603 9492 1 - 0.0000 -
3108.47/3118.43 c 3118 9648 9537 1 - 0.0000 -
3114.16/3124.13 c 3124 9658 9547 1 - 0.0000 -
3120.05/3130.05 c 3130 9695 9584 1 - 0.0000 -
3127.72/3137.71 c 3138 9718 9607 1 - 0.0000 -
3136.01/3146.07 c 3146 9728 9617 1 - 0.0000 -
3143.38/3153.43 c 3153 9738 9627 1 - 0.0000 -
3149.36/3159.49 c 3159 9788 9675 1 - 0.0000 -
3156.44/3166.58 c 3167 9824 9711 1 - 0.0000 -
3165.93/3176.06 c 3176 9849 9736 1 - 0.0000 -
3171.50/3181.65 c 3182 9911 9798 1 - 0.0000 -
3177.69/3187.83 c 3188 9924 9811 1 - 0.0000 -
3186.16/3196.35 c 3196 9929 9816 1 - 0.0000 -
3191.96/3202.14 c 3202 9954 9841 1 - 0.0000 -
3197.33/3207.50 c 3208 9992 9879 1 - 0.0000 -
3202.62/3212.84 c 3213 9999 9886 1 - 0.0000 -
3209.91/3220.11 c 3220 10034 9921 1 - 0.0000 -
3215.49/3225.76 c 3226 10077 9964 1 - 0.0000 -
3221.38/3231.67 c 3232 10079 9966 1 - 0.0000 -
3226.96/3237.26 c 3237 10084 9971 1 - 0.0000 -
3232.65/3242.97 c 3243 10114 10001 1 - 0.0000 -
3238.33/3248.65 c 3249 10160 10047 1 - 0.0000 -
3244.31/3254.68 c 3255 10179 10066 1 - 0.0000 -
3249.71/3260.01 c 3260 10198 10083 1 - 0.0000 -
3260.79/3271.14 c 3271 10220 10105 1 - 0.0000 -
3267.16/3277.53 c 3278 10241 10126 1 - 0.0000 -
3272.95/3283.33 c 3283 10300 10185 1 - 0.0000 -
3279.75/3290.13 c 3290 10320 10205 1 - 0.0000 -
3286.63/3297.10 c 3297 10340 10225 1 - 0.0000 -
3292.11/3302.52 c 3303 10375 10260 1 - 0.0000 -
3299.60/3310.05 c 3310 10415 10300 1 - 0.0000 -
3306.48/3316.93 c 3317 10450 10335 1 - 0.0000 -
3314.46/3324.90 c 3325 10495 10380 1 - 0.0000 -
3320.35/3330.83 c 3331 10525 10410 1 - 0.0000 -
3327.54/3338.10 c 3338 10545 10430 1 - 0.0000 -
3333.42/3343.99 c 3344 10561 10446 1 - 0.0000 -
3340.70/3351.26 c 3351 10600 10485 1 - 0.0000 -
3346.89/3357.40 c 3357 10605 10490 1 - 0.0000 -
3351.88/3362.46 c 3362 10615 10500 1 - 0.0000 -
3358.17/3368.78 c 3369 10667 10552 1 - 0.0000 -
3363.86/3374.42 c 3374 10682 10565 1 - 0.0000 -
3368.85/3379.49 c 3379 10698 10581 1 - 0.0000 -
3376.33/3386.90 c 3387 10732 10615 1 - 0.0000 -
3383.71/3394.30 c 3394 10737 10620 1 - 0.0000 -
3389.30/3400.01 c 3400 10775 10658 1 - 0.0000 -
3395.29/3406.01 c 3406 10791 10674 1 - 0.0000 -
3401.27/3411.95 c 3412 10816 10699 1 - 0.0000 -
3410.47/3421.13 c 3421 10832 10715 1 - 0.0000 -
3416.54/3427.29 c 3427 10852 10735 1 - 0.0000 -
3423.53/3434.27 c 3434 10872 10755 1 - 0.0000 -
3430.21/3440.91 c 3441 10907 10790 1 - 0.0000 -
3435.90/3446.69 c 3447 10939 10822 1 - 0.0000 -
3441.19/3451.99 c 3452 10961 10844 1 - 0.0000 -
3449.77/3460.57 c 3461 10992 10875 1 - 0.0000 -
3455.86/3466.67 c 3467 11018 10901 1 - 0.0000 -
3461.25/3472.01 c 3472 11033 10916 1 - 0.0000 -
3473.62/3484.42 c 3484 11082 10965 1 - 0.0000 -
3479.80/3490.65 c 3491 11092 10975 1 - 0.0000 -
3484.99/3495.81 c 3496 11116 10999 1 - 0.0000 -
3493.67/3504.51 c 3505 11132 11015 1 - 0.0000 -
3500.56/3511.40 c 3511 11137 11020 1 - 0.0000 -
3508.26/3519.17 c 3519 11157 11040 1 - 0.0000 -
3514.25/3525.16 c 3525 11171 11054 1 - 0.0000 -
3519.33/3530.25 c 3530 11209 11092 1 - 0.0000 -
3525.32/3536.29 c 3536 11228 11111 1 - 0.0000 -
3530.80/3541.71 c 3542 11247 11130 1 - 0.0000 -
3536.79/3547.79 c 3548 11300 11183 1 - 0.0000 -
3542.68/3553.61 c 3554 11360 11243 1 - 0.0000 -
3548.56/3559.51 c 3560 11387 11270 1 - 0.0000 -
3554.25/3565.27 c 3565 11410 11293 1 - 0.0000 -
3560.05/3571.08 c 3571 11471 11354 1 - 0.0000 -
3569.13/3580.14 c 3580 11502 11385 1 - 0.0000 -
3575.70/3586.76 c 3587 11517 11400 1 - 0.0000 -
3584.10/3595.17 c 3595 11522 11405 1 - 0.0000 -
3587.58/3598.70 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.58/3598.70 c Total Time : 3598.7000
3587.58/3598.70 c solving : 3598.7000
3587.58/3598.70 c presolving : 0.5562 (included in solving)
3587.58/3598.70 c B&B Tree :
3587.58/3598.70 c nodes (total) : 1
3587.58/3598.70 c Solution :
3587.58/3598.70 c Solutions found : 0
3587.58/3598.70 c Primal Bound : -
3587.58/3598.70 c Dual Bound : +0.00000000000000e+00
3587.58/3598.70 c Gap : -
3587.69/3598.72 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: 64096 MiB (63175 MiB free)
memory of node 1: 64473 MiB (62058 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464661-1722386202/watcher-4464661-1722386202 -o /tmp/evaluation-result-4464661-1722386202/solver-4464661-1722386202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464661-1722386202.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32832, runsolver pid=32829
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.06 4.14 4.16 5/248 32833
/proc/meminfo: memFree=128213268/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=48500 memory=37076 CPUtime=0.1 cores=1,3
/proc/32832/stat : 32832 (fscip) R 32829 32832 27997 0 -1 4194304 6960 0 0 0 8 2 0 0 20 0 1 0 4990518 49664000 9269 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 12125 9269 2582 3035 0 8521 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48500 KiB
Current children cumulated memory: 37076 KiB
[startup+0.205448 s]*
/proc/loadavg: 4.06 4.14 4.16 5/248 32833
/proc/meminfo: memFree=128203916/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=56952 memory=45844 CPUtime=0.2 cores=1,3
/proc/32832/stat : 32832 (fscip) R 32829 32832 27997 0 -1 4194304 9913 0 0 0 18 2 0 0 20 0 1 0 4990518 58318848 11461 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 14238 11461 2678 3035 0 10634 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56952 KiB
Current children cumulated memory: 45844 KiB
[startup+0.312924 s]*
/proc/loadavg: 4.06 4.14 4.16 5/248 32833
/proc/meminfo: memFree=128202040/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=58464 memory=48056 CPUtime=0.32 cores=1,3
/proc/32832/stat : 32832 (fscip) R 32829 32832 27997 0 -1 4194304 10907 0 0 0 29 3 0 0 20 0 1 0 4990518 59867136 12014 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 14616 12014 2758 3035 0 11012 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 58464 KiB
Current children cumulated memory: 48056 KiB
[startup+0.701142 s]
/proc/loadavg: 4.06 4.14 4.16 5/248 32833
/proc/meminfo: memFree=128200220/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=146400 memory=64232 CPUtime=0.69 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 17094 0 0 0 65 4 0 0 20 0 2 0 4990518 149913600 16058 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 36600 16058 2774 3035 0 18378 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 146400 KiB
Current children cumulated memory: 64232 KiB
[startup+1.50037 s]
/proc/loadavg: 4.06 4.14 4.16 5/250 32835
/proc/meminfo: memFree=128155808/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=154596 memory=111952 CPUtime=1.47 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 28378 0 0 0 140 7 0 0 20 0 3 0 4990518 158306304 27988 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 38649 27988 2950 3035 0 32076 0
[pid=32832/tid=32834] ppid=32829 vsize=154596 memory=4136 CPUtime=0.8 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 13006 0 0 0 77 3 0 0 20 0 3 0 4990584 158306304 27988 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=154596 memory=2248 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4990590 158306304 27988 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154596 KiB
Current children cumulated memory: 111952 KiB
[startup+3.11271 s]
/proc/loadavg: 4.06 4.14 4.16 5/250 32835
/proc/meminfo: memFree=128102384/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=147216 CPUtime=3.08 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 49767 0 0 0 297 11 0 0 20 0 3 0 4990518 225415168 36804 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 36804 2966 3035 0 41421 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=2248 CPUtime=2.4 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 34390 0 0 0 233 7 0 0 20 0 3 0 4990584 225415168 36804 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=1936 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 36804 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 147216 KiB
[startup+6.30033 s]
/proc/loadavg: 4.06 4.14 4.16 5/250 32835
/proc/meminfo: memFree=128101068/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=147356 CPUtime=6.26 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 59350 0 0 0 614 12 0 0 20 0 3 0 4990518 225415168 36839 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 36839 2966 3035 0 41421 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=0 CPUtime=5.58 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 43971 0 0 0 550 8 0 0 20 0 3 0 4990584 225415168 36839 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=2314990172678734424 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 36839 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 147356 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.13 4.16 5/250 32837
/proc/meminfo: memFree=128099332/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=148536 CPUtime=12.65 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 79784 0 0 0 1252 13 0 0 20 0 3 0 4990518 225415168 37134 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 37134 2966 3035 0 41421 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=147216 CPUtime=11.97 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 64393 0 0 0 1188 9 0 0 20 0 3 0 4990584 225415168 37134 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=147516 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 37134 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 148536 KiB
[startup+25.5004 s]
/proc/loadavg: 4.04 4.13 4.15 5/250 32839
/proc/meminfo: memFree=128090888/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=148652 CPUtime=25.4 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 101857 0 0 0 2526 14 0 0 20 0 3 0 4990518 225415168 37163 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 37163 2966 3035 0 41421 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=11536 CPUtime=24.72 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 86458 0 0 0 2462 10 0 0 20 0 3 0 4990584 225415168 37163 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=148652 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 37163 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 148652 KiB
[startup+51.1127 s]
/proc/loadavg: 4.02 4.12 4.15 5/250 32843
/proc/meminfo: memFree=128042828/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=171840 CPUtime=50.93 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 148119 0 0 0 5075 18 0 0 20 0 3 0 4990518 225415168 42960 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 42960 2966 3035 0 47832 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=147356 CPUtime=50.25 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 132661 0 0 0 5011 14 0 0 20 0 3 0 4990584 225415168 42960 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=147356 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 42960 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 171840 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/250 32853
/proc/meminfo: memFree=128001300/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=172032 CPUtime=101.99 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 167836 0 0 0 10180 19 0 0 20 0 3 0 4990518 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 43008 3014 3035 0 47832 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=11536 CPUtime=101.31 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 152317 0 0 0 10116 15 0 0 20 0 3 0 4990584 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=172032 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 172032 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/250 32864
/proc/meminfo: memFree=127946168/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=172032 CPUtime=161.8 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 173200 0 0 0 16160 20 0 0 20 0 3 0 4990518 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 43008 3014 3035 0 47832 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=12856 CPUtime=161.12 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 157678 0 0 0 16097 15 0 0 20 0 3 0 4990584 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=16320 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 172032 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.16 5/250 32874
/proc/meminfo: memFree=127901476/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=220132 memory=172032 CPUtime=221.61 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 184782 0 0 0 22140 21 0 0 20 0 3 0 4990518 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 55033 43008 3014 3035 0 47832 0
[pid=32832/tid=32834] ppid=32829 vsize=220132 memory=11536 CPUtime=220.92 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 169220 0 0 0 22076 16 0 0 20 0 3 0 4990584 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=220132 memory=172032 CPUtime=0 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 4990590 225415168 43008 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 220132 KiB
Current children cumulated memory: 172032 KiB
################
# More data... #
################
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3451.56 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413352 0 0 0 345096 60 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=229776 CPUtime=3450.7 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397019 0 0 0 345023 47 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=37112 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 200 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 2.16 3.23 2/223 34787
/proc/meminfo: memFree=128887500/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3511.45 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413539 0 0 0 351084 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=229776 CPUtime=3510.57 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397193 0 0 0 351010 47 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=229776 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 204 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.96 3.09 2/223 34801
/proc/meminfo: memFree=128886720/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3571.31 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413884 0 0 0 357070 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=16320 CPUtime=3570.45 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397519 0 0 0 356997 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=229776 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3598.73 s]
# the end of solver process 32832 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.09 s, system=0.621747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.09 1.96 3.09 2/223 34801
/proc/meminfo: memFree=128886720/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3573.02 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413884 0 0 0 357241 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=-7091598779833474430 CPUtime=3572.15 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397519 0 0 0 357167 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=-5155633680935826750 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3590.4 s]
/proc/loadavg: 1.08 1.94 3.08 2/223 34803
/proc/meminfo: memFree=128886608/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3579.4 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413935 0 0 0 357879 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=229776 CPUtime=3578.53 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397565 0 0 0 357805 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=16320 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3579.4 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3593.6 s]
/proc/loadavg: 1.08 1.93 3.07 2/223 34803
/proc/meminfo: memFree=128886600/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3582.59 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413939 0 0 0 358198 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=229776 CPUtime=3581.72 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397569 0 0 0 358124 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=229776 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3582.59 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.91 3.06 2/223 34803
/proc/meminfo: memFree=128886608/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3585.78 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413942 0 0 0 358517 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=229776 CPUtime=3584.91 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397572 0 0 0 358443 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=12856 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3597.6 s]
/proc/loadavg: 1.07 1.91 3.06 2/223 34804
/proc/meminfo: memFree=128886192/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3586.58 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413942 0 0 0 358597 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=5496 CPUtime=3585.71 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397572 0 0 0 358523 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=11536 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3586.58 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3598.4 s]
/proc/loadavg: 1.07 1.91 3.06 2/223 34804
/proc/meminfo: memFree=128886192/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3587.38 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413942 0 0 0 358677 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=31968 CPUtime=3586.51 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397572 0 0 0 358603 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=229776 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3598.6 s]
/proc/loadavg: 1.07 1.91 3.06 2/223 34804
/proc/meminfo: memFree=128886192/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=229776 CPUtime=3587.58 cores=1,3
/proc/32832/stat : 32832 (fscip) S 32829 32832 27997 0 -1 1077936128 413942 0 0 0 358697 61 0 0 20 0 3 0 4990518 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 57444 3030 3035 0 59098 0
[pid=32832/tid=32834] ppid=32829 vsize=285668 memory=12856 CPUtime=3586.71 cores=1,3
/proc/32832/task/32834/stat : 32834 (fscip) R 32829 32832 27997 0 -1 4194368 397572 0 0 0 358623 48 0 0 20 0 3 0 4990584 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=5496 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4990590 292524032 57444 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 229776 KiB
[startup+3598.71 s]
/proc/loadavg: 1.07 1.91 3.06 2/223 34804
/proc/meminfo: memFree=128886192/131655788 swapFree=131071728/131071996
[pid=32832] ppid=32829 vsize=285668 memory=220116 CPUtime=3587.69 cores=1,3
/proc/32832/stat : 32832 (fscip) R 32829 32832 27997 0 -1 4194304 414344 0 0 0 358708 61 0 0 20 0 2 0 4990518 292524032 55029 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
/proc/32832/statm: 71417 55029 3030 3035 0 59098 0
[pid=32832/tid=32835] ppid=32829 vsize=285668 memory=229776 CPUtime=0.05 cores=1,3
/proc/32832/task/32835/stat : 32835 (fscip) S 32829 32832 27997 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 2 0 4990590 292524032 55029 134679101440 4194304 16623229 140725741522832 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27111424 140725741532182 140725741532298 140725741532298 140725741539312 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 285668 KiB
Current children cumulated memory: 220116 KiB
Child status: 0
Real time (s): 3598.73
CPU time (s): 3587.72
CPU user time (s): 3587.09
CPU system time (s): 0.621747
CPU usage (%): 99.694
Max. virtual memory (cumulated for all children) (KiB): 285668
Max. memory (cumulated for all children) (KiB): 229776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.09
system time used= 0.621747
maximum resident set size= 229776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414402
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= 6680
involuntary context switches= 1452
# summary of solver processes directly reported to runsolver:
# pid: 32832
# total CPU time (s): 3587.72
# total CPU user time (s): 3587.09
# total CPU system time (s): 0.621747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.336 second user time and 34.9638 second system time
The end
Begin job on nodeC011 at 2024-07-31 02:36:42
IDJOB=4464661
IDBENCH=162167
IDSOLVER=3092
FILE ID=nodeC011/4464661-1722386202
RUNJOBID= nodeC011-1722378594-28009
SLURM_JOB_ID= 8249841
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size96-round23-9.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464661-1722386202/watcher-4464661-1722386202 -o /tmp/evaluation-result-4464661-1722386202/solver-4464661-1722386202 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464661-1722386202.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6eda1605d5c8d227dca004c862e5b86
RANDOM SEED=2017193718
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.997
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.361
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.646
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.486
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3606.853
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.324
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128239896 kB
MemAvailable: 129307972 kB
Buffers: 99884 kB
Cached: 1811616 kB
SwapCached: 12 kB
Active: 267820 kB
Inactive: 2714300 kB
Active(anon): 1924 kB
Inactive(anon): 1098204 kB
Active(file): 265896 kB
Inactive(file): 1616096 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 28772 kB
Writeback: 32 kB
AnonPages: 1068820 kB
Mapped: 128408 kB
Shmem: 29468 kB
KReclaimable: 52568 kB
Slab: 128608 kB
SReclaimable: 52568 kB
SUnreclaim: 76040 kB
KernelStack: 3920 kB
PageTables: 11024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 907268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC011 at 2024-07-31 03:36:41